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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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.43078
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 29688

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        778896 kB
Buffers:         35336 kB
Cached:         191468 kB
SwapCached:        588 kB
Active:          65928 kB
Inactive:       166276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        778644 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5668 kB
Slab:            17796 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:51:21 (client local time) WITH STATUS 143 IN 1312.12 SECONDS
stats: 21092 7 1312.12 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/wulflinc18/normalized-mps-v2-20-10-n3702.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.231
#### 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 32724
Raw data (stat): 32724 (runsolver) R 32723 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838152523 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.0012 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 868 40 0 0 25 0 10 0 838152523 853811200 19351 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 19351 13086 16 0 208434 0
vsize: 833800
[startup+20.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 1770 40 0 0 25 0 10 0 838152523 853811200 19853 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 19853 13086 16 0 208434 0
vsize: 833800
[startup+30.004 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 2662 40 0 0 25 0 10 0 838152523 853811200 20348 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20348 13086 16 0 208434 0
vsize: 833800
[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 3578 40 0 0 25 0 10 0 838152523 853979136 20679 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20679 13086 16 0 208475 0
vsize: 833964
[startup+50.0068 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 4505 40 0 0 25 0 10 0 838152523 853979136 20833 4294967295 134512640 134569956 3221224368 3221214768 1131233594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20833 13086 16 0 208475 0
vsize: 833964
[startup+60.0078 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 5421 41 0 0 25 0 10 0 838152523 853979136 20965 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20965 13086 16 0 208475 0
vsize: 833964
[startup+70.0085 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 6353 41 0 0 25 0 10 0 838152523 853979136 21204 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21204 13086 16 0 208475 0
vsize: 833964
[startup+80.0097 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 7292 41 0 0 25 0 10 0 838152523 853979136 21306 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21306 13086 16 0 208475 0
vsize: 833964
[startup+90.0106 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 8234 41 0 0 25 0 10 0 838152523 853979136 21393 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21393 13086 16 0 208475 0
vsize: 833964
[startup+100.017 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 9175 42 0 0 25 0 10 0 838152523 853979136 21480 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21480 13086 16 0 208475 0
vsize: 833964
[startup+110.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 10120 43 0 0 25 0 10 0 838152523 853979136 21556 4294967295 134512640 134569956 3221224368 3221214104 1077378129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21556 13086 16 0 208475 0
vsize: 833964
[startup+120.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 11062 43 0 0 25 0 10 0 838152523 853979136 21633 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21633 13086 16 0 208475 0
vsize: 833964
[startup+130.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 12008 43 0 0 25 0 10 0 838152523 853979136 21700 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21700 13086 16 0 208475 0
vsize: 833964
[startup+140.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 12951 43 0 0 25 0 10 0 838152523 853979136 21769 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21769 13086 16 0 208475 0
vsize: 833964
[startup+150.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 13896 43 0 0 25 0 10 0 838152523 853979136 21831 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21831 13086 16 0 208475 0
vsize: 833964
[startup+160.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 14839 44 0 0 25 0 10 0 838152523 853979136 21894 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21894 13086 16 0 208475 0
vsize: 833964
[startup+170.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 15784 44 0 0 25 0 10 0 838152523 853979136 21951 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21951 13086 16 0 208475 0
vsize: 833964
[startup+180.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 16702 44 0 0 25 0 10 0 838152523 853979136 22007 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22007 13086 16 0 208475 0
vsize: 833964
[startup+190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 17618 44 0 0 24 0 10 0 838152523 853979136 22321 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22321 13086 16 0 208475 0
vsize: 833964
[startup+200.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 18560 44 0 0 25 0 10 0 838152523 853979136 22373 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22373 13086 16 0 208475 0
vsize: 833964
[startup+210.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 19499 44 0 0 24 0 10 0 838152523 853979136 22426 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22426 13086 16 0 208475 0
vsize: 833964
[startup+220.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 20442 44 0 0 25 0 10 0 838152523 853979136 22475 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22475 13086 16 0 208475 0
vsize: 833964
[startup+230.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 21381 44 0 0 24 0 10 0 838152523 853979136 22526 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22526 13086 16 0 208475 0
vsize: 833964
[startup+240.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 22322 44 0 0 19 0 10 0 838152523 853979136 22573 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22573 13086 16 0 208475 0
vsize: 833964
[startup+250.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 23263 44 0 0 25 0 10 0 838152523 853979136 22620 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22620 13086 16 0 208475 0
vsize: 833964
[startup+260.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 24200 44 0 0 25 0 10 0 838152523 853979136 22667 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22667 13086 16 0 208475 0
vsize: 833964
[startup+270.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 25141 45 0 0 25 0 10 0 838152523 853979136 22711 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22711 13086 16 0 208475 0
vsize: 833964
[startup+280.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 26077 45 0 0 25 0 10 0 838152523 853979136 22757 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22757 13086 16 0 208475 0
vsize: 833964
[startup+290.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 27016 45 0 0 25 0 10 0 838152523 853979136 22800 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22800 13086 16 0 208475 0
vsize: 833964
[startup+300.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 27951 45 0 0 24 0 10 0 838152523 853979136 22844 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22844 13086 16 0 208475 0
vsize: 833964
[startup+310.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 28890 45 0 0 25 0 10 0 838152523 853979136 22885 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22885 13086 16 0 208475 0
vsize: 833964
[startup+320.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 29827 45 0 0 25 0 10 0 838152523 853979136 22926 4294967295 134512640 134569956 3221224368 3221214820 1080204343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22926 13086 16 0 208475 0
vsize: 833964
[startup+330.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 30761 45 0 0 25 0 10 0 838152523 853979136 22968 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 22968 13086 16 0 208475 0
vsize: 833964
[startup+340.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 31699 45 0 0 25 0 10 0 838152523 853979136 23007 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23007 13086 16 0 208475 0
vsize: 833964
[startup+350.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) S 32723 24172 24171 0 -1 0 18012 0 1 0 32633 45 0 0 25 0 10 0 838152523 853979136 23046 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23046 13086 16 0 208475 0
vsize: 833964
[startup+360.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 33569 46 0 0 25 0 10 0 838152523 853979136 23086 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23086 13086 16 0 208475 0
vsize: 833964
[startup+370.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 34505 46 0 0 25 0 10 0 838152523 853979136 23124 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23124 13086 16 0 208475 0
vsize: 833964
[startup+380.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 35441 46 0 0 25 0 10 0 838152523 853979136 23161 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23161 13086 16 0 208475 0
vsize: 833964
[startup+390.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 36372 46 0 0 25 0 10 0 838152523 853979136 23199 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23199 13086 16 0 208475 0
vsize: 833964
[startup+400.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 37307 46 0 0 25 0 10 0 838152523 853979136 23235 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23235 13086 16 0 208475 0
vsize: 833964
[startup+410.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 38241 46 0 0 25 0 10 0 838152523 853979136 23270 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23270 13086 16 0 208475 0
vsize: 833964
[startup+420.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) S 32723 24172 24171 0 -1 0 18012 0 1 0 39173 46 0 0 25 0 10 0 838152523 853979136 23306 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23306 13086 16 0 208475 0
vsize: 833964
[startup+430.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 40105 46 0 0 25 0 10 0 838152523 853979136 23342 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23342 13086 16 0 208475 0
vsize: 833964
[startup+440.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 41038 47 0 0 25 0 10 0 838152523 853979136 23376 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23376 13086 16 0 208475 0
vsize: 833964
[startup+450.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 41970 47 0 0 25 0 10 0 838152523 853979136 23409 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23409 13086 16 0 208475 0
vsize: 833964
[startup+460.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 42903 47 0 0 25 0 10 0 838152523 853979136 23443 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23443 13086 16 0 208475 0
vsize: 833964
[startup+470.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 43830 47 0 0 24 0 10 0 838152523 853979136 23478 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23478 13086 16 0 208475 0
vsize: 833964
[startup+480.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 44763 47 0 0 25 0 10 0 838152523 853979136 23510 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23510 13086 16 0 208475 0
vsize: 833964
[startup+490.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 45694 47 0 0 25 0 10 0 838152523 853979136 23542 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23542 13086 16 0 208475 0
vsize: 833964
[startup+500.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 46625 47 0 0 25 0 10 0 838152523 853979136 23574 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23574 13086 16 0 208475 0
vsize: 833964
[startup+510.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 47555 47 0 0 25 0 10 0 838152523 853979136 23605 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23605 13086 16 0 208475 0
vsize: 833964
[startup+520.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 48485 47 0 0 25 0 10 0 838152523 853979136 23638 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23638 13086 16 0 208475 0
vsize: 833964
[startup+530.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 49410 47 0 0 24 0 10 0 838152523 853979136 23670 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23670 13086 16 0 208475 0
vsize: 833964
[startup+540.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 50339 47 0 0 24 0 10 0 838152523 853979136 23701 4294967295 134512640 134569956 3221224368 3221214752 1080203489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23701 13086 16 0 208475 0
vsize: 833964
[startup+550.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 51267 47 0 0 25 0 10 0 838152523 853979136 23731 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23731 13086 16 0 208475 0
vsize: 833964
[startup+560.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 52192 48 0 0 25 0 10 0 838152523 853979136 23761 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23761 13086 16 0 208475 0
vsize: 833964
[startup+570.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 53118 48 0 0 25 0 10 0 838152523 853979136 23791 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23791 13086 16 0 208475 0
vsize: 833964
[startup+580.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 54045 48 0 0 25 0 10 0 838152523 853979136 23820 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23820 13086 16 0 208475 0
vsize: 833964
[startup+590.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 54971 48 0 0 25 0 10 0 838152523 853979136 23849 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23849 13086 16 0 208475 0
vsize: 833964
[startup+600.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) S 32723 24172 24171 0 -1 0 18012 0 1 0 55894 49 0 0 25 0 10 0 838152523 853979136 23879 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 23879 13086 16 0 208475 0
vsize: 833964
[startup+610.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 56818 49 0 0 24 0 10 0 838152523 853979136 23909 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23909 13086 16 0 208475 0
vsize: 833964
[startup+620.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 57744 49 0 0 25 0 10 0 838152523 853979136 23937 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23937 13086 16 0 208475 0
vsize: 833964
[startup+630.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 58670 49 0 0 25 0 10 0 838152523 853979136 23965 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23965 13086 16 0 208475 0
vsize: 833964
[startup+640.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 59596 49 0 0 25 0 10 0 838152523 853979136 23993 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 23993 13086 16 0 208475 0
vsize: 833964
[startup+650.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 60522 49 0 0 25 0 10 0 838152523 853979136 24021 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 24021 13086 16 0 208475 0
vsize: 833964
[startup+660.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 61447 49 0 0 25 0 10 0 838152523 853979136 24048 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 24048 13086 16 0 208475 0
vsize: 833964
[startup+670.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 62363 49 0 0 25 0 10 0 838152523 853979136 24990 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 24990 13086 16 0 208475 0
vsize: 833964
[startup+680.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 63291 50 0 0 25 0 10 0 838152523 853979136 24992 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 24992 13086 16 0 208475 0
vsize: 833964
[startup+690.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 64208 50 0 0 25 0 10 0 838152523 853979136 24998 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 24998 13086 16 0 208475 0
vsize: 833964
[startup+700.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 65122 50 0 0 25 0 10 0 838152523 853979136 25026 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25026 13086 16 0 208475 0
vsize: 833964
[startup+710.085 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 66036 51 0 0 25 0 10 0 838152523 853979136 25052 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25052 13086 16 0 208475 0
vsize: 833964
[startup+720.086 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 66948 51 0 0 24 0 10 0 838152523 853979136 25079 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25079 13086 16 0 208475 0
vsize: 833964
[startup+730.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) S 32723 24172 24171 0 -1 0 18012 0 1 0 67865 51 0 0 25 0 10 0 838152523 853979136 25104 4294967295 134512640 134569956 3221224368 3221213360 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25104 13086 16 0 208475 0
vsize: 833964
[startup+740.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 68781 51 0 0 25 0 10 0 838152523 853979136 25129 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25129 13086 16 0 208475 0
vsize: 833964
[startup+750.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 69694 52 0 0 25 0 10 0 838152523 853979136 25155 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25155 13086 16 0 208475 0
vsize: 833964
[startup+760.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 70606 52 0 0 25 0 10 0 838152523 853979136 25181 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25181 13086 16 0 208475 0
vsize: 833964
[startup+770.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 71518 52 0 0 25 0 10 0 838152523 853979136 25206 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25206 13086 16 0 208475 0
vsize: 833964
[startup+780.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 72430 52 0 0 24 0 10 0 838152523 853979136 25231 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25231 13086 16 0 208475 0
vsize: 833964
[startup+790.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 73346 52 0 0 25 0 10 0 838152523 853979136 25255 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25255 13086 16 0 208475 0
vsize: 833964
[startup+800.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 74258 52 0 0 25 0 10 0 838152523 853979136 25280 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25280 13086 16 0 208475 0
vsize: 833964
[startup+810.097 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 75169 52 0 0 25 0 10 0 838152523 853979136 25304 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25304 13086 16 0 208475 0
vsize: 833964
[startup+820.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 76080 52 0 0 25 0 10 0 838152523 853979136 25329 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25329 13086 16 0 208475 0
vsize: 833964
[startup+830.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 76991 52 0 0 24 0 10 0 838152523 853979136 25353 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25353 13086 16 0 208475 0
vsize: 833964
[startup+840.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 77906 53 0 0 25 0 10 0 838152523 853979136 25376 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25376 13086 16 0 208475 0
vsize: 833964
[startup+850.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 78816 53 0 0 25 0 10 0 838152523 853979136 25400 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25400 13086 16 0 208475 0
vsize: 833964
[startup+860.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 79725 53 0 0 25 0 10 0 838152523 853979136 25424 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25424 13086 16 0 208475 0
vsize: 833964
[startup+870.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 80635 53 0 0 25 0 10 0 838152523 853979136 25448 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25448 13086 16 0 208475 0
vsize: 833964
[startup+880.102 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 81550 53 0 0 25 0 10 0 838152523 853979136 25470 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25470 13086 16 0 208475 0
vsize: 833964
[startup+890.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 82459 53 0 0 25 0 10 0 838152523 853979136 25494 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25494 13086 16 0 208475 0
vsize: 833964
[startup+900.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 83367 53 0 0 24 0 10 0 838152523 853979136 25518 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25518 13086 16 0 208475 0
vsize: 833964
[startup+910.108 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) S 32723 24172 24171 0 -1 0 18012 0 1 0 84281 53 0 0 25 0 10 0 838152523 853979136 25541 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25541 13086 16 0 208475 0
vsize: 833964
[startup+920.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 85190 53 0 0 25 0 10 0 838152523 853979136 25564 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25564 13086 16 0 208475 0
vsize: 833964
[startup+930.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 86098 53 0 0 25 0 10 0 838152523 853979136 25593 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25593 13086 16 0 208475 0
vsize: 833964
[startup+940.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 87004 54 0 0 19 0 10 0 838152523 853979136 25618 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25618 13086 16 0 208475 0
vsize: 833964
[startup+950.112 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 87918 54 0 0 24 0 10 0 838152523 853979136 25639 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25639 13086 16 0 208475 0
vsize: 833964
[startup+960.113 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 88825 54 0 0 22 0 10 0 838152523 853979136 25672 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25672 13086 16 0 208475 0
vsize: 833964
[startup+970.113 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 89729 54 0 0 20 0 10 0 838152523 853979136 25699 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25699 13086 16 0 208475 0
vsize: 833964
[startup+980.114 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 90635 54 0 0 19 0 10 0 838152523 853979136 25722 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25722 13086 16 0 208475 0
vsize: 833964
[startup+990.114 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 91546 54 0 0 23 0 10 0 838152523 853979136 25743 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25743 13086 16 0 208475 0
vsize: 833964
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 92452 54 0 0 20 0 10 0 838152523 853979136 25775 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25775 13086 16 0 208475 0
vsize: 833964
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 93357 54 0 0 19 0 10 0 838152523 853979136 25800 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25800 13086 16 0 208475 0
vsize: 833964
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 94268 55 0 0 24 0 10 0 838152523 853979136 25821 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25821 13086 16 0 208475 0
vsize: 833964
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 95172 55 0 0 21 0 10 0 838152523 853979136 25843 4294967295 134512640 134569956 3221224368 3221214756 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25843 13086 16 0 208475 0
vsize: 833964
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 96076 55 0 0 20 0 10 0 838152523 853979136 25876 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25876 13086 16 0 208475 0
vsize: 833964
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 96987 55 0 0 23 0 10 0 838152523 853979136 25896 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25896 13086 16 0 208475 0
vsize: 833964
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 97891 55 0 0 21 0 10 0 838152523 853979136 25924 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25924 13086 16 0 208475 0
vsize: 833964
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 98794 55 0 0 18 0 10 0 838152523 853979136 25950 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25950 13086 16 0 208475 0
vsize: 833964
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 99701 55 0 0 22 0 10 0 838152523 853979136 25974 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25974 13086 16 0 208475 0
vsize: 833964
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 100602 56 0 0 20 0 10 0 838152523 853979136 25998 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 25998 13086 16 0 208475 0
vsize: 833964
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 101505 56 0 0 19 0 10 0 838152523 853979136 26023 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26023 13086 16 0 208475 0
vsize: 833964
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 102413 56 0 0 21 0 10 0 838152523 853979136 26047 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26047 13086 16 0 208475 0
vsize: 833964
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 103315 56 0 0 20 0 10 0 838152523 853979136 26072 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26072 13086 16 0 208475 0
vsize: 833964
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 104223 56 0 0 23 0 10 0 838152523 853979136 26094 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26094 13086 16 0 208475 0
vsize: 833964
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 105125 56 0 0 20 0 10 0 838152523 853979136 26119 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26119 13086 16 0 208475 0
vsize: 833964
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) S 32723 24172 24171 0 -1 0 18012 0 1 0 106029 56 0 0 24 0 10 0 838152523 853979136 26141 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26141 13086 16 0 208475 0
vsize: 833964
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 106933 57 0 0 22 0 10 0 838152523 853979136 26161 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26161 13086 16 0 208475 0
vsize: 833964
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 107834 57 0 0 18 0 10 0 838152523 853979136 26190 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26190 13086 16 0 208475 0
vsize: 833964
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 108741 57 0 0 22 0 10 0 838152523 853979136 26213 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 26213 13086 16 0 208475 0
vsize: 833964
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 109640 57 0 0 19 0 10 0 838152523 853979136 26234 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26234 13086 16 0 208475 0
vsize: 833964
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 110543 57 0 0 22 0 10 0 838152523 853979136 26260 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26260 13086 16 0 208475 0
vsize: 833964
[startup+1210.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 111439 58 0 0 19 0 10 0 838152523 853979136 26283 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26283 13086 16 0 208475 0
vsize: 833964
[startup+1220.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 112339 58 0 0 22 0 10 0 838152523 853979136 26306 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26306 13086 16 0 208475 0
vsize: 833964
[startup+1230.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 113236 58 0 0 19 0 10 0 838152523 853979136 26328 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26328 13086 16 0 208475 0
vsize: 833964
[startup+1240.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 114139 59 0 0 22 0 10 0 838152523 853979136 26347 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26347 13086 16 0 208475 0
vsize: 833964
[startup+1250.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 115036 59 0 0 19 0 10 0 838152523 853979136 26366 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26366 13086 16 0 208475 0
vsize: 833964
[startup+1260.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 115939 60 0 0 23 0 10 0 838152523 853979136 26385 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26385 13086 16 0 208475 0
vsize: 833964
[startup+1270.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 116835 60 0 0 20 0 10 0 838152523 853979136 26417 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26417 13086 16 0 208475 0
vsize: 833964
[startup+1280.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 117737 61 0 0 22 0 10 0 838152523 853979136 26435 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26435 13086 16 0 208475 0
vsize: 833964
[startup+1290.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 118634 61 0 0 19 0 10 0 838152523 853979136 26471 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26471 13086 16 0 208475 0
vsize: 833964
[startup+1300.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 119539 62 0 0 23 0 10 0 838152523 853979136 26489 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26489 13086 16 0 208475 0
vsize: 833964
[startup+1310.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 32733
Raw data (stat): 32724 (java) R 32723 24172 24171 0 -1 0 18012 0 1 0 120439 62 0 0 20 0 10 0 838152523 853979136 26517 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 26517 13086 16 0 208475 0
vsize: 833964
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.25 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 32735
Raw data (stat): 32724 (java) Z 32723 24172 24171 0 -1 1036 18012 8826 1 0 120443 67 10654 46 21 0 1 0 838152523 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.25
CPU time (s): 1312.12
CPU user time (s): 1310.97
CPU system time (s): 1.14682
CPU usage (%): 100.143
Max. virtual memory (Kb): 833964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####