PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
MD5SUM	4829333e276b05557ca595f3889e1c97
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8784
Biggest coefficient in the objective function	418848431931392
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	144203531006459664
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	144203531006459664
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.135978
Number of variables	15504
Total number of constraints	1560
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1392
Minimum length of a constraint	2
Maximum length of a constraint	311
Trace number 29645

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 09:54:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21046 boxname=wulflinc11 idbench=1034 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4829333e276b05557ca595f3889e1c97  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa3_o.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa3_o.opb
IDLAUNCH: 21046
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        847592 kB
Buffers:         30404 kB
Cached:         135356 kB
SwapCached:        772 kB
Active:          61496 kB
Inactive:       106296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        847340 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13472 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:15:29 (client local time) WITH STATUS 143 IN 1258.01 SECONDS
stats: 21046 7 1258.01 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/wulflinc11/normalized-mps-v2-20-10-gesa3_o.opb
c reading problem ... done. Time 74.327 ms.
c #vars     15504
c #constraints  1536
c starts	: 9
c conflicts	: 6952
c decisions	: 8524
c propagations	: 39393
c inspects	: 1443082
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6952
c root simplifications	: 22
s UNKNOWN
c Total CPU time (ms) : 1259.162
#### 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.93 1.00 0.99 2/54 6262
Raw data (stat): 6262 (runsolver) R 6261 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779731081 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.94 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18013 0 1 0 883 36 0 0 25 0 10 0 779731081 856317952 20059 4294967295 134512640 134569956 3221224368 3221214688 1131186561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209062 20059 13086 16 0 209046 0
vsize: 836248
[startup+20.0009 s]
Raw data (loadavg): 0.95 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18013 0 1 0 1779 36 0 0 25 0 10 0 779731081 855375872 20338 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208832 20338 13086 16 0 208816 0
vsize: 835328
[startup+30.0022 s]
Raw data (loadavg): 0.95 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18022 0 1 0 2662 37 0 0 24 0 10 0 779731081 855375872 20890 4294967295 134512640 134569956 3221224368 3221214516 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208832 20890 13086 16 0 208816 0
vsize: 835328
[startup+40.003 s]
Raw data (loadavg): 0.96 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18023 0 1 0 3516 37 0 0 25 0 10 0 779731081 858849280 21882 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209680 21882 13086 16 0 209664 0
vsize: 838720
[startup+50.0034 s]
Raw data (loadavg): 0.97 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18024 0 1 0 4404 38 0 0 25 0 10 0 779731081 857473024 21884 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209344 21884 13086 16 0 209328 0
vsize: 837376
[startup+60.0047 s]
Raw data (loadavg): 0.97 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18024 0 1 0 5294 38 0 0 25 0 10 0 779731081 857473024 22123 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209344 22123 13086 16 0 209328 0
vsize: 837376
[startup+70.005 s]
Raw data (loadavg): 0.97 1.00 0.99 2/63 6271
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18024 0 1 0 6191 38 0 0 24 0 10 0 779731081 857473024 22438 4294967295 134512640 134569956 3221224368 3221214800 1131257350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209344 22438 13086 16 0 209328 0
vsize: 837376
[startup+80.0087 s]
Raw data (loadavg): 1.14 1.03 1.01 4/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18067 0 1 0 7024 39 0 0 25 0 11 0 779731081 862760960 25214 4294967295 134512640 134569956 3221224368 3221214408 1131418827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210635 25214 13086 16 0 210619 0
vsize: 842540
[startup+90.009 s]
Raw data (loadavg): 1.12 1.03 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18070 0 1 0 7999 40 0 0 25 0 11 0 779731081 861589504 25204 4294967295 134512640 134569956 3221224368 3221214528 1131354281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 25204 13086 16 0 210333 0
vsize: 841396
[startup+100.009 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 8968 40 0 0 25 0 11 0 779731081 861589504 25206 4294967295 134512640 134569956 3221224368 3221214512 1131420094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 25206 13086 16 0 210333 0
vsize: 841396
[startup+110.009 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 9918 40 0 0 25 0 11 0 779731081 861589504 25575 4294967295 134512640 134569956 3221224368 3221214512 1131420161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 25575 13086 16 0 210333 0
vsize: 841396
[startup+120.01 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 10855 40 0 0 25 0 11 0 779731081 861589504 26163 4294967295 134512640 134569956 3221224368 3221214616 1131270727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 26163 13086 16 0 210333 0
vsize: 841396
[startup+130.011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 11801 40 0 0 25 0 11 0 779731081 861589504 26785 4294967295 134512640 134569956 3221224368 3221214616 1131357668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 26785 13086 16 0 210333 0
vsize: 841396
[startup+140.01 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 12747 41 0 0 25 0 11 0 779731081 861589504 27278 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 27278 13086 16 0 210333 0
vsize: 841396
[startup+150.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 13690 41 0 0 25 0 11 0 779731081 861589504 27849 4294967295 134512640 134569956 3221224368 3221214632 1131415719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 27849 13086 16 0 210333 0
vsize: 841396
[startup+160.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 14640 41 0 0 25 0 11 0 779731081 861589504 28272 4294967295 134512640 134569956 3221224368 3221214616 1131357626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 28272 13086 16 0 210333 0
vsize: 841396
[startup+170.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 15595 41 0 0 25 0 11 0 779731081 861589504 28707 4294967295 134512640 134569956 3221224368 3221214580 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 28707 13086 16 0 210333 0
vsize: 841396
[startup+180.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 16547 42 0 0 25 0 11 0 779731081 861589504 28924 4294967295 134512640 134569956 3221224368 3221214528 1131419184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 28924 13086 16 0 210333 0
vsize: 841396
[startup+190.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 17494 42 0 0 25 0 11 0 779731081 861589504 29249 4294967295 134512640 134569956 3221224368 3221214632 1131415683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 29249 13086 16 0 210333 0
vsize: 841396
[startup+200.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 18443 42 0 0 25 0 11 0 779731081 861589504 29454 4294967295 134512640 134569956 3221224368 3221214584 1131201104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 29454 13086 16 0 210333 0
vsize: 841396
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 19381 42 0 0 24 0 11 0 779731081 861589504 29728 4294967295 134512640 134569956 3221224368 3221214208 1131592692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 29728 13086 16 0 210333 0
vsize: 841396
[startup+220.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 20329 42 0 0 25 0 11 0 779731081 861589504 30036 4294967295 134512640 134569956 3221224368 3221214896 1131200320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 30036 13086 16 0 210333 0
vsize: 841396
[startup+230.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 21279 42 0 0 25 0 11 0 779731081 861589504 30221 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 30221 13086 16 0 210333 0
vsize: 841396
[startup+240.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 22237 42 0 0 25 0 11 0 779731081 861589504 30369 4294967295 134512640 134569956 3221224368 3221214528 1131420040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 30369 13086 16 0 210333 0
vsize: 841396
[startup+250.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 23183 43 0 0 25 0 11 0 779731081 861589504 30598 4294967295 134512640 134569956 3221224368 3221214528 1131419041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 30598 13086 16 0 210333 0
vsize: 841396
[startup+260.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 24140 43 0 0 25 0 11 0 779731081 861589504 30800 4294967295 134512640 134569956 3221224368 3221214580 1131456748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 30800 13086 16 0 210333 0
vsize: 841396
[startup+270.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 25088 43 0 0 25 0 11 0 779731081 861589504 30951 4294967295 134512640 134569956 3221224368 3221214528 1131418817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 30951 13086 16 0 210333 0
vsize: 841396
[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 26047 43 0 0 25 0 11 0 779731081 861589504 31123 4294967295 134512640 134569956 3221224368 3221214528 1131420924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 31123 13086 16 0 210333 0
vsize: 841396
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 26991 43 0 0 25 0 11 0 779731081 861589504 31441 4294967295 134512640 134569956 3221224368 3221214584 1131201113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 31441 13086 16 0 210333 0
vsize: 841396
[startup+300.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 27947 43 0 0 25 0 11 0 779731081 861589504 31661 4294967295 134512640 134569956 3221224368 3221214680 1131387838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 31661 13086 16 0 210333 0
vsize: 841396
[startup+310.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 28903 43 0 0 25 0 11 0 779731081 861589504 31914 4294967295 134512640 134569956 3221224368 3221214148 1131384550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 31914 13086 16 0 210333 0
vsize: 841396
[startup+320.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 29859 43 0 0 25 0 11 0 779731081 861589504 32190 4294967295 134512640 134569956 3221224368 3221214728 1131201119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 32190 13086 16 0 210333 0
vsize: 841396
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6272
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 30816 44 0 0 25 0 11 0 779731081 861589504 32435 4294967295 134512640 134569956 3221224368 3221214160 1131384440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 32435 13086 16 0 210333 0
vsize: 841396
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 3/67 6309
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 31779 48 0 0 25 0 11 0 779731081 861589504 32610 4294967295 134512640 134569956 3221224368 3221214632 1131415760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 32610 13086 16 0 210333 0
vsize: 841396
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 32732 50 0 0 25 0 11 0 779731081 861589504 32915 4294967295 134512640 134569956 3221224368 3221214528 1131347989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 32915 13086 16 0 210333 0
vsize: 841396
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 33689 51 0 0 25 0 11 0 779731081 861589504 33178 4294967295 134512640 134569956 3221224368 3221214600 1131414424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 33178 13086 16 0 210333 0
vsize: 841396
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 34645 51 0 0 25 0 11 0 779731081 861589504 33483 4294967295 134512640 134569956 3221224368 3221214600 1131414352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 33483 13086 16 0 210333 0
vsize: 841396
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 35601 52 0 0 25 0 11 0 779731081 861589504 33707 4294967295 134512640 134569956 3221224368 3221214616 1131357652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 33707 13086 16 0 210333 0
vsize: 841396
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 36570 52 0 0 25 0 11 0 779731081 861589504 33897 4294967295 134512640 134569956 3221224368 3221214604 1131127961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 33897 13086 16 0 210333 0
vsize: 841396
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 37527 52 0 0 25 0 11 0 779731081 861589504 34202 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 34202 13086 16 0 210333 0
vsize: 841396
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6325
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 38486 52 0 0 25 0 11 0 779731081 861589504 34264 4294967295 134512640 134569956 3221224368 3221214352 1085679508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 34264 13086 16 0 210333 0
vsize: 841396
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 39443 53 0 0 25 0 11 0 779731081 861589504 34518 4294967295 134512640 134569956 3221224368 3221214528 1131245396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 34518 13086 16 0 210333 0
vsize: 841396
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 40410 53 0 0 25 0 11 0 779731081 861589504 34688 4294967295 134512640 134569956 3221224368 3221214208 1131592687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 34688 13086 16 0 210333 0
vsize: 841396
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 41366 53 0 0 25 0 11 0 779731081 861589504 34940 4294967295 134512640 134569956 3221224368 3221214600 1131414446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 34940 13086 16 0 210333 0
vsize: 841396
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 42322 53 0 0 25 0 11 0 779731081 861589504 35109 4294967295 134512640 134569956 3221224368 3221213920 1131277058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 35109 13086 16 0 210333 0
vsize: 841396
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 43289 53 0 0 25 0 11 0 779731081 861589504 35283 4294967295 134512640 134569956 3221224368 3221214628 1131208480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 35283 13086 16 0 210333 0
vsize: 841396
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 44245 54 0 0 25 0 11 0 779731081 861589504 35525 4294967295 134512640 134569956 3221224368 3221214632 1131415719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 35525 13086 16 0 210333 0
vsize: 841396
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 45213 54 0 0 25 0 11 0 779731081 861589504 35694 4294967295 134512640 134569956 3221224368 3221213824 1131592490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 35694 13086 16 0 210333 0
vsize: 841396
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 46169 54 0 0 25 0 11 0 779731081 861589504 35944 4294967295 134512640 134569956 3221224368 3221214608 1131208698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 35944 13086 16 0 210333 0
vsize: 841396
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 47125 54 0 0 25 0 11 0 779731081 861589504 36149 4294967295 134512640 134569956 3221224368 3221214536 1131384919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 36149 13086 16 0 210333 0
vsize: 841396
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 48092 55 0 0 25 0 11 0 779731081 861589504 36325 4294967295 134512640 134569956 3221224368 3221213776 1131384458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 36325 13086 16 0 210333 0
vsize: 841396
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 49047 55 0 0 25 0 11 0 779731081 861589504 36565 4294967295 134512640 134569956 3221224368 3221214000 1131384471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 36565 13086 16 0 210333 0
vsize: 841396
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 50013 55 0 0 25 0 11 0 779731081 861589504 36749 4294967295 134512640 134569956 3221224368 3221213936 1131592700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 36749 13086 16 0 210333 0
vsize: 841396
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 50968 55 0 0 25 0 11 0 779731081 861589504 37115 4294967295 134512640 134569956 3221224368 3221214616 1131322349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 37115 13086 16 0 210333 0
vsize: 841396
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 51936 56 0 0 25 0 11 0 779731081 861589504 37288 4294967295 134512640 134569956 3221224368 3221214512 1131347912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 37288 13086 16 0 210333 0
vsize: 841396
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 52903 56 0 0 25 0 11 0 779731081 861589504 37459 4294967295 134512640 134569956 3221224368 3221214528 1131421615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 37459 13086 16 0 210333 0
vsize: 841396
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 53861 56 0 0 25 0 11 0 779731081 861589504 37846 4294967295 134512640 134569956 3221224368 3221213768 1131592648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 37846 13086 16 0 210333 0
vsize: 841396
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 54830 56 0 0 25 0 11 0 779731081 861589504 37849 4294967295 134512640 134569956 3221224368 3221214528 1131347819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 37849 13086 16 0 210333 0
vsize: 841396
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 55786 56 0 0 24 0 11 0 779731081 861589504 38073 4294967295 134512640 134569956 3221224368 3221214528 1131347978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 38073 13086 16 0 210333 0
vsize: 841396
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 56753 57 0 0 25 0 11 0 779731081 861589504 38233 4294967295 134512640 134569956 3221224368 3221214368 1076460929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 38233 13086 16 0 210333 0
vsize: 841396
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 57720 57 0 0 25 0 11 0 779731081 861589504 38404 4294967295 134512640 134569956 3221224368 3221214512 1131347949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 38404 13086 16 0 210333 0
vsize: 841396
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 58687 57 0 0 25 0 11 0 779731081 861589504 38591 4294967295 134512640 134569956 3221224368 3221214616 1131411301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 38591 13086 16 0 210333 0
vsize: 841396
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 59651 57 0 0 25 0 11 0 779731081 861589504 38766 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 38766 13086 16 0 210333 0
vsize: 841396
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 60611 58 0 0 25 0 11 0 779731081 861589504 38964 4294967295 134512640 134569956 3221224368 3221214416 1131586872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 38964 13086 16 0 210333 0
vsize: 841396
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 61578 58 0 0 25 0 11 0 779731081 861589504 39136 4294967295 134512640 134569956 3221224368 3221214632 1131415680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 39136 13086 16 0 210333 0
vsize: 841396
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 62514 58 0 0 24 0 11 0 779731081 861589504 39376 4294967295 134512640 134569956 3221224368 3221214680 1131388949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 39376 13086 16 0 210333 0
vsize: 841396
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 63452 58 0 0 25 0 11 0 779731081 861589504 39475 4294967295 134512640 134569956 3221224368 3221214704 1131347947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 39475 13086 16 0 210333 0
vsize: 841396
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 64402 59 0 0 25 0 11 0 779731081 861589504 39530 4294967295 134512640 134569956 3221224368 3221214680 1131387893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 39530 13086 16 0 210333 0
vsize: 841396
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 65337 59 0 0 25 0 11 0 779731081 861589504 39702 4294967295 134512640 134569956 3221224368 3221214528 1131348131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 39702 13086 16 0 210333 0
vsize: 841396
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 66297 60 0 0 25 0 11 0 779731081 861589504 39997 4294967295 134512640 134569956 3221224368 3221214524 1131417952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 39997 13086 16 0 210333 0
vsize: 841396
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 67266 60 0 0 25 0 11 0 779731081 861589504 40175 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40175 13086 16 0 210333 0
vsize: 841396
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 68231 60 0 0 25 0 11 0 779731081 861589504 40212 4294967295 134512640 134569956 3221224368 3221214584 1131201113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40212 13086 16 0 210333 0
vsize: 841396
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 69190 60 0 0 25 0 11 0 779731081 861589504 40320 4294967295 134512640 134569956 3221224368 3221214896 1131200320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40320 13086 16 0 210333 0
vsize: 841396
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 70143 60 0 0 25 0 11 0 779731081 861589504 40338 4294967295 134512640 134569956 3221224368 3221214528 1131347781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40338 13086 16 0 210333 0
vsize: 841396
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 71101 60 0 0 25 0 11 0 779731081 861589504 40389 4294967295 134512640 134569956 3221224368 3221214648 1131347726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40389 13086 16 0 210333 0
vsize: 841396
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 72057 60 0 0 25 0 11 0 779731081 861589504 40497 4294967295 134512640 134569956 3221224368 3221214600 1131357422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40497 13086 16 0 210333 0
vsize: 841396
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 73004 60 0 0 25 0 11 0 779731081 861589504 40661 4294967295 134512640 134569956 3221224368 3221214580 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40661 13086 16 0 210333 0
vsize: 841396
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 73950 60 0 0 25 0 11 0 779731081 861589504 40773 4294967295 134512640 134569956 3221224368 3221214600 1131414418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40773 13086 16 0 210333 0
vsize: 841396
[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 74897 60 0 0 25 0 11 0 779731081 861589504 40913 4294967295 134512640 134569956 3221224368 3221214584 1131201113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 40913 13086 16 0 210333 0
vsize: 841396
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 75844 60 0 0 25 0 11 0 779731081 861589504 41052 4294967295 134512640 134569956 3221224368 3221214528 1131355084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41052 13086 16 0 210333 0
vsize: 841396
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 76793 60 0 0 25 0 11 0 779731081 861589504 41198 4294967295 134512640 134569956 3221224368 3221214608 1131208601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41198 13086 16 0 210333 0
vsize: 841396
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 77754 60 0 0 25 0 11 0 779731081 861589504 41364 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41364 13086 16 0 210333 0
vsize: 841396
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 78699 60 0 0 25 0 11 0 779731081 861589504 41523 4294967295 134512640 134569956 3221224368 3221214184 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41523 13086 16 0 210333 0
vsize: 841396
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 79654 60 0 0 25 0 11 0 779731081 861589504 41651 4294967295 134512640 134569956 3221224368 3221214424 1131384917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41651 13086 16 0 210333 0
vsize: 841396
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 80604 60 0 0 25 0 11 0 779731081 861589504 41807 4294967295 134512640 134569956 3221224368 3221214528 1131354216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41807 13086 16 0 210333 0
vsize: 841396
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 81558 60 0 0 25 0 11 0 779731081 861589504 41944 4294967295 134512640 134569956 3221224368 3221214152 1131592490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 41944 13086 16 0 210333 0
vsize: 841396
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 82513 60 0 0 25 0 11 0 779731081 861589504 42085 4294967295 134512640 134569956 3221224368 3221214628 1131208480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42085 13086 16 0 210333 0
vsize: 841396
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 83478 60 0 0 25 0 11 0 779731081 861589504 42197 4294967295 134512640 134569956 3221224368 3221214604 1131127961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42197 13086 16 0 210333 0
vsize: 841396
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 84442 61 0 0 25 0 11 0 779731081 861589504 42288 4294967295 134512640 134569956 3221224368 3221214528 1131348077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42288 13086 16 0 210333 0
vsize: 841396
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 85400 61 0 0 25 0 11 0 779731081 861589504 42400 4294967295 134512640 134569956 3221224368 3221214616 1131411336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42400 13086 16 0 210333 0
vsize: 841396
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 86358 61 0 0 25 0 11 0 779731081 861589504 42488 4294967295 134512640 134569956 3221224368 3221213632 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42488 13086 16 0 210333 0
vsize: 841396
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 87315 61 0 0 24 0 11 0 779731081 861589504 42589 4294967295 134512640 134569956 3221224368 3221214616 1131357232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42589 13086 16 0 210333 0
vsize: 841396
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 88279 61 0 0 25 0 11 0 779731081 861589504 42684 4294967295 134512640 134569956 3221224368 3221214528 1131354260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42684 13086 16 0 210333 0
vsize: 841396
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 89237 61 0 0 25 0 11 0 779731081 861589504 42799 4294967295 134512640 134569956 3221224368 3221214328 1131384465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42799 13086 16 0 210333 0
vsize: 841396
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 90200 61 0 0 25 0 11 0 779731081 861589504 42893 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42893 13086 16 0 210333 0
vsize: 841396
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 91160 61 0 0 25 0 11 0 779731081 861589504 42979 4294967295 134512640 134569956 3221224368 3221214200 1131384914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 42979 13086 16 0 210333 0
vsize: 841396
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 92125 61 0 0 25 0 11 0 779731081 861589504 43087 4294967295 134512640 134569956 3221224368 3221213464 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43087 13086 16 0 210333 0
vsize: 841396
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 93088 61 0 0 25 0 11 0 779731081 861589504 43169 4294967295 134512640 134569956 3221224368 3221214584 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43169 13086 16 0 210333 0
vsize: 841396
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 94051 61 0 0 25 0 11 0 779731081 861589504 43261 4294967295 134512640 134569956 3221224368 3221214680 1131387893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43261 13086 16 0 210333 0
vsize: 841396
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 95006 61 0 0 20 0 11 0 779731081 861589504 43348 4294967295 134512640 134569956 3221224368 3221214616 1131357228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43348 13086 16 0 210333 0
vsize: 841396
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 95960 62 0 0 25 0 11 0 779731081 861589504 43456 4294967295 134512640 134569956 3221224368 3221214528 1131354346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43456 13086 16 0 210333 0
vsize: 841396
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 96922 62 0 0 25 0 11 0 779731081 861589504 43545 4294967295 134512640 134569956 3221224368 3221214616 1131357626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43545 13086 16 0 210333 0
vsize: 841396
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 97877 62 0 0 25 0 11 0 779731081 861589504 43680 4294967295 134512640 134569956 3221224368 3221214528 1131355476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43680 13086 16 0 210333 0
vsize: 841396
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 98847 62 0 0 25 0 11 0 779731081 861589504 43770 4294967295 134512640 134569956 3221224368 3221214680 1131388908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 43770 13086 16 0 210333 0
vsize: 841396
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 99796 62 0 0 25 0 11 0 779731081 861589504 43868 4294967295 134512640 134569956 3221224368 3221213880 1131592490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43868 13086 16 0 210333 0
vsize: 841396
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 100760 62 0 0 25 0 11 0 779731081 861589504 43964 4294967295 134512640 134569956 3221224368 3221214528 1131354153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 43964 13086 16 0 210333 0
vsize: 841396
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 101717 62 0 0 25 0 11 0 779731081 861589504 44091 4294967295 134512640 134569956 3221224368 3221214636 1131201072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 44091 13086 16 0 210333 0
vsize: 841396
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 102682 62 0 0 24 0 11 0 779731081 861589504 44157 4294967295 134512640 134569956 3221224368 3221214048 1131384471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 44157 13086 16 0 210333 0
vsize: 841396
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) S 6261 25830 25829 0 -1 0 18071 0 1 0 103644 62 0 0 25 0 11 0 779731081 861589504 44277 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 44277 13086 16 0 210333 0
vsize: 841396
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 104611 62 0 0 25 0 11 0 779731081 861589504 44386 4294967295 134512640 134569956 3221224368 3221214512 1131347989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 44386 13086 16 0 210333 0
vsize: 841396
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 105563 62 0 0 25 0 11 0 779731081 861589504 44484 4294967295 134512640 134569956 3221224368 3221214616 1131357383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 44484 13086 16 0 210333 0
vsize: 841396
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 106528 62 0 0 25 0 11 0 779731081 861589504 44564 4294967295 134512640 134569956 3221224368 3221214512 1131348384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 44564 13086 16 0 210333 0
vsize: 841396
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 107492 62 0 0 25 0 11 0 779731081 861589504 44642 4294967295 134512640 134569956 3221224368 3221214512 1131347709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210349 44642 13086 16 0 210333 0
vsize: 841396
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 108449 63 0 0 25 0 11 0 779731081 861589504 44749 4294967295 134512640 134569956 3221224368 3221214664 1131303809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 44749 13086 16 0 210333 0
vsize: 841396
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 109409 63 0 0 25 0 11 0 779731081 861589504 44864 4294967295 134512640 134569956 3221224368 3221213768 1131592679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 44864 13086 16 0 210333 0
vsize: 841396
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 110376 63 0 0 25 0 11 0 779731081 861589504 44936 4294967295 134512640 134569956 3221224368 3221214528 1131420895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 44936 13086 16 0 210333 0
vsize: 841396
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 111342 64 0 0 25 0 11 0 779731081 861589504 45004 4294967295 134512640 134569956 3221224368 3221214432 1131592490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45004 13086 16 0 210333 0
vsize: 841396
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 112303 64 0 0 25 0 11 0 779731081 861589504 45102 4294967295 134512640 134569956 3221224368 3221214048 1131384465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45102 13086 16 0 210333 0
vsize: 841396
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 113264 64 0 0 25 0 11 0 779731081 861589504 45210 4294967295 134512640 134569956 3221224368 3221214352 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45210 13086 16 0 210333 0
vsize: 841396
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 114227 65 0 0 25 0 11 0 779731081 861589504 45305 4294967295 134512640 134569956 3221224368 3221214632 1131271655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45305 13086 16 0 210333 0
vsize: 841396
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 115190 65 0 0 25 0 11 0 779731081 861589504 45411 4294967295 134512640 134569956 3221224368 3221214536 1131384917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45411 13086 16 0 210333 0
vsize: 841396
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 116160 65 0 0 25 0 11 0 779731081 861589504 45487 4294967295 134512640 134569956 3221224368 3221214512 1131348152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45487 13086 16 0 210333 0
vsize: 841396
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 117129 65 0 0 25 0 11 0 779731081 861589504 45566 4294967295 134512640 134569956 3221224368 3221213864 1131590128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45566 13086 16 0 210333 0
vsize: 841396
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 118097 66 0 0 25 0 11 0 779731081 861589504 45632 4294967295 134512640 134569956 3221224368 3221214628 1131461171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45632 13086 16 0 210333 0
vsize: 841396
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 119064 66 0 0 25 0 11 0 779731081 861589504 45697 4294967295 134512640 134569956 3221224368 3221214680 1131389791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45697 13086 16 0 210333 0
vsize: 841396
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6262 (java) R 6261 25830 25829 0 -1 0 18071 0 1 0 120025 66 0 0 25 0 11 0 779731081 861589504 45774 4294967295 134512640 134569956 3221224368 3221214616 1131357217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 45774 13086 16 0 210333 0
vsize: 841396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6331
Raw data (stat): 6262 (java) Z 6261 25830 25829 0 -1 1036 18071 25428 1 0 120028 66 5648 57 25 0 1 0 779731081 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.2
CPU time (s): 1258.01
CPU user time (s): 1256.77
CPU system time (s): 1.24481
CPU usage (%): 99.8259
Max. virtual memory (Kb): 842540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####