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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	d14265fdf4e5a3ef733af1f15b884cbe
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6661373
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
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	1189.02
Number of variables	3584
Total number of constraints	136
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	136
Minimum length of a constraint	21
Maximum length of a constraint	160
Trace number 30054

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        455652 kB
Buffers:         35184 kB
Cached:         522376 kB
SwapCached:        584 kB
Active:          59220 kB
Inactive:       500452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        455400 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13608 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:36:43 (client local time) WITH STATUS 143 IN 1237.31 SECONDS
stats: 21457 7 1237.31 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/wulflinc9/normalized-mps-v2-13-7-pp08a.opb
c reading problem ... done. Time 6.97 ms.
c #vars     3584
c #constraints  200
c starts	: 10
c conflicts	: 10557
c decisions	: 15322
c propagations	: 52790
c inspects	: 2874500
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10557
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1239.186
#### 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 20718
Raw data (stat): 20718 (runsolver) R 20717 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781303585 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.0138 s]
Raw data (loadavg): 1.18 1.03 1.01 3/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18069 0 1 0 795 38 0 0 25 0 11 0 781303585 858882048 20499 4294967295 134512640 134569956 3221224368 3221214544 1131315419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209688 20499 13086 16 0 209672 0
vsize: 838752
[startup+20.0339 s]
Raw data (loadavg): 1.38 1.08 1.03 2/64 20728
Raw data (stat): 20718 (java) S 20717 3944 3943 0 -1 0 18100 0 1 0 1616 39 0 0 25 0 11 0 781303585 862212096 22296 4294967295 134512640 134569956 3221224368 3221213096 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210501 22297 13086 16 0 210485 0
vsize: 842004
[startup+30.0347 s]
Raw data (loadavg): 1.39 1.09 1.03 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18102 0 1 0 2530 39 0 0 25 0 11 0 781303585 863055872 23084 4294967295 134512640 134569956 3221224368 3221214560 1131314892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 23084 13086 16 0 210691 0
vsize: 842828
[startup+40.035 s]
Raw data (loadavg): 1.33 1.09 1.03 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18102 0 1 0 3465 39 0 0 25 0 11 0 781303585 863055872 23186 4294967295 134512640 134569956 3221224368 3221214448 1131234605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 23186 13086 16 0 210691 0
vsize: 842828
[startup+50.0354 s]
Raw data (loadavg): 1.28 1.09 1.03 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 4399 39 0 0 25 0 11 0 781303585 863055872 23532 4294967295 134512640 134569956 3221224368 3221214560 1131314873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 23532 13086 16 0 210691 0
vsize: 842828
[startup+60.0362 s]
Raw data (loadavg): 1.24 1.08 1.03 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 5354 39 0 0 25 0 11 0 781303585 863055872 24094 4294967295 134512640 134569956 3221224368 3221214560 1131459412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 24094 13086 16 0 210691 0
vsize: 842828
[startup+70.0405 s]
Raw data (loadavg): 1.20 1.08 1.03 2/64 20728
Raw data (stat): 20718 (java) S 20717 3944 3943 0 -1 0 18103 0 1 0 6303 39 0 0 25 0 11 0 781303585 863055872 24818 4294967295 134512640 134569956 3221224368 3221213200 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 24818 13086 16 0 210691 0
vsize: 842828
[startup+80.0401 s]
Raw data (loadavg): 1.17 1.08 1.03 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 7266 39 0 0 25 0 11 0 781303585 863055872 25370 4294967295 134512640 134569956 3221224368 3221214136 1131577063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 25370 13086 16 0 210691 0
vsize: 842828
[startup+90.0405 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 8217 40 0 0 25 0 11 0 781303585 863055872 25780 4294967295 134512640 134569956 3221224368 3221214560 1131314755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 25780 13086 16 0 210691 0
vsize: 842828
[startup+100.04 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 9175 40 0 0 25 0 11 0 781303585 863055872 26234 4294967295 134512640 134569956 3221224368 3221214560 1131234919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 26234 13086 16 0 210691 0
vsize: 842828
[startup+110.042 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 10134 40 0 0 25 0 11 0 781303585 863055872 26579 4294967295 134512640 134569956 3221224368 3221214528 1131234605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 26579 13086 16 0 210691 0
vsize: 842828
[startup+120.042 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 11101 40 0 0 25 0 11 0 781303585 863055872 26995 4294967295 134512640 134569956 3221224368 3221214624 1131400354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 26995 13086 16 0 210691 0
vsize: 842828
[startup+130.042 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 12068 40 0 0 25 0 11 0 781303585 863055872 27296 4294967295 134512640 134569956 3221224368 3221214592 1131295713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 27296 13086 16 0 210691 0
vsize: 842828
[startup+140.042 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 13034 41 0 0 25 0 11 0 781303585 863055872 27737 4294967295 134512640 134569956 3221224368 3221214592 1131294949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 27737 13086 16 0 210691 0
vsize: 842828
[startup+150.043 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 14001 41 0 0 25 0 11 0 781303585 863055872 28202 4294967295 134512640 134569956 3221224368 3221214448 1131623042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 28202 13086 16 0 210691 0
vsize: 842828
[startup+160.044 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 14969 41 0 0 25 0 11 0 781303585 863055872 28458 4294967295 134512640 134569956 3221224368 3221213904 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 28458 13086 16 0 210691 0
vsize: 842828
[startup+170.043 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 15926 41 0 0 25 0 11 0 781303585 863055872 28982 4294967295 134512640 134569956 3221224368 3221214136 1131577052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 28982 13086 16 0 210691 0
vsize: 842828
[startup+180.043 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 16896 41 0 0 25 0 11 0 781303585 863055872 29350 4294967295 134512640 134569956 3221224368 3221214176 1131622990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 29350 13086 16 0 210691 0
vsize: 842828
[startup+190.044 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 17866 42 0 0 25 0 11 0 781303585 863055872 29588 4294967295 134512640 134569956 3221224368 3221213812 1131293216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 29588 13086 16 0 210691 0
vsize: 842828
[startup+200.044 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 18845 42 0 0 25 0 11 0 781303585 863055872 29817 4294967295 134512640 134569956 3221224368 3221214440 1131623342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 29817 13086 16 0 210691 0
vsize: 842828
[startup+210.045 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 19812 42 0 0 25 0 11 0 781303585 863055872 30253 4294967295 134512640 134569956 3221224368 3221214528 1131234557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 30253 13086 16 0 210691 0
vsize: 842828
[startup+220.045 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 20791 43 0 0 25 0 11 0 781303585 863055872 30450 4294967295 134512640 134569956 3221224368 3221214448 1131629324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 30450 13086 16 0 210691 0
vsize: 842828
[startup+230.045 s]
Raw data (loadavg): 1.04 1.05 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 21759 43 0 0 25 0 11 0 781303585 863055872 30816 4294967295 134512640 134569956 3221224368 3221214440 1131293205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 30816 13086 16 0 210691 0
vsize: 842828
[startup+240.046 s]
Raw data (loadavg): 1.03 1.05 1.02 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 22729 43 0 0 25 0 11 0 781303585 863055872 31067 4294967295 134512640 134569956 3221224368 3221214040 1085679386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 31067 13086 16 0 210691 0
vsize: 842828
[startup+250.047 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 23708 43 0 0 25 0 11 0 781303585 863055872 31192 4294967295 134512640 134569956 3221224368 3221214504 1131489271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 31192 13086 16 0 210691 0
vsize: 842828
[startup+260.047 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 24677 43 0 0 25 0 11 0 781303585 863055872 31616 4294967295 134512640 134569956 3221224368 3221214664 1131334589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 31616 13086 16 0 210691 0
vsize: 842828
[startup+270.048 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 25656 43 0 0 25 0 11 0 781303585 863055872 31788 4294967295 134512640 134569956 3221224368 3221214568 1131314427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 31788 13086 16 0 210691 0
vsize: 842828
[startup+280.047 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 26625 44 0 0 25 0 11 0 781303585 863055872 32088 4294967295 134512640 134569956 3221224368 3221214040 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 32088 13086 16 0 210691 0
vsize: 842828
[startup+290.048 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 27596 44 0 0 25 0 11 0 781303585 863055872 32319 4294967295 134512640 134569956 3221224368 3221214624 1131400529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 32319 13086 16 0 210691 0
vsize: 842828
[startup+300.049 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18103 0 1 0 28575 44 0 0 25 0 11 0 781303585 863055872 32533 4294967295 134512640 134569956 3221224368 3221214560 1131216622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 32533 13086 16 0 210691 0
vsize: 842828
[startup+310.05 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 29546 45 0 0 25 0 11 0 781303585 863055872 32760 4294967295 134512640 134569956 3221224368 3221214124 1131293904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 32760 13086 16 0 210691 0
vsize: 842828
[startup+320.05 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 30517 45 0 0 25 0 11 0 781303585 863055872 32954 4294967295 134512640 134569956 3221224368 3221214312 1131630084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 32954 13086 16 0 210691 0
vsize: 842828
[startup+330.05 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 31487 45 0 0 25 0 11 0 781303585 863055872 33205 4294967295 134512640 134569956 3221224368 3221214560 1131315104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 33205 13086 16 0 210691 0
vsize: 842828
[startup+340.051 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 32466 45 0 0 25 0 11 0 781303585 863055872 33454 4294967295 134512640 134569956 3221224368 3221214528 1131234605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 33454 13086 16 0 210691 0
vsize: 842828
[startup+350.052 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 33448 45 0 0 25 0 11 0 781303585 863055872 33598 4294967295 134512640 134569956 3221224368 3221214040 1131620312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 33598 13086 16 0 210691 0
vsize: 842828
[startup+360.053 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 34427 46 0 0 25 0 11 0 781303585 863055872 33750 4294967295 134512640 134569956 3221224368 3221214176 1131619900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 33750 13086 16 0 210691 0
vsize: 842828
[startup+370.054 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 35404 46 0 0 25 0 11 0 781303585 863055872 34080 4294967295 134512640 134569956 3221224368 3221214616 1131369241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 34080 13086 16 0 210691 0
vsize: 842828
[startup+380.054 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 36382 46 0 0 25 0 11 0 781303585 863055872 34347 4294967295 134512640 134569956 3221224368 3221214260 1131293904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 34347 13086 16 0 210691 0
vsize: 842828
[startup+390.055 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 37361 46 0 0 25 0 11 0 781303585 863055872 34622 4294967295 134512640 134569956 3221224368 3221214528 1131234605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 34622 13086 16 0 210691 0
vsize: 842828
[startup+400.056 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 38340 47 0 0 25 0 11 0 781303585 863055872 34944 4294967295 134512640 134569956 3221224368 3221214128 1131293905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 34944 13086 16 0 210691 0
vsize: 842828
[startup+410.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 39320 47 0 0 25 0 11 0 781303585 863055872 35080 4294967295 134512640 134569956 3221224368 3221214568 1131315124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 35080 13086 16 0 210691 0
vsize: 842828
[startup+420.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 40299 48 0 0 25 0 11 0 781303585 863055872 35355 4294967295 134512640 134569956 3221224368 3221214128 1131293905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 35355 13086 16 0 210691 0
vsize: 842828
[startup+430.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 41280 48 0 0 25 0 11 0 781303585 863055872 35594 4294967295 134512640 134569956 3221224368 3221214312 1131624094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 35594 13086 16 0 210691 0
vsize: 842828
[startup+440.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 42261 48 0 0 25 0 11 0 781303585 863055872 35836 4294967295 134512640 134569956 3221224368 3221214040 1131626285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 35836 13086 16 0 210691 0
vsize: 842828
[startup+450.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 43242 48 0 0 25 0 11 0 781303585 863055872 36093 4294967295 134512640 134569956 3221224368 3221214736 1131582616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 36093 13086 16 0 210691 0
vsize: 842828
[startup+460.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 44214 49 0 0 25 0 11 0 781303585 863055872 36421 4294967295 134512640 134569956 3221224368 3221214560 1131315048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 36421 13086 16 0 210691 0
vsize: 842828
[startup+470.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 45197 49 0 0 25 0 11 0 781303585 863055872 36643 4294967295 134512640 134569956 3221224368 3221213776 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 36643 13086 16 0 210691 0
vsize: 842828
[startup+480.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 46179 49 0 0 25 0 11 0 781303585 863055872 36767 4294967295 134512640 134569956 3221224368 3221214632 1131432136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 36767 13086 16 0 210691 0
vsize: 842828
[startup+490.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 47158 50 0 0 25 0 11 0 781303585 863055872 37092 4294967295 134512640 134569956 3221224368 3221214560 1131314873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 37092 13086 16 0 210691 0
vsize: 842828
[startup+500.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 48140 51 0 0 25 0 11 0 781303585 863055872 37211 4294967295 134512640 134569956 3221224368 3221213948 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 37211 13086 16 0 210691 0
vsize: 842828
[startup+510.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 49121 51 0 0 25 0 11 0 781303585 863055872 37434 4294967295 134512640 134569956 3221224368 3221214560 1131315112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 37434 13086 16 0 210691 0
vsize: 842828
[startup+520.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 50101 52 0 0 25 0 11 0 781303585 863055872 37645 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 37645 13086 16 0 210691 0
vsize: 842828
[startup+530.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 51074 52 0 0 25 0 11 0 781303585 863055872 37988 4294967295 134512640 134569956 3221224368 3221214136 1131429652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 37988 13086 16 0 210691 0
vsize: 842828
[startup+540.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 52055 52 0 0 25 0 11 0 781303585 863055872 38198 4294967295 134512640 134569956 3221224368 3221214560 1131314962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 38198 13086 16 0 210691 0
vsize: 842828
[startup+550.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 53037 52 0 0 25 0 11 0 781303585 863055872 38404 4294967295 134512640 134569956 3221224368 3221214712 1131298428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 38404 13086 16 0 210691 0
vsize: 842828
[startup+560.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 54018 53 0 0 25 0 11 0 781303585 863055872 38639 4294967295 134512640 134569956 3221224368 3221214088 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 38639 13086 16 0 210691 0
vsize: 842828
[startup+570.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 54991 53 0 0 24 0 11 0 781303585 863055872 38942 4294967295 134512640 134569956 3221224368 3221214128 1131293884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 38942 13086 16 0 210691 0
vsize: 842828
[startup+580.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 55973 53 0 0 25 0 11 0 781303585 863055872 39152 4294967295 134512640 134569956 3221224368 3221213768 1131618768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 39152 13086 16 0 210691 0
vsize: 842828
[startup+590.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 56956 54 0 0 25 0 11 0 781303585 863055872 39369 4294967295 134512640 134569956 3221224368 3221214176 1131623524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 39369 13086 16 0 210691 0
vsize: 842828
[startup+600.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 57939 54 0 0 25 0 11 0 781303585 863055872 39496 4294967295 134512640 134569956 3221224368 3221214620 1131369219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 39496 13086 16 0 210691 0
vsize: 842828
[startup+610.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 58911 54 0 0 25 0 11 0 781303585 863055872 39784 4294967295 134512640 134569956 3221224368 3221213904 1131619928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 39784 13086 16 0 210691 0
vsize: 842828
[startup+620.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 59893 55 0 0 25 0 11 0 781303585 863055872 40049 4294967295 134512640 134569956 3221224368 3221213676 1131293904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 40049 13086 16 0 210691 0
vsize: 842828
[startup+630.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 60868 55 0 0 25 0 11 0 781303585 863055872 40332 4294967295 134512640 134569956 3221224368 3221214664 1131333572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 40332 13086 16 0 210691 0
vsize: 842828
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 61851 55 0 0 25 0 11 0 781303585 863055872 40428 4294967295 134512640 134569956 3221224368 3221213988 1131293848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 40428 13086 16 0 210691 0
vsize: 842828
[startup+650.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 62826 55 0 0 25 0 11 0 781303585 863055872 40741 4294967295 134512640 134569956 3221224368 3221214128 1131293884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 40741 13086 16 0 210691 0
vsize: 842828
[startup+660.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 63809 55 0 0 25 0 11 0 781303585 863055872 40834 4294967295 134512640 134569956 3221224368 3221214128 1131293905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 40834 13086 16 0 210691 0
vsize: 842828
[startup+670.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 64792 55 0 0 25 0 11 0 781303585 863055872 41081 4294967295 134512640 134569956 3221224368 3221214560 1131315137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 41081 13086 16 0 210691 0
vsize: 842828
[startup+680.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 65774 56 0 0 25 0 11 0 781303585 863055872 41250 4294967295 134512640 134569956 3221224368 3221214176 1131618832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 41250 13086 16 0 210691 0
vsize: 842828
[startup+690.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 66764 56 0 0 25 0 11 0 781303585 863055872 41338 4294967295 134512640 134569956 3221224368 3221213860 1131293184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 41338 13086 16 0 210691 0
vsize: 842828
[startup+700.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 67744 56 0 0 25 0 11 0 781303585 863055872 41602 4294967295 134512640 134569956 3221224368 3221213768 1131620443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 41602 13086 16 0 210691 0
vsize: 842828
[startup+710.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 68734 56 0 0 25 0 11 0 781303585 863055872 41685 4294967295 134512640 134569956 3221224368 3221214544 1131447305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 41685 13086 16 0 210691 0
vsize: 842828
[startup+720.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 69714 56 0 0 25 0 11 0 781303585 863055872 41881 4294967295 134512640 134569956 3221224368 3221214560 1131314430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 41881 13086 16 0 210691 0
vsize: 842828
[startup+730.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 70704 56 0 0 25 0 11 0 781303585 863055872 41970 4294967295 134512640 134569956 3221224368 3221214640 1131202604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 41970 13086 16 0 210691 0
vsize: 842828
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 71683 56 0 0 25 0 11 0 781303585 863055872 42126 4294967295 134512640 134569956 3221224368 3221214664 1131333470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 42126 13086 16 0 210691 0
vsize: 842828
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 72661 57 0 0 25 0 11 0 781303585 863055872 42408 4294967295 134512640 134569956 3221224368 3221214168 1131293205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 42408 13086 16 0 210691 0
vsize: 842828
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 73651 57 0 0 25 0 11 0 781303585 863055872 42408 4294967295 134512640 134569956 3221224368 3221214448 1131621475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 42408 13086 16 0 210691 0
vsize: 842828
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 74630 57 0 0 25 0 11 0 781303585 863055872 42604 4294967295 134512640 134569956 3221224368 3221214376 1131499158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 42604 13086 16 0 210691 0
vsize: 842828
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 75609 57 0 0 25 0 11 0 781303585 863055872 42795 4294967295 134512640 134569956 3221224368 3221213904 1131630084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 42795 13086 16 0 210691 0
vsize: 842828
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 76588 57 0 0 25 0 11 0 781303585 863055872 43010 4294967295 134512640 134569956 3221224368 3221214128 1131293880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 43010 13086 16 0 210691 0
vsize: 842828
[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 77569 57 0 0 25 0 11 0 781303585 863055872 43104 4294967295 134512640 134569956 3221224368 3221214312 1131619900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 43104 13086 16 0 210691 0
vsize: 842828
[startup+810.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 78558 57 0 0 25 0 11 0 781303585 863055872 43199 4294967295 134512640 134569956 3221224368 3221213904 1131630084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 43199 13086 16 0 210691 0
vsize: 842828
[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 79538 58 0 0 25 0 11 0 781303585 863055872 43381 4294967295 134512640 134569956 3221224368 3221214624 1131353518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 43381 13086 16 0 210691 0
vsize: 842828
[startup+830.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 80518 58 0 0 25 0 11 0 781303585 863055872 43554 4294967295 134512640 134569956 3221224368 3221214448 1131630084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 43554 13086 16 0 210691 0
vsize: 842828
[startup+840.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 81499 58 0 0 25 0 11 0 781303585 863055872 43742 4294967295 134512640 134569956 3221224368 3221213728 1131577076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 43742 13086 16 0 210691 0
vsize: 842828
[startup+850.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 82479 58 0 0 25 0 11 0 781303585 863055872 43827 4294967295 134512640 134569956 3221224368 3221214396 1131293904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 43827 13086 16 0 210691 0
vsize: 842828
[startup+860.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 83459 58 0 0 25 0 11 0 781303585 863055872 43979 4294967295 134512640 134569956 3221224368 3221213904 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 43979 13086 16 0 210691 0
vsize: 842828
[startup+870.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 84438 59 0 0 25 0 11 0 781303585 863055872 44147 4294967295 134512640 134569956 3221224368 3221213860 1131293193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 44147 13086 16 0 210691 0
vsize: 842828
[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 85419 59 0 0 25 0 11 0 781303585 863055872 44292 4294967295 134512640 134569956 3221224368 3221213760 1131619934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 44292 13086 16 0 210691 0
vsize: 842828
[startup+890.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 86401 59 0 0 25 0 11 0 781303585 863055872 44455 4294967295 134512640 134569956 3221224368 3221214308 1131293196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 44455 13086 16 0 210691 0
vsize: 842828
[startup+900.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) S 20717 3944 3943 0 -1 0 18104 0 1 0 87386 59 0 0 25 0 11 0 781303585 863055872 44532 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 44532 13086 16 0 210691 0
vsize: 842828
[startup+910.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 88373 59 0 0 25 0 11 0 781303585 863055872 44669 4294967295 134512640 134569956 3221224368 3221214692 1131298370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 44669 13086 16 0 210691 0
vsize: 842828
[startup+920.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 89344 59 0 0 25 0 11 0 781303585 863055872 44897 4294967295 134512640 134569956 3221224368 3221213904 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 44897 13086 16 0 210691 0
vsize: 842828
[startup+930.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 90335 59 0 0 25 0 11 0 781303585 863055872 44972 4294967295 134512640 134569956 3221224368 3221214664 1131334369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210707 44972 13086 16 0 210691 0
vsize: 842828
[startup+940.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 91316 59 0 0 25 0 11 0 781303585 863055872 45146 4294967295 134512640 134569956 3221224368 3221214664 1131339200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45146 13086 16 0 210691 0
vsize: 842828
[startup+950.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 92297 59 0 0 25 0 11 0 781303585 863055872 45284 4294967295 134512640 134569956 3221224368 3221214448 1131630084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45284 13086 16 0 210691 0
vsize: 842828
[startup+960.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 93279 59 0 0 25 0 11 0 781303585 863055872 45415 4294967295 134512640 134569956 3221224368 3221213864 1131577052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45415 13086 16 0 210691 0
vsize: 842828
[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 94260 59 0 0 25 0 11 0 781303585 863055872 45598 4294967295 134512640 134569956 3221224368 3221214000 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45598 13086 16 0 210691 0
vsize: 842828
[startup+980.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 95241 59 0 0 25 0 11 0 781303585 863055872 45739 4294967295 134512640 134569956 3221224368 3221214128 1131293844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45739 13086 16 0 210691 0
vsize: 842828
[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 96222 59 0 0 25 0 11 0 781303585 863055872 45886 4294967295 134512640 134569956 3221224368 3221214304 1131619940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45886 13086 16 0 210691 0
vsize: 842828
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 97212 59 0 0 25 0 11 0 781303585 863055872 45961 4294967295 134512640 134569956 3221224368 3221214448 1131628736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 45961 13086 16 0 210691 0
vsize: 842828
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 98192 59 0 0 25 0 11 0 781303585 863055872 46118 4294967295 134512640 134569956 3221224368 3221214312 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46118 13086 16 0 210691 0
vsize: 842828
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 99182 60 0 0 25 0 11 0 781303585 863055872 46188 4294967295 134512640 134569956 3221224368 3221214664 1131333515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46188 13086 16 0 210691 0
vsize: 842828
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 100163 60 0 0 25 0 11 0 781303585 863055872 46402 4294967295 134512640 134569956 3221224368 3221213952 1131293962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46402 13086 16 0 210691 0
vsize: 842828
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 101143 60 0 0 25 0 11 0 781303585 863055872 46575 4294967295 134512640 134569956 3221224368 3221214312 1131632012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46575 13086 16 0 210691 0
vsize: 842828
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 102124 60 0 0 25 0 11 0 781303585 863055872 46654 4294967295 134512640 134569956 3221224368 3221214664 1131333460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46654 13086 16 0 210691 0
vsize: 842828
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 103104 60 0 0 25 0 11 0 781303585 863055872 46809 4294967295 134512640 134569956 3221224368 3221214712 1131520402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46809 13086 16 0 210691 0
vsize: 842828
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 104085 60 0 0 25 0 11 0 781303585 863055872 46896 4294967295 134512640 134569956 3221224368 3221214312 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 46896 13086 16 0 210691 0
vsize: 842828
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 105065 60 0 0 25 0 11 0 781303585 863055872 47050 4294967295 134512640 134569956 3221224368 3221213768 1131618848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47050 13086 16 0 210691 0
vsize: 842828
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 106046 60 0 0 25 0 11 0 781303585 863055872 47222 4294967295 134512640 134569956 3221224368 3221214560 1131315131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47222 13086 16 0 210691 0
vsize: 842828
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 107026 60 0 0 24 0 11 0 781303585 863055872 47364 4294967295 134512640 134569956 3221224368 3221214440 1131293205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47364 13086 16 0 210691 0
vsize: 842828
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 108017 60 0 0 25 0 11 0 781303585 863055872 47364 4294967295 134512640 134569956 3221224368 3221213852 1131293904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47364 13086 16 0 210691 0
vsize: 842828
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 108997 60 0 0 25 0 11 0 781303585 863055872 47505 4294967295 134512640 134569956 3221224368 3221213768 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47505 13086 16 0 210691 0
vsize: 842828
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 109978 60 0 0 25 0 11 0 781303585 863055872 47632 4294967295 134512640 134569956 3221224368 3221214560 1131315108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47632 13086 16 0 210691 0
vsize: 842828
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 110958 60 0 0 25 0 11 0 781303585 863055872 47754 4294967295 134512640 134569956 3221224368 3221214312 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47754 13086 16 0 210691 0
vsize: 842828
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 111938 60 0 0 25 0 11 0 781303585 863055872 47886 4294967295 134512640 134569956 3221224368 3221214128 1131293965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 47886 13086 16 0 210691 0
vsize: 842828
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 112919 61 0 0 25 0 11 0 781303585 863055872 48022 4294967295 134512640 134569956 3221224368 3221214168 1131630280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48022 13086 16 0 210691 0
vsize: 842828
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 113899 61 0 0 25 0 11 0 781303585 863055872 48148 4294967295 134512640 134569956 3221224368 3221214664 1131334309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48148 13086 16 0 210691 0
vsize: 842828
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 114880 61 0 0 25 0 11 0 781303585 863055872 48280 4294967295 134512640 134569956 3221224368 3221213768 1131618771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48280 13086 16 0 210691 0
vsize: 842828
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 115870 61 0 0 25 0 11 0 781303585 863055872 48350 4294967295 134512640 134569956 3221224368 3221213680 1131293905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48350 13086 16 0 210691 0
vsize: 842828
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 116851 61 0 0 25 0 11 0 781303585 863055872 48476 4294967295 134512640 134569956 3221224368 3221213816 1131293783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48476 13086 16 0 210691 0
vsize: 842828
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 117831 61 0 0 25 0 11 0 781303585 863055872 48648 4294967295 134512640 134569956 3221224368 3221213408 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48648 13086 16 0 210691 0
vsize: 842828
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 118812 61 0 0 25 0 11 0 781303585 863055872 48793 4294967295 134512640 134569956 3221224368 3221214448 1131632200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48793 13086 16 0 210691 0
vsize: 842828
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) R 20717 3944 3943 0 -1 0 18104 0 1 0 119793 61 0 0 25 0 11 0 781303585 863055872 48926 4294967295 134512640 134569956 3221224368 3221213544 1131293905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 48926 13086 16 0 210691 0
vsize: 842828
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20728
Raw data (stat): 20718 (java) S 20717 3944 3943 0 -1 0 18104 0 1 0 120780 61 0 0 25 0 11 0 781303585 863055872 49000 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210707 49000 13086 16 0 210691 0
vsize: 842828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20730
Raw data (stat): 20718 (java) Z 20717 3944 3943 0 -1 1036 18104 28649 1 0 120785 61 2826 57 24 0 1 0 781303585 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.31
CPU time (s): 1237.31
CPU user time (s): 1236.12
CPU system time (s): 1.18982
CPU usage (%): 99.7582
Max. virtual memory (Kb): 842828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####