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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb
MD5SUM	83f02a556772ce851c726a7388954d36
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	35
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	129
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.58545
Number of variables	2152
Total number of constraints	5613
Number of constraints which are clauses	5137
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	476
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 29306

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 06:16:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20706 boxname=wulflinc28 idbench=296 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  83f02a556772ce851c726a7388954d36  /oldhome/oroussel/tmp/wulflinc28/normalized-ooo.burch_dill.2.accl.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-ooo.burch_dill.2.accl.ucl.opb
IDLAUNCH: 20706
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        729976 kB
Buffers:         20784 kB
Cached:         262812 kB
SwapCached:       1052 kB
Active:          32112 kB
Inactive:       254000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        729724 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            12796 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:37:29 (client local time) WITH STATUS 143 IN 1225.4 SECONDS
stats: 20706 7 1225.4 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/wulflinc28/normalized-ooo.burch_dill.2.accl.ucl.opb
c reading problem ... done. Time 5.004 ms.
c #vars     2152
c #constraints  5613
c starts	: 10
c conflicts	: 9759
c decisions	: 27705
c propagations	: 1425485
c inspects	: 7610630
c learned literals	: 2
c learned binary clauses	: 56
c learned ternary clauses	: 44
c learned clauses	: 9757
c root simplifications	: 21
s UNKNOWN
c Total CPU time (ms) : 1229.173
#### 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): 1.14 1.05 1.01 2/54 3072
Raw data (stat): 3072 (runsolver) R 3071 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836657523 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.0005 s]
Raw data (loadavg): 1.43 1.12 1.03 4/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18087 0 1 0 747 38 0 0 25 0 11 0 836657523 863379456 21855 4294967295 134512640 134569956 3221224368 3221213980 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 21855 13086 16 0 210770 0
vsize: 843144
[startup+20.0008 s]
Raw data (loadavg): 1.51 1.14 1.04 4/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18090 0 1 0 1465 38 0 0 25 0 11 0 836657523 866603008 23717 4294967295 134512640 134569956 3221224368 3221214504 1131324594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211573 23717 13086 16 0 211557 0
vsize: 846292
[startup+30.0019 s]
Raw data (loadavg): 1.43 1.14 1.04 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18090 0 1 0 2403 38 0 0 25 0 11 0 836657523 864026624 23339 4294967295 134512640 134569956 3221224368 3221214752 1131358992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 23339 13086 16 0 210928 0
vsize: 843776
[startup+40.0017 s]
Raw data (loadavg): 1.36 1.13 1.04 2/64 3082
Raw data (stat): 3072 (java) S 3071 24821 24820 0 -1 0 18090 0 1 0 3347 39 0 0 25 0 11 0 836657523 864026624 23597 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 23597 13086 16 0 210928 0
vsize: 843776
[startup+50.0018 s]
Raw data (loadavg): 1.31 1.13 1.04 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18090 0 1 0 4289 39 0 0 25 0 11 0 836657523 864026624 24179 4294967295 134512640 134569956 3221224368 3221214648 1131242738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 24179 13086 16 0 210928 0
vsize: 843776
[startup+60.002 s]
Raw data (loadavg): 1.26 1.12 1.04 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18090 0 1 0 5230 40 0 0 25 0 11 0 836657523 864026624 24499 4294967295 134512640 134569956 3221224368 3221214544 1131359058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 24499 13086 16 0 210928 0
vsize: 843776
[startup+70.0037 s]
Raw data (loadavg): 1.22 1.12 1.04 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18090 0 1 0 6170 40 0 0 24 0 11 0 836657523 864026624 24879 4294967295 134512640 134569956 3221224368 3221214296 1131413403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 24879 13086 16 0 210928 0
vsize: 843776
[startup+80.0039 s]
Raw data (loadavg): 1.18 1.12 1.04 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18090 0 1 0 7119 40 0 0 25 0 11 0 836657523 864026624 25305 4294967295 134512640 134569956 3221224368 3221214544 1131207051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 25305 13086 16 0 210928 0
vsize: 843776
[startup+90.004 s]
Raw data (loadavg): 1.16 1.11 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 8055 41 0 0 25 0 11 0 836657523 864026624 25700 4294967295 134512640 134569956 3221224368 3221214768 1131376777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 25700 13086 16 0 210928 0
vsize: 843776
[startup+100.005 s]
Raw data (loadavg): 1.13 1.11 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 9008 41 0 0 25 0 11 0 836657523 864026624 25876 4294967295 134512640 134569956 3221224368 3221214568 1131211334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 25876 13086 16 0 210928 0
vsize: 843776
[startup+110.005 s]
Raw data (loadavg): 1.11 1.10 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 9947 41 0 0 25 0 11 0 836657523 864026624 26263 4294967295 134512640 134569956 3221224368 3221214784 1131334894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 26263 13086 16 0 210928 0
vsize: 843776
[startup+120.006 s]
Raw data (loadavg): 1.09 1.10 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 10887 41 0 0 25 0 11 0 836657523 864026624 26606 4294967295 134512640 134569956 3221224368 3221214320 1131667132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 26606 13086 16 0 210928 0
vsize: 843776
[startup+130.007 s]
Raw data (loadavg): 1.08 1.10 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 11825 41 0 0 25 0 11 0 836657523 864026624 27039 4294967295 134512640 134569956 3221224368 3221214728 1131327710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 27039 13086 16 0 210928 0
vsize: 843776
[startup+140.006 s]
Raw data (loadavg): 1.07 1.09 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 12764 42 0 0 25 0 11 0 836657523 864026624 27277 4294967295 134512640 134569956 3221224368 3221214724 1131183270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 27277 13086 16 0 210928 0
vsize: 843776
[startup+150.007 s]
Raw data (loadavg): 1.06 1.09 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 13705 42 0 0 25 0 11 0 836657523 864026624 27592 4294967295 134512640 134569956 3221224368 3221214728 1131328159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 27592 13086 16 0 210928 0
vsize: 843776
[startup+160.007 s]
Raw data (loadavg): 1.05 1.08 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 14632 42 0 0 24 0 11 0 836657523 864026624 27828 4294967295 134512640 134569956 3221224368 3221214576 1131349826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 27828 13086 16 0 210928 0
vsize: 843776
[startup+170.007 s]
Raw data (loadavg): 1.04 1.08 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 15574 43 0 0 25 0 11 0 836657523 864026624 28053 4294967295 134512640 134569956 3221224368 3221214640 1131293857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 28053 13086 16 0 210928 0
vsize: 843776
[startup+180.007 s]
Raw data (loadavg): 1.03 1.08 1.03 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 16512 43 0 0 25 0 11 0 836657523 864026624 28307 4294967295 134512640 134569956 3221224368 3221214648 1131242745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 28307 13086 16 0 210928 0
vsize: 843776
[startup+190.008 s]
Raw data (loadavg): 1.03 1.08 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 17436 43 0 0 25 0 11 0 836657523 864026624 28721 4294967295 134512640 134569956 3221224368 3221214608 1131188341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 28721 13086 16 0 210928 0
vsize: 843776
[startup+200.008 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 18384 43 0 0 25 0 11 0 836657523 864026624 28971 4294967295 134512640 134569956 3221224368 3221214072 1085632287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 28971 13086 16 0 210928 0
vsize: 843776
[startup+210.008 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 19361 44 0 0 25 0 11 0 836657523 864026624 29059 4294967295 134512640 134569956 3221224368 3221214408 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29059 13086 16 0 210928 0
vsize: 843776
[startup+220.008 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 20348 44 0 0 25 0 11 0 836657523 864026624 29162 4294967295 134512640 134569956 3221224368 3221213784 1131728848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29162 13086 16 0 210928 0
vsize: 843776
[startup+230.008 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 21337 44 0 0 25 0 11 0 836657523 864026624 29162 4294967295 134512640 134569956 3221224368 3221214380 1131353816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29162 13086 16 0 210928 0
vsize: 843776
[startup+240.008 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 22324 44 0 0 25 0 11 0 836657523 864026624 29162 4294967295 134512640 134569956 3221224368 3221214264 1131269727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29162 13086 16 0 210928 0
vsize: 843776
[startup+250.008 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 23324 44 0 0 25 0 11 0 836657523 864026624 29162 4294967295 134512640 134569956 3221224368 3221213400 1131728780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29162 13086 16 0 210928 0
vsize: 843776
[startup+260.008 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 24311 44 0 0 25 0 11 0 836657523 864026624 29228 4294967295 134512640 134569956 3221224368 3221214032 1131741002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29228 13086 16 0 210928 0
vsize: 843776
[startup+270.009 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 25298 44 0 0 25 0 11 0 836657523 864026624 29334 4294967295 134512640 134569956 3221224368 3221214360 1131723940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29334 13086 16 0 210928 0
vsize: 843776
[startup+280.009 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 26285 45 0 0 25 0 11 0 836657523 864026624 29438 4294967295 134512640 134569956 3221224368 3221213672 1131728842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29438 13086 16 0 210928 0
vsize: 843776
[startup+290.009 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 27273 45 0 0 25 0 11 0 836657523 864026624 29438 4294967295 134512640 134569956 3221224368 3221213992 1131353848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29438 13086 16 0 210928 0
vsize: 843776
[startup+300.01 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 28261 45 0 0 25 0 11 0 836657523 864026624 29518 4294967295 134512640 134569956 3221224368 3221213848 1085679526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29518 13086 16 0 210928 0
vsize: 843776
[startup+310.01 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 29249 45 0 0 25 0 11 0 836657523 864026624 29569 4294967295 134512640 134569956 3221224368 3221213616 1131354327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29569 13086 16 0 210928 0
vsize: 843776
[startup+320.01 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 30236 45 0 0 25 0 11 0 836657523 864026624 29636 4294967295 134512640 134569956 3221224368 3221214312 1131354325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29636 13086 16 0 210928 0
vsize: 843776
[startup+330.112 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 31234 46 0 0 25 0 11 0 836657523 864026624 29705 4294967295 134512640 134569956 3221224368 3221214152 1131269853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 29705 13086 16 0 210928 0
vsize: 843776
[startup+340.112 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 32208 46 0 0 25 0 11 0 836657523 864026624 29808 4294967295 134512640 134569956 3221224368 3221214728 1131327702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29808 13086 16 0 210928 0
vsize: 843776
[startup+350.112 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 33208 46 0 0 25 0 11 0 836657523 864026624 29810 4294967295 134512640 134569956 3221224368 3221213936 1131353873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29810 13086 16 0 210928 0
vsize: 843776
[startup+360.112 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 34196 46 0 0 25 0 11 0 836657523 864026624 29840 4294967295 134512640 134569956 3221224368 3221213852 1131269577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29840 13086 16 0 210928 0
vsize: 843776
[startup+370.112 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 35196 46 0 0 25 0 11 0 836657523 864026624 29840 4294967295 134512640 134569956 3221224368 3221214264 1131269739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29840 13086 16 0 210928 0
vsize: 843776
[startup+380.112 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 36182 46 0 0 25 0 11 0 836657523 864026624 29907 4294967295 134512640 134569956 3221224368 3221214560 1131293942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 29907 13086 16 0 210928 0
vsize: 843776
[startup+390.112 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 37169 46 0 0 25 0 11 0 836657523 864026624 30029 4294967295 134512640 134569956 3221224368 3221214104 1131353804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 30029 13086 16 0 210928 0
vsize: 843776
[startup+400.113 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 38155 47 0 0 25 0 11 0 836657523 864026624 30144 4294967295 134512640 134569956 3221224368 3221214372 1131269803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30144 13086 16 0 210928 0
vsize: 843776
[startup+410.116 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 39155 47 0 0 25 0 11 0 836657523 864026624 30144 4294967295 134512640 134569956 3221224368 3221213632 1131353933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30144 13086 16 0 210928 0
vsize: 843776
[startup+420.116 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 40142 47 0 0 25 0 11 0 836657523 864026624 30186 4294967295 134512640 134569956 3221224368 3221213572 1131353867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30186 13086 16 0 210928 0
vsize: 843776
[startup+430.117 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 41129 48 0 0 25 0 11 0 836657523 864026624 30258 4294967295 134512640 134569956 3221224368 3221214368 1131354325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30258 13086 16 0 210928 0
vsize: 843776
[startup+440.116 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 42105 48 0 0 25 0 11 0 836657523 864026624 30328 4294967295 134512640 134569956 3221224368 3221214784 1131334816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30328 13086 16 0 210928 0
vsize: 843776
[startup+450.116 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 43082 49 0 0 25 0 11 0 836657523 864026624 30401 4294967295 134512640 134569956 3221224368 3221214316 1131354313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30401 13086 16 0 210928 0
vsize: 843776
[startup+460.116 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 44070 49 0 0 25 0 11 0 836657523 864026624 30401 4294967295 134512640 134569956 3221224368 3221214376 1131269673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30401 13086 16 0 210928 0
vsize: 843776
[startup+470.116 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 45058 49 0 0 25 0 11 0 836657523 864026624 30472 4294967295 134512640 134569956 3221224368 3221213736 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30472 13086 16 0 210928 0
vsize: 843776
[startup+480.117 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 46045 50 0 0 25 0 11 0 836657523 864026624 30536 4294967295 134512640 134569956 3221224368 3221213844 1131354304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30536 13086 16 0 210928 0
vsize: 843776
[startup+490.117 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 47045 50 0 0 25 0 11 0 836657523 864026624 30536 4294967295 134512640 134569956 3221224368 3221214204 1131354316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30536 13086 16 0 210928 0
vsize: 843776
[startup+500.116 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 48033 50 0 0 25 0 11 0 836657523 864026624 30591 4294967295 134512640 134569956 3221224368 3221213876 1131353872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30591 13086 16 0 210928 0
vsize: 843776
[startup+510.116 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 49021 50 0 0 25 0 11 0 836657523 864026624 30634 4294967295 134512640 134569956 3221224368 3221213708 1131353872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30634 13086 16 0 210928 0
vsize: 843776
[startup+520.117 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 50021 50 0 0 25 0 11 0 836657523 864026624 30634 4294967295 134512640 134569956 3221224368 3221213632 1131353824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30634 13086 16 0 210928 0
vsize: 843776
[startup+530.118 s]
Raw data (loadavg): 1.00 1.02 1.00 3/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 51009 50 0 0 25 0 11 0 836657523 864026624 30634 4294967295 134512640 134569956 3221224368 3221214780 1131352899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 30634 13086 16 0 210928 0
vsize: 843776
[startup+540.118 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 51985 51 0 0 25 0 11 0 836657523 864026624 30792 4294967295 134512640 134569956 3221224368 3221214240 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30792 13086 16 0 210928 0
vsize: 843776
[startup+550.119 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 52973 51 0 0 25 0 11 0 836657523 864026624 30792 4294967295 134512640 134569956 3221224368 3221214032 1131269832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 30792 13086 16 0 210928 0
vsize: 843776
[startup+560.118 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 53961 51 0 0 25 0 11 0 836657523 864026624 30792 4294967295 134512640 134569956 3221224368 3221213656 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30792 13086 16 0 210928 0
vsize: 843776
[startup+570.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 54949 51 0 0 25 0 11 0 836657523 864026624 30895 4294967295 134512640 134569956 3221224368 3221214728 1131327786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30895 13086 16 0 210928 0
vsize: 843776
[startup+580.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 55936 51 0 0 25 0 11 0 836657523 864026624 30895 4294967295 134512640 134569956 3221224368 3221214148 1131353696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 30895 13086 16 0 210928 0
vsize: 843776
[startup+590.119 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 56924 51 0 0 25 0 11 0 836657523 864026624 30937 4294967295 134512640 134569956 3221224368 3221213688 1131353873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 30937 13086 16 0 210928 0
vsize: 843776
[startup+600.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 57911 51 0 0 25 0 11 0 836657523 864026624 31023 4294967295 134512640 134569956 3221224368 3221213512 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31023 13086 16 0 210928 0
vsize: 843776
[startup+610.119 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 58911 52 0 0 25 0 11 0 836657523 864026624 31023 4294967295 134512640 134569956 3221224368 3221214032 1131269832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31023 13086 16 0 210928 0
vsize: 843776
[startup+620.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 59899 52 0 0 25 0 11 0 836657523 864026624 31023 4294967295 134512640 134569956 3221224368 3221214104 1131353848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31023 13086 16 0 210928 0
vsize: 843776
[startup+630.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 60887 52 0 0 25 0 11 0 836657523 864026624 31077 4294967295 134512640 134569956 3221224368 3221214488 1131269593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31077 13086 16 0 210928 0
vsize: 843776
[startup+640.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 61874 52 0 0 25 0 11 0 836657523 864026624 31106 4294967295 134512640 134569956 3221224368 3221214736 1131734491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31106 13086 16 0 210928 0
vsize: 843776
[startup+650.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 62862 53 0 0 25 0 11 0 836657523 864026624 31150 4294967295 134512640 134569956 3221224368 3221214656 1131635465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31150 13086 16 0 210928 0
vsize: 843776
[startup+660.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 63849 53 0 0 25 0 11 0 836657523 864026624 31202 4294967295 134512640 134569956 3221224368 3221214216 1131353852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31202 13086 16 0 210928 0
vsize: 843776
[startup+670.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 64848 54 0 0 25 0 11 0 836657523 864026624 31202 4294967295 134512640 134569956 3221224368 3221213904 1131728572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 31202 13086 16 0 210928 0
vsize: 843776
[startup+680.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 65835 54 0 0 25 0 11 0 836657523 864026624 31329 4294967295 134512640 134569956 3221224368 3221214424 1131354327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31329 13086 16 0 210928 0
vsize: 843776
[startup+690.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 66835 54 0 0 25 0 11 0 836657523 864026624 31329 4294967295 134512640 134569956 3221224368 3221214152 1131269664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 31329 13086 16 0 210928 0
vsize: 843776
[startup+700.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 67823 54 0 0 25 0 11 0 836657523 864026624 31373 4294967295 134512640 134569956 3221224368 3221214372 1131353958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31373 13086 16 0 210928 0
vsize: 843776
[startup+710.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 68811 55 0 0 25 0 11 0 836657523 864026624 31411 4294967295 134512640 134569956 3221224368 3221213620 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31411 13086 16 0 210928 0
vsize: 843776
[startup+720.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 69798 55 0 0 25 0 11 0 836657523 864026624 31455 4294967295 134512640 134569956 3221224368 3221213488 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31455 13086 16 0 210928 0
vsize: 843776
[startup+730.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 70775 55 0 0 25 0 11 0 836657523 864026624 31487 4294967295 134512640 134569956 3221224368 3221214568 1131570000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31487 13086 16 0 210928 0
vsize: 843776
[startup+740.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 71762 56 0 0 25 0 11 0 836657523 864026624 31524 4294967295 134512640 134569956 3221224368 3221213512 1131728788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31524 13086 16 0 210928 0
vsize: 843776
[startup+750.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 72750 56 0 0 25 0 11 0 836657523 864026624 31564 4294967295 134512640 134569956 3221224368 3221213932 1131353808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31564 13086 16 0 210928 0
vsize: 843776
[startup+760.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 73738 56 0 0 25 0 11 0 836657523 864026624 31603 4294967295 134512640 134569956 3221224368 3221214440 1131353812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31603 13086 16 0 210928 0
vsize: 843776
[startup+770.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 74737 56 0 0 25 0 11 0 836657523 864026624 31603 4294967295 134512640 134569956 3221224368 3221214352 1131214595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31603 13086 16 0 210928 0
vsize: 843776
[startup+780.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 75737 56 0 0 25 0 11 0 836657523 864026624 31603 4294967295 134512640 134569956 3221224368 3221214264 1131269807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31603 13086 16 0 210928 0
vsize: 843776
[startup+790.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 76724 57 0 0 25 0 11 0 836657523 864026624 31644 4294967295 134512640 134569956 3221224368 3221214272 1131353879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31644 13086 16 0 210928 0
vsize: 843776
[startup+800.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 77711 57 0 0 25 0 11 0 836657523 864026624 31765 4294967295 134512640 134569956 3221224368 3221214036 1131354316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31765 13086 16 0 210928 0
vsize: 843776
[startup+810.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 78698 57 0 0 25 0 11 0 836657523 864026624 31801 4294967295 134512640 134569956 3221224368 3221214208 1131269820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31801 13086 16 0 210928 0
vsize: 843776
[startup+820.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 79697 57 0 0 25 0 11 0 836657523 864026624 31801 4294967295 134512640 134569956 3221224368 3221213800 1131353933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 31801 13086 16 0 210928 0
vsize: 843776
[startup+830.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 80684 57 0 0 25 0 11 0 836657523 864026624 31928 4294967295 134512640 134569956 3221224368 3221214728 1131327739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 31928 13086 16 0 210928 0
vsize: 843776
[startup+840.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 81672 57 0 0 25 0 11 0 836657523 864026624 31973 4294967295 134512640 134569956 3221224368 3221214752 1131280048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 31973 13086 16 0 210928 0
vsize: 843776
[startup+850.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 82659 57 0 0 25 0 11 0 836657523 864026624 32056 4294967295 134512640 134569956 3221224368 3221214376 1131269664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32056 13086 16 0 210928 0
vsize: 843776
[startup+860.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 83647 57 0 0 25 0 11 0 836657523 864026624 32056 4294967295 134512640 134569956 3221224368 3221214728 1131327653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32056 13086 16 0 210928 0
vsize: 843776
[startup+870.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 84634 58 0 0 25 0 11 0 836657523 864026624 32112 4294967295 134512640 134569956 3221224368 3221213976 1131269832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32112 13086 16 0 210928 0
vsize: 843776
[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 85622 58 0 0 25 0 11 0 836657523 864026624 32112 4294967295 134512640 134569956 3221224368 3221214440 1131353873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32112 13086 16 0 210928 0
vsize: 843776
[startup+890.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 86610 58 0 0 25 0 11 0 836657523 864026624 32164 4294967295 134512640 134569956 3221224368 3221214368 1131269832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32164 13086 16 0 210928 0
vsize: 843776
[startup+900.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 87597 58 0 0 25 0 11 0 836657523 864026624 32195 4294967295 134512640 134569956 3221224368 3221214472 1131724114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32195 13086 16 0 210928 0
vsize: 843776
[startup+910.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 88597 58 0 0 25 0 11 0 836657523 864026624 32195 4294967295 134512640 134569956 3221224368 3221214160 1131353717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32195 13086 16 0 210928 0
vsize: 843776
[startup+920.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 89584 58 0 0 25 0 11 0 836657523 864026624 32229 4294967295 134512640 134569956 3221224368 3221214432 1131269610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32229 13086 16 0 210928 0
vsize: 843776
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 90571 58 0 0 25 0 11 0 836657523 864026624 32283 4294967295 134512640 134569956 3221224368 3221214272 1131353836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32283 13086 16 0 210928 0
vsize: 843776
[startup+940.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 91547 58 0 0 25 0 11 0 836657523 864026624 32359 4294967295 134512640 134569956 3221224368 3221213984 1131269768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32359 13086 16 0 210928 0
vsize: 843776
[startup+950.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 92534 58 0 0 25 0 11 0 836657523 864026624 32359 4294967295 134512640 134569956 3221224368 3221214264 1131269676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32359 13086 16 0 210928 0
vsize: 843776
[startup+960.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 93521 59 0 0 25 0 11 0 836657523 864026624 32474 4294967295 134512640 134569956 3221224368 3221213872 1131269820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32474 13086 16 0 210928 0
vsize: 843776
[startup+970.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 94509 59 0 0 25 0 11 0 836657523 864026624 32474 4294967295 134512640 134569956 3221224368 3221214104 1131353873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32474 13086 16 0 210928 0
vsize: 843776
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 95497 59 0 0 25 0 11 0 836657523 864026624 32474 4294967295 134512640 134569956 3221224368 3221214040 1131269812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32474 13086 16 0 210928 0
vsize: 843776
[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 96485 59 0 0 25 0 11 0 836657523 864026624 32557 4294967295 134512640 134569956 3221224368 3221213816 1131269768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32557 13086 16 0 210928 0
vsize: 843776
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 97473 59 0 0 25 0 11 0 836657523 864026624 32557 4294967295 134512640 134569956 3221224368 3221214780 1131376736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32557 13086 16 0 210928 0
vsize: 843776
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 98461 59 0 0 25 0 11 0 836657523 864026624 32557 4294967295 134512640 134569956 3221224368 3221214572 1131352520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32557 13086 16 0 210928 0
vsize: 843776
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 99448 60 0 0 25 0 11 0 836657523 864026624 32665 4294967295 134512640 134569956 3221224368 3221213872 1131269799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32665 13086 16 0 210928 0
vsize: 843776
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 100435 60 0 0 25 0 11 0 836657523 864026624 32665 4294967295 134512640 134569956 3221224368 3221214440 1131353820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 32665 13086 16 0 210928 0
vsize: 843776
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 101435 60 0 0 25 0 11 0 836657523 864026624 32665 4294967295 134512640 134569956 3221224368 3221214328 1131353824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32665 13086 16 0 210928 0
vsize: 843776
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 102423 60 0 0 25 0 11 0 836657523 864026624 32725 4294967295 134512640 134569956 3221224368 3221214432 1131269807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32725 13086 16 0 210928 0
vsize: 843776
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 103410 60 0 0 25 0 11 0 836657523 864026624 32801 4294967295 134512640 134569956 3221224368 3221214384 1131353848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32801 13086 16 0 210928 0
vsize: 843776
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 104397 60 0 0 25 0 11 0 836657523 864026624 32836 4294967295 134512640 134569956 3221224368 3221214432 1131269673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32836 13086 16 0 210928 0
vsize: 843776
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 105385 61 0 0 25 0 11 0 836657523 864026624 32899 4294967295 134512640 134569956 3221224368 3221214560 1131293857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32899 13086 16 0 210928 0
vsize: 843776
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 106372 61 0 0 25 0 11 0 836657523 864026624 32934 4294967295 134512640 134569956 3221224368 3221214440 1131353873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32934 13086 16 0 210928 0
vsize: 843776
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 107359 61 0 0 25 0 11 0 836657523 864026624 32986 4294967295 134512640 134569956 3221224368 3221214656 1131633844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 32986 13086 16 0 210928 0
vsize: 843776
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 108347 61 0 0 25 0 11 0 836657523 864026624 33035 4294967295 134512640 134569956 3221224368 3221213912 1131353841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33035 13086 16 0 210928 0
vsize: 843776
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 109346 61 0 0 25 0 11 0 836657523 864026624 33035 4294967295 134512640 134569956 3221224368 3221213684 1131269568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 33035 13086 16 0 210928 0
vsize: 843776
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 110320 61 0 0 25 0 11 0 836657523 864026624 33185 4294967295 134512640 134569956 3221224368 3221214160 1131353900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33185 13086 16 0 210928 0
vsize: 843776
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 111295 62 0 0 25 0 11 0 836657523 864026624 33249 4294967295 134512640 134569956 3221224368 3221214488 1131269834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33249 13086 16 0 210928 0
vsize: 843776
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 112295 62 0 0 25 0 11 0 836657523 864026624 33249 4294967295 134512640 134569956 3221224368 3221213680 1131728564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 33249 13086 16 0 210928 0
vsize: 843776
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 113282 62 0 0 25 0 11 0 836657523 864026624 33277 4294967295 134512640 134569956 3221224368 3221214184 1085679492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 33277 13086 16 0 210928 0
vsize: 843776
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 114269 62 0 0 25 0 11 0 836657523 864026624 33367 4294967295 134512640 134569956 3221224368 3221214568 1131183666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33367 13086 16 0 210928 0
vsize: 843776
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 115243 62 0 0 25 0 11 0 836657523 864026624 33492 4294967295 134512640 134569956 3221224368 3221214264 1131269673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33492 13086 16 0 210928 0
vsize: 843776
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 116231 62 0 0 25 0 11 0 836657523 864026624 33492 4294967295 134512640 134569956 3221224368 3221214752 1131359086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33492 13086 16 0 210928 0
vsize: 843776
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 117206 62 0 0 24 0 11 0 836657523 864026624 33590 4294967295 134512640 134569956 3221224368 3221214472 1131211950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33590 13086 16 0 210928 0
vsize: 843776
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 118206 63 0 0 25 0 11 0 836657523 864026624 33590 4294967295 134512640 134569956 3221224368 3221213960 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33590 13086 16 0 210928 0
vsize: 843776
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 119193 63 0 0 25 0 11 0 836657523 864026624 33590 4294967295 134512640 134569956 3221224368 3221214048 1131353930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210944 33590 13086 16 0 210928 0
vsize: 843776
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3082
Raw data (stat): 3072 (java) R 3071 24821 24820 0 -1 0 18091 0 1 0 120180 63 0 0 25 0 11 0 836657523 864026624 33640 4294967295 134512640 134569956 3221224368 3221213872 1131269778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 33640 13086 16 0 210928 0
vsize: 843776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3084
Raw data (stat): 3072 (java) Z 3071 24821 24820 0 -1 1036 18091 12639 1 0 120182 63 2266 26 25 0 1 0 836657523 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.22
CPU time (s): 1225.4
CPU user time (s): 1224.49
CPU system time (s): 0.906862
CPU usage (%): 99.6083
Max. virtual memory (Kb): 846292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####