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-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 29683

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        205724 kB
Buffers:         36664 kB
Cached:         762164 kB
SwapCached:        716 kB
Active:          65888 kB
Inactive:       739744 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        205444 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17496 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:43:48 (client local time) WITH STATUS 143 IN 1255.5 SECONDS
stats: 21086 7 1255.5 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/wulflinc20/normalized-mps-v2-20-10-vpm2.opb
c reading problem ... done. Time 5.469 ms.
c #vars     2754
c #constraints  486
c starts	: 10
c conflicts	: 7989
c decisions	: 11284
c propagations	: 51348
c inspects	: 4140974
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7988
c root simplifications	: 28
s UNKNOWN
c Total CPU time (ms) : 1249.148
#### 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.85 0.97 0.99 2/54 3700
Raw data (stat): 3700 (runsolver) R 3699 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838126975 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+9.99995 s]
Raw data (loadavg): 1.18 1.03 1.01 3/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18062 0 1 0 758 39 0 0 25 0 11 0 838126975 859561984 20493 4294967295 134512640 134569956 3221224368 3221214576 1131364258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209854 20493 13086 16 0 209838 0
vsize: 839416
[startup+20.0007 s]
Raw data (loadavg): 1.38 1.08 1.03 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18079 0 1 0 1580 39 0 0 25 0 11 0 838126975 864784384 22423 4294967295 134512640 134569956 3221224368 3221214532 1130894939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211129 22423 13086 16 0 211113 0
vsize: 844516
[startup+30.0019 s]
Raw data (loadavg): 1.32 1.08 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18080 0 1 0 2509 40 0 0 25 0 11 0 838126975 861167616 22222 4294967295 134512640 134569956 3221224368 3221214324 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 22222 13086 16 0 210230 0
vsize: 840984
[startup+40.0012 s]
Raw data (loadavg): 1.27 1.07 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18080 0 1 0 3445 40 0 0 25 0 11 0 838126975 861167616 22545 4294967295 134512640 134569956 3221224368 3221214600 1131312322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 22545 13086 16 0 210230 0
vsize: 840984
[startup+50.0019 s]
Raw data (loadavg): 1.23 1.07 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 4374 40 0 0 25 0 11 0 838126975 861167616 22680 4294967295 134512640 134569956 3221224368 3221213832 1131199973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 22680 13086 16 0 210230 0
vsize: 840984
[startup+60.002 s]
Raw data (loadavg): 1.19 1.07 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 5309 40 0 0 25 0 11 0 838126975 861167616 22888 4294967295 134512640 134569956 3221224368 3221214600 1131312353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 22888 13086 16 0 210230 0
vsize: 840984
[startup+70.0028 s]
Raw data (loadavg): 1.16 1.07 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 6262 41 0 0 25 0 11 0 838126975 861167616 23042 4294967295 134512640 134569956 3221224368 3221214400 1131529971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 23042 13086 16 0 210230 0
vsize: 840984
[startup+80.0031 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 7192 41 0 0 25 0 11 0 838126975 861167616 23346 4294967295 134512640 134569956 3221224368 3221214504 1131247096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 23346 13086 16 0 210230 0
vsize: 840984
[startup+90.0032 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 8124 41 0 0 25 0 11 0 838126975 861167616 23546 4294967295 134512640 134569956 3221224368 3221214656 1131639667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 23546 13086 16 0 210230 0
vsize: 840984
[startup+100.004 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 9066 42 0 0 25 0 11 0 838126975 861167616 23710 4294967295 134512640 134569956 3221224368 3221214656 1131639958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 23710 13086 16 0 210230 0
vsize: 840984
[startup+110.004 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 9997 42 0 0 25 0 11 0 838126975 861167616 23919 4294967295 134512640 134569956 3221224368 3221214504 1131247113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 23919 13086 16 0 210230 0
vsize: 840984
[startup+120.005 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 10940 43 0 0 25 0 11 0 838126975 861167616 24101 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 24101 13086 16 0 210230 0
vsize: 840984
[startup+130.005 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 11874 43 0 0 25 0 11 0 838126975 861167616 24323 4294967295 134512640 134569956 3221224368 3221214600 1131312944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 24323 13086 16 0 210230 0
vsize: 840984
[startup+140.004 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 12818 43 0 0 25 0 11 0 838126975 861167616 24478 4294967295 134512640 134569956 3221224368 3221214600 1131312614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 24478 13086 16 0 210230 0
vsize: 840984
[startup+150.006 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 13755 43 0 0 25 0 11 0 838126975 861167616 24692 4294967295 134512640 134569956 3221224368 3221213944 1131658957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 24692 13086 16 0 210230 0
vsize: 840984
[startup+160.005 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 14693 44 0 0 25 0 11 0 838126975 861167616 24883 4294967295 134512640 134569956 3221224368 3221214504 1131247447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 24883 13086 16 0 210230 0
vsize: 840984
[startup+170.006 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 15623 44 0 0 25 0 11 0 838126975 861167616 25107 4294967295 134512640 134569956 3221224368 3221214624 1131364384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25107 13086 16 0 210230 0
vsize: 840984
[startup+180.005 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 16569 44 0 0 25 0 11 0 838126975 861167616 25336 4294967295 134512640 134569956 3221224368 3221214600 1131312294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25336 13086 16 0 210230 0
vsize: 840984
[startup+190.005 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 17531 45 0 0 25 0 11 0 838126975 861167616 25552 4294967295 134512640 134569956 3221224368 3221214600 1131312322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25552 13086 16 0 210230 0
vsize: 840984
[startup+200.006 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 18507 45 0 0 25 0 11 0 838126975 861167616 25693 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25693 13086 16 0 210230 0
vsize: 840984
[startup+210.006 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 19487 45 0 0 25 0 11 0 838126975 861167616 25737 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25737 13086 16 0 210230 0
vsize: 840984
[startup+220.007 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 20468 46 0 0 25 0 11 0 838126975 861167616 25786 4294967295 134512640 134569956 3221224368 3221214600 1131312691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25786 13086 16 0 210230 0
vsize: 840984
[startup+230.007 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 21447 46 0 0 25 0 11 0 838126975 861167616 25840 4294967295 134512640 134569956 3221224368 3221214656 1131636221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25840 13086 16 0 210230 0
vsize: 840984
[startup+240.007 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 22426 46 0 0 25 0 11 0 838126975 861167616 25879 4294967295 134512640 134569956 3221224368 3221214656 1131634998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25879 13086 16 0 210230 0
vsize: 840984
[startup+250.007 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 23403 47 0 0 25 0 11 0 838126975 861167616 25918 4294967295 134512640 134569956 3221224368 3221214504 1131247286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25918 13086 16 0 210230 0
vsize: 840984
[startup+260.007 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 24381 47 0 0 25 0 11 0 838126975 861167616 25968 4294967295 134512640 134569956 3221224368 3221214600 1131312556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 25968 13086 16 0 210230 0
vsize: 840984
[startup+270.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 25359 47 0 0 25 0 11 0 838126975 861167616 26041 4294967295 134512640 134569956 3221224368 3221214504 1131247397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26041 13086 16 0 210230 0
vsize: 840984
[startup+280.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 26335 48 0 0 24 0 11 0 838126975 861167616 26090 4294967295 134512640 134569956 3221224368 3221214656 1131639778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26090 13086 16 0 210230 0
vsize: 840984
[startup+290.009 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 27314 48 0 0 25 0 11 0 838126975 861167616 26132 4294967295 134512640 134569956 3221224368 3221214504 1131248423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26132 13086 16 0 210230 0
vsize: 840984
[startup+300.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 28294 48 0 0 25 0 11 0 838126975 861167616 26184 4294967295 134512640 134569956 3221224368 3221214504 1131247110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26184 13086 16 0 210230 0
vsize: 840984
[startup+310.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 29273 49 0 0 25 0 11 0 838126975 861167616 26234 4294967295 134512640 134569956 3221224368 3221214600 1131312944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26234 13086 16 0 210230 0
vsize: 840984
[startup+320.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 30252 49 0 0 25 0 11 0 838126975 861167616 26279 4294967295 134512640 134569956 3221224368 3221214536 1131230357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26279 13086 16 0 210230 0
vsize: 840984
[startup+330.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 31230 50 0 0 25 0 11 0 838126975 861167616 26320 4294967295 134512640 134569956 3221224368 3221214504 1131247472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26320 13086 16 0 210230 0
vsize: 840984
[startup+340.01 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 32207 50 0 0 25 0 11 0 838126975 861167616 26380 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26380 13086 16 0 210230 0
vsize: 840984
[startup+350.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 33186 50 0 0 17 0 11 0 838126975 861167616 26429 4294967295 134512640 134569956 3221224368 3221214656 1131636221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26429 13086 16 0 210230 0
vsize: 840984
[startup+360.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 34167 50 0 0 25 0 11 0 838126975 861167616 26473 4294967295 134512640 134569956 3221224368 3221214600 1131312523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26473 13086 16 0 210230 0
vsize: 840984
[startup+370.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 35146 51 0 0 25 0 11 0 838126975 861167616 26514 4294967295 134512640 134569956 3221224368 3221214568 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26514 13086 16 0 210230 0
vsize: 840984
[startup+380.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 36126 52 0 0 25 0 11 0 838126975 861167616 26558 4294967295 134512640 134569956 3221224368 3221214504 1131247338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26558 13086 16 0 210230 0
vsize: 840984
[startup+390.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 37106 53 0 0 25 0 11 0 838126975 861167616 26600 4294967295 134512640 134569956 3221224368 3221214504 1131247116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26600 13086 16 0 210230 0
vsize: 840984
[startup+400.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 38083 53 0 0 25 0 11 0 838126975 861167616 26648 4294967295 134512640 134569956 3221224368 3221214656 1131634998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26648 13086 16 0 210230 0
vsize: 840984
[startup+410.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 39064 53 0 0 25 0 11 0 838126975 861167616 26701 4294967295 134512640 134569956 3221224368 3221214600 1131312437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26701 13086 16 0 210230 0
vsize: 840984
[startup+420.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 40045 54 0 0 25 0 11 0 838126975 861167616 26742 4294967295 134512640 134569956 3221224368 3221214504 1131247472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26742 13086 16 0 210230 0
vsize: 840984
[startup+430.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 41026 54 0 0 25 0 11 0 838126975 861167616 26782 4294967295 134512640 134569956 3221224368 3221214600 1131312691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26782 13086 16 0 210230 0
vsize: 840984
[startup+440.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 42005 54 0 0 25 0 11 0 838126975 861167616 26805 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26805 13086 16 0 210230 0
vsize: 840984
[startup+450.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 42982 55 0 0 25 0 11 0 838126975 861167616 26854 4294967295 134512640 134569956 3221224368 3221214600 1131312688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26854 13086 16 0 210230 0
vsize: 840984
[startup+460.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 43961 56 0 0 25 0 11 0 838126975 861167616 26898 4294967295 134512640 134569956 3221224368 3221214480 1131348936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26898 13086 16 0 210230 0
vsize: 840984
[startup+470.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 44940 56 0 0 25 0 11 0 838126975 861167616 26953 4294967295 134512640 134569956 3221224368 3221214656 1131637095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26953 13086 16 0 210230 0
vsize: 840984
[startup+480.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 45920 56 0 0 25 0 11 0 838126975 861167616 26993 4294967295 134512640 134569956 3221224368 3221214600 1131312462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 26993 13086 16 0 210230 0
vsize: 840984
[startup+490.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 46897 57 0 0 24 0 11 0 838126975 861167616 27040 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27040 13086 16 0 210230 0
vsize: 840984
[startup+500.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 47877 57 0 0 25 0 11 0 838126975 861167616 27080 4294967295 134512640 134569956 3221224368 3221214600 1131477102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27080 13086 16 0 210230 0
vsize: 840984
[startup+510.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 48856 57 0 0 25 0 11 0 838126975 861167616 27119 4294967295 134512640 134569956 3221224368 3221214600 1131312694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27119 13086 16 0 210230 0
vsize: 840984
[startup+520.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 49834 58 0 0 25 0 11 0 838126975 861167616 27165 4294967295 134512640 134569956 3221224368 3221214600 1131312322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27165 13086 16 0 210230 0
vsize: 840984
[startup+530.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 50812 58 0 0 25 0 11 0 838126975 861167616 27214 4294967295 134512640 134569956 3221224368 3221214596 1131248087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27214 13086 16 0 210230 0
vsize: 840984
[startup+540.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 51789 59 0 0 25 0 11 0 838126975 861167616 27261 4294967295 134512640 134569956 3221224368 3221214652 1131312268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27261 13086 16 0 210230 0
vsize: 840984
[startup+550.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 52761 59 0 0 25 0 11 0 838126975 861167616 27294 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27294 13086 16 0 210230 0
vsize: 840984
[startup+560.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 53724 59 0 0 25 0 11 0 838126975 861167616 27359 4294967295 134512640 134569956 3221224368 3221214600 1131312371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27359 13086 16 0 210230 0
vsize: 840984
[startup+570.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 54716 60 0 0 25 0 11 0 838126975 861167616 27369 4294967295 134512640 134569956 3221224368 3221214264 1131348831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27369 13086 16 0 210230 0
vsize: 840984
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 55693 60 0 0 25 0 11 0 838126975 861167616 27397 4294967295 134512640 134569956 3221224368 3221214504 1131248068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27397 13086 16 0 210230 0
vsize: 840984
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 56667 60 0 0 25 0 11 0 838126975 861167616 27503 4294967295 134512640 134569956 3221224368 3221214264 1131348892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27503 13086 16 0 210230 0
vsize: 840984
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 57655 61 0 0 25 0 11 0 838126975 861167616 27520 4294967295 134512640 134569956 3221224368 3221214188 1131349907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27520 13086 16 0 210230 0
vsize: 840984
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 58632 61 0 0 25 0 11 0 838126975 861167616 27546 4294967295 134512640 134569956 3221224368 3221213828 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27546 13086 16 0 210230 0
vsize: 840984
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 59609 61 0 0 25 0 11 0 838126975 861167616 27566 4294967295 134512640 134569956 3221224368 3221214528 1131213391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27566 13086 16 0 210230 0
vsize: 840984
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 60575 61 0 0 25 0 11 0 838126975 861167616 27608 4294967295 134512640 134569956 3221224368 3221214652 1131312957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27608 13086 16 0 210230 0
vsize: 840984
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 61536 61 0 0 25 0 11 0 838126975 861167616 27619 4294967295 134512640 134569956 3221224368 3221214600 1131476881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27619 13086 16 0 210230 0
vsize: 840984
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 62491 62 0 0 25 0 11 0 838126975 861167616 27624 4294967295 134512640 134569956 3221224368 3221214328 1131658897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27624 13086 16 0 210230 0
vsize: 840984
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) S 3699 25399 25398 0 -1 0 18081 0 1 0 63451 62 0 0 25 0 11 0 838126975 861167616 27672 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 27672 13086 16 0 210230 0
vsize: 840984
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 64406 62 0 0 25 0 11 0 838126975 861167616 27857 4294967295 134512640 134569956 3221224368 3221214156 1131230368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 27857 13086 16 0 210230 0
vsize: 840984
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 65364 62 0 0 25 0 11 0 838126975 861167616 28032 4294967295 134512640 134569956 3221224368 3221214656 1131635084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 28032 13086 16 0 210230 0
vsize: 840984
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 66315 62 0 0 24 0 11 0 838126975 861167616 28205 4294967295 134512640 134569956 3221224368 3221213752 1131443925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 28205 13086 16 0 210230 0
vsize: 840984
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 67284 63 0 0 25 0 11 0 838126975 861167616 28314 4294967295 134512640 134569956 3221224368 3221214600 1131312292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 28314 13086 16 0 210230 0
vsize: 840984
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 68252 63 0 0 25 0 11 0 838126975 861167616 28416 4294967295 134512640 134569956 3221224368 3221214656 1131635052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 28416 13086 16 0 210230 0
vsize: 840984
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 69213 63 0 0 25 0 11 0 838126975 861167616 28540 4294967295 134512640 134569956 3221224368 3221214656 1131636217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 28540 13086 16 0 210230 0
vsize: 840984
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 70175 64 0 0 25 0 11 0 838126975 861167616 28644 4294967295 134512640 134569956 3221224368 3221214480 1131348936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 28644 13086 16 0 210230 0
vsize: 840984
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 71144 64 0 0 25 0 11 0 838126975 861167616 28736 4294967295 134512640 134569956 3221224368 3221214128 1085679343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 28736 13086 16 0 210230 0
vsize: 840984
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 72106 64 0 0 25 0 11 0 838126975 861167616 28862 4294967295 134512640 134569956 3221224368 3221214600 1131312604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 28862 13086 16 0 210230 0
vsize: 840984
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 73068 64 0 0 25 0 11 0 838126975 861167616 28970 4294967295 134512640 134569956 3221224368 3221214504 1131247201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 28970 13086 16 0 210230 0
vsize: 840984
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 74031 65 0 0 25 0 11 0 838126975 861167616 29098 4294967295 134512640 134569956 3221224368 3221214600 1131312338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29098 13086 16 0 210230 0
vsize: 840984
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 74996 65 0 0 24 0 11 0 838126975 861167616 29211 4294967295 134512640 134569956 3221224368 3221213936 1131658872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29211 13086 16 0 210230 0
vsize: 840984
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 75987 65 0 0 25 0 11 0 838126975 861167616 29235 4294967295 134512640 134569956 3221224368 3221214104 1131658897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29235 13086 16 0 210230 0
vsize: 840984
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 76961 65 0 0 25 0 11 0 838126975 861167616 29293 4294967295 134512640 134569956 3221224368 3221214516 1078025855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29293 13086 16 0 210230 0
vsize: 840984
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 77942 66 0 0 25 0 11 0 838126975 861167616 29334 4294967295 134512640 134569956 3221224368 3221214324 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29334 13086 16 0 210230 0
vsize: 840984
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 78911 66 0 0 25 0 11 0 838126975 861167616 29434 4294967295 134512640 134569956 3221224368 3221214764 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29434 13086 16 0 210230 0
vsize: 840984
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 79880 67 0 0 25 0 11 0 838126975 861167616 29554 4294967295 134512640 134569956 3221224368 3221213856 1131661172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29554 13086 16 0 210230 0
vsize: 840984
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 80859 67 0 0 25 0 11 0 838126975 861167616 29670 4294967295 134512640 134569956 3221224368 3221213600 1131348854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29670 13086 16 0 210230 0
vsize: 840984
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 81828 67 0 0 25 0 11 0 838126975 861167616 29795 4294967295 134512640 134569956 3221224368 3221214504 1131247190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 29795 13086 16 0 210230 0
vsize: 840984
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 82797 67 0 0 25 0 11 0 838126975 861167616 29896 4294967295 134512640 134569956 3221224368 3221214104 1131348924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 29896 13086 16 0 210230 0
vsize: 840984
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 83769 68 0 0 25 0 11 0 838126975 861167616 30015 4294967295 134512640 134569956 3221224368 3221213712 1131348924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30015 13086 16 0 210230 0
vsize: 840984
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 84740 68 0 0 25 0 11 0 838126975 861167616 30122 4294967295 134512640 134569956 3221224368 3221214424 1131348936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30122 13086 16 0 210230 0
vsize: 840984
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 85711 69 0 0 25 0 11 0 838126975 861167616 30216 4294967295 134512640 134569956 3221224368 3221214656 1131634998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30216 13086 16 0 210230 0
vsize: 840984
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 86682 69 0 0 25 0 11 0 838126975 861167616 30332 4294967295 134512640 134569956 3221224368 3221213912 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 30332 13086 16 0 210230 0
vsize: 840984
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 87654 69 0 0 25 0 11 0 838126975 861167616 30383 4294967295 134512640 134569956 3221224368 3221213776 1131658872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30383 13086 16 0 210230 0
vsize: 840984
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) S 3699 25399 25398 0 -1 0 18081 0 1 0 88616 69 0 0 25 0 11 0 838126975 861167616 30525 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30527 13086 16 0 210230 0
vsize: 840984
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 89586 70 0 0 25 0 11 0 838126975 861167616 30635 4294967295 134512640 134569956 3221224368 3221214304 1131661133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30635 13086 16 0 210230 0
vsize: 840984
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 90557 70 0 0 25 0 11 0 838126975 861167616 30718 4294967295 134512640 134569956 3221224368 3221213796 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30718 13086 16 0 210230 0
vsize: 840984
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 91528 70 0 0 25 0 11 0 838126975 861167616 30817 4294967295 134512640 134569956 3221224368 3221214600 1131312422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30817 13086 16 0 210230 0
vsize: 840984
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 92489 71 0 0 25 0 11 0 838126975 861167616 30906 4294967295 134512640 134569956 3221224368 3221214488 1131348872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30906 13086 16 0 210230 0
vsize: 840984
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 93459 72 0 0 25 0 11 0 838126975 861167616 30971 4294967295 134512640 134569956 3221224368 3221214032 1131348930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 30971 13086 16 0 210230 0
vsize: 840984
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 94420 72 0 0 25 0 11 0 838126975 861167616 31082 4294967295 134512640 134569956 3221224368 3221213912 1131661193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31082 13086 16 0 210230 0
vsize: 840984
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 95391 73 0 0 25 0 11 0 838126975 861167616 31177 4294967295 134512640 134569956 3221224368 3221214788 1131659360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31177 13086 16 0 210230 0
vsize: 840984
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 96355 73 0 0 25 0 11 0 838126975 861167616 31298 4294967295 134512640 134569956 3221224368 3221214440 1131658897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31298 13086 16 0 210230 0
vsize: 840984
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 97329 73 0 0 25 0 11 0 838126975 861167616 31397 4294967295 134512640 134569956 3221224368 3221214188 1131348978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31397 13086 16 0 210230 0
vsize: 840984
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 98303 74 0 0 25 0 11 0 838126975 861167616 31490 4294967295 134512640 134569956 3221224368 3221213960 1085679372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31490 13086 16 0 210230 0
vsize: 840984
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 99268 74 0 0 25 0 11 0 838126975 861167616 31621 4294967295 134512640 134569956 3221224368 3221214528 1131213391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31621 13086 16 0 210230 0
vsize: 840984
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 100243 74 0 0 25 0 11 0 838126975 861167616 31700 4294967295 134512640 134569956 3221224368 3221214624 1131363906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31700 13086 16 0 210230 0
vsize: 840984
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 101210 75 0 0 25 0 11 0 838126975 861167616 31791 4294967295 134512640 134569956 3221224368 3221213764 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31791 13086 16 0 210230 0
vsize: 840984
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 102185 76 0 0 25 0 11 0 838126975 861167616 31871 4294967295 134512640 134569956 3221224368 3221214488 1131348714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31871 13086 16 0 210230 0
vsize: 840984
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 103153 76 0 0 25 0 11 0 838126975 861167616 31958 4294967295 134512640 134569956 3221224368 3221214040 1131348768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 31958 13086 16 0 210230 0
vsize: 840984
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) S 3699 25399 25398 0 -1 0 18081 0 1 0 104123 76 0 0 25 0 11 0 838126975 861167616 32031 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32031 13086 16 0 210230 0
vsize: 840984
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 105097 76 0 0 25 0 11 0 838126975 861167616 32119 4294967295 134512640 134569956 3221224368 3221214436 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32119 13086 16 0 210230 0
vsize: 840984
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 106073 77 0 0 25 0 11 0 838126975 861167616 32190 4294967295 134512640 134569956 3221224368 3221213768 1131348882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32190 13086 16 0 210230 0
vsize: 840984
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 107048 78 0 0 25 0 11 0 838126975 861167616 32270 4294967295 134512640 134569956 3221224368 3221213820 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32270 13086 16 0 210230 0
vsize: 840984
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 108017 78 0 0 25 0 11 0 838126975 861167616 32366 4294967295 134512640 134569956 3221224368 3221214544 1131312375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32366 13086 16 0 210230 0
vsize: 840984
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 108993 78 0 0 25 0 11 0 838126975 861167616 32441 4294967295 134512640 134569956 3221224368 3221214448 1131247472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32441 13086 16 0 210230 0
vsize: 840984
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 109969 78 0 0 25 0 11 0 838126975 861167616 32510 4294967295 134512640 134569956 3221224368 3221213712 1131658754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 32510 13086 16 0 210230 0
vsize: 840984
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 110945 79 0 0 25 0 11 0 838126975 861167616 32580 4294967295 134512640 134569956 3221224368 3221214156 1131658896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32580 13086 16 0 210230 0
vsize: 840984
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 111919 79 0 0 25 0 11 0 838126975 861167616 32641 4294967295 134512640 134569956 3221224368 3221214488 1131348924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32641 13086 16 0 210230 0
vsize: 840984
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 112883 80 0 0 25 0 11 0 838126975 861167616 32715 4294967295 134512640 134569956 3221224368 3221213856 1131661330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32715 13086 16 0 210230 0
vsize: 840984
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 113856 80 0 0 25 0 11 0 838126975 861167616 32777 4294967295 134512640 134569956 3221224368 3221214448 1131247338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32777 13086 16 0 210230 0
vsize: 840984
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 114821 80 0 0 25 0 11 0 838126975 861167616 32863 4294967295 134512640 134569956 3221224368 3221213792 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32863 13086 16 0 210230 0
vsize: 840984
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 115795 81 0 0 25 0 11 0 838126975 861167616 32929 4294967295 134512640 134569956 3221224368 3221214088 1131230357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 32929 13086 16 0 210230 0
vsize: 840984
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 116761 81 0 0 25 0 11 0 838126975 861167616 33030 4294967295 134512640 134569956 3221224368 3221214440 1131658897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 33030 13086 16 0 210230 0
vsize: 840984
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 117728 81 0 0 24 0 11 0 838126975 861167616 33124 4294967295 134512640 134569956 3221224368 3221214188 1131348681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 33124 13086 16 0 210230 0
vsize: 840984
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 118704 81 0 0 25 0 11 0 838126975 861167616 33188 4294967295 134512640 134569956 3221224368 3221214128 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210246 33188 13086 16 0 210230 0
vsize: 840984
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 119672 82 0 0 25 0 11 0 838126975 861167616 33304 4294967295 134512640 134569956 3221224368 3221214600 1131634649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 33304 13086 16 0 210230 0
vsize: 840984
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3710
Raw data (stat): 3700 (java) R 3699 25399 25398 0 -1 0 18081 0 1 0 120646 82 0 0 25 0 11 0 838126975 861167616 33416 4294967295 134512640 134569956 3221224368 3221214584 1131363961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210246 33416 13086 16 0 210230 0
vsize: 840984
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3712
Raw data (stat): 3700 (java) Z 3699 25399 25398 0 -1 1036 18081 17481 1 0 120649 82 4773 43 25 0 1 0 838126975 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.22
CPU time (s): 1255.5
CPU user time (s): 1254.24
CPU system time (s): 1.26281
CPU usage (%): 100.422
Max. virtual memory (Kb): 844516
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####