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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39088316758
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39088316758
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.98385
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30074

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 14:30:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21478 boxname=wulflinc1 idbench=1466 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 21478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        639568 kB
Buffers:         34396 kB
Cached:         330596 kB
SwapCached:       3976 kB
Active:          81676 kB
Inactive:       290200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        639316 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:            17476 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:52:44 (client local time) WITH STATUS 143 IN 1309.04 SECONDS
stats: 21478 7 1309.04 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/wulflinc1/normalized-mps-v2-13-7-n3704.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1308.889
#### 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.92 0.98 0.99 1/55 22453
Raw data (stat): 22453 (runsolver) D 22452 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 724537326 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 859 39 0 0 25 0 10 0 724537326 853561344 19290 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 19290 13086 16 0 208373 0
vsize: 833556
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 1757 40 0 0 25 0 10 0 724537326 853561344 19798 4294967295 134512640 134569956 3221224368 3221214648 1131190698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 19798 13086 16 0 208373 0
vsize: 833556
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 2646 40 0 0 25 0 10 0 724537326 853561344 20294 4294967295 134512640 134569956 3221224368 3221214112 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20294 13086 16 0 208373 0
vsize: 833556
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 3561 41 0 0 25 0 10 0 724537326 853929984 20673 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20673 13086 16 0 208463 0
vsize: 833916
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 4481 41 0 0 25 0 10 0 724537326 853929984 20836 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20836 13086 16 0 208463 0
vsize: 833916
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 5397 42 0 0 25 0 10 0 724537326 853929984 20967 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20967 13086 16 0 208463 0
vsize: 833916
[startup+70.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 6329 42 0 0 25 0 10 0 724537326 853962752 21215 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21215 13086 16 0 208471 0
vsize: 833948
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 7266 42 0 0 25 0 10 0 724537326 853962752 21317 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21317 13086 16 0 208471 0
vsize: 833948
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 8208 43 0 0 25 0 10 0 724537326 853962752 21404 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 21404 13086 16 0 208471 0
vsize: 833948
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 9149 43 0 0 25 0 10 0 724537326 853962752 21490 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21490 13086 16 0 208471 0
vsize: 833948
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 10088 43 0 0 25 0 10 0 724537326 853962752 21570 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21570 13086 16 0 208471 0
vsize: 833948
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 11029 43 0 0 25 0 10 0 724537326 853962752 21644 4294967295 134512640 134569956 3221224368 3221213336 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21644 13086 16 0 208471 0
vsize: 833948
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 11973 44 0 0 25 0 10 0 724537326 853962752 21714 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21714 13086 16 0 208471 0
vsize: 833948
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 12914 44 0 0 25 0 10 0 724537326 853962752 21783 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21783 13086 16 0 208471 0
vsize: 833948
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 13856 44 0 0 25 0 10 0 724537326 853962752 21849 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 21849 13086 16 0 208471 0
vsize: 833948
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 14800 45 0 0 25 0 10 0 724537326 853962752 21909 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21909 13086 16 0 208471 0
vsize: 833948
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 15736 45 0 0 25 0 10 0 724537326 853962752 21970 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21970 13086 16 0 208471 0
vsize: 833948
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 16651 45 0 0 25 0 10 0 724537326 853962752 22026 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22026 13086 16 0 208471 0
vsize: 833948
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 17569 46 0 0 24 0 10 0 724537326 853962752 22340 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22340 13086 16 0 208471 0
vsize: 833948
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 18511 46 0 0 25 0 10 0 724537326 853962752 22392 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22392 13086 16 0 208471 0
vsize: 833948
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 19448 46 0 0 25 0 10 0 724537326 853962752 22446 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 22446 13086 16 0 208471 0
vsize: 833948
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 20387 46 0 0 25 0 10 0 724537326 853962752 22496 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22496 13086 16 0 208471 0
vsize: 833948
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 21325 46 0 0 25 0 10 0 724537326 853962752 22547 4294967295 134512640 134569956 3221224368 3221214196 1077558427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22547 13086 16 0 208471 0
vsize: 833948
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 22261 46 0 0 24 0 10 0 724537326 853962752 22597 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 22597 13086 16 0 208471 0
vsize: 833948
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 23201 47 0 0 25 0 10 0 724537326 853962752 22644 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22644 13086 16 0 208471 0
vsize: 833948
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 24136 48 0 0 25 0 10 0 724537326 853962752 22692 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22692 13086 16 0 208471 0
vsize: 833948
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 25075 48 0 0 25 0 10 0 724537326 853962752 22736 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22736 13086 16 0 208471 0
vsize: 833948
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 26010 48 0 0 25 0 10 0 724537326 853962752 22781 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22781 13086 16 0 208471 0
vsize: 833948
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 26944 48 0 0 24 0 10 0 724537326 853962752 22826 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22826 13086 16 0 208471 0
vsize: 833948
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 27881 48 0 0 25 0 10 0 724537326 853962752 22868 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22868 13086 16 0 208471 0
vsize: 833948
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 28814 49 0 0 24 0 10 0 724537326 853962752 22911 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22911 13086 16 0 208471 0
vsize: 833948
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 29750 49 0 0 25 0 10 0 724537326 853962752 22951 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22951 13086 16 0 208471 0
vsize: 833948
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 30683 49 0 0 24 0 10 0 724537326 853962752 22993 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 22993 13086 16 0 208471 0
vsize: 833948
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 31619 50 0 0 25 0 10 0 724537326 853962752 23032 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23032 13086 16 0 208471 0
vsize: 833948
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 32550 50 0 0 25 0 10 0 724537326 853962752 23072 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23072 13086 16 0 208471 0
vsize: 833948
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 33484 50 0 0 25 0 10 0 724537326 853962752 23110 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23110 13086 16 0 208471 0
vsize: 833948
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 34415 51 0 0 25 0 10 0 724537326 853962752 23148 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23148 13086 16 0 208471 0
vsize: 833948
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 35348 51 0 0 25 0 10 0 724537326 853962752 23186 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23186 13086 16 0 208471 0
vsize: 833948
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 36281 51 0 0 25 0 10 0 724537326 853962752 23222 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23222 13086 16 0 208471 0
vsize: 833948
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 37211 51 0 0 25 0 10 0 724537326 853962752 23260 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 23260 13086 16 0 208471 0
vsize: 833948
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 38144 52 0 0 25 0 10 0 724537326 853962752 23295 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23295 13086 16 0 208471 0
vsize: 833948
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 39073 52 0 0 24 0 10 0 724537326 853962752 23332 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23332 13086 16 0 208471 0
vsize: 833948
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 40005 52 0 0 25 0 10 0 724537326 853962752 23366 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23366 13086 16 0 208471 0
vsize: 833948
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 40936 53 0 0 25 0 10 0 724537326 853962752 23399 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23399 13086 16 0 208471 0
vsize: 833948
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 41862 53 0 0 25 0 10 0 724537326 853962752 23435 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23435 13086 16 0 208471 0
vsize: 833948
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 42794 53 0 0 25 0 10 0 724537326 853962752 23468 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23468 13086 16 0 208471 0
vsize: 833948
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 43724 53 0 0 25 0 10 0 724537326 853962752 23500 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23500 13086 16 0 208471 0
vsize: 833948
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 44650 53 0 0 25 0 10 0 724537326 853962752 23534 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23534 13086 16 0 208471 0
vsize: 833948
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 45579 54 0 0 25 0 10 0 724537326 853962752 23566 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23566 13086 16 0 208471 0
vsize: 833948
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 46508 54 0 0 25 0 10 0 724537326 853962752 23598 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23598 13086 16 0 208471 0
vsize: 833948
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 47432 55 0 0 24 0 10 0 724537326 853962752 23631 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23631 13086 16 0 208471 0
vsize: 833948
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 48360 55 0 0 25 0 10 0 724537326 853962752 23663 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23663 13086 16 0 208471 0
vsize: 833948
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 49288 55 0 0 25 0 10 0 724537326 853962752 23693 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23693 13086 16 0 208471 0
vsize: 833948
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 50216 55 0 0 25 0 10 0 724537326 853962752 23723 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23723 13086 16 0 208471 0
vsize: 833948
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 51138 56 0 0 25 0 10 0 724537326 853962752 23755 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23755 13086 16 0 208471 0
vsize: 833948
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 52065 56 0 0 25 0 10 0 724537326 853962752 23785 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23785 13086 16 0 208471 0
vsize: 833948
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 52992 56 0 0 25 0 10 0 724537326 853962752 23814 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23814 13086 16 0 208471 0
vsize: 833948
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 53918 56 0 0 25 0 10 0 724537326 853962752 23843 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23843 13086 16 0 208471 0
vsize: 833948
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 54839 57 0 0 24 0 10 0 724537326 853962752 23874 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23874 13086 16 0 208471 0
vsize: 833948
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 55763 57 0 0 25 0 10 0 724537326 853962752 23903 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23903 13086 16 0 208471 0
vsize: 833948
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 56689 57 0 0 25 0 10 0 724537326 853962752 23931 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23931 13086 16 0 208471 0
vsize: 833948
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 57613 57 0 0 25 0 10 0 724537326 853962752 23959 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23959 13086 16 0 208471 0
vsize: 833948
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 58537 58 0 0 25 0 10 0 724537326 853962752 23987 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 23987 13086 16 0 208471 0
vsize: 833948
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 59459 59 0 0 25 0 10 0 724537326 853962752 24015 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 24015 13086 16 0 208471 0
vsize: 833948
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 60380 59 0 0 24 0 10 0 724537326 853962752 24044 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 24044 13086 16 0 208471 0
vsize: 833948
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 61303 59 0 0 25 0 10 0 724537326 853962752 24071 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 24071 13086 16 0 208471 0
vsize: 833948
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 62221 60 0 0 25 0 10 0 724537326 853962752 24989 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 24989 13086 16 0 208471 0
vsize: 833948
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 63140 61 0 0 25 0 10 0 724537326 853962752 24989 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 24989 13086 16 0 208471 0
vsize: 833948
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 64054 61 0 0 25 0 10 0 724537326 853962752 25012 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25012 13086 16 0 208471 0
vsize: 833948
[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 64967 61 0 0 25 0 10 0 724537326 853962752 25038 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25038 13086 16 0 208471 0
vsize: 833948
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 65878 61 0 0 25 0 10 0 724537326 853962752 25064 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25064 13086 16 0 208471 0
vsize: 833948
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 66789 62 0 0 24 0 10 0 724537326 853962752 25091 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25091 13086 16 0 208471 0
vsize: 833948
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 67701 62 0 0 24 0 10 0 724537326 853962752 25116 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25116 13086 16 0 208471 0
vsize: 833948
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 68612 62 0 0 24 0 10 0 724537326 853962752 25142 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25142 13086 16 0 208471 0
vsize: 833948
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 69526 63 0 0 25 0 10 0 724537326 853962752 25167 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25167 13086 16 0 208471 0
vsize: 833948
[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 70441 63 0 0 25 0 10 0 724537326 853962752 25191 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25191 13086 16 0 208471 0
vsize: 833948
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 71352 63 0 0 25 0 10 0 724537326 853962752 25217 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25217 13086 16 0 208471 0
vsize: 833948
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 72261 64 0 0 25 0 10 0 724537326 853962752 25242 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25242 13086 16 0 208471 0
vsize: 833948
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 73170 64 0 0 25 0 10 0 724537326 853962752 25267 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25267 13086 16 0 208471 0
vsize: 833948
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 74080 64 0 0 25 0 10 0 724537326 853962752 25291 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25291 13086 16 0 208471 0
vsize: 833948
[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 74989 64 0 0 25 0 10 0 724537326 853962752 25316 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25316 13086 16 0 208471 0
vsize: 833948
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 75899 65 0 0 25 0 10 0 724537326 853962752 25340 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 25340 13086 16 0 208471 0
vsize: 833948
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 76808 65 0 0 25 0 10 0 724537326 853962752 25364 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25364 13086 16 0 208471 0
vsize: 833948
[startup+840.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 77718 65 0 0 25 0 10 0 724537326 853962752 25387 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25387 13086 16 0 208471 0
vsize: 833948
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 78630 65 0 0 25 0 10 0 724537326 853962752 25411 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25411 13086 16 0 208471 0
vsize: 833948
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 79537 66 0 0 25 0 10 0 724537326 853962752 25435 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25435 13086 16 0 208471 0
vsize: 833948
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 80443 66 0 0 25 0 10 0 724537326 853962752 25458 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25458 13086 16 0 208471 0
vsize: 833948
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 81350 67 0 0 25 0 10 0 724537326 853962752 25482 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25482 13086 16 0 208471 0
vsize: 833948
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 82257 67 0 0 24 0 10 0 724537326 853962752 25505 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25505 13086 16 0 208471 0
vsize: 833948
[startup+900.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 83170 67 0 0 25 0 10 0 724537326 853962752 25528 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25528 13086 16 0 208471 0
vsize: 833948
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 84076 67 0 0 25 0 10 0 724537326 853962752 25551 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25551 13086 16 0 208471 0
vsize: 833948
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 84982 68 0 0 25 0 10 0 724537326 853962752 25580 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25580 13086 16 0 208471 0
vsize: 833948
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 85886 68 0 0 25 0 10 0 724537326 853962752 25606 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25606 13086 16 0 208471 0
vsize: 833948
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 86792 68 0 0 24 0 10 0 724537326 853962752 25633 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25633 13086 16 0 208471 0
vsize: 833948
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 87703 68 0 0 25 0 10 0 724537326 853962752 25657 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25657 13086 16 0 208471 0
vsize: 833948
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 88606 68 0 0 22 0 10 0 724537326 853962752 25686 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25686 13086 16 0 208471 0
vsize: 833948
[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 89510 69 0 0 21 0 10 0 724537326 853962752 25709 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25709 13086 16 0 208471 0
vsize: 833948
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 90415 69 0 0 19 0 10 0 724537326 853962752 25738 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25738 13086 16 0 208471 0
vsize: 833948
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 91324 69 0 0 23 0 10 0 724537326 853962752 25758 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25758 13086 16 0 208471 0
vsize: 833948
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 92227 70 0 0 21 0 10 0 724537326 853962752 25786 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25786 13086 16 0 208471 0
vsize: 833948
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 93131 70 0 0 20 0 10 0 724537326 853962752 25810 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25810 13086 16 0 208471 0
vsize: 833948
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 94035 70 0 0 19 0 10 0 724537326 853962752 25832 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25832 13086 16 0 208471 0
vsize: 833948
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 94944 71 0 0 23 0 10 0 724537326 853962752 25863 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25863 13086 16 0 208471 0
vsize: 833948
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 95846 71 0 0 20 0 10 0 724537326 853962752 25885 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25885 13086 16 0 208471 0
vsize: 833948
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 96748 71 0 0 19 0 10 0 724537326 853962752 25913 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25913 13086 16 0 208471 0
vsize: 833948
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 97657 71 0 0 23 0 10 0 724537326 853962752 25936 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25936 13086 16 0 208471 0
vsize: 833948
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 98556 71 0 0 21 0 10 0 724537326 853962752 25962 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 25962 13086 16 0 208471 0
vsize: 833948
[startup+1080.04 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 99455 72 0 0 19 0 10 0 724537326 853962752 25986 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 25986 13086 16 0 208471 0
vsize: 833948
[startup+1090.04 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 100363 72 0 0 20 0 10 0 724537326 853962752 26005 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26005 13086 16 0 208471 0
vsize: 833948
[startup+1100.04 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 101262 73 0 0 21 0 10 0 724537326 853962752 26032 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26032 13086 16 0 208471 0
vsize: 833948
[startup+1110.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 102162 73 0 0 19 0 10 0 724537326 853962752 26057 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26057 13086 16 0 208471 0
vsize: 833948
[startup+1120.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 103068 73 0 0 22 0 10 0 724537326 853962752 26081 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26081 13086 16 0 208471 0
vsize: 833948
[startup+1130.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 103967 73 0 0 20 0 10 0 724537326 853962752 26107 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26107 13086 16 0 208471 0
vsize: 833948
[startup+1140.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 104866 74 0 0 24 0 10 0 724537326 853962752 26130 4294967295 134512640 134569956 3221224368 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26130 13086 16 0 208471 0
vsize: 833948
[startup+1150.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 105771 74 0 0 21 0 10 0 724537326 853962752 26150 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 26150 13086 16 0 208471 0
vsize: 833948
[startup+1160.04 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 106669 74 0 0 20 0 10 0 724537326 853962752 26177 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26177 13086 16 0 208471 0
vsize: 833948
[startup+1170.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 107575 75 0 0 23 0 10 0 724537326 853962752 26200 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 26200 13086 16 0 208471 0
vsize: 833948
[startup+1180.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 108473 75 0 0 21 0 10 0 724537326 853962752 26221 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26221 13086 16 0 208471 0
vsize: 833948
[startup+1190.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 109371 75 0 0 19 0 10 0 724537326 853962752 26247 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26247 13086 16 0 208471 0
vsize: 833948
[startup+1200.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 110272 76 0 0 21 0 10 0 724537326 853962752 26270 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208487 26270 13086 16 0 208471 0
vsize: 833948
[startup+1210.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 111167 76 0 0 19 0 10 0 724537326 853962752 26293 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26293 13086 16 0 208471 0
vsize: 833948
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 112070 77 0 0 23 0 10 0 724537326 853962752 26316 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26316 13086 16 0 208471 0
vsize: 833948
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 112967 77 0 0 21 0 10 0 724537326 853962752 26336 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26336 13086 16 0 208471 0
vsize: 833948
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 113864 78 0 0 18 0 10 0 724537326 853962752 26355 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26355 13086 16 0 208471 0
vsize: 833948
[startup+1250.05 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 114768 78 0 0 21 0 10 0 724537326 853962752 26374 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26374 13086 16 0 208471 0
vsize: 833948
[startup+1260.05 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 115665 79 0 0 19 0 10 0 724537326 853962752 26409 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26409 13086 16 0 208471 0
vsize: 833948
[startup+1270.05 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 116568 79 0 0 22 0 10 0 724537326 853962752 26424 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26424 13086 16 0 208471 0
vsize: 833948
[startup+1280.05 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 117465 79 0 0 21 0 10 0 724537326 853962752 26457 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26457 13086 16 0 208471 0
vsize: 833948
[startup+1290.05 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 22462
Raw data (stat): 22453 (java) S 22452 8378 8377 0 -1 0 18009 0 1 0 118366 80 0 0 23 0 10 0 724537326 853962752 26473 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26473 13086 16 0 208471 0
vsize: 833948
[startup+1300.05 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 119269 80 0 0 22 0 10 0 724537326 853962752 26499 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26499 13086 16 0 208471 0
vsize: 833948
[startup+1310.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 22462
Raw data (stat): 22453 (java) R 22452 8378 8377 0 -1 0 18009 0 1 0 120170 80 0 0 20 0 10 0 724537326 853962752 26526 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 26526 13086 16 0 208471 0
vsize: 833948
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.13 s]
Raw data (loadavg): 1.06 1.02 1.00 1/55 22464
Raw data (stat): 22453 (java) Z 22452 8378 8377 0 -1 1036 18009 8132 1 0 120172 80 10605 44 20 0 1 0 724537326 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.13
CPU time (s): 1309.04
CPU user time (s): 1307.79
CPU system time (s): 1.25081
CPU usage (%): 99.9164
Max. virtual memory (Kb): 833948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####