PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
MD5SUM	c6fa043dbbb5b108d149e4ec9ce5fa2c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29637219205243
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29637219205243
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44978
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 29697

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        618424 kB
Buffers:         28348 kB
Cached:         365952 kB
SwapCached:       1052 kB
Active:          57728 kB
Inactive:       339148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        618172 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13748 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:54:10 (client local time) WITH STATUS 143 IN 1312.57 SECONDS
stats: 21100 7 1312.57 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/wulflinc28/normalized-mps-v2-20-10-n370a.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) : 1309.205
#### 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.86 0.97 0.99 2/54 4717
Raw data (stat): 4717 (runsolver) R 4716 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838189798 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.0014 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18014 0 1 0 870 40 0 0 25 0 10 0 838189798 853807104 19337 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 19337 13086 16 0 208433 0
vsize: 833796
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 1766 41 0 0 25 0 10 0 838189798 854044672 19915 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208507 19915 13086 16 0 208491 0
vsize: 834028
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 2657 41 0 0 25 0 10 0 838189798 854044672 20410 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 20410 13086 16 0 208491 0
vsize: 834028
[startup+40.0032 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 3572 41 0 0 25 0 10 0 838189798 854044672 20703 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 20703 13086 16 0 208491 0
vsize: 834028
[startup+50.0049 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 4492 41 0 0 25 0 10 0 838189798 854044672 20865 4294967295 134512640 134569956 3221224368 3221214768 1131247815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 20865 13086 16 0 208491 0
vsize: 834028
[startup+60.005 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 5408 42 0 0 25 0 10 0 838189798 854044672 20996 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 20996 13086 16 0 208491 0
vsize: 834028
[startup+70.0056 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 6337 42 0 0 25 0 10 0 838189798 854044672 21240 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21240 13086 16 0 208491 0
vsize: 834028
[startup+80.0099 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 7277 42 0 0 25 0 10 0 838189798 854044672 21338 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21338 13086 16 0 208491 0
vsize: 834028
[startup+90.0101 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 8219 42 0 0 25 0 10 0 838189798 854044672 21428 4294967295 134512640 134569956 3221224368 3221214164 1076882240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21428 13086 16 0 208491 0
vsize: 834028
[startup+100.012 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 9160 42 0 0 25 0 10 0 838189798 854044672 21514 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21514 13086 16 0 208491 0
vsize: 834028
[startup+110.013 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 10101 42 0 0 25 0 10 0 838189798 854044672 21594 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21594 13086 16 0 208491 0
vsize: 834028
[startup+120.016 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 11044 42 0 0 25 0 10 0 838189798 854044672 21667 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21667 13086 16 0 208491 0
vsize: 834028
[startup+130.017 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 11989 42 0 0 25 0 10 0 838189798 854044672 21737 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21737 13086 16 0 208491 0
vsize: 834028
[startup+140.017 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 12931 43 0 0 25 0 10 0 838189798 854044672 21805 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21805 13086 16 0 208491 0
vsize: 834028
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 13872 43 0 0 25 0 10 0 838189798 854044672 21870 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21870 13086 16 0 208491 0
vsize: 834028
[startup+160.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 14814 43 0 0 24 0 10 0 838189798 854044672 21933 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21933 13086 16 0 208491 0
vsize: 834028
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 15752 43 0 0 25 0 10 0 838189798 854044672 21990 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21990 13086 16 0 208491 0
vsize: 834028
[startup+180.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 16667 43 0 0 25 0 10 0 838189798 854044672 22046 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22046 13086 16 0 208491 0
vsize: 834028
[startup+190.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 17590 43 0 0 25 0 10 0 838189798 854044672 22358 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22358 13086 16 0 208491 0
vsize: 834028
[startup+200.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 18529 43 0 0 24 0 10 0 838189798 854044672 22413 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22413 13086 16 0 208491 0
vsize: 834028
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 19470 44 0 0 25 0 10 0 838189798 854044672 22463 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22463 13086 16 0 208491 0
vsize: 834028
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 20408 44 0 0 25 0 10 0 838189798 854044672 22515 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22515 13086 16 0 208491 0
vsize: 834028
[startup+230.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 21345 44 0 0 25 0 10 0 838189798 854044672 22565 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22565 13086 16 0 208491 0
vsize: 834028
[startup+240.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 22282 44 0 0 24 0 10 0 838189798 854044672 22614 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22614 13086 16 0 208491 0
vsize: 834028
[startup+250.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 23222 45 0 0 25 0 10 0 838189798 854044672 22660 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22660 13086 16 0 208491 0
vsize: 834028
[startup+260.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 24158 45 0 0 25 0 10 0 838189798 854044672 22707 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22707 13086 16 0 208491 0
vsize: 834028
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 25094 45 0 0 24 0 10 0 838189798 854044672 22754 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22754 13086 16 0 208491 0
vsize: 834028
[startup+280.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 26033 45 0 0 25 0 10 0 838189798 854044672 22797 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22797 13086 16 0 208491 0
vsize: 834028
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 26968 46 0 0 25 0 10 0 838189798 854044672 22842 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22842 13086 16 0 208491 0
vsize: 834028
[startup+300.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 27903 46 0 0 25 0 10 0 838189798 854044672 22885 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22885 13086 16 0 208491 0
vsize: 834028
[startup+310.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 28840 46 0 0 25 0 10 0 838189798 854044672 22927 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22927 13086 16 0 208491 0
vsize: 834028
[startup+320.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 29774 46 0 0 25 0 10 0 838189798 854044672 22970 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 22970 13086 16 0 208491 0
vsize: 834028
[startup+330.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 30711 46 0 0 25 0 10 0 838189798 854044672 23009 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23009 13086 16 0 208491 0
vsize: 834028
[startup+340.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 31643 47 0 0 25 0 10 0 838189798 854044672 23050 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23050 13086 16 0 208491 0
vsize: 834028
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 32579 47 0 0 25 0 10 0 838189798 854044672 23088 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23088 13086 16 0 208491 0
vsize: 834028
[startup+360.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 33510 47 0 0 23 0 10 0 838189798 854044672 23128 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23128 13086 16 0 208491 0
vsize: 834028
[startup+370.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 34443 47 0 0 25 0 10 0 838189798 854044672 23167 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23167 13086 16 0 208491 0
vsize: 834028
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 35376 47 0 0 25 0 10 0 838189798 854044672 23205 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23205 13086 16 0 208491 0
vsize: 834028
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 36306 47 0 0 24 0 10 0 838189798 854044672 23244 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23244 13086 16 0 208491 0
vsize: 834028
[startup+400.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 37240 47 0 0 25 0 10 0 838189798 854044672 23279 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23279 13086 16 0 208491 0
vsize: 834028
[startup+410.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 38169 48 0 0 24 0 10 0 838189798 854044672 23316 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23316 13086 16 0 208491 0
vsize: 834028
[startup+420.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 39102 48 0 0 25 0 10 0 838189798 854044672 23351 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23351 13086 16 0 208491 0
vsize: 834028
[startup+430.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 40034 48 0 0 25 0 10 0 838189798 854044672 23386 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23386 13086 16 0 208491 0
vsize: 834028
[startup+440.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 40963 48 0 0 25 0 10 0 838189798 854044672 23421 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23421 13086 16 0 208491 0
vsize: 834028
[startup+450.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 41896 48 0 0 25 0 10 0 838189798 854044672 23454 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23454 13086 16 0 208491 0
vsize: 834028
[startup+460.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 42823 48 0 0 25 0 10 0 838189798 854044672 23489 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23489 13086 16 0 208491 0
vsize: 834028
[startup+470.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 43754 48 0 0 25 0 10 0 838189798 854044672 23522 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23522 13086 16 0 208491 0
vsize: 834028
[startup+480.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 44680 48 0 0 24 0 10 0 838189798 854044672 23556 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23556 13086 16 0 208491 0
vsize: 834028
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 45611 49 0 0 25 0 10 0 838189798 854044672 23588 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23588 13086 16 0 208491 0
vsize: 834028
[startup+500.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 46541 49 0 0 25 0 10 0 838189798 854044672 23620 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23620 13086 16 0 208491 0
vsize: 834028
[startup+510.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 47465 49 0 0 25 0 10 0 838189798 854044672 23653 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23653 13086 16 0 208491 0
vsize: 834028
[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 48394 49 0 0 25 0 10 0 838189798 854044672 23685 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23685 13086 16 0 208491 0
vsize: 834028
[startup+530.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 49322 49 0 0 25 0 10 0 838189798 854044672 23715 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23715 13086 16 0 208491 0
vsize: 834028
[startup+540.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 50246 49 0 0 25 0 10 0 838189798 854044672 23748 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23748 13086 16 0 208491 0
vsize: 834028
[startup+550.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 51174 50 0 0 25 0 10 0 838189798 854044672 23778 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23778 13086 16 0 208491 0
vsize: 834028
[startup+560.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 52101 50 0 0 25 0 10 0 838189798 854044672 23807 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23807 13086 16 0 208491 0
vsize: 834028
[startup+570.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 53024 50 0 0 24 0 10 0 838189798 854044672 23839 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23839 13086 16 0 208491 0
vsize: 834028
[startup+580.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 53951 50 0 0 25 0 10 0 838189798 854044672 23868 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23868 13086 16 0 208491 0
vsize: 834028
[startup+590.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 54877 50 0 0 25 0 10 0 838189798 854044672 23897 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23897 13086 16 0 208491 0
vsize: 834028
[startup+600.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 55802 50 0 0 25 0 10 0 838189798 854044672 23925 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23925 13086 16 0 208491 0
vsize: 834028
[startup+610.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 56723 50 0 0 24 0 10 0 838189798 854044672 23956 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23956 13086 16 0 208491 0
vsize: 834028
[startup+620.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 57647 50 0 0 25 0 10 0 838189798 854044672 23984 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 23984 13086 16 0 208491 0
vsize: 834028
[startup+630.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 58572 51 0 0 25 0 10 0 838189798 854044672 24012 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 24012 13086 16 0 208491 0
vsize: 834028
[startup+640.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 59497 51 0 0 25 0 10 0 838189798 854044672 24040 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 24040 13086 16 0 208491 0
vsize: 834028
[startup+650.072 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 60422 51 0 0 25 0 10 0 838189798 854044672 24067 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 24067 13086 16 0 208491 0
vsize: 834028
[startup+660.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 61335 51 0 0 25 0 10 0 838189798 854044672 24974 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 24974 13086 16 0 208491 0
vsize: 834028
[startup+670.074 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 62260 51 0 0 25 0 10 0 838189798 854044672 25016 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25016 13086 16 0 208491 0
vsize: 834028
[startup+680.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 63177 51 0 0 25 0 10 0 838189798 854044672 25019 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25019 13086 16 0 208491 0
vsize: 834028
[startup+690.076 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 64091 51 0 0 25 0 10 0 838189798 854044672 25047 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25047 13086 16 0 208491 0
vsize: 834028
[startup+700.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 65005 51 0 0 25 0 10 0 838189798 854044672 25073 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25073 13086 16 0 208491 0
vsize: 834028
[startup+710.078 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 65917 51 0 0 25 0 10 0 838189798 854044672 25100 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25100 13086 16 0 208491 0
vsize: 834028
[startup+720.079 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 66830 51 0 0 25 0 10 0 838189798 854044672 25126 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25126 13086 16 0 208491 0
vsize: 834028
[startup+730.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 67743 51 0 0 25 0 10 0 838189798 854044672 25152 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25152 13086 16 0 208491 0
vsize: 834028
[startup+740.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 68655 51 0 0 25 0 10 0 838189798 854044672 25177 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25177 13086 16 0 208491 0
vsize: 834028
[startup+750.081 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 69567 51 0 0 25 0 10 0 838189798 854044672 25203 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25203 13086 16 0 208491 0
vsize: 834028
[startup+760.081 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 70478 51 0 0 25 0 10 0 838189798 854044672 25228 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25228 13086 16 0 208491 0
vsize: 834028
[startup+770.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 71389 52 0 0 25 0 10 0 838189798 854044672 25254 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25254 13086 16 0 208491 0
vsize: 834028
[startup+780.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 72300 52 0 0 20 0 10 0 838189798 854044672 25279 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25279 13086 16 0 208491 0
vsize: 834028
[startup+790.084 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 73210 52 0 0 25 0 10 0 838189798 854044672 25304 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25304 13086 16 0 208491 0
vsize: 834028
[startup+800.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 74120 52 0 0 20 0 10 0 838189798 854044672 25328 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25328 13086 16 0 208491 0
vsize: 834028
[startup+810.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 75030 52 0 0 25 0 10 0 838189798 854044672 25353 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25353 13086 16 0 208491 0
vsize: 834028
[startup+820.088 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 75940 52 0 0 23 0 10 0 838189798 854044672 25377 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25377 13086 16 0 208491 0
vsize: 834028
[startup+830.088 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 76852 52 0 0 24 0 10 0 838189798 854044672 25401 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25401 13086 16 0 208491 0
vsize: 834028
[startup+840.091 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 77762 52 0 0 24 0 10 0 838189798 854044672 25424 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25424 13086 16 0 208491 0
vsize: 834028
[startup+850.092 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 78671 53 0 0 23 0 10 0 838189798 854044672 25448 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25448 13086 16 0 208491 0
vsize: 834028
[startup+860.092 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 79580 53 0 0 22 0 10 0 838189798 854044672 25472 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25472 13086 16 0 208491 0
vsize: 834028
[startup+870.092 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 80488 53 0 0 21 0 10 0 838189798 854044672 25496 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25496 13086 16 0 208491 0
vsize: 834028
[startup+880.094 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 81395 53 0 0 20 0 10 0 838189798 854044672 25520 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25520 13086 16 0 208491 0
vsize: 834028
[startup+890.094 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 82303 53 0 0 19 0 10 0 838189798 854044672 25543 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25543 13086 16 0 208491 0
vsize: 834028
[startup+900.095 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 83210 53 0 0 19 0 10 0 838189798 854044672 25567 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25567 13086 16 0 208491 0
vsize: 834028
[startup+910.096 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 84123 53 0 0 24 0 10 0 838189798 854044672 25589 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25589 13086 16 0 208491 0
vsize: 834028
[startup+920.095 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 85029 53 0 0 23 0 10 0 838189798 854044672 25618 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25618 13086 16 0 208491 0
vsize: 834028
[startup+930.096 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 85935 54 0 0 21 0 10 0 838189798 854044672 25643 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25643 13086 16 0 208491 0
vsize: 834028
[startup+940.097 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 86841 54 0 0 17 0 10 0 838189798 854044672 25666 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25666 13086 16 0 208491 0
vsize: 834028
[startup+950.099 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 87747 54 0 0 19 0 10 0 838189798 854044672 25700 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25700 13086 16 0 208491 0
vsize: 834028
[startup+960.099 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 88656 55 0 0 23 0 10 0 838189798 854044672 25724 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25724 13086 16 0 208491 0
vsize: 834028
[startup+970.1 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 89561 55 0 0 23 0 10 0 838189798 854044672 25747 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25747 13086 16 0 208491 0
vsize: 834028
[startup+980.101 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 90465 55 0 0 22 0 10 0 838189798 854044672 25775 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25775 13086 16 0 208491 0
vsize: 834028
[startup+990.101 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 91370 55 0 0 19 0 10 0 838189798 854044672 25802 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25802 13086 16 0 208491 0
vsize: 834028
[startup+1000.1 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 92274 55 0 0 19 0 10 0 838189798 854044672 25827 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25827 13086 16 0 208491 0
vsize: 834028
[startup+1010.1 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 93184 55 0 0 23 0 10 0 838189798 854044672 25848 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25848 13086 16 0 208491 0
vsize: 834028
[startup+1020.1 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 94087 55 0 0 21 0 10 0 838189798 854044672 25879 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25879 13086 16 0 208491 0
vsize: 834028
[startup+1030.1 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 94990 56 0 0 21 0 10 0 838189798 854044672 25903 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25903 13086 16 0 208491 0
vsize: 834028
[startup+1040.1 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 95894 56 0 0 19 0 10 0 838189798 854044672 25924 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25924 13086 16 0 208491 0
vsize: 834028
[startup+1050.11 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 96803 56 0 0 23 0 10 0 838189798 854044672 25951 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25951 13086 16 0 208491 0
vsize: 834028
[startup+1060.11 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 97704 56 0 0 22 0 10 0 838189798 854044672 25978 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 25978 13086 16 0 208491 0
vsize: 834028
[startup+1070.11 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 98603 56 0 0 21 0 10 0 838189798 854044672 26002 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26002 13086 16 0 208491 0
vsize: 834028
[startup+1080.11 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 99504 56 0 0 19 0 10 0 838189798 854044672 26026 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26026 13086 16 0 208491 0
vsize: 834028
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 100412 56 0 0 22 0 10 0 838189798 854044672 26051 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26051 13086 16 0 208491 0
vsize: 834028
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 101313 56 0 0 21 0 10 0 838189798 854044672 26076 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26076 13086 16 0 208491 0
vsize: 834028
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 102214 56 0 0 19 0 10 0 838189798 854044672 26100 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26100 13086 16 0 208491 0
vsize: 834028
[startup+1120.11 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 103121 57 0 0 23 0 10 0 838189798 854044672 26122 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26122 13086 16 0 208491 0
vsize: 834028
[startup+1130.11 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 104021 57 0 0 21 0 10 0 838189798 854044672 26147 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26147 13086 16 0 208491 0
vsize: 834028
[startup+1140.11 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 104921 57 0 0 19 0 10 0 838189798 854044672 26170 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26170 13086 16 0 208491 0
vsize: 834028
[startup+1150.11 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 105827 57 0 0 23 0 10 0 838189798 854044672 26195 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26195 13086 16 0 208491 0
vsize: 834028
[startup+1160.12 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 106728 57 0 0 22 0 10 0 838189798 854044672 26218 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26218 13086 16 0 208491 0
vsize: 834028
[startup+1170.12 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 107627 57 0 0 19 0 10 0 838189798 854044672 26242 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26242 13086 16 0 208491 0
vsize: 834028
[startup+1180.12 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 108533 57 0 0 23 0 10 0 838189798 854044672 26261 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26261 13086 16 0 208491 0
vsize: 834028
[startup+1190.12 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 109430 57 0 0 20 0 10 0 838189798 854044672 26290 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26290 13086 16 0 208491 0
vsize: 834028
[startup+1200.13 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 110326 57 0 0 18 0 10 0 838189798 854044672 26313 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26313 13086 16 0 208491 0
vsize: 834028
[startup+1210.13 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 111229 57 0 0 22 0 10 0 838189798 854044672 26335 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26335 13086 16 0 208491 0
vsize: 834028
[startup+1220.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 112127 57 0 0 20 0 10 0 838189798 854044672 26357 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26357 13086 16 0 208491 0
vsize: 834028
[startup+1230.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 113029 57 0 0 23 0 10 0 838189798 854044672 26376 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26376 13086 16 0 208491 0
vsize: 834028
[startup+1240.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 113929 58 0 0 21 0 10 0 838189798 854044672 26396 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26396 13086 16 0 208491 0
vsize: 834028
[startup+1250.14 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 114827 58 0 0 19 0 10 0 838189798 854044672 26417 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26417 13086 16 0 208491 0
vsize: 834028
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 115730 58 0 0 22 0 10 0 838189798 854044672 26446 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26446 13086 16 0 208491 0
vsize: 834028
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 116627 58 0 0 19 0 10 0 838189798 854044672 26478 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26478 13086 16 0 208491 0
vsize: 834028
[startup+1280.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) S 4716 24821 24820 0 -1 0 18015 0 1 0 117528 58 0 0 24 0 10 0 838189798 854044672 26501 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26501 13086 16 0 208491 0
vsize: 834028
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 118433 58 0 0 21 0 10 0 838189798 854044672 26513 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26513 13086 16 0 208491 0
vsize: 834028
[startup+1300.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 119333 58 0 0 21 0 10 0 838189798 854044672 26550 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26550 13086 16 0 208491 0
vsize: 834028
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4726
Raw data (stat): 4717 (java) R 4716 24821 24820 0 -1 0 18015 0 1 0 120237 58 0 0 19 0 10 0 838189798 854044672 26563 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 26563 13086 16 0 208491 0
vsize: 834028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4728
Raw data (stat): 4717 (java) Z 4716 24821 24820 0 -1 1036 18015 9195 1 0 120239 58 10907 51 19 0 1 0 838189798 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.24
CPU time (s): 1312.57
CPU user time (s): 1311.47
CPU system time (s): 1.10083
CPU usage (%): 100.178
Max. virtual memory (Kb): 834028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####