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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb
MD5SUM	482f3c6a016323a565c292702d2c5673
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	183640
Biggest coefficient in the objective function	179765856174080000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	6977628092477113102
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	179765856174080000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	6977628092477113102
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.14967
Number of variables	228990
Total number of constraints	5220
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	5220
Minimum length of a constraint	10
Maximum length of a constraint	3330
Trace number 29419

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 07:25:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20815 boxname=wulflinc5 idbench=803 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 20815
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        780252 kB
Buffers:         22924 kB
Cached:         210116 kB
SwapCached:        472 kB
Active:          72816 kB
Inactive:       162272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        780000 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13648 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:47:49 (client local time) WITH STATUS 143 IN 1309.85 SECONDS
stats: 20815 7 1309.85 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/wulflinc5/normalized-mps-v2-20-10-80bau3b.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.186
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.99 2/54 20962
Raw data (stat): 20962 (runsolver) R 20961 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778843911 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.0013 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 876 38 0 0 25 0 10 0 778843911 854114304 19565 4294967295 134512640 134569956 3221224368 3221214576 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208524 19565 13086 16 0 208508 0
vsize: 834096
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 1773 39 0 0 18 0 10 0 778843911 857911296 20845 4294967295 134512640 134569956 3221224368 3221214644 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 20845 13086 16 0 209435 0
vsize: 837804
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 2663 39 0 0 20 0 10 0 778843911 857911296 21291 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 21291 13086 16 0 209435 0
vsize: 837804
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 3581 39 0 0 25 0 10 0 778843911 857911296 21637 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 21637 13086 16 0 209435 0
vsize: 837804
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 4504 40 0 0 25 0 10 0 778843911 857911296 21804 4294967295 134512640 134569956 3221224368 3221214768 1131241158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 21804 13086 16 0 209435 0
vsize: 837804
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 5419 40 0 0 25 0 10 0 778843911 857911296 21941 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 21941 13086 16 0 209435 0
vsize: 837804
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 6350 41 0 0 25 0 10 0 778843911 857911296 22181 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22181 13086 16 0 209435 0
vsize: 837804
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 7288 41 0 0 25 0 10 0 778843911 857911296 22287 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22287 13086 16 0 209435 0
vsize: 837804
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 8231 42 0 0 25 0 10 0 778843911 857911296 22378 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22378 13086 16 0 209435 0
vsize: 837804
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 9171 42 0 0 25 0 10 0 778843911 857911296 22467 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22467 13086 16 0 209435 0
vsize: 837804
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 10116 42 0 0 25 0 10 0 778843911 857911296 22547 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22547 13086 16 0 209435 0
vsize: 837804
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 11058 43 0 0 25 0 10 0 778843911 857911296 22625 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22625 13086 16 0 209435 0
vsize: 837804
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 11999 43 0 0 25 0 10 0 778843911 857911296 22697 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22697 13086 16 0 209435 0
vsize: 837804
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 12945 43 0 0 25 0 10 0 778843911 857911296 22766 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22766 13086 16 0 209435 0
vsize: 837804
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 13887 44 0 0 24 0 10 0 778843911 857911296 22834 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22834 13086 16 0 209435 0
vsize: 837804
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 14832 44 0 0 25 0 10 0 778843911 857911296 22896 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22896 13086 16 0 209435 0
vsize: 837804
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 15774 44 0 0 25 0 10 0 778843911 857911296 22958 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 22958 13086 16 0 209435 0
vsize: 837804
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 16689 45 0 0 25 0 10 0 778843911 857911296 23017 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23017 13086 16 0 209435 0
vsize: 837804
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 17609 46 0 0 25 0 10 0 778843911 857911296 23328 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23328 13086 16 0 209435 0
vsize: 837804
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 18551 46 0 0 25 0 10 0 778843911 857911296 23382 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23382 13086 16 0 209435 0
vsize: 837804
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 19490 46 0 0 25 0 10 0 778843911 857911296 23437 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23437 13086 16 0 209435 0
vsize: 837804
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 20431 47 0 0 25 0 10 0 778843911 857911296 23488 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23488 13086 16 0 209435 0
vsize: 837804
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 21369 47 0 0 25 0 10 0 778843911 857911296 23542 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23542 13086 16 0 209435 0
vsize: 837804
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 22310 48 0 0 25 0 10 0 778843911 857911296 23590 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23590 13086 16 0 209435 0
vsize: 837804
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 23247 48 0 0 25 0 10 0 778843911 857911296 23640 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23640 13086 16 0 209435 0
vsize: 837804
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 24187 49 0 0 25 0 10 0 778843911 857911296 23686 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23686 13086 16 0 209435 0
vsize: 837804
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 25123 49 0 0 24 0 10 0 778843911 857911296 23734 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23734 13086 16 0 209435 0
vsize: 837804
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 26062 49 0 0 25 0 10 0 778843911 857911296 23778 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23778 13086 16 0 209435 0
vsize: 837804
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 27000 50 0 0 25 0 10 0 778843911 857911296 23822 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23822 13086 16 0 209435 0
vsize: 837804
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 27935 50 0 0 25 0 10 0 778843911 857911296 23867 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23867 13086 16 0 209435 0
vsize: 837804
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 28873 51 0 0 25 0 10 0 778843911 857911296 23909 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23909 13086 16 0 209435 0
vsize: 837804
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 29810 51 0 0 25 0 10 0 778843911 857911296 23950 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23950 13086 16 0 209435 0
vsize: 837804
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 30743 51 0 0 25 0 10 0 778843911 857911296 23993 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 23993 13086 16 0 209435 0
vsize: 837804
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 31680 51 0 0 25 0 10 0 778843911 857911296 24032 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24032 13086 16 0 209435 0
vsize: 837804
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 32616 52 0 0 25 0 10 0 778843911 857911296 24073 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24073 13086 16 0 209435 0
vsize: 837804
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 33548 52 0 0 25 0 10 0 778843911 857911296 24114 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24114 13086 16 0 209435 0
vsize: 837804
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 34483 52 0 0 25 0 10 0 778843911 857911296 24152 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24152 13086 16 0 209435 0
vsize: 837804
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 35417 52 0 0 25 0 10 0 778843911 857911296 24189 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24189 13086 16 0 209435 0
vsize: 837804
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 36348 52 0 0 24 0 10 0 778843911 857911296 24228 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24228 13086 16 0 209435 0
vsize: 837804
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 37282 52 0 0 25 0 10 0 778843911 857911296 24266 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24266 13086 16 0 209435 0
vsize: 837804
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 38215 53 0 0 25 0 10 0 778843911 857911296 24304 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24304 13086 16 0 209435 0
vsize: 837804
[startup+420.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 39147 53 0 0 25 0 10 0 778843911 857911296 24342 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24342 13086 16 0 209435 0
vsize: 837804
[startup+430.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 40077 53 0 0 25 0 10 0 778843911 857911296 24380 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24380 13086 16 0 209435 0
vsize: 837804
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 41009 53 0 0 25 0 10 0 778843911 857911296 24417 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 24417 13086 16 0 209435 0
vsize: 837804
[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 41941 54 0 0 25 0 10 0 778843911 857911296 24453 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24453 13086 16 0 209435 0
vsize: 837804
[startup+460.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 42872 54 0 0 25 0 10 0 778843911 857911296 24488 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24488 13086 16 0 209435 0
vsize: 837804
[startup+470.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 43799 55 0 0 25 0 10 0 778843911 857911296 24524 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24524 13086 16 0 209435 0
vsize: 837804
[startup+480.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 44729 55 0 0 24 0 10 0 778843911 857911296 24561 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24561 13086 16 0 209435 0
vsize: 837804
[startup+490.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 45658 56 0 0 25 0 10 0 778843911 857911296 24595 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24595 13086 16 0 209435 0
vsize: 837804
[startup+500.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 46588 56 0 0 25 0 10 0 778843911 857911296 24629 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24629 13086 16 0 209435 0
vsize: 837804
[startup+510.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 47518 57 0 0 25 0 10 0 778843911 857911296 24663 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24663 13086 16 0 209435 0
vsize: 837804
[startup+520.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 48447 57 0 0 25 0 10 0 778843911 857911296 24696 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24696 13086 16 0 209435 0
vsize: 837804
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 49376 58 0 0 25 0 10 0 778843911 857911296 24729 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24729 13086 16 0 209435 0
vsize: 837804
[startup+540.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 50301 58 0 0 25 0 10 0 778843911 857911296 24762 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24762 13086 16 0 209435 0
vsize: 837804
[startup+550.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 51228 59 0 0 24 0 10 0 778843911 857911296 24796 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24796 13086 16 0 209435 0
vsize: 837804
[startup+560.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 52155 59 0 0 24 0 10 0 778843911 857911296 24828 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24828 13086 16 0 209435 0
vsize: 837804
[startup+570.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 53083 60 0 0 25 0 10 0 778843911 857911296 24859 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24859 13086 16 0 209435 0
vsize: 837804
[startup+580.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 54010 60 0 0 25 0 10 0 778843911 857911296 24891 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24891 13086 16 0 209435 0
vsize: 837804
[startup+590.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 54937 60 0 0 25 0 10 0 778843911 857911296 24922 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24922 13086 16 0 209435 0
vsize: 837804
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 55864 61 0 0 25 0 10 0 778843911 857911296 24953 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24953 13086 16 0 209435 0
vsize: 837804
[startup+610.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 56790 61 0 0 25 0 10 0 778843911 857911296 24983 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 24983 13086 16 0 209435 0
vsize: 837804
[startup+620.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 57716 61 0 0 25 0 10 0 778843911 857911296 25013 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 25013 13086 16 0 209435 0
vsize: 837804
[startup+630.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 58642 62 0 0 25 0 10 0 778843911 857911296 25043 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 25043 13086 16 0 209435 0
vsize: 837804
[startup+640.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 59567 62 0 0 25 0 10 0 778843911 857911296 25073 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 25073 13086 16 0 209435 0
vsize: 837804
[startup+650.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 60492 62 0 0 25 0 10 0 778843911 857911296 25103 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 25103 13086 16 0 209435 0
vsize: 837804
[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 61416 63 0 0 25 0 10 0 778843911 857911296 25132 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 25132 13086 16 0 209435 0
vsize: 837804
[startup+670.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 62331 63 0 0 25 0 10 0 778843911 857911296 26032 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26032 13086 16 0 209435 0
vsize: 837804
[startup+680.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 63260 64 0 0 25 0 10 0 778843911 857911296 26032 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26032 13086 16 0 209435 0
vsize: 837804
[startup+690.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 64178 64 0 0 25 0 10 0 778843911 857911296 26037 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26037 13086 16 0 209435 0
vsize: 837804
[startup+700.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 65091 65 0 0 25 0 10 0 778843911 857911296 26065 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26065 13086 16 0 209435 0
vsize: 837804
[startup+710.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 66007 66 0 0 25 0 10 0 778843911 857911296 26093 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26093 13086 16 0 209435 0
vsize: 837804
[startup+720.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 66921 66 0 0 24 0 10 0 778843911 857911296 26121 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26121 13086 16 0 209435 0
vsize: 837804
[startup+730.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 67835 66 0 0 24 0 10 0 778843911 857911296 26149 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26149 13086 16 0 209435 0
vsize: 837804
[startup+740.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 68754 66 0 0 25 0 10 0 778843911 857911296 26175 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26175 13086 16 0 209435 0
vsize: 837804
[startup+750.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 69666 67 0 0 25 0 10 0 778843911 857911296 26202 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26202 13086 16 0 209435 0
vsize: 837804
[startup+760.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 70579 67 0 0 25 0 10 0 778843911 857911296 26229 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26229 13086 16 0 209435 0
vsize: 837804
[startup+770.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 71490 68 0 0 25 0 10 0 778843911 857911296 26256 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26256 13086 16 0 209435 0
vsize: 837804
[startup+780.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 72404 69 0 0 25 0 10 0 778843911 857911296 26281 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26281 13086 16 0 209435 0
vsize: 837804
[startup+790.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 73318 69 0 0 25 0 10 0 778843911 857911296 26309 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26309 13086 16 0 209435 0
vsize: 837804
[startup+800.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 74229 70 0 0 25 0 10 0 778843911 857911296 26336 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26336 13086 16 0 209435 0
vsize: 837804
[startup+810.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 75139 70 0 0 25 0 10 0 778843911 857911296 26362 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26362 13086 16 0 209435 0
vsize: 837804
[startup+820.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 76050 71 0 0 24 0 10 0 778843911 857911296 26388 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26388 13086 16 0 209435 0
vsize: 837804
[startup+830.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 76964 71 0 0 25 0 10 0 778843911 857911296 26414 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26414 13086 16 0 209435 0
vsize: 837804
[startup+840.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 77875 71 0 0 25 0 10 0 778843911 857911296 26439 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26439 13086 16 0 209435 0
vsize: 837804
[startup+850.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 78785 71 0 0 25 0 10 0 778843911 857911296 26464 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26464 13086 16 0 209435 0
vsize: 837804
[startup+860.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 79695 71 0 0 25 0 10 0 778843911 857911296 26490 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26490 13086 16 0 209435 0
vsize: 837804
[startup+870.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 80604 72 0 0 24 0 10 0 778843911 857911296 26515 4294967295 134512640 134569956 3221224368 3221214640 1076619331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26515 13086 16 0 209435 0
vsize: 837804
[startup+880.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 81518 73 0 0 25 0 10 0 778843911 857911296 26539 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26539 13086 16 0 209435 0
vsize: 837804
[startup+890.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 82426 73 0 0 25 0 10 0 778843911 857911296 26563 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26563 13086 16 0 209435 0
vsize: 837804
[startup+900.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 83335 73 0 0 25 0 10 0 778843911 857911296 26588 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26588 13086 16 0 209435 0
vsize: 837804
[startup+910.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 84245 74 0 0 25 0 10 0 778843911 857911296 26612 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26612 13086 16 0 209435 0
vsize: 837804
[startup+920.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 85155 74 0 0 25 0 10 0 778843911 857911296 26636 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209451 26636 13086 16 0 209435 0
vsize: 837804
[startup+930.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 86062 74 0 0 25 0 10 0 778843911 857911296 26660 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26660 13086 16 0 209435 0
vsize: 837804
[startup+940.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 86967 74 0 0 24 0 10 0 778843911 857911296 26685 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26685 13086 16 0 209435 0
vsize: 837804
[startup+950.102 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 87879 75 0 0 25 0 10 0 778843911 857911296 26707 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26707 13086 16 0 209435 0
vsize: 837804
[startup+960.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 88784 75 0 0 25 0 10 0 778843911 857911296 26731 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26731 13086 16 0 209435 0
vsize: 837804
[startup+970.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 89687 75 0 0 24 0 10 0 778843911 857911296 26755 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26755 13086 16 0 209435 0
vsize: 837804
[startup+980.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 90599 76 0 0 25 0 10 0 778843911 857911296 26776 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26776 13086 16 0 209435 0
vsize: 837804
[startup+990.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 91504 76 0 0 25 0 10 0 778843911 857911296 26800 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26800 13086 16 0 209435 0
vsize: 837804
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 92409 76 0 0 24 0 10 0 778843911 857911296 26823 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26823 13086 16 0 209435 0
vsize: 837804
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 93319 77 0 0 25 0 10 0 778843911 857911296 26845 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26845 13086 16 0 209435 0
vsize: 837804
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 94224 77 0 0 25 0 10 0 778843911 857911296 26869 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26869 13086 16 0 209435 0
vsize: 837804
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 95134 77 0 0 25 0 10 0 778843911 857911296 26892 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26892 13086 16 0 209435 0
vsize: 837804
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 96037 78 0 0 25 0 10 0 778843911 857911296 26921 4294967295 134512640 134569956 3221224368 3221214792 1131171777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26921 13086 16 0 209435 0
vsize: 837804
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 96943 78 0 0 25 0 10 0 778843911 857911296 26945 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26945 13086 16 0 209435 0
vsize: 837804
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 97850 78 0 0 25 0 10 0 778843911 857911296 26974 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 26974 13086 16 0 209435 0
vsize: 837804
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 98753 79 0 0 25 0 10 0 778843911 857911296 27003 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27003 13086 16 0 209435 0
vsize: 837804
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 99659 79 0 0 25 0 10 0 778843911 857911296 27029 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27029 13086 16 0 209435 0
vsize: 837804
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 100560 80 0 0 25 0 10 0 778843911 857911296 27055 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27055 13086 16 0 209435 0
vsize: 837804
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 101468 81 0 0 25 0 10 0 778843911 857911296 27082 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27082 13086 16 0 209435 0
vsize: 837804
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 102370 81 0 0 25 0 10 0 778843911 857911296 27109 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27109 13086 16 0 209435 0
vsize: 837804
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 103276 81 0 0 25 0 10 0 778843911 857911296 27132 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27132 13086 16 0 209435 0
vsize: 837804
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 104177 82 0 0 25 0 10 0 778843911 857911296 27159 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27159 13086 16 0 209435 0
vsize: 837804
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 105078 83 0 0 24 0 10 0 778843911 857911296 27185 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27185 13086 16 0 209435 0
vsize: 837804
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 105985 83 0 0 25 0 10 0 778843911 857911296 27208 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27208 13086 16 0 209435 0
vsize: 837804
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 106886 83 0 0 25 0 10 0 778843911 857911296 27230 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27230 13086 16 0 209435 0
vsize: 837804
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 107792 84 0 0 25 0 10 0 778843911 857911296 27258 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27258 13086 16 0 209435 0
vsize: 837804
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 108691 84 0 0 25 0 10 0 778843911 857911296 27283 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27283 13086 16 0 209435 0
vsize: 837804
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 109597 84 0 0 25 0 10 0 778843911 857911296 27304 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27304 13086 16 0 209435 0
vsize: 837804
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 110496 85 0 0 25 0 10 0 778843911 857911296 27331 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27331 13086 16 0 209435 0
vsize: 837804
[startup+1210.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 111400 85 0 0 25 0 10 0 778843911 857911296 27356 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27356 13086 16 0 209435 0
vsize: 837804
[startup+1220.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 112297 86 0 0 25 0 10 0 778843911 857911296 27381 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27381 13086 16 0 209435 0
vsize: 837804
[startup+1230.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) S 20961 7266 7265 0 -1 0 18020 0 1 0 113196 86 0 0 25 0 10 0 778843911 857911296 27405 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27405 13086 16 0 209435 0
vsize: 837804
[startup+1240.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 114100 87 0 0 25 0 10 0 778843911 857911296 27425 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27425 13086 16 0 209435 0
vsize: 837804
[startup+1250.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 114998 87 0 0 25 0 10 0 778843911 857911296 27447 4294967295 134512640 134569956 3221224368 3221214768 1131241639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27447 13086 16 0 209435 0
vsize: 837804
[startup+1260.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 115903 87 0 0 25 0 10 0 778843911 857911296 27466 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27466 13086 16 0 209435 0
vsize: 837804
[startup+1270.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 116801 88 0 0 25 0 10 0 778843911 857911296 27504 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27504 13086 16 0 209435 0
vsize: 837804
[startup+1280.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 117707 88 0 0 25 0 10 0 778843911 857911296 27518 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27518 13086 16 0 209435 0
vsize: 837804
[startup+1290.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 118606 89 0 0 25 0 10 0 778843911 857911296 27559 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27559 13086 16 0 209435 0
vsize: 837804
[startup+1300.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 119512 89 0 0 25 0 10 0 778843911 857911296 27582 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27582 13086 16 0 209435 0
vsize: 837804
[startup+1310.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 20971
Raw data (stat): 20962 (java) R 20961 7266 7265 0 -1 0 18020 0 1 0 120412 90 0 0 25 0 10 0 778843911 857911296 27596 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209451 27596 13086 16 0 209435 0
vsize: 837804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.24 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 20973
Raw data (stat): 20962 (java) Z 20961 7266 7265 0 -1 1036 18020 8396 1 0 120416 90 10436 42 25 0 1 0 778843911 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): 1309.85
CPU user time (s): 1308.53
CPU system time (s): 1.3278
CPU usage (%): 99.9707
Max. virtual memory (Kb): 837804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####