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-pk1.opb
MD5SUM	ca2f95c2509c09ae8cf1945e12d0eb97
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.063989
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 29670

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        739548 kB
Buffers:         30488 kB
Cached:         242948 kB
SwapCached:        672 kB
Active:          57776 kB
Inactive:       217724 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        739268 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14040 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:32:54 (client local time) WITH STATUS 143 IN 1250.7 SECONDS
stats: 21071 7 1250.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pk1.opb
c reading problem ... done. Time 1.845 ms.
c #vars     985
c #constraints  60
c starts	: 7
c conflicts	: 3110
c decisions	: 4340
c propagations	: 18664
c inspects	: 2902136
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3110
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1239.13
#### 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.97 1.02 1.00 2/54 7284
Raw data (stat): 7284 (runsolver) R 7283 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779835419 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.0018 s]
Raw data (loadavg): 1.06 1.03 1.00 4/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18099 0 1 0 750 41 0 0 25 0 11 0 779835419 862945280 21080 4294967295 134512640 134569956 3221224368 3221213444 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210680 21080 13086 16 0 210664 0
vsize: 842720
[startup+20.0026 s]
Raw data (loadavg): 1.20 1.06 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18100 0 1 0 1646 41 0 0 25 0 11 0 779835419 861278208 21835 4294967295 134512640 134569956 3221224368 3221214480 1131426116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 21835 13086 16 0 210257 0
vsize: 841092
[startup+30.0037 s]
Raw data (loadavg): 1.17 1.06 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 2587 41 0 0 24 0 11 0 779835419 861278208 22411 4294967295 134512640 134569956 3221224368 3221214592 1131188756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 22411 13086 16 0 210257 0
vsize: 841092
[startup+40.0044 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 3529 42 0 0 25 0 11 0 779835419 861278208 22655 4294967295 134512640 134569956 3221224368 3221214680 1131341835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 22655 13086 16 0 210257 0
vsize: 841092
[startup+50.0052 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 4457 42 0 0 25 0 11 0 779835419 861278208 22825 4294967295 134512640 134569956 3221224368 3221214584 1131252910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 22825 13086 16 0 210257 0
vsize: 841092
[startup+60.006 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 5395 42 0 0 25 0 11 0 779835419 861278208 22926 4294967295 134512640 134569956 3221224368 3221214528 1131267263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 22926 13086 16 0 210257 0
vsize: 841092
[startup+70.0068 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 6323 42 0 0 25 0 11 0 779835419 861278208 23221 4294967295 134512640 134569956 3221224368 3221214680 1131347684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 23221 13086 16 0 210257 0
vsize: 841092
[startup+80.0077 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 7267 43 0 0 25 0 11 0 779835419 861278208 23561 4294967295 134512640 134569956 3221224368 3221214828 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 23561 13086 16 0 210257 0
vsize: 841092
[startup+90.0084 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 8224 43 0 0 24 0 11 0 779835419 861278208 23728 4294967295 134512640 134569956 3221224368 3221214584 1131241995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 23728 13086 16 0 210257 0
vsize: 841092
[startup+100.009 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 9190 43 0 0 25 0 11 0 779835419 861278208 23877 4294967295 134512640 134569956 3221224368 3221214680 1131348208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 23877 13086 16 0 210257 0
vsize: 841092
[startup+110.011 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 10157 44 0 0 25 0 11 0 779835419 861278208 24014 4294967295 134512640 134569956 3221224368 3221214584 1131252004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24014 13086 16 0 210257 0
vsize: 841092
[startup+120.012 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 11122 44 0 0 25 0 11 0 779835419 861278208 24074 4294967295 134512640 134569956 3221224368 3221214680 1131343804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24074 13086 16 0 210257 0
vsize: 841092
[startup+130.013 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 12088 44 0 0 25 0 11 0 779835419 861278208 24174 4294967295 134512640 134569956 3221224368 3221214584 1131252202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24174 13086 16 0 210257 0
vsize: 841092
[startup+140.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 13051 44 0 0 25 0 11 0 779835419 861278208 24279 4294967295 134512640 134569956 3221224368 3221214584 1131252025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24279 13086 16 0 210257 0
vsize: 841092
[startup+150.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 14016 45 0 0 25 0 11 0 779835419 861278208 24374 4294967295 134512640 134569956 3221224368 3221214672 1131202930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24374 13086 16 0 210257 0
vsize: 841092
[startup+160.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) S 7283 23514 23513 0 -1 0 18101 0 1 0 14975 45 0 0 25 0 11 0 779835419 861278208 24486 4294967295 134512640 134569956 3221224368 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24486 13086 16 0 210257 0
vsize: 841092
[startup+170.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 15939 45 0 0 25 0 11 0 779835419 861278208 24609 4294967295 134512640 134569956 3221224368 3221214584 1131252738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24609 13086 16 0 210257 0
vsize: 841092
[startup+180.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 16907 45 0 0 24 0 11 0 779835419 861278208 24718 4294967295 134512640 134569956 3221224368 3221214568 1131188744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24718 13086 16 0 210257 0
vsize: 841092
[startup+190.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 17879 46 0 0 25 0 11 0 779835419 861278208 24842 4294967295 134512640 134569956 3221224368 3221214584 1131242095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24842 13086 16 0 210257 0
vsize: 841092
[startup+200.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 18852 46 0 0 25 0 11 0 779835419 861278208 24883 4294967295 134512640 134569956 3221224368 3221214584 1131252025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24883 13086 16 0 210257 0
vsize: 841092
[startup+210.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 19819 47 0 0 24 0 11 0 779835419 861278208 24954 4294967295 134512640 134569956 3221224368 3221214680 1131343797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 24954 13086 16 0 210257 0
vsize: 841092
[startup+220.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 20792 47 0 0 25 0 11 0 779835419 861278208 25040 4294967295 134512640 134569956 3221224368 3221214680 1131341863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25040 13086 16 0 210257 0
vsize: 841092
[startup+230.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 21764 47 0 0 25 0 11 0 779835419 861278208 25120 4294967295 134512640 134569956 3221224368 3221214680 1131342777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25120 13086 16 0 210257 0
vsize: 841092
[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 22739 47 0 0 25 0 11 0 779835419 861278208 25187 4294967295 134512640 134569956 3221224368 3221214584 1131204077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25187 13086 16 0 210257 0
vsize: 841092
[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 23713 47 0 0 25 0 11 0 779835419 861278208 25244 4294967295 134512640 134569956 3221224368 3221214680 1131341560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25244 13086 16 0 210257 0
vsize: 841092
[startup+260.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 24685 47 0 0 25 0 11 0 779835419 861278208 25304 4294967295 134512640 134569956 3221224368 3221214584 1131242042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25304 13086 16 0 210257 0
vsize: 841092
[startup+270.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 25658 48 0 0 25 0 11 0 779835419 861278208 25369 4294967295 134512640 134569956 3221224368 3221214600 1131265612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25369 13086 16 0 210257 0
vsize: 841092
[startup+280.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18101 0 1 0 26625 48 0 0 25 0 11 0 779835419 861278208 25446 4294967295 134512640 134569956 3221224368 3221214528 1131266517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25446 13086 16 0 210257 0
vsize: 841092
[startup+290.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 27595 48 0 0 25 0 11 0 779835419 861278208 25526 4294967295 134512640 134569956 3221224368 3221214680 1131343152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25526 13086 16 0 210257 0
vsize: 841092
[startup+300.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 28565 49 0 0 25 0 11 0 779835419 861278208 25584 4294967295 134512640 134569956 3221224368 3221214680 1131341835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25584 13086 16 0 210257 0
vsize: 841092
[startup+310.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 29531 49 0 0 25 0 11 0 779835419 861278208 25695 4294967295 134512640 134569956 3221224368 3221214856 1131321555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25695 13086 16 0 210257 0
vsize: 841092
[startup+320.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 30502 49 0 0 25 0 11 0 779835419 861278208 25768 4294967295 134512640 134569956 3221224368 3221214584 1131241965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25768 13086 16 0 210257 0
vsize: 841092
[startup+330.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 31470 50 0 0 25 0 11 0 779835419 861278208 25851 4294967295 134512640 134569956 3221224368 3221214584 1131252206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25851 13086 16 0 210257 0
vsize: 841092
[startup+340.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 32444 50 0 0 25 0 11 0 779835419 861278208 25935 4294967295 134512640 134569956 3221224368 3221214584 1131253817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25935 13086 16 0 210257 0
vsize: 841092
[startup+350.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 33429 51 0 0 25 0 11 0 779835419 861278208 25981 4294967295 134512640 134569956 3221224368 3221214240 1080216989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 25981 13086 16 0 210257 0
vsize: 841092
[startup+360.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 34405 51 0 0 25 0 11 0 779835419 861278208 26017 4294967295 134512640 134569956 3221224368 3221214680 1131343271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26017 13086 16 0 210257 0
vsize: 841092
[startup+370.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 35370 51 0 0 25 0 11 0 779835419 861278208 26057 4294967295 134512640 134569956 3221224368 3221214520 1131526724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26057 13086 16 0 210257 0
vsize: 841092
[startup+380.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 36325 51 0 0 25 0 11 0 779835419 861278208 26063 4294967295 134512640 134569956 3221224368 3221213920 1131455121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26063 13086 16 0 210257 0
vsize: 841092
[startup+390.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 37276 52 0 0 25 0 11 0 779835419 861278208 26317 4294967295 134512640 134569956 3221224368 3221214560 1131267286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26317 13086 16 0 210257 0
vsize: 841092
[startup+400.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 38227 52 0 0 25 0 11 0 779835419 861278208 26600 4294967295 134512640 134569956 3221224368 3221214512 1131252084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26600 13086 16 0 210257 0
vsize: 841092
[startup+410.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 39178 52 0 0 25 0 11 0 779835419 861278208 26785 4294967295 134512640 134569956 3221224368 3221214556 1131486281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 26785 13086 16 0 210257 0
vsize: 841092
[startup+420.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 40128 52 0 0 25 0 11 0 779835419 861278208 27014 4294967295 134512640 134569956 3221224368 3221214624 1131271433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 27014 13086 16 0 210257 0
vsize: 841092
[startup+430.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 41066 53 0 0 25 0 11 0 779835419 861278208 27363 4294967295 134512640 134569956 3221224368 3221214304 1131527094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 27363 13086 16 0 210257 0
vsize: 841092
[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 41984 53 0 0 25 0 11 0 779835419 861278208 27415 4294967295 134512640 134569956 3221224368 3221214680 1131348208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 27415 13086 16 0 210257 0
vsize: 841092
[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 42915 53 0 0 25 0 11 0 779835419 861278208 27645 4294967295 134512640 134569956 3221224368 3221214680 1131343320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 27645 13086 16 0 210257 0
vsize: 841092
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 43868 53 0 0 25 0 11 0 779835419 861278208 28011 4294967295 134512640 134569956 3221224368 3221214584 1131241975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28011 13086 16 0 210257 0
vsize: 841092
[startup+470.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 44844 53 0 0 25 0 11 0 779835419 861278208 28254 4294967295 134512640 134569956 3221224368 3221214536 1131266712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28254 13086 16 0 210257 0
vsize: 841092
[startup+480.039 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 45825 54 0 0 25 0 11 0 779835419 861278208 28256 4294967295 134512640 134569956 3221224368 3221214680 1131347684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28256 13086 16 0 210257 0
vsize: 841092
[startup+490.04 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 46802 55 0 0 25 0 11 0 779835419 861278208 28327 4294967295 134512640 134569956 3221224368 3221214680 1131344798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28327 13086 16 0 210257 0
vsize: 841092
[startup+500.04 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 47785 55 0 0 25 0 11 0 779835419 861278208 28335 4294967295 134512640 134569956 3221224368 3221214584 1131252469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28335 13086 16 0 210257 0
vsize: 841092
[startup+510.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 48766 55 0 0 25 0 11 0 779835419 861278208 28386 4294967295 134512640 134569956 3221224368 3221214584 1131204103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28386 13086 16 0 210257 0
vsize: 841092
[startup+520.041 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 49749 55 0 0 25 0 11 0 779835419 861278208 28417 4294967295 134512640 134569956 3221224368 3221214584 1131204122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 28417 13086 16 0 210257 0
vsize: 841092
[startup+530.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 50730 55 0 0 25 0 11 0 779835419 861278208 28456 4294967295 134512640 134569956 3221224368 3221214584 1131252202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28456 13086 16 0 210257 0
vsize: 841092
[startup+540.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 51710 55 0 0 25 0 11 0 779835419 861278208 28486 4294967295 134512640 134569956 3221224368 3221214680 1131343636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28486 13086 16 0 210257 0
vsize: 841092
[startup+550.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 52693 56 0 0 25 0 11 0 779835419 861278208 28522 4294967295 134512640 134569956 3221224368 3221214584 1131252065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28522 13086 16 0 210257 0
vsize: 841092
[startup+560.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 53673 56 0 0 25 0 11 0 779835419 861278208 28556 4294967295 134512640 134569956 3221224368 3221214680 1131344653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28556 13086 16 0 210257 0
vsize: 841092
[startup+570.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 54655 56 0 0 25 0 11 0 779835419 861278208 28593 4294967295 134512640 134569956 3221224368 3221214584 1131252065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28593 13086 16 0 210257 0
vsize: 841092
[startup+580.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 55634 57 0 0 25 0 11 0 779835419 861278208 28624 4294967295 134512640 134569956 3221224368 3221214584 1131252025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28624 13086 16 0 210257 0
vsize: 841092
[startup+590.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 56616 57 0 0 25 0 11 0 779835419 861278208 28661 4294967295 134512640 134569956 3221224368 3221214680 1131343320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28661 13086 16 0 210257 0
vsize: 841092
[startup+600.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 57596 58 0 0 25 0 11 0 779835419 861278208 28700 4294967295 134512640 134569956 3221224368 3221214680 1131341835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28700 13086 16 0 210257 0
vsize: 841092
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 58576 58 0 0 25 0 11 0 779835419 861278208 28741 4294967295 134512640 134569956 3221224368 3221214584 1131241975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28741 13086 16 0 210257 0
vsize: 841092
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 59559 59 0 0 25 0 11 0 779835419 861278208 28770 4294967295 134512640 134569956 3221224368 3221214584 1131252065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28770 13086 16 0 210257 0
vsize: 841092
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 60539 59 0 0 25 0 11 0 779835419 861278208 28805 4294967295 134512640 134569956 3221224368 3221214680 1131341863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28805 13086 16 0 210257 0
vsize: 841092
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 61521 59 0 0 25 0 11 0 779835419 861278208 28841 4294967295 134512640 134569956 3221224368 3221214680 1131343251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28841 13086 16 0 210257 0
vsize: 841092
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 62501 60 0 0 25 0 11 0 779835419 861278208 28872 4294967295 134512640 134569956 3221224368 3221214680 1131343804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28872 13086 16 0 210257 0
vsize: 841092
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) S 7283 23514 23513 0 -1 0 18102 0 1 0 63482 60 0 0 25 0 11 0 779835419 861278208 28907 4294967295 134512640 134569956 3221224368 3221213184 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28907 13086 16 0 210257 0
vsize: 841092
[startup+670.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 64463 61 0 0 25 0 11 0 779835419 861278208 28939 4294967295 134512640 134569956 3221224368 3221214832 1131188761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28939 13086 16 0 210257 0
vsize: 841092
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 65443 61 0 0 25 0 11 0 779835419 861278208 28980 4294967295 134512640 134569956 3221224368 3221214680 1131341835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 28980 13086 16 0 210257 0
vsize: 841092
[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 66426 61 0 0 25 0 11 0 779835419 861278208 29008 4294967295 134512640 134569956 3221224368 3221214680 1131343727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29008 13086 16 0 210257 0
vsize: 841092
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 67407 62 0 0 25 0 11 0 779835419 861278208 29043 4294967295 134512640 134569956 3221224368 3221214680 1131341863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29043 13086 16 0 210257 0
vsize: 841092
[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 68390 62 0 0 25 0 11 0 779835419 861278208 29070 4294967295 134512640 134569956 3221224368 3221214680 1131343788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29070 13086 16 0 210257 0
vsize: 841092
[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 69371 62 0 0 25 0 11 0 779835419 861278208 29104 4294967295 134512640 134569956 3221224368 3221214680 1131348516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29104 13086 16 0 210257 0
vsize: 841092
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 70351 63 0 0 25 0 11 0 779835419 861278208 29138 4294967295 134512640 134569956 3221224368 3221214584 1131204093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29138 13086 16 0 210257 0
vsize: 841092
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 71334 63 0 0 25 0 11 0 779835419 861278208 29163 4294967295 134512640 134569956 3221224368 3221214680 1131348453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29163 13086 16 0 210257 0
vsize: 841092
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 72314 63 0 0 25 0 11 0 779835419 861278208 29193 4294967295 134512640 134569956 3221224368 3221214680 1131343320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29193 13086 16 0 210257 0
vsize: 841092
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 73297 64 0 0 25 0 11 0 779835419 861278208 29217 4294967295 134512640 134569956 3221224368 3221214680 1131341667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29217 13086 16 0 210257 0
vsize: 841092
[startup+770.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 74277 64 0 0 25 0 11 0 779835419 861278208 29251 4294967295 134512640 134569956 3221224368 3221214584 1131252155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29251 13086 16 0 210257 0
vsize: 841092
[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 75257 65 0 0 25 0 11 0 779835419 861278208 29277 4294967295 134512640 134569956 3221224368 3221214536 1131266674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29277 13086 16 0 210257 0
vsize: 841092
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 76239 65 0 0 25 0 11 0 779835419 861278208 29308 4294967295 134512640 134569956 3221224368 3221213772 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29308 13086 16 0 210257 0
vsize: 841092
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 77218 65 0 0 25 0 11 0 779835419 861278208 29340 4294967295 134512640 134569956 3221224368 3221214680 1131349428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29340 13086 16 0 210257 0
vsize: 841092
[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 78199 66 0 0 25 0 11 0 779835419 861278208 29377 4294967295 134512640 134569956 3221224368 3221214632 1131250790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29377 13086 16 0 210257 0
vsize: 841092
[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 79178 67 0 0 25 0 11 0 779835419 861278208 29412 4294967295 134512640 134569956 3221224368 3221214680 1131343448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29412 13086 16 0 210257 0
vsize: 841092
[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 80156 67 0 0 24 0 11 0 779835419 861278208 29449 4294967295 134512640 134569956 3221224368 3221214680 1131343301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29449 13086 16 0 210257 0
vsize: 841092
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 81137 67 0 0 25 0 11 0 779835419 861278208 29476 4294967295 134512640 134569956 3221224368 3221214680 1131347684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29476 13086 16 0 210257 0
vsize: 841092
[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 82117 68 0 0 25 0 11 0 779835419 861278208 29526 4294967295 134512640 134569956 3221224368 3221214620 1131385775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29526 13086 16 0 210257 0
vsize: 841092
[startup+860.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 83099 68 0 0 25 0 11 0 779835419 861278208 29550 4294967295 134512640 134569956 3221224368 3221214680 1131341863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29550 13086 16 0 210257 0
vsize: 841092
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 84080 68 0 0 25 0 11 0 779835419 861278208 29580 4294967295 134512640 134569956 3221224368 3221214584 1131204085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29580 13086 16 0 210257 0
vsize: 841092
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 85060 69 0 0 24 0 11 0 779835419 861278208 29606 4294967295 134512640 134569956 3221224368 3221214256 1131215546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29606 13086 16 0 210257 0
vsize: 841092
[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 86043 69 0 0 25 0 11 0 779835419 861278208 29635 4294967295 134512640 134569956 3221224368 3221214680 1131348453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29635 13086 16 0 210257 0
vsize: 841092
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 87023 70 0 0 25 0 11 0 779835419 861278208 29665 4294967295 134512640 134569956 3221224368 3221214680 1131347560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29665 13086 16 0 210257 0
vsize: 841092
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 88005 70 0 0 25 0 11 0 779835419 861278208 29689 4294967295 134512640 134569956 3221224368 3221214584 1131251977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29689 13086 16 0 210257 0
vsize: 841092
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 88985 71 0 0 25 0 11 0 779835419 861278208 29718 4294967295 134512640 134569956 3221224368 3221214672 1131202930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29718 13086 16 0 210257 0
vsize: 841092
[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 89966 71 0 0 25 0 11 0 779835419 861278208 29745 4294967295 134512640 134569956 3221224368 3221214632 1131273603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29745 13086 16 0 210257 0
vsize: 841092
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 90948 72 0 0 25 0 11 0 779835419 861278208 29777 4294967295 134512640 134569956 3221224368 3221214584 1131251977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29777 13086 16 0 210257 0
vsize: 841092
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 91928 72 0 0 20 0 11 0 779835419 861278208 29806 4294967295 134512640 134569956 3221224368 3221214728 1131260668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29806 13086 16 0 210257 0
vsize: 841092
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 92909 72 0 0 24 0 11 0 779835419 861278208 29831 4294967295 134512640 134569956 3221224368 3221214680 1131341667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29831 13086 16 0 210257 0
vsize: 841092
[startup+970.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 93891 73 0 0 25 0 11 0 779835419 861278208 29856 4294967295 134512640 134569956 3221224368 3221213804 1131455120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29856 13086 16 0 210257 0
vsize: 841092
[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 94872 73 0 0 25 0 11 0 779835419 861278208 29883 4294967295 134512640 134569956 3221224368 3221214584 1131252023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29883 13086 16 0 210257 0
vsize: 841092
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 95853 74 0 0 25 0 11 0 779835419 861278208 29912 4294967295 134512640 134569956 3221224368 3221214656 1130883346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29912 13086 16 0 210257 0
vsize: 841092
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 96834 74 0 0 25 0 11 0 779835419 861278208 29940 4294967295 134512640 134569956 3221224368 3221214584 1131204137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29940 13086 16 0 210257 0
vsize: 841092
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 97814 75 0 0 25 0 11 0 779835419 861278208 29964 4294967295 134512640 134569956 3221224368 3221214584 1131252093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29964 13086 16 0 210257 0
vsize: 841092
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 98798 75 0 0 25 0 11 0 779835419 861278208 29992 4294967295 134512640 134569956 3221224368 3221214608 1131265606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 29992 13086 16 0 210257 0
vsize: 841092
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 99778 75 0 0 25 0 11 0 779835419 861278208 30025 4294967295 134512640 134569956 3221224368 3221214680 1131341835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30025 13086 16 0 210257 0
vsize: 841092
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 100756 75 0 0 24 0 11 0 779835419 861278208 30048 4294967295 134512640 134569956 3221224368 3221214680 1131344785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30048 13086 16 0 210257 0
vsize: 841092
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 101737 76 0 0 25 0 11 0 779835419 861278208 30073 4294967295 134512640 134569956 3221224368 3221214608 1131265661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30073 13086 16 0 210257 0
vsize: 841092
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 102717 77 0 0 25 0 11 0 779835419 861278208 30099 4294967295 134512640 134569956 3221224368 3221214584 1131252210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30099 13086 16 0 210257 0
vsize: 841092
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 103699 77 0 0 25 0 11 0 779835419 861278208 30126 4294967295 134512640 134569956 3221224368 3221214852 1131188704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30126 13086 16 0 210257 0
vsize: 841092
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 104678 77 0 0 25 0 11 0 779835419 861278208 30153 4294967295 134512640 134569956 3221224368 3221214584 1131252025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30153 13086 16 0 210257 0
vsize: 841092
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 105659 77 0 0 25 0 11 0 779835419 861278208 30179 4294967295 134512640 134569956 3221224368 3221214184 1131155219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30179 13086 16 0 210257 0
vsize: 841092
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 106640 78 0 0 25 0 11 0 779835419 861278208 30207 4294967295 134512640 134569956 3221224368 3221214680 1131344697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30207 13086 16 0 210257 0
vsize: 841092
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 107620 79 0 0 25 0 11 0 779835419 861278208 30238 4294967295 134512640 134569956 3221224368 3221214584 1131252799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30238 13086 16 0 210257 0
vsize: 841092
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 108600 79 0 0 25 0 11 0 779835419 861278208 30260 4294967295 134512640 134569956 3221224368 3221214832 1131188761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210273 30260 13086 16 0 210257 0
vsize: 841092
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 109582 79 0 0 25 0 11 0 779835419 861278208 30286 4294967295 134512640 134569956 3221224368 3221214680 1131343977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30286 13086 16 0 210257 0
vsize: 841092
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 110561 79 0 0 25 0 11 0 779835419 861278208 30315 4294967295 134512640 134569956 3221224368 3221214584 1131252473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30315 13086 16 0 210257 0
vsize: 841092
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 111543 79 0 0 25 0 11 0 779835419 861278208 30339 4294967295 134512640 134569956 3221224368 3221214672 1131202930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30339 13086 16 0 210257 0
vsize: 841092
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 112523 79 0 0 25 0 11 0 779835419 861278208 30370 4294967295 134512640 134569956 3221224368 3221214584 1131252291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30370 13086 16 0 210257 0
vsize: 841092
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 113503 80 0 0 25 0 11 0 779835419 861278208 30389 4294967295 134512640 134569956 3221224368 3221214584 1131252046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30389 13086 16 0 210257 0
vsize: 841092
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 114485 81 0 0 25 0 11 0 779835419 861278208 30414 4294967295 134512640 134569956 3221224368 3221214680 1131343995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30414 13086 16 0 210257 0
vsize: 841092
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 115465 81 0 0 25 0 11 0 779835419 861278208 30440 4294967295 134512640 134569956 3221224368 3221214584 1131252150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30440 13086 16 0 210257 0
vsize: 841092
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 116444 81 0 0 25 0 11 0 779835419 861278208 30465 4294967295 134512640 134569956 3221224368 3221214584 1131204085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30465 13086 16 0 210257 0
vsize: 841092
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 117426 81 0 0 25 0 11 0 779835419 861278208 30491 4294967295 134512640 134569956 3221224368 3221214584 1131242029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30491 13086 16 0 210257 0
vsize: 841092
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 118406 82 0 0 25 0 11 0 779835419 861278208 30517 4294967295 134512640 134569956 3221224368 3221214584 1131252065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30517 13086 16 0 210257 0
vsize: 841092
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 119384 82 0 0 25 0 11 0 779835419 861278208 30537 4294967295 134512640 134569956 3221224368 3221214660 1131414579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30537 13086 16 0 210257 0
vsize: 841092
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7294
Raw data (stat): 7284 (java) R 7283 23514 23513 0 -1 0 18102 0 1 0 120365 83 0 0 25 0 11 0 779835419 861278208 30561 4294967295 134512640 134569956 3221224368 3221214584 1131252065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210273 30561 13086 16 0 210257 0
vsize: 841092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7296
Raw data (stat): 7284 (java) Z 7283 23514 23513 0 -1 1036 18102 15216 1 0 120367 88 4565 48 25 0 1 0 779835419 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.18
CPU time (s): 1250.7
CPU user time (s): 1249.33
CPU system time (s): 1.36979
CPU usage (%): 100.848
Max. virtual memory (Kb): 842720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####