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-n3704.opb
MD5SUM	6f8b2121f6d249fe6e02652d1aab6d14
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	29675972066390
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	29675972066390
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.43378
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 29690

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 10:29:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21094 boxname=wulflinc22 idbench=1082 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6f8b2121f6d249fe6e02652d1aab6d14  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n3704.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n3704.opb
IDLAUNCH: 21094
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        723888 kB
Buffers:         30760 kB
Cached:         256888 kB
SwapCached:        400 kB
Active:          66372 kB
Inactive:       223504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        723636 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            15172 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:51:51 (client local time) WITH STATUS 143 IN 1312.53 SECONDS
stats: 21094 7 1312.53 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/wulflinc22/normalized-mps-v2-20-10-n3704.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.211
#### 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.93 0.98 0.99 2/54 2448
Raw data (stat): 2448 (runsolver) R 2447 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838168659 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18035 0 1 0 870 37 0 0 25 0 10 0 838168659 853745664 19315 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208434 19315 13086 16 0 208418 0
vsize: 833736
[startup+20.001 s]
Raw data (loadavg): 1.09 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 1768 38 0 0 25 0 10 0 838168659 855007232 20095 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208742 20095 13086 16 0 208726 0
vsize: 834968
[startup+30.0017 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 2658 38 0 0 25 0 10 0 838168659 854667264 20519 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 20519 13086 16 0 208643 0
vsize: 834636
[startup+40.0029 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 3573 38 0 0 25 0 10 0 838168659 854667264 20820 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 20820 13086 16 0 208643 0
vsize: 834636
[startup+50.0043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 4495 38 0 0 25 0 10 0 838168659 854667264 20982 4294967295 134512640 134569956 3221224368 3221214768 1131247483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 20982 13086 16 0 208643 0
vsize: 834636
[startup+60.005 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 5415 39 0 0 25 0 10 0 838168659 854667264 21106 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21106 13086 16 0 208643 0
vsize: 834636
[startup+70.0055 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 6346 39 0 0 25 0 10 0 838168659 854667264 21462 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21462 13086 16 0 208643 0
vsize: 834636
[startup+80.0064 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 7283 39 0 0 25 0 10 0 838168659 854667264 21564 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21564 13086 16 0 208643 0
vsize: 834636
[startup+90.0061 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 8226 40 0 0 25 0 10 0 838168659 854667264 21652 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21652 13086 16 0 208643 0
vsize: 834636
[startup+100.007 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 9166 40 0 0 25 0 10 0 838168659 854667264 21738 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21738 13086 16 0 208643 0
vsize: 834636
[startup+110.015 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 10109 40 0 0 25 0 10 0 838168659 854667264 21816 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21816 13086 16 0 208643 0
vsize: 834636
[startup+120.022 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 11054 41 0 0 25 0 10 0 838168659 854667264 21891 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21891 13086 16 0 208643 0
vsize: 834636
[startup+130.024 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 11996 41 0 0 25 0 10 0 838168659 854667264 21963 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 21963 13086 16 0 208643 0
vsize: 834636
[startup+140.024 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 12941 41 0 0 25 0 10 0 838168659 854667264 22027 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22027 13086 16 0 208643 0
vsize: 834636
[startup+150.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 13883 41 0 0 25 0 10 0 838168659 854667264 22093 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22093 13086 16 0 208643 0
vsize: 834636
[startup+160.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 14825 42 0 0 25 0 10 0 838168659 854667264 22154 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22154 13086 16 0 208643 0
vsize: 834636
[startup+170.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 15769 43 0 0 25 0 10 0 838168659 854667264 22213 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22213 13086 16 0 208643 0
vsize: 834636
[startup+180.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 16685 43 0 0 25 0 10 0 838168659 854667264 22268 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22268 13086 16 0 208643 0
vsize: 834636
[startup+190.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 17605 43 0 0 25 0 10 0 838168659 854667264 22579 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22579 13086 16 0 208643 0
vsize: 834636
[startup+200.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 18543 44 0 0 25 0 10 0 838168659 854667264 22634 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22634 13086 16 0 208643 0
vsize: 834636
[startup+210.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 19485 44 0 0 25 0 10 0 838168659 854667264 22684 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22684 13086 16 0 208643 0
vsize: 834636
[startup+220.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 20422 45 0 0 25 0 10 0 838168659 854667264 22736 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22736 13086 16 0 208643 0
vsize: 834636
[startup+230.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 21363 45 0 0 25 0 10 0 838168659 854667264 22784 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22784 13086 16 0 208643 0
vsize: 834636
[startup+240.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 22301 45 0 0 25 0 10 0 838168659 854667264 22834 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22834 13086 16 0 208643 0
vsize: 834636
[startup+250.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 23241 46 0 0 25 0 10 0 838168659 854667264 22881 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22881 13086 16 0 208643 0
vsize: 834636
[startup+260.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 24178 46 0 0 24 0 10 0 838168659 854667264 22928 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22928 13086 16 0 208643 0
vsize: 834636
[startup+270.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 25118 46 0 0 25 0 10 0 838168659 854667264 22972 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 22972 13086 16 0 208643 0
vsize: 834636
[startup+280.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 26056 46 0 0 25 0 10 0 838168659 854667264 23016 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23016 13086 16 0 208643 0
vsize: 834636
[startup+290.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 26992 47 0 0 25 0 10 0 838168659 854667264 23060 4294967295 134512640 134569956 3221224368 3221214152 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23060 13086 16 0 208643 0
vsize: 834636
[startup+300.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 27931 47 0 0 25 0 10 0 838168659 854667264 23102 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23102 13086 16 0 208643 0
vsize: 834636
[startup+310.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 28865 47 0 0 25 0 10 0 838168659 854667264 23146 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23146 13086 16 0 208643 0
vsize: 834636
[startup+320.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 29802 47 0 0 25 0 10 0 838168659 854667264 23186 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23186 13086 16 0 208643 0
vsize: 834636
[startup+330.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 30739 48 0 0 25 0 10 0 838168659 854667264 23227 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23227 13086 16 0 208643 0
vsize: 834636
[startup+340.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 31672 49 0 0 25 0 10 0 838168659 854667264 23267 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23267 13086 16 0 208643 0
vsize: 834636
[startup+350.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 32609 49 0 0 25 0 10 0 838168659 854667264 23306 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23306 13086 16 0 208643 0
vsize: 834636
[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 33541 49 0 0 24 0 10 0 838168659 854667264 23346 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23346 13086 16 0 208643 0
vsize: 834636
[startup+370.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 34476 50 0 0 25 0 10 0 838168659 854667264 23384 4294967295 134512640 134569956 3221224368 3221214152 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23384 13086 16 0 208643 0
vsize: 834636
[startup+380.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 35411 50 0 0 25 0 10 0 838168659 854667264 23421 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23421 13086 16 0 208643 0
vsize: 834636
[startup+390.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 36342 50 0 0 24 0 10 0 838168659 854667264 23460 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23460 13086 16 0 208643 0
vsize: 834636
[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 37276 51 0 0 25 0 10 0 838168659 854667264 23495 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23495 13086 16 0 208643 0
vsize: 834636
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 38211 51 0 0 25 0 10 0 838168659 854667264 23531 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23531 13086 16 0 208643 0
vsize: 834636
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 39139 52 0 0 25 0 10 0 838168659 854667264 23568 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23568 13086 16 0 208643 0
vsize: 834636
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 40073 52 0 0 25 0 10 0 838168659 854667264 23602 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23602 13086 16 0 208643 0
vsize: 834636
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 41005 53 0 0 25 0 10 0 838168659 854667264 23636 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23636 13086 16 0 208643 0
vsize: 834636
[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 41933 53 0 0 24 0 10 0 838168659 854667264 23672 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23672 13086 16 0 208643 0
vsize: 834636
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 42866 53 0 0 25 0 10 0 838168659 854667264 23705 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23705 13086 16 0 208643 0
vsize: 834636
[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 43797 54 0 0 25 0 10 0 838168659 854667264 23738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23738 13086 16 0 208643 0
vsize: 834636
[startup+480.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 44728 54 0 0 25 0 10 0 838168659 854667264 23770 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23770 13086 16 0 208643 0
vsize: 834636
[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 45654 55 0 0 24 0 10 0 838168659 854667264 23804 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23804 13086 16 0 208643 0
vsize: 834636
[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 46584 55 0 0 25 0 10 0 838168659 854667264 23836 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23836 13086 16 0 208643 0
vsize: 834636
[startup+510.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 47514 56 0 0 25 0 10 0 838168659 854667264 23867 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23867 13086 16 0 208643 0
vsize: 834636
[startup+520.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 48443 56 0 0 25 0 10 0 838168659 854667264 23900 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23900 13086 16 0 208643 0
vsize: 834636
[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 49373 56 0 0 25 0 10 0 838168659 854667264 23930 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23930 13086 16 0 208643 0
vsize: 834636
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 50297 57 0 0 24 0 10 0 838168659 854667264 23963 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23963 13086 16 0 208643 0
vsize: 834636
[startup+550.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 51225 57 0 0 25 0 10 0 838168659 854667264 23993 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 23993 13086 16 0 208643 0
vsize: 834636
[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 52152 58 0 0 25 0 10 0 838168659 854667264 24023 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24023 13086 16 0 208643 0
vsize: 834636
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 53079 59 0 0 25 0 10 0 838168659 854667264 24052 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24052 13086 16 0 208643 0
vsize: 834636
[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 54007 59 0 0 25 0 10 0 838168659 854667264 24082 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24082 13086 16 0 208643 0
vsize: 834636
[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 54934 60 0 0 25 0 10 0 838168659 854667264 24111 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24111 13086 16 0 208643 0
vsize: 834636
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 55855 60 0 0 24 0 10 0 838168659 854667264 24142 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24142 13086 16 0 208643 0
vsize: 834636
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 56781 61 0 0 25 0 10 0 838168659 854667264 24170 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24170 13086 16 0 208643 0
vsize: 834636
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 57707 61 0 0 25 0 10 0 838168659 854667264 24198 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24198 13086 16 0 208643 0
vsize: 834636
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 58632 62 0 0 25 0 10 0 838168659 854667264 24227 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24227 13086 16 0 208643 0
vsize: 834636
[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 59557 62 0 0 25 0 10 0 838168659 854667264 24255 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24255 13086 16 0 208643 0
vsize: 834636
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 60482 62 0 0 25 0 10 0 838168659 854667264 24282 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24282 13086 16 0 208643 0
vsize: 834636
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 61407 63 0 0 25 0 10 0 838168659 854667264 24310 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 24310 13086 16 0 208643 0
vsize: 834636
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 62324 63 0 0 25 0 10 0 838168659 854667264 25248 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25248 13086 16 0 208643 0
vsize: 834636
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 63249 64 0 0 25 0 10 0 838168659 854667264 25133 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25133 13086 16 0 208643 0
vsize: 834636
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 64165 64 0 0 25 0 10 0 838168659 854667264 25143 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25143 13086 16 0 208643 0
vsize: 834636
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 65080 64 0 0 25 0 10 0 838168659 854667264 25170 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25170 13086 16 0 208643 0
vsize: 834636
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 65994 65 0 0 25 0 10 0 838168659 854667264 25197 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25197 13086 16 0 208643 0
vsize: 834636
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 66906 65 0 0 24 0 10 0 838168659 854667264 25223 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25223 13086 16 0 208643 0
vsize: 834636
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 67823 66 0 0 25 0 10 0 838168659 854667264 25248 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25248 13086 16 0 208643 0
vsize: 834636
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 68737 66 0 0 25 0 10 0 838168659 854667264 25273 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25273 13086 16 0 208643 0
vsize: 834636
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 69650 67 0 0 25 0 10 0 838168659 854667264 25299 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25299 13086 16 0 208643 0
vsize: 834636
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 70562 67 0 0 25 0 10 0 838168659 854667264 25325 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25325 13086 16 0 208643 0
vsize: 834636
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 71473 68 0 0 25 0 10 0 838168659 854667264 25350 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25350 13086 16 0 208643 0
vsize: 834636
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 72385 68 0 0 25 0 10 0 838168659 854667264 25375 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25375 13086 16 0 208643 0
vsize: 834636
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 73296 69 0 0 25 0 10 0 838168659 854667264 25400 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25400 13086 16 0 208643 0
vsize: 834636
[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 74208 69 0 0 25 0 10 0 838168659 854667264 25424 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25424 13086 16 0 208643 0
vsize: 834636
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 75123 70 0 0 25 0 10 0 838168659 854667264 25449 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25449 13086 16 0 208643 0
vsize: 834636
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 76033 71 0 0 25 0 10 0 838168659 854667264 25473 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25473 13086 16 0 208643 0
vsize: 834636
[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 76943 71 0 0 25 0 10 0 838168659 854667264 25498 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25498 13086 16 0 208643 0
vsize: 834636
[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 77852 72 0 0 25 0 10 0 838168659 854667264 25522 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25522 13086 16 0 208643 0
vsize: 834636
[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 78762 72 0 0 24 0 10 0 838168659 854667264 25546 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25546 13086 16 0 208643 0
vsize: 834636
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 79676 73 0 0 25 0 10 0 838168659 854667264 25568 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25568 13086 16 0 208643 0
vsize: 834636
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 80585 73 0 0 25 0 10 0 838168659 854667264 25592 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25592 13086 16 0 208643 0
vsize: 834636
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 81494 74 0 0 25 0 10 0 838168659 854667264 25616 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25616 13086 16 0 208643 0
vsize: 834636
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 82402 75 0 0 25 0 10 0 838168659 854667264 25640 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25640 13086 16 0 208643 0
vsize: 834636
[startup+900.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 83309 75 0 0 24 0 10 0 838168659 854667264 25663 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25663 13086 16 0 208643 0
vsize: 834636
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 84222 75 0 0 25 0 10 0 838168659 854667264 25686 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25686 13086 16 0 208643 0
vsize: 834636
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 85129 76 0 0 25 0 10 0 838168659 854667264 25712 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25712 13086 16 0 208643 0
vsize: 834636
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 86036 76 0 0 25 0 10 0 838168659 854667264 25740 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25740 13086 16 0 208643 0
vsize: 834636
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 86943 76 0 0 25 0 10 0 838168659 854667264 25763 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25763 13086 16 0 208643 0
vsize: 834636
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 87851 77 0 0 25 0 10 0 838168659 854667264 25785 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25785 13086 16 0 208643 0
vsize: 834636
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 88761 77 0 0 25 0 10 0 838168659 854667264 25818 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25818 13086 16 0 208643 0
vsize: 834636
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 89666 77 0 0 25 0 10 0 838168659 854667264 25845 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25845 13086 16 0 208643 0
vsize: 834636
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 90571 77 0 0 24 0 10 0 838168659 854667264 25867 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25867 13086 16 0 208643 0
vsize: 834636
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 91482 77 0 0 25 0 10 0 838168659 854667264 25893 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25893 13086 16 0 208643 0
vsize: 834636
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 92387 78 0 0 25 0 10 0 838168659 854667264 25916 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25916 13086 16 0 208643 0
vsize: 834636
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 93292 79 0 0 24 0 10 0 838168659 854667264 25946 4294967295 134512640 134569956 3221224368 3221214216 1080019413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25946 13086 16 0 208643 0
vsize: 834636
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 94202 79 0 0 25 0 10 0 838168659 854667264 25966 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25966 13086 16 0 208643 0
vsize: 834636
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 95106 79 0 0 25 0 10 0 838168659 854667264 25997 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 25997 13086 16 0 208643 0
vsize: 834636
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 96010 80 0 0 25 0 10 0 838168659 854667264 26021 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26021 13086 16 0 208643 0
vsize: 834636
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 96920 80 0 0 25 0 10 0 838168659 854667264 26041 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26041 13086 16 0 208643 0
vsize: 834636
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 97824 80 0 0 25 0 10 0 838168659 854667264 26069 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26069 13086 16 0 208643 0
vsize: 834636
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 98725 81 0 0 24 0 10 0 838168659 854667264 26096 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26096 13086 16 0 208643 0
vsize: 834636
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 99631 81 0 0 25 0 10 0 838168659 854667264 26120 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26120 13086 16 0 208643 0
vsize: 834636
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 100533 82 0 0 25 0 10 0 838168659 854667264 26143 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26143 13086 16 0 208643 0
vsize: 834636
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 101434 82 0 0 24 0 10 0 838168659 854667264 26169 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26169 13086 16 0 208643 0
vsize: 834636
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 102342 83 0 0 25 0 10 0 838168659 854667264 26193 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26193 13086 16 0 208643 0
vsize: 834636
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 103244 83 0 0 25 0 10 0 838168659 854667264 26217 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26217 13086 16 0 208643 0
vsize: 834636
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 104149 84 0 0 25 0 10 0 838168659 854667264 26240 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26240 13086 16 0 208643 0
vsize: 834636
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 105051 84 0 0 25 0 10 0 838168659 854667264 26264 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26264 13086 16 0 208643 0
vsize: 834636
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 105951 85 0 0 24 0 10 0 838168659 854667264 26287 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26287 13086 16 0 208643 0
vsize: 834636
[startup+1160.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 106857 85 0 0 25 0 10 0 838168659 854667264 26312 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26312 13086 16 0 208643 0
vsize: 834636
[startup+1170.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 107758 85 0 0 25 0 10 0 838168659 854667264 26335 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26335 13086 16 0 208643 0
vsize: 834636
[startup+1180.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) S 2447 23310 23309 0 -1 0 18037 0 1 0 108661 86 0 0 25 0 10 0 838168659 854667264 26357 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26357 13086 16 0 208643 0
vsize: 834636
[startup+1190.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 109562 87 0 0 25 0 10 0 838168659 854667264 26378 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26378 13086 16 0 208643 0
vsize: 834636
[startup+1200.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 110461 88 0 0 25 0 10 0 838168659 854667264 26407 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26407 13086 16 0 208643 0
vsize: 834636
[startup+1210.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 111364 89 0 0 25 0 10 0 838168659 854667264 26429 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26429 13086 16 0 208643 0
vsize: 834636
[startup+1220.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 112260 89 0 0 25 0 10 0 838168659 854667264 26452 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26452 13086 16 0 208643 0
vsize: 834636
[startup+1230.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 113164 90 0 0 22 0 10 0 838168659 854667264 26473 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26473 13086 16 0 208643 0
vsize: 834636
[startup+1240.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 114063 90 0 0 20 0 10 0 838168659 854667264 26493 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26493 13086 16 0 208643 0
vsize: 834636
[startup+1250.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 114961 91 0 0 18 0 10 0 838168659 854667264 26513 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26513 13086 16 0 208643 0
vsize: 834636
[startup+1260.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 115865 91 0 0 22 0 10 0 838168659 854667264 26534 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26534 13086 16 0 208643 0
vsize: 834636
[startup+1270.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 116763 92 0 0 19 0 10 0 838168659 854667264 26563 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26563 13086 16 0 208643 0
vsize: 834636
[startup+1280.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 117667 92 0 0 23 0 10 0 838168659 854667264 26595 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26595 13086 16 0 208643 0
vsize: 834636
[startup+1290.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 118567 93 0 0 21 0 10 0 838168659 854667264 26618 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26618 13086 16 0 208643 0
vsize: 834636
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 119469 93 0 0 19 0 10 0 838168659 854667264 26630 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26630 13086 16 0 208643 0
vsize: 834636
[startup+1310.11 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 2457
Raw data (stat): 2448 (java) R 2447 23310 23309 0 -1 0 18037 0 1 0 120377 93 0 0 22 0 10 0 838168659 854667264 26663 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208659 26663 13086 16 0 208643 0
vsize: 834636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.21 s]
Raw data (loadavg): 1.08 1.02 1.00 1/54 2459
Raw data (stat): 2448 (java) Z 2447 23310 23309 0 -1 1036 18037 9775 1 0 120381 98 10726 46 24 0 1 0 838168659 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.21
CPU time (s): 1312.53
CPU user time (s): 1311.08
CPU system time (s): 1.45378
CPU usage (%): 100.178
Max. virtual memory (Kb): 834968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####