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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb
MD5SUM	6975fcd4cac18749e2635ee3bd162046
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6690
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	239444426529
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	239444426529
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.223965
Number of variables	21720
Total number of constraints	9376
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	9095
Number of constraints which are nor clauses,nor cardinality constraints	233
Minimum length of a constraint	1
Maximum length of a constraint	840
Trace number 29740

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 11:04:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21145 boxname=wulflinc30 idbench=1133 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6975fcd4cac18749e2635ee3bd162046  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-neos6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-neos6.opb
IDLAUNCH: 21145
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        642532 kB
Buffers:         36412 kB
Cached:         332112 kB
SwapCached:        716 kB
Active:          94284 kB
Inactive:       276344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642280 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15920 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:24:57 (client local time) WITH STATUS 143 IN 1248.57 SECONDS
stats: 21145 7 1248.57 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-neos6.opb
c reading problem ... done. Time 150.142 ms.
c #vars     21720
c #constraints  1259
c starts	: 3
c conflicts	: 419
c decisions	: 32129
c propagations	: 104388
c inspects	: 791137
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 419
c root simplifications	: 3
s UNKNOWN
c Total CPU time (ms) : 1239.083
#### 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.99 1.00 1.00 2/54 6732
Raw data (stat): 6732 (runsolver) R 6731 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838370376 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0003 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6741
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18009 0 1 0 879 38 0 0 25 0 10 0 838370376 853905408 19365 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 19365 13086 16 0 208457 0
vsize: 833892
[startup+20.0009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6741
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18018 0 1 0 1776 38 0 0 25 0 10 0 838370376 854827008 20101 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208698 20101 13086 16 0 208682 0
vsize: 834792
[startup+30.0007 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 6741
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18018 0 1 0 2674 38 0 0 25 0 10 0 838370376 853905408 20398 4294967295 134512640 134569956 3221224368 3221214564 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20398 13086 16 0 208457 0
vsize: 833892
[startup+40.0005 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 6741
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18020 0 1 0 3596 39 0 0 25 0 10 0 838370376 853905408 20716 4294967295 134512640 134569956 3221224368 3221214780 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20716 13086 16 0 208457 0
vsize: 833892
[startup+50.0013 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 6741
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18020 0 1 0 4526 40 0 0 25 0 10 0 838370376 853905408 20858 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20858 13086 16 0 208457 0
vsize: 833892
[startup+60.0011 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18021 0 1 0 5458 40 0 0 25 0 10 0 838370376 853905408 20965 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20965 13086 16 0 208457 0
vsize: 833892
[startup+70.0015 s]
Raw data (loadavg): 1.04 1.01 1.00 4/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18033 0 1 0 6392 41 0 0 25 0 10 0 838370376 857878528 21811 4294967295 134512640 134569956 3221224368 3221214240 1130893400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209443 21811 13086 16 0 209427 0
vsize: 837772
[startup+80.0017 s]
Raw data (loadavg): 1.18 1.04 1.01 2/63 6743
Raw data (stat): 6732 (java) S 6731 22056 22055 0 -1 0 18042 0 1 0 7216 43 0 0 25 0 10 0 838370376 863223808 26177 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 26177 13086 16 0 210732 0
vsize: 842992
[startup+90.0015 s]
Raw data (loadavg): 1.15 1.04 1.01 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18042 0 1 0 8090 43 0 0 25 0 10 0 838370376 863223808 26477 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 26477 13086 16 0 210732 0
vsize: 842992
[startup+100.002 s]
Raw data (loadavg): 1.13 1.04 1.01 2/63 6743
Raw data (stat): 6732 (java) S 6731 22056 22055 0 -1 0 18042 0 1 0 8949 44 0 0 25 0 10 0 838370376 863223808 27070 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 27070 13086 16 0 210732 0
vsize: 842992
[startup+110.003 s]
Raw data (loadavg): 1.11 1.04 1.01 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18042 0 1 0 9812 44 0 0 25 0 10 0 838370376 863223808 27721 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210748 27721 13086 16 0 210732 0
vsize: 842992
[startup+120.005 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18042 0 1 0 10672 45 0 0 16 0 10 0 838370376 863223808 28404 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 28404 13086 16 0 210732 0
vsize: 842992
[startup+130.006 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18042 0 1 0 11539 45 0 0 18 0 10 0 838370376 863223808 29007 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 29007 13086 16 0 210732 0
vsize: 842992
[startup+140.007 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18042 0 1 0 12403 46 0 0 17 0 10 0 838370376 863223808 29494 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 29494 13086 16 0 210732 0
vsize: 842992
[startup+150.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 6743
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18042 0 1 0 13267 47 0 0 16 0 10 0 838370376 863223808 29886 4294967295 134512640 134569956 3221224368 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210748 29886 13086 16 0 210732 0
vsize: 842992
[startup+160.007 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 14175 47 0 0 25 0 11 0 838370376 865849344 32340 4294967295 134512640 134569956 3221224368 3221214664 1131410176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32340 13086 16 0 211373 0
vsize: 845556
[startup+170.007 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 15122 48 0 0 25 0 11 0 838370376 865849344 32340 4294967295 134512640 134569956 3221224368 3221214560 1131386948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32340 13086 16 0 211373 0
vsize: 845556
[startup+180.007 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 16063 48 0 0 25 0 11 0 838370376 865849344 32340 4294967295 134512640 134569956 3221224368 3221214660 1131386444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32340 13086 16 0 211373 0
vsize: 845556
[startup+190.008 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 17029 48 0 0 25 0 11 0 838370376 865849344 32702 4294967295 134512640 134569956 3221224368 3221214560 1131386948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32702 13086 16 0 211373 0
vsize: 845556
[startup+200.008 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 18021 48 0 0 25 0 11 0 838370376 865849344 32711 4294967295 134512640 134569956 3221224368 3221214664 1131410176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32711 13086 16 0 211373 0
vsize: 845556
[startup+210.009 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 19013 48 0 0 25 0 11 0 838370376 865849344 32721 4294967295 134512640 134569956 3221224368 3221214560 1131386494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32721 13086 16 0 211373 0
vsize: 845556
[startup+220.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 20005 48 0 0 25 0 11 0 838370376 865849344 32730 4294967295 134512640 134569956 3221224368 3221214664 1131417784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32730 13086 16 0 211373 0
vsize: 845556
[startup+230.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 20997 48 0 0 25 0 11 0 838370376 865849344 32741 4294967295 134512640 134569956 3221224368 3221214512 1131278480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32741 13086 16 0 211373 0
vsize: 845556
[startup+240.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 21988 48 0 0 25 0 11 0 838370376 865849344 32751 4294967295 134512640 134569956 3221224368 3221214560 1131386975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 32751 13086 16 0 211373 0
vsize: 845556
[startup+250.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 22979 49 0 0 25 0 11 0 838370376 865849344 32762 4294967295 134512640 134569956 3221224368 3221214560 1131386894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32762 13086 16 0 211373 0
vsize: 845556
[startup+260.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 23969 49 0 0 25 0 11 0 838370376 865849344 32773 4294967295 134512640 134569956 3221224368 3221214664 1131411273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32773 13086 16 0 211373 0
vsize: 845556
[startup+270.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 24959 50 0 0 25 0 11 0 838370376 865849344 32785 4294967295 134512640 134569956 3221224368 3221214560 1131386975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32785 13086 16 0 211373 0
vsize: 845556
[startup+280.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 25950 50 0 0 25 0 11 0 838370376 865849344 32796 4294967295 134512640 134569956 3221224368 3221214512 1131278456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32796 13086 16 0 211373 0
vsize: 845556
[startup+290.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 26940 50 0 0 22 0 11 0 838370376 865849344 32808 4294967295 134512640 134569956 3221224368 3221214560 1131387468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32808 13086 16 0 211373 0
vsize: 845556
[startup+300.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 27929 51 0 0 25 0 11 0 838370376 865849344 32821 4294967295 134512640 134569956 3221224368 3221214560 1131387009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32821 13086 16 0 211373 0
vsize: 845556
[startup+310.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18079 0 1 0 28917 51 0 0 24 0 11 0 838370376 865849344 32835 4294967295 134512640 134569956 3221224368 3221214560 1131387202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32835 13086 16 0 211373 0
vsize: 845556
[startup+320.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 29893 52 0 0 25 0 11 0 838370376 865849344 32879 4294967295 134512640 134569956 3221224368 3221214664 1131411244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32879 13086 16 0 211373 0
vsize: 845556
[startup+330.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 30882 52 0 0 25 0 11 0 838370376 865849344 32892 4294967295 134512640 134569956 3221224368 3221214664 1131411280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32892 13086 16 0 211373 0
vsize: 845556
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 31873 52 0 0 25 0 11 0 838370376 865849344 32906 4294967295 134512640 134569956 3221224368 3221214660 1131386451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32906 13086 16 0 211373 0
vsize: 845556
[startup+350.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 32866 53 0 0 25 0 11 0 838370376 865849344 32924 4294967295 134512640 134569956 3221224368 3221214560 1131386537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32924 13086 16 0 211373 0
vsize: 845556
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 33861 53 0 0 25 0 11 0 838370376 865849344 32927 4294967295 134512640 134569956 3221224368 3221214544 1131410333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32927 13086 16 0 211373 0
vsize: 845556
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 34858 53 0 0 25 0 11 0 838370376 865849344 32928 4294967295 134512640 134569956 3221224368 3221214544 1131417775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32928 13086 16 0 211373 0
vsize: 845556
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 35853 54 0 0 25 0 11 0 838370376 865849344 32929 4294967295 134512640 134569956 3221224368 3221214544 1131410241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32929 13086 16 0 211373 0
vsize: 845556
[startup+390.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 36848 54 0 0 25 0 11 0 838370376 865849344 32930 4294967295 134512640 134569956 3221224368 3221214440 1131386648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32930 13086 16 0 211373 0
vsize: 845556
[startup+400.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 37844 54 0 0 25 0 11 0 838370376 865849344 32930 4294967295 134512640 134569956 3221224368 3221214440 1131387715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32930 13086 16 0 211373 0
vsize: 845556
[startup+410.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 38839 54 0 0 25 0 11 0 838370376 865849344 32931 4294967295 134512640 134569956 3221224368 3221214440 1131387494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32931 13086 16 0 211373 0
vsize: 845556
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 39831 55 0 0 25 0 11 0 838370376 865849344 32931 4294967295 134512640 134569956 3221224368 3221214544 1131417794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32931 13086 16 0 211373 0
vsize: 845556
[startup+430.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 40825 55 0 0 25 0 11 0 838370376 865849344 32931 4294967295 134512640 134569956 3221224368 3221214440 1131386996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32931 13086 16 0 211373 0
vsize: 845556
[startup+440.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 41819 55 0 0 25 0 11 0 838370376 865849344 32931 4294967295 134512640 134569956 3221224368 3221214440 1131386525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32931 13086 16 0 211373 0
vsize: 845556
[startup+450.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 42814 56 0 0 25 0 11 0 838370376 865849344 32938 4294967295 134512640 134569956 3221224368 3221214440 1131386518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32938 13086 16 0 211373 0
vsize: 845556
[startup+460.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 43810 56 0 0 25 0 11 0 838370376 865849344 32938 4294967295 134512640 134569956 3221224368 3221214544 1131417784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32938 13086 16 0 211373 0
vsize: 845556
[startup+470.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 44806 56 0 0 25 0 11 0 838370376 865849344 32939 4294967295 134512640 134569956 3221224368 3221214440 1131386975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32939 13086 16 0 211373 0
vsize: 845556
[startup+480.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 45802 56 0 0 25 0 11 0 838370376 865849344 32939 4294967295 134512640 134569956 3221224368 3221214440 1131386972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32939 13086 16 0 211373 0
vsize: 845556
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 46797 57 0 0 25 0 11 0 838370376 865849344 32940 4294967295 134512640 134569956 3221224368 3221214544 1131410241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32940 13086 16 0 211373 0
vsize: 845556
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 47792 57 0 0 25 0 11 0 838370376 865849344 32940 4294967295 134512640 134569956 3221224368 3221214440 1131387403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32940 13086 16 0 211373 0
vsize: 845556
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 48784 58 0 0 25 0 11 0 838370376 865849344 32940 4294967295 134512640 134569956 3221224368 3221214544 1131417648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32940 13086 16 0 211373 0
vsize: 845556
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 49777 58 0 0 25 0 11 0 838370376 865849344 32940 4294967295 134512640 134569956 3221224368 3221214392 1131278456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32940 13086 16 0 211373 0
vsize: 845556
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 50763 58 0 0 25 0 11 0 838370376 865849344 32943 4294967295 134512640 134569956 3221224368 3221214544 1131417784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32943 13086 16 0 211373 0
vsize: 845556
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 51753 59 0 0 25 0 11 0 838370376 865849344 32950 4294967295 134512640 134569956 3221224368 3221214544 1131417800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32950 13086 16 0 211373 0
vsize: 845556
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18089 0 1 0 52741 59 0 0 25 0 11 0 838370376 865849344 32954 4294967295 134512640 134569956 3221224368 3221214440 1131387133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32954 13086 16 0 211373 0
vsize: 845556
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18090 0 1 0 53727 59 0 0 24 0 11 0 838370376 865849344 32969 4294967295 134512640 134569956 3221224368 3221214440 1131386948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32969 13086 16 0 211373 0
vsize: 845556
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18090 0 1 0 54714 60 0 0 25 0 11 0 838370376 865849344 32990 4294967295 134512640 134569956 3221224368 3221214544 1131411255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 32990 13086 16 0 211373 0
vsize: 845556
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18090 0 1 0 55693 60 0 0 25 0 11 0 838370376 865849344 33034 4294967295 134512640 134569956 3221224368 3221214508 1131317604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33034 13086 16 0 211373 0
vsize: 845556
[startup+590.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18090 0 1 0 56670 60 0 0 25 0 11 0 838370376 865849344 33047 4294967295 134512640 134569956 3221224368 3221214512 1131445836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33047 13086 16 0 211373 0
vsize: 845556
[startup+600.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18090 0 1 0 57628 60 0 0 25 0 11 0 838370376 865849344 33052 4294967295 134512640 134569956 3221224368 3221214544 1131410176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33052 13086 16 0 211373 0
vsize: 845556
[startup+610.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18090 0 1 0 58571 60 0 0 25 0 11 0 838370376 865849344 33071 4294967295 134512640 134569956 3221224368 3221214544 1131410252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33071 13086 16 0 211373 0
vsize: 845556
[startup+620.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) S 6731 22056 22055 0 -1 0 18090 0 1 0 59487 60 0 0 25 0 11 0 838370376 865849344 33275 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33275 13086 16 0 211373 0
vsize: 845556
[startup+630.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) S 6731 22056 22055 0 -1 0 18090 0 1 0 60371 60 0 0 25 0 11 0 838370376 865849344 33277 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33277 13086 16 0 211373 0
vsize: 845556
[startup+640.028 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 6744
Raw data (stat): 6732 (java) S 6731 22056 22055 0 -1 0 18092 0 1 0 61286 61 0 0 25 0 11 0 838370376 865849344 33717 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 33717 13086 16 0 211373 0
vsize: 845556
[startup+650.029 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 62243 61 0 0 25 0 11 0 838370376 865849344 34000 4294967295 134512640 134569956 3221224368 3221214668 1131386444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34000 13086 16 0 211373 0
vsize: 845556
[startup+660.029 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 63224 61 0 0 25 0 11 0 838370376 865849344 34193 4294967295 134512640 134569956 3221224368 3221214640 1131289392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34193 13086 16 0 211373 0
vsize: 845556
[startup+670.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 64205 61 0 0 25 0 11 0 838370376 865849344 34197 4294967295 134512640 134569956 3221224368 3221214560 1131386948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34197 13086 16 0 211373 0
vsize: 845556
[startup+680.03 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 65187 61 0 0 25 0 11 0 838370376 865849344 34213 4294967295 134512640 134569956 3221224368 3221214544 1131411270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34213 13086 16 0 211373 0
vsize: 845556
[startup+690.03 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 66167 61 0 0 25 0 11 0 838370376 865849344 34268 4294967295 134512640 134569956 3221224368 3221214544 1131308317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34268 13086 16 0 211373 0
vsize: 845556
[startup+700.031 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 67149 61 0 0 25 0 11 0 838370376 865849344 34332 4294967295 134512640 134569956 3221224368 3221214400 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34332 13086 16 0 211373 0
vsize: 845556
[startup+710.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 68133 61 0 0 24 0 11 0 838370376 865849344 34374 4294967295 134512640 134569956 3221224368 3221214440 1131386465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34374 13086 16 0 211373 0
vsize: 845556
[startup+720.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 69119 61 0 0 25 0 11 0 838370376 865849344 34402 4294967295 134512640 134569956 3221224368 3221214440 1131386975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34402 13086 16 0 211373 0
vsize: 845556
[startup+730.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 70103 61 0 0 25 0 11 0 838370376 865849344 34436 4294967295 134512640 134569956 3221224368 3221214592 1131448649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34436 13086 16 0 211373 0
vsize: 845556
[startup+740.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 71086 61 0 0 25 0 11 0 838370376 865849344 34472 4294967295 134512640 134569956 3221224368 3221214536 1131289392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34472 13086 16 0 211373 0
vsize: 845556
[startup+750.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 72071 61 0 0 25 0 11 0 838370376 865849344 34500 4294967295 134512640 134569956 3221224368 3221214464 1131439772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34500 13086 16 0 211373 0
vsize: 845556
[startup+760.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) S 6731 22056 22055 0 -1 0 18092 0 1 0 73045 61 0 0 25 0 11 0 838370376 865849344 34546 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34546 13086 16 0 211373 0
vsize: 845556
[startup+770.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 74021 62 0 0 25 0 11 0 838370376 865849344 34615 4294967295 134512640 134569956 3221224368 3221214664 1131412063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34615 13086 16 0 211373 0
vsize: 845556
[startup+780.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 75003 62 0 0 25 0 11 0 838370376 865849344 34668 4294967295 134512640 134569956 3221224368 3221214560 1131386919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34668 13086 16 0 211373 0
vsize: 845556
[startup+790.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 75992 62 0 0 25 0 11 0 838370376 865849344 34729 4294967295 134512640 134569956 3221224368 3221214560 1131386494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34729 13086 16 0 211373 0
vsize: 845556
[startup+800.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 76984 62 0 0 25 0 11 0 838370376 865849344 34743 4294967295 134512640 134569956 3221224368 3221214560 1131386812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34743 13086 16 0 211373 0
vsize: 845556
[startup+810.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 77978 62 0 0 25 0 11 0 838370376 865849344 34755 4294967295 134512640 134569956 3221224368 3221214560 1131332395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34755 13086 16 0 211373 0
vsize: 845556
[startup+820.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 78969 62 0 0 25 0 11 0 838370376 865849344 34761 4294967295 134512640 134569956 3221224368 3221214560 1131386465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34761 13086 16 0 211373 0
vsize: 845556
[startup+830.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 79962 62 0 0 25 0 11 0 838370376 865849344 34766 4294967295 134512640 134569956 3221224368 3221214560 1131386623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34766 13086 16 0 211373 0
vsize: 845556
[startup+840.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 80954 62 0 0 25 0 11 0 838370376 865849344 34774 4294967295 134512640 134569956 3221224368 3221214560 1131386975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34774 13086 16 0 211373 0
vsize: 845556
[startup+850.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 81947 62 0 0 25 0 11 0 838370376 865849344 34782 4294967295 134512640 134569956 3221224368 3221214560 1131386551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34782 13086 16 0 211373 0
vsize: 845556
[startup+860.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 82939 62 0 0 25 0 11 0 838370376 865849344 34790 4294967295 134512640 134569956 3221224368 3221214600 1131345830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34790 13086 16 0 211373 0
vsize: 845556
[startup+870.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 83930 62 0 0 25 0 11 0 838370376 865849344 34798 4294967295 134512640 134569956 3221224368 3221214560 1131386685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34798 13086 16 0 211373 0
vsize: 845556
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 84922 62 0 0 25 0 11 0 838370376 865849344 34807 4294967295 134512640 134569956 3221224368 3221214560 1131386975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34807 13086 16 0 211373 0
vsize: 845556
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 85910 62 0 0 25 0 11 0 838370376 865849344 34815 4294967295 134512640 134569956 3221224368 3221214664 1131409971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34815 13086 16 0 211373 0
vsize: 845556
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 86890 62 0 0 24 0 11 0 838370376 865849344 34827 4294967295 134512640 134569956 3221224368 3221214440 1131386842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34827 13086 16 0 211373 0
vsize: 845556
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 87873 63 0 0 25 0 11 0 838370376 865849344 34838 4294967295 134512640 134569956 3221224368 3221214456 1131333017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34838 13086 16 0 211373 0
vsize: 845556
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 88856 63 0 0 25 0 11 0 838370376 865849344 34866 4294967295 134512640 134569956 3221224368 3221214544 1131412220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34866 13086 16 0 211373 0
vsize: 845556
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 89845 63 0 0 25 0 11 0 838370376 865849344 34938 4294967295 134512640 134569956 3221224368 3221214544 1131410176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34938 13086 16 0 211373 0
vsize: 845556
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 90839 63 0 0 25 0 11 0 838370376 865849344 34949 4294967295 134512640 134569956 3221224368 3221214440 1131386494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34949 13086 16 0 211373 0
vsize: 845556
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 91833 63 0 0 25 0 11 0 838370376 865849344 34957 4294967295 134512640 134569956 3221224368 3221214456 1131332425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34957 13086 16 0 211373 0
vsize: 845556
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 92825 63 0 0 25 0 11 0 838370376 865849344 34962 4294967295 134512640 134569956 3221224368 3221214564 1131289496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34962 13086 16 0 211373 0
vsize: 845556
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 93818 63 0 0 25 0 11 0 838370376 865849344 34967 4294967295 134512640 134569956 3221224368 3221214440 1131387075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34967 13086 16 0 211373 0
vsize: 845556
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 94811 63 0 0 25 0 11 0 838370376 865849344 34975 4294967295 134512640 134569956 3221224368 3221214544 1131411298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34975 13086 16 0 211373 0
vsize: 845556
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 95802 63 0 0 25 0 11 0 838370376 865849344 34983 4294967295 134512640 134569956 3221224368 3221214456 1131333111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34983 13086 16 0 211373 0
vsize: 845556
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 96792 64 0 0 25 0 11 0 838370376 865849344 34991 4294967295 134512640 134569956 3221224368 3221214456 1131333087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 34991 13086 16 0 211373 0
vsize: 845556
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 97783 64 0 0 25 0 11 0 838370376 865849344 35003 4294967295 134512640 134569956 3221224368 3221214544 1131417754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35003 13086 16 0 211373 0
vsize: 845556
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 98770 64 0 0 25 0 11 0 838370376 865849344 35017 4294967295 134512640 134569956 3221224368 3221214440 1131386975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35017 13086 16 0 211373 0
vsize: 845556
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 99758 64 0 0 25 0 11 0 838370376 865849344 35034 4294967295 134512640 134569956 3221224368 3221214440 1131387085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35034 13086 16 0 211373 0
vsize: 845556
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 100748 64 0 0 25 0 11 0 838370376 865849344 35062 4294967295 134512640 134569956 3221224368 3221214456 1131333008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35062 13086 16 0 211373 0
vsize: 845556
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 101740 64 0 0 25 0 11 0 838370376 865849344 35072 4294967295 134512640 134569956 3221224368 3221214544 1131409969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35072 13086 16 0 211373 0
vsize: 845556
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 102732 64 0 0 25 0 11 0 838370376 865849344 35080 4294967295 134512640 134569956 3221224368 3221214544 1131411280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35080 13086 16 0 211373 0
vsize: 845556
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 103725 64 0 0 25 0 11 0 838370376 865849344 35088 4294967295 134512640 134569956 3221224368 3221214440 1131387224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35088 13086 16 0 211373 0
vsize: 845556
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 104718 64 0 0 25 0 11 0 838370376 865849344 35094 4294967295 134512640 134569956 3221224368 3221214536 1131289392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35094 13086 16 0 211373 0
vsize: 845556
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 105709 64 0 0 25 0 11 0 838370376 865849344 35099 4294967295 134512640 134569956 3221224368 3221214440 1131387176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35099 13086 16 0 211373 0
vsize: 845556
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 106701 64 0 0 25 0 11 0 838370376 865849344 35108 4294967295 134512640 134569956 3221224368 3221214440 1131386476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35108 13086 16 0 211373 0
vsize: 845556
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 107691 64 0 0 25 0 11 0 838370376 865849344 35117 4294967295 134512640 134569956 3221224368 3221214456 1131332360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35117 13086 16 0 211373 0
vsize: 845556
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 108682 64 0 0 25 0 11 0 838370376 865849344 35132 4294967295 134512640 134569956 3221224368 3221214544 1131409937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35132 13086 16 0 211373 0
vsize: 845556
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 109674 65 0 0 25 0 11 0 838370376 865849344 35138 4294967295 134512640 134569956 3221224368 3221214456 1131334626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35138 13086 16 0 211373 0
vsize: 845556
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 110654 65 0 0 24 0 11 0 838370376 865849344 35152 4294967295 134512640 134569956 3221224368 3221214564 1131289312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35152 13086 16 0 211373 0
vsize: 845556
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 111642 65 0 0 25 0 11 0 838370376 865849344 35164 4294967295 134512640 134569956 3221224368 3221214464 1131440161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35164 13086 16 0 211373 0
vsize: 845556
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 112632 65 0 0 24 0 11 0 838370376 865849344 35176 4294967295 134512640 134569956 3221224368 3221214540 1131386444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35176 13086 16 0 211373 0
vsize: 845556
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 113624 66 0 0 25 0 11 0 838370376 865849344 35205 4294967295 134512640 134569956 3221224368 3221214544 1131207854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211389 35205 13086 16 0 211373 0
vsize: 845556
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 114615 66 0 0 25 0 11 0 838370376 865849344 35212 4294967295 134512640 134569956 3221224368 3221214516 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35212 13086 16 0 211373 0
vsize: 845556
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 115608 66 0 0 25 0 11 0 838370376 865849344 35218 4294967295 134512640 134569956 3221224368 3221214516 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35218 13086 16 0 211373 0
vsize: 845556
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 116600 66 0 0 25 0 11 0 838370376 865849344 35226 4294967295 134512640 134569956 3221224368 3221214544 1131417784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35226 13086 16 0 211373 0
vsize: 845556
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 117591 66 0 0 25 0 11 0 838370376 865849344 35234 4294967295 134512640 134569956 3221224368 3221214440 1131386494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35234 13086 16 0 211373 0
vsize: 845556
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 118582 67 0 0 25 0 11 0 838370376 865849344 35242 4294967295 134512640 134569956 3221224368 3221214440 1131387482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35242 13086 16 0 211373 0
vsize: 845556
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 119572 67 0 0 24 0 11 0 838370376 865849344 35250 4294967295 134512640 134569956 3221224368 3221214560 1131309927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35250 13086 16 0 211373 0
vsize: 845556
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6744
Raw data (stat): 6732 (java) R 6731 22056 22055 0 -1 0 18092 0 1 0 120559 67 0 0 25 0 11 0 838370376 865849344 35261 4294967295 134512640 134569956 3221224368 3221214440 1131387396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 35261 13086 16 0 211373 0
vsize: 845556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6746
Raw data (stat): 6732 (java) Z 6731 22056 22055 0 -1 1036 18092 19256 1 0 120561 67 4174 52 25 0 1 0 838370376 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.15
CPU time (s): 1248.57
CPU user time (s): 1247.37
CPU system time (s): 1.20582
CPU usage (%): 100.679
Max. virtual memory (Kb): 845556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####