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/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4000
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 29137

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 05:04:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20538 boxname=wulflinc30 idbench=128 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4675a5d50c7e04c9a0597ae768da1a88  /oldhome/oroussel/tmp/wulflinc30/normalized-f2000.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-f2000.opb
IDLAUNCH: 20538
/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:        723596 kB
Buffers:         32728 kB
Cached:         254944 kB
SwapCached:        716 kB
Active:          72624 kB
Inactive:       217156 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        723344 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15572 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:25:30 (client local time) WITH STATUS 143 IN 1246.7 SECONDS
stats: 20538 7 1246.7 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-f2000.opb
c reading problem ... done. Time 10.885 ms.
c #vars     4000
c #constraints  10500
c starts	: 11
c conflicts	: 14917
c decisions	: 26584
c propagations	: 5476195
c inspects	: 23971525
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 24
c learned clauses	: 14917
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1249.122
#### 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.86 0.93 0.90 2/54 4238
Raw data (stat): 4238 (runsolver) R 4237 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836212391 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0004 s]
Raw data (loadavg): 1.12 0.98 0.92 4/63 4247
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18034 0 1 0 906 37 0 0 25 0 10 0 836212391 859832320 20623 4294967295 134512640 134569956 3221224384 3221214056 1079276195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209920 20623 13086 16 0 209904 0
vsize: 839680
[startup+20.0012 s]
Raw data (loadavg): 1.25 1.01 0.93 3/64 4248
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 1602 37 0 0 25 0 11 0 836212391 861360128 22331 4294967295 134512640 134569956 3221224384 3221214776 1130894842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 22331 13086 16 0 210277 0
vsize: 841172
[startup+30.0013 s]
Raw data (loadavg): 1.21 1.01 0.93 2/64 4248
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 2539 37 0 0 25 0 11 0 836212391 860225536 23726 4294967295 134512640 134569956 3221224384 3221214688 1131358257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 23726 13086 16 0 210000 0
vsize: 840064
[startup+40.0018 s]
Raw data (loadavg): 1.18 1.01 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 3503 37 0 0 25 0 11 0 836212391 860225536 23993 4294967295 134512640 134569956 3221224384 3221214792 1131477207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 23993 13086 16 0 210000 0
vsize: 840064
[startup+50.0024 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 4457 37 0 0 25 0 11 0 836212391 860225536 24349 4294967295 134512640 134569956 3221224384 3221214800 1131522641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 24349 13086 16 0 210000 0
vsize: 840064
[startup+60.0039 s]
Raw data (loadavg): 1.13 1.01 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 5405 37 0 0 25 0 11 0 836212391 860225536 24630 4294967295 134512640 134569956 3221224384 3221214576 1131354970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 24630 13086 16 0 210000 0
vsize: 840064
[startup+70.0042 s]
Raw data (loadavg): 1.11 1.01 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 6353 37 0 0 25 0 11 0 836212391 860225536 24873 4294967295 134512640 134569956 3221224384 3221214760 1131493760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 24873 13086 16 0 210000 0
vsize: 840064
[startup+80.0039 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 7299 38 0 0 25 0 11 0 836212391 860225536 25158 4294967295 134512640 134569956 3221224384 3221214672 1131721403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 25158 13086 16 0 210000 0
vsize: 840064
[startup+90.0055 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18076 0 1 0 8232 38 0 0 24 0 11 0 836212391 860225536 25574 4294967295 134512640 134569956 3221224384 3221214632 1131505531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 25574 13086 16 0 210000 0
vsize: 840064
[startup+100.008 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) S 4237 22056 22055 0 -1 0 18076 0 1 0 9190 38 0 0 25 0 11 0 836212391 860225536 25754 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 25754 13086 16 0 210000 0
vsize: 840064
[startup+110.008 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 10136 38 0 0 25 0 11 0 836212391 860225536 26057 4294967295 134512640 134569956 3221224384 3221214576 1131354476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 26057 13086 16 0 210000 0
vsize: 840064
[startup+120.01 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 11068 38 0 0 25 0 11 0 836212391 860225536 26398 4294967295 134512640 134569956 3221224384 3221214744 1131258201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 26398 13086 16 0 210000 0
vsize: 840064
[startup+130.009 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 12015 38 0 0 25 0 11 0 836212391 860225536 26705 4294967295 134512640 134569956 3221224384 3221214672 1131726762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 26705 13086 16 0 210000 0
vsize: 840064
[startup+140.009 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 12960 38 0 0 25 0 11 0 836212391 860225536 27012 4294967295 134512640 134569956 3221224384 3221214672 1131721664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 27012 13086 16 0 210000 0
vsize: 840064
[startup+150.009 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 13906 38 0 0 25 0 11 0 836212391 860225536 27304 4294967295 134512640 134569956 3221224384 3221214828 1131522419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 27304 13086 16 0 210000 0
vsize: 840064
[startup+160.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 14853 38 0 0 25 0 11 0 836212391 860225536 27591 4294967295 134512640 134569956 3221224384 3221214688 1131358494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 27591 13086 16 0 210000 0
vsize: 840064
[startup+170.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 15800 38 0 0 25 0 11 0 836212391 860225536 27810 4294967295 134512640 134569956 3221224384 3221214576 1131354209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 27810 13086 16 0 210000 0
vsize: 840064
[startup+180.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 16745 38 0 0 25 0 11 0 836212391 860225536 28104 4294967295 134512640 134569956 3221224384 3221214848 1131258201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 28104 13086 16 0 210000 0
vsize: 840064
[startup+190.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 17689 38 0 0 25 0 11 0 836212391 860225536 28438 4294967295 134512640 134569956 3221224384 3221214672 1131726539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 28438 13086 16 0 210000 0
vsize: 840064
[startup+200.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 18633 39 0 0 25 0 11 0 836212391 860225536 28741 4294967295 134512640 134569956 3221224384 3221214688 1131358523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 28741 13086 16 0 210000 0
vsize: 840064
[startup+210.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 19562 39 0 0 25 0 11 0 836212391 860225536 29142 4294967295 134512640 134569956 3221224384 3221214788 1131480873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 29142 13086 16 0 210000 0
vsize: 840064
[startup+220.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 20508 39 0 0 25 0 11 0 836212391 860225536 29385 4294967295 134512640 134569956 3221224384 3221214640 1131486775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 29385 13086 16 0 210000 0
vsize: 840064
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 21452 39 0 0 25 0 11 0 836212391 860225536 29651 4294967295 134512640 134569956 3221224384 3221214736 1131522641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 29651 13086 16 0 210000 0
vsize: 840064
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 22394 39 0 0 25 0 11 0 836212391 860225536 29962 4294967295 134512640 134569956 3221224384 3221214632 1131721687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 29962 13086 16 0 210000 0
vsize: 840064
[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 23337 39 0 0 25 0 11 0 836212391 860225536 30309 4294967295 134512640 134569956 3221224384 3221214520 1131632016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 30309 13086 16 0 210000 0
vsize: 840064
[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 24294 39 0 0 25 0 11 0 836212391 860225536 30498 4294967295 134512640 134569956 3221224384 3221214552 1131367424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 30498 13086 16 0 210000 0
vsize: 840064
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 25237 39 0 0 25 0 11 0 836212391 860225536 30918 4294967295 134512640 134569956 3221224384 3221214536 1131353982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 30918 13086 16 0 210000 0
vsize: 840064
[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 26181 40 0 0 25 0 11 0 836212391 860225536 31118 4294967295 134512640 134569956 3221224384 3221214632 1131354043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 31118 13086 16 0 210000 0
vsize: 840064
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 27126 40 0 0 25 0 11 0 836212391 860225536 31450 4294967295 134512640 134569956 3221224384 3221214628 1131353939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 31450 13086 16 0 210000 0
vsize: 840064
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 28055 41 0 0 25 0 11 0 836212391 860225536 31694 4294967295 134512640 134569956 3221224384 3221214536 1131354298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 31694 13086 16 0 210000 0
vsize: 840064
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 28999 41 0 0 25 0 11 0 836212391 860225536 31944 4294967295 134512640 134569956 3221224384 3221214720 1131342117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 31944 13086 16 0 210000 0
vsize: 840064
[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 29941 41 0 0 25 0 11 0 836212391 860225536 32219 4294967295 134512640 134569956 3221224384 3221214496 1131358183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 32219 13086 16 0 210000 0
vsize: 840064
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 30884 41 0 0 25 0 11 0 836212391 860225536 32519 4294967295 134512640 134569956 3221224384 3221214592 1131534620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 32519 13086 16 0 210000 0
vsize: 840064
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 31826 42 0 0 25 0 11 0 836212391 860225536 32841 4294967295 134512640 134569956 3221224384 3221214544 1131231845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 32841 13086 16 0 210000 0
vsize: 840064
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 32770 42 0 0 24 0 11 0 836212391 860225536 33089 4294967295 134512640 134569956 3221224384 3221214728 1131477100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 33089 13086 16 0 210000 0
vsize: 840064
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) S 4237 22056 22055 0 -1 0 18077 0 1 0 33716 42 0 0 25 0 11 0 836212391 860225536 33385 4294967295 134512640 134569956 3221224384 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 33385 13086 16 0 210000 0
vsize: 840064
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 34654 42 0 0 25 0 11 0 836212391 860225536 33715 4294967295 134512640 134569956 3221224384 3221214696 1131493803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 33715 13086 16 0 210000 0
vsize: 840064
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 35595 43 0 0 25 0 11 0 836212391 860225536 33934 4294967295 134512640 134569956 3221224384 3221214680 1131258219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 33934 13086 16 0 210000 0
vsize: 840064
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 36538 43 0 0 25 0 11 0 836212391 860225536 34157 4294967295 134512640 134569956 3221224384 3221214592 1131534645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 34157 13086 16 0 210000 0
vsize: 840064
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 37481 43 0 0 25 0 11 0 836212391 860225536 34435 4294967295 134512640 134569956 3221224384 3221214536 1131354257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 34435 13086 16 0 210000 0
vsize: 840064
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 38424 44 0 0 25 0 11 0 836212391 860225536 34679 4294967295 134512640 134569956 3221224384 3221214712 1131480905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 34679 13086 16 0 210000 0
vsize: 840064
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) S 4237 22056 22055 0 -1 0 18077 0 1 0 39353 44 0 0 25 0 11 0 836212391 860225536 34933 4294967295 134512640 134569956 3221224384 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 34936 13086 16 0 210000 0
vsize: 840064
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 40308 44 0 0 25 0 11 0 836212391 860225536 35209 4294967295 134512640 134569956 3221224384 3221214728 1131476868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 35209 13086 16 0 210000 0
vsize: 840064
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 41250 44 0 0 25 0 11 0 836212391 860225536 35450 4294967295 134512640 134569956 3221224384 3221214724 1131493664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 35450 13086 16 0 210000 0
vsize: 840064
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 42192 44 0 0 25 0 11 0 836212391 860225536 35709 4294967295 134512640 134569956 3221224384 3221214568 1131504849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 35709 13086 16 0 210000 0
vsize: 840064
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 43119 45 0 0 25 0 11 0 836212391 860225536 36127 4294967295 134512640 134569956 3221224384 3221214720 1131341618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 36127 13086 16 0 210000 0
vsize: 840064
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 44061 45 0 0 25 0 11 0 836212391 860225536 36381 4294967295 134512640 134569956 3221224384 3221214568 1131717253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 36381 13086 16 0 210000 0
vsize: 840064
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 45017 45 0 0 25 0 11 0 836212391 860225536 36587 4294967295 134512640 134569956 3221224384 3221214704 1131235043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 36587 13086 16 0 210000 0
vsize: 840064
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 45943 45 0 0 25 0 11 0 836212391 860225536 36920 4294967295 134512640 134569956 3221224384 3221214536 1131354372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 36920 13086 16 0 210000 0
vsize: 840064
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) S 4237 22056 22055 0 -1 0 18077 0 1 0 46894 45 0 0 25 0 11 0 836212391 860225536 37126 4294967295 134512640 134569956 3221224384 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 37126 13086 16 0 210000 0
vsize: 840064
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 47825 45 0 0 25 0 11 0 836212391 860225536 37453 4294967295 134512640 134569956 3221224384 3221214624 1131358638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 37453 13086 16 0 210000 0
vsize: 840064
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 48766 46 0 0 25 0 11 0 836212391 860225536 37704 4294967295 134512640 134569956 3221224384 3221214568 1131506407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 37704 13086 16 0 210000 0
vsize: 840064
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 49706 46 0 0 25 0 11 0 836212391 860225536 38032 4294967295 134512640 134569956 3221224384 3221214724 1131234915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 38032 13086 16 0 210000 0
vsize: 840064
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 50647 46 0 0 25 0 11 0 836212391 860225536 38278 4294967295 134512640 134569956 3221224384 3221214344 1078032327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 38278 13086 16 0 210000 0
vsize: 840064
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 51587 47 0 0 25 0 11 0 836212391 860225536 38520 4294967295 134512640 134569956 3221224384 3221214624 1131358308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 38520 13086 16 0 210000 0
vsize: 840064
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 52513 47 0 0 25 0 11 0 836212391 860225536 38787 4294967295 134512640 134569956 3221224384 3221214632 1131354630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 38787 13086 16 0 210000 0
vsize: 840064
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 53455 47 0 0 25 0 11 0 836212391 860225536 38972 4294967295 134512640 134569956 3221224384 3221214536 1131354126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 38972 13086 16 0 210000 0
vsize: 840064
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) S 4237 22056 22055 0 -1 0 18077 0 1 0 54388 47 0 0 25 0 11 0 836212391 860225536 39221 4294967295 134512640 134569956 3221224384 3221213136 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 39221 13086 16 0 210000 0
vsize: 840064
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 55319 47 0 0 25 0 11 0 836212391 860225536 39503 4294967295 134512640 134569956 3221224384 3221214536 1131354387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 39503 13086 16 0 210000 0
vsize: 840064
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 56258 47 0 0 25 0 11 0 836212391 860225536 39743 4294967295 134512640 134569956 3221224384 3221214632 1131726760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 39743 13086 16 0 210000 0
vsize: 840064
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 57198 48 0 0 25 0 11 0 836212391 860225536 40014 4294967295 134512640 134569956 3221224384 3221214592 1131535015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 40014 13086 16 0 210000 0
vsize: 840064
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 58136 48 0 0 25 0 11 0 836212391 860225536 40293 4294967295 134512640 134569956 3221224384 3221214540 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 40293 13086 16 0 210000 0
vsize: 840064
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 59073 48 0 0 24 0 11 0 836212391 860225536 40648 4294967295 134512640 134569956 3221224384 3221214724 1131503532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 40648 13086 16 0 210000 0
vsize: 840064
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 60029 48 0 0 25 0 11 0 836212391 860225536 40863 4294967295 134512640 134569956 3221224384 3221214536 1131354536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 40863 13086 16 0 210000 0
vsize: 840064
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 60956 49 0 0 25 0 11 0 836212391 860225536 41092 4294967295 134512640 134569956 3221224384 3221214536 1131354645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 41092 13086 16 0 210000 0
vsize: 840064
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 61896 49 0 0 25 0 11 0 836212391 860225536 41341 4294967295 134512640 134569956 3221224384 3221214536 1131353982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 41341 13086 16 0 210000 0
vsize: 840064
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 62837 49 0 0 25 0 11 0 836212391 860225536 41549 4294967295 134512640 134569956 3221224384 3221214624 1131358435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 41549 13086 16 0 210000 0
vsize: 840064
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 63776 50 0 0 25 0 11 0 836212391 860225536 41808 4294967295 134512640 134569956 3221224384 3221214812 1131560803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 41808 13086 16 0 210000 0
vsize: 840064
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 64715 50 0 0 25 0 11 0 836212391 860225536 42084 4294967295 134512640 134569956 3221224384 3221214640 1131541175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 42084 13086 16 0 210000 0
vsize: 840064
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 65654 50 0 0 25 0 11 0 836212391 860225536 42302 4294967295 134512640 134569956 3221224384 3221214696 1131493703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 42302 13086 16 0 210000 0
vsize: 840064
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 66590 50 0 0 25 0 11 0 836212391 860225536 42592 4294967295 134512640 134569956 3221224384 3221213988 1131450512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 42592 13086 16 0 210000 0
vsize: 840064
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 67590 50 0 0 25 0 11 0 836212391 860225536 42592 4294967295 134512640 134569956 3221224384 3221214632 1131354387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 42592 13086 16 0 210000 0
vsize: 840064
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 68574 51 0 0 25 0 11 0 836212391 860225536 42661 4294967295 134512640 134569956 3221224384 3221214320 1131778217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 42661 13086 16 0 210000 0
vsize: 840064
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 69558 51 0 0 25 0 11 0 836212391 860225536 42727 4294967295 134512640 134569956 3221224384 3221213320 1085632287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 42727 13086 16 0 210000 0
vsize: 840064
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 70543 52 0 0 25 0 11 0 836212391 860225536 42785 4294967295 134512640 134569956 3221224384 3221214428 1131778340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 42785 13086 16 0 210000 0
vsize: 840064
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 71543 52 0 0 25 0 11 0 836212391 860225536 42785 4294967295 134512640 134569956 3221224384 3221214536 1131354950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 42785 13086 16 0 210000 0
vsize: 840064
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 72511 52 0 0 25 0 11 0 836212391 860225536 42903 4294967295 134512640 134569956 3221224384 3221214568 1131505788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 42903 13086 16 0 210000 0
vsize: 840064
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 73511 52 0 0 25 0 11 0 836212391 860225536 42903 4294967295 134512640 134569956 3221224384 3221213792 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 42903 13086 16 0 210000 0
vsize: 840064
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 74494 53 0 0 25 0 11 0 836212391 860225536 42965 4294967295 134512640 134569956 3221224384 3221214088 1131778370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 42965 13086 16 0 210000 0
vsize: 840064
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 75495 53 0 0 25 0 11 0 836212391 860225536 42965 4294967295 134512640 134569956 3221224384 3221214680 1131789493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 42965 13086 16 0 210000 0
vsize: 840064
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 76479 53 0 0 25 0 11 0 836212391 860225536 43031 4294967295 134512640 134569956 3221224384 3221214264 1131778154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 43031 13086 16 0 210000 0
vsize: 840064
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 77478 53 0 0 25 0 11 0 836212391 860225536 43031 4294967295 134512640 134569956 3221224384 3221214216 1131450405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 43031 13086 16 0 210000 0
vsize: 840064
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 78462 54 0 0 25 0 11 0 836212391 860225536 43084 4294967295 134512640 134569956 3221224384 3221213304 1131751539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 43084 13086 16 0 210000 0
vsize: 840064
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 79461 54 0 0 25 0 11 0 836212391 860225536 43084 4294967295 134512640 134569956 3221224384 3221213568 1131783443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43084 13086 16 0 210000 0
vsize: 840064
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 80446 54 0 0 25 0 11 0 836212391 860225536 43151 4294967295 134512640 134569956 3221224384 3221214732 1131492224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43151 13086 16 0 210000 0
vsize: 840064
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 81430 54 0 0 25 0 11 0 836212391 860225536 43203 4294967295 134512640 134569956 3221224384 3221213956 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43203 13086 16 0 210000 0
vsize: 840064
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 82430 54 0 0 25 0 11 0 836212391 860225536 43203 4294967295 134512640 134569956 3221224384 3221213632 1131450519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43203 13086 16 0 210000 0
vsize: 840064
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 83414 54 0 0 25 0 11 0 836212391 860225536 43363 4294967295 134512640 134569956 3221224384 3221213392 1131783248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43363 13086 16 0 210000 0
vsize: 840064
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 84399 54 0 0 25 0 11 0 836212391 860225536 43363 4294967295 134512640 134569956 3221224384 3221214092 1131450953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43363 13086 16 0 210000 0
vsize: 840064
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 85399 55 0 0 25 0 11 0 836212391 860225536 43363 4294967295 134512640 134569956 3221224384 3221213232 1131783407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43363 13086 16 0 210000 0
vsize: 840064
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 86383 55 0 0 25 0 11 0 836212391 860225536 43424 4294967295 134512640 134569956 3221224384 3221213960 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43424 13086 16 0 210000 0
vsize: 840064
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 87382 56 0 0 25 0 11 0 836212391 860225536 43424 4294967295 134512640 134569956 3221224384 3221214536 1131353982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43424 13086 16 0 210000 0
vsize: 840064
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 88365 56 0 0 25 0 11 0 836212391 860225536 43478 4294967295 134512640 134569956 3221224384 3221213680 1085679513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43478 13086 16 0 210000 0
vsize: 840064
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 89350 56 0 0 25 0 11 0 836212391 860225536 43533 4294967295 134512640 134569956 3221224384 3221213992 1131450587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43533 13086 16 0 210000 0
vsize: 840064
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 90350 56 0 0 25 0 11 0 836212391 860225536 43533 4294967295 134512640 134569956 3221224384 3221214624 1131358494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43533 13086 16 0 210000 0
vsize: 840064
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 91350 57 0 0 25 0 11 0 836212391 860225536 43533 4294967295 134512640 134569956 3221224384 3221214564 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43533 13086 16 0 210000 0
vsize: 840064
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 92334 57 0 0 25 0 11 0 836212391 860225536 43599 4294967295 134512640 134569956 3221224384 3221214264 1131778154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 43599 13086 16 0 210000 0
vsize: 840064
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 93334 57 0 0 25 0 11 0 836212391 860225536 43599 4294967295 134512640 134569956 3221224384 3221213600 1131450513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43599 13086 16 0 210000 0
vsize: 840064
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 94319 57 0 0 25 0 11 0 836212391 860225536 43662 4294967295 134512640 134569956 3221224384 3221214100 1131450507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43662 13086 16 0 210000 0
vsize: 840064
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 95304 58 0 0 25 0 11 0 836212391 860225536 43740 4294967295 134512640 134569956 3221224384 3221214264 1131778154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 43740 13086 16 0 210000 0
vsize: 840064
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 96288 58 0 0 25 0 11 0 836212391 860225536 43740 4294967295 134512640 134569956 3221224384 3221213908 1131450512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43740 13086 16 0 210000 0
vsize: 840064
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 97288 58 0 0 25 0 11 0 836212391 860225536 43740 4294967295 134512640 134569956 3221224384 3221214680 1131788757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 43740 13086 16 0 210000 0
vsize: 840064
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 98272 58 0 0 25 0 11 0 836212391 860225536 43805 4294967295 134512640 134569956 3221224384 3221214424 1131450965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43805 13086 16 0 210000 0
vsize: 840064
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 99272 58 0 0 25 0 11 0 836212391 860225536 43805 4294967295 134512640 134569956 3221224384 3221214348 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43805 13086 16 0 210000 0
vsize: 840064
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 100256 58 0 0 25 0 11 0 836212391 860225536 43860 4294967295 134512640 134569956 3221224384 3221213676 1131450944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43860 13086 16 0 210000 0
vsize: 840064
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 101240 58 0 0 25 0 11 0 836212391 860225536 43944 4294967295 134512640 134569956 3221224384 3221213208 1085679440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43944 13086 16 0 210000 0
vsize: 840064
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 102240 58 0 0 25 0 11 0 836212391 860225536 43944 4294967295 134512640 134569956 3221224384 3221214048 1131450349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43944 13086 16 0 210000 0
vsize: 840064
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 103224 59 0 0 25 0 11 0 836212391 860225536 43998 4294967295 134512640 134569956 3221224384 3221214368 1131450967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43998 13086 16 0 210000 0
vsize: 840064
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 104225 59 0 0 25 0 11 0 836212391 860225536 43998 4294967295 134512640 134569956 3221224384 3221214696 1131493744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 43998 13086 16 0 210000 0
vsize: 840064
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 105210 59 0 0 25 0 11 0 836212391 860225536 44063 4294967295 134512640 134569956 3221224384 3221214136 1131779738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44063 13086 16 0 210000 0
vsize: 840064
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 106210 59 0 0 25 0 11 0 836212391 860225536 44063 4294967295 134512640 134569956 3221224384 3221213568 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44063 13086 16 0 210000 0
vsize: 840064
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 107194 59 0 0 25 0 11 0 836212391 860225536 44125 4294967295 134512640 134569956 3221224384 3221213712 1131450522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44125 13086 16 0 210000 0
vsize: 840064
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 108179 59 0 0 25 0 11 0 836212391 860225536 44179 4294967295 134512640 134569956 3221224384 3221214204 1131450944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44179 13086 16 0 210000 0
vsize: 840064
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 109179 59 0 0 25 0 11 0 836212391 860225536 44179 4294967295 134512640 134569956 3221224384 3221213824 1131450370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44179 13086 16 0 210000 0
vsize: 840064
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 110163 59 0 0 25 0 11 0 836212391 860225536 44238 4294967295 134512640 134569956 3221224384 3221214632 1131721719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44238 13086 16 0 210000 0
vsize: 840064
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 111163 59 0 0 25 0 11 0 836212391 860225536 44238 4294967295 134512640 134569956 3221224384 3221214472 1131779936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44238 13086 16 0 210000 0
vsize: 840064
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 112148 59 0 0 25 0 11 0 836212391 860225536 44288 4294967295 134512640 134569956 3221224384 3221213760 1131778304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44288 13086 16 0 210000 0
vsize: 840064
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 113133 59 0 0 25 0 11 0 836212391 860225536 44347 4294967295 134512640 134569956 3221224384 3221213644 1131778340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44347 13086 16 0 210000 0
vsize: 840064
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 114117 59 0 0 25 0 11 0 836212391 860225536 44449 4294967295 134512640 134569956 3221224384 3221213072 1131450513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44449 13086 16 0 210000 0
vsize: 840064
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 115117 59 0 0 25 0 11 0 836212391 860225536 44449 4294967295 134512640 134569956 3221224384 3221213592 1131778343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44449 13086 16 0 210000 0
vsize: 840064
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 116101 59 0 0 25 0 11 0 836212391 860225536 44513 4294967295 134512640 134569956 3221224384 3221213508 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44513 13086 16 0 210000 0
vsize: 840064
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 117085 59 0 0 25 0 11 0 836212391 860225536 44577 4294967295 134512640 134569956 3221224384 3221214568 1131505763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44577 13086 16 0 210000 0
vsize: 840064
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 118069 59 0 0 25 0 11 0 836212391 860225536 44635 4294967295 134512640 134569956 3221224384 3221214184 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44635 13086 16 0 210000 0
vsize: 840064
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 119070 60 0 0 25 0 11 0 836212391 860225536 44635 4294967295 134512640 134569956 3221224384 3221214368 1131450965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44635 13086 16 0 210000 0
vsize: 840064
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 4250
Raw data (stat): 4238 (java) R 4237 22056 22055 0 -1 0 18077 0 1 0 120055 60 0 0 25 0 11 0 836212391 860225536 44686 4294967295 134512640 134569956 3221224384 3221213624 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210016 44686 13086 16 0 210000 0
vsize: 840064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 4252
Raw data (stat): 4238 (java) Z 4237 22056 22055 0 -1 1036 18077 24626 1 0 120059 60 4499 51 25 0 1 0 836212391 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.16
CPU time (s): 1246.7
CPU user time (s): 1245.59
CPU system time (s): 1.11483
CPU usage (%): 99.7231
Max. virtual memory (Kb): 841172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####