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-n3709.opb
MD5SUM	bd3b7059f5a46c39741d1666410238f7
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	29610373267604
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	29610373267604
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.42678
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 29695

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        394628 kB
Buffers:         37692 kB
Cached:         575260 kB
SwapCached:          0 kB
Active:          39840 kB
Inactive:       580028 kB
HighTotal:      131008 kB
HighFree:        18760 kB
LowTotal:       903652 kB
LowFree:        375868 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14392 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:53:44 (client local time) WITH STATUS 143 IN 1310.02 SECONDS
stats: 21099 7 1310.02 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/wulflinc8/normalized-mps-v2-20-10-n3709.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.365
#### 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): 1.10 1.03 1.00 2/54 16996
Raw data (stat): 16996 (runsolver) R 16995 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 766393624 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.0008 s]
Raw data (loadavg): 1.16 1.04 1.01 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18009 0 1 0 872 42 0 0 25 0 10 0 766393624 853852160 19369 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208460 19369 13086 16 0 208444 0
vsize: 833840
[startup+20.0014 s]
Raw data (loadavg): 1.13 1.04 1.01 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 1769 42 0 0 24 0 10 0 766393624 855097344 20126 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208764 20126 13086 16 0 208748 0
vsize: 835056
[startup+30.0023 s]
Raw data (loadavg): 1.11 1.04 1.01 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 2667 42 0 0 25 0 10 0 766393624 855097344 20601 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208764 20601 13086 16 0 208748 0
vsize: 835056
[startup+40.0027 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 3581 43 0 0 24 0 10 0 766393624 854716416 20870 4294967295 134512640 134569956 3221224368 3221214768 1131244295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208671 20870 13086 16 0 208655 0
vsize: 834684
[startup+50.0034 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 4508 43 0 0 25 0 10 0 766393624 854716416 21026 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208671 21026 13086 16 0 208655 0
vsize: 834684
[startup+60.0046 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 5423 43 0 0 25 0 10 0 766393624 854716416 21160 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208671 21160 13086 16 0 208655 0
vsize: 834684
[startup+70.0055 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 6353 43 0 0 25 0 10 0 766393624 853667840 21208 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21208 13086 16 0 208399 0
vsize: 833660
[startup+80.0068 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 7296 44 0 0 25 0 10 0 766393624 853667840 21305 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21305 13086 16 0 208399 0
vsize: 833660
[startup+90.0083 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 8239 44 0 0 25 0 10 0 766393624 853667840 21394 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21394 13086 16 0 208399 0
vsize: 833660
[startup+100.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 9180 45 0 0 24 0 10 0 766393624 853667840 21481 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21481 13086 16 0 208399 0
vsize: 833660
[startup+110.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 10125 45 0 0 25 0 10 0 766393624 853667840 21558 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21558 13086 16 0 208399 0
vsize: 833660
[startup+120.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 11071 46 0 0 25 0 10 0 766393624 853667840 21631 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21631 13086 16 0 208399 0
vsize: 833660
[startup+130.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 12017 46 0 0 25 0 10 0 766393624 853667840 21699 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21699 13086 16 0 208399 0
vsize: 833660
[startup+140.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 12959 47 0 0 24 0 10 0 766393624 853667840 21768 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21768 13086 16 0 208399 0
vsize: 833660
[startup+150.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 13905 47 0 0 25 0 10 0 766393624 853667840 21831 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21831 13086 16 0 208399 0
vsize: 833660
[startup+160.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 14850 48 0 0 25 0 10 0 766393624 853667840 21891 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21891 13086 16 0 208399 0
vsize: 833660
[startup+170.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 15796 48 0 0 25 0 10 0 766393624 853667840 21948 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21948 13086 16 0 208399 0
vsize: 833660
[startup+180.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 16721 49 0 0 25 0 10 0 766393624 853667840 22004 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22004 13086 16 0 208399 0
vsize: 833660
[startup+190.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 17641 49 0 0 22 0 10 0 766393624 853667840 22058 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22058 13086 16 0 208399 0
vsize: 833660
[startup+200.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 18577 50 0 0 25 0 10 0 766393624 853667840 22368 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22368 13086 16 0 208399 0
vsize: 833660
[startup+210.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 19519 50 0 0 25 0 10 0 766393624 853667840 22419 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22419 13086 16 0 208399 0
vsize: 833660
[startup+220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 20461 51 0 0 25 0 10 0 766393624 853667840 22468 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22468 13086 16 0 208399 0
vsize: 833660
[startup+230.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 21403 51 0 0 25 0 10 0 766393624 853667840 22517 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22517 13086 16 0 208399 0
vsize: 833660
[startup+240.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 22345 51 0 0 25 0 10 0 766393624 853667840 22564 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22564 13086 16 0 208399 0
vsize: 833660
[startup+250.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 23284 51 0 0 25 0 10 0 766393624 853667840 22611 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22611 13086 16 0 208399 0
vsize: 833660
[startup+260.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 24223 52 0 0 24 0 10 0 766393624 853667840 22659 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22659 13086 16 0 208399 0
vsize: 833660
[startup+270.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 25162 52 0 0 25 0 10 0 766393624 853667840 22703 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22703 13086 16 0 208399 0
vsize: 833660
[startup+280.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 26102 52 0 0 25 0 10 0 766393624 853667840 22746 4294967295 134512640 134569956 3221224368 3221213956 1077100795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22746 13086 16 0 208399 0
vsize: 833660
[startup+290.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 27041 52 0 0 25 0 10 0 766393624 853667840 22789 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22789 13086 16 0 208399 0
vsize: 833660
[startup+300.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 27980 53 0 0 25 0 10 0 766393624 853667840 22832 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22832 13086 16 0 208399 0
vsize: 833660
[startup+310.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 28919 53 0 0 25 0 10 0 766393624 853667840 22873 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22873 13086 16 0 208399 0
vsize: 833660
[startup+320.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 29857 53 0 0 25 0 10 0 766393624 853667840 22914 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22914 13086 16 0 208399 0
vsize: 833660
[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 30795 53 0 0 25 0 10 0 766393624 853667840 22954 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22954 13086 16 0 208399 0
vsize: 833660
[startup+340.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 31732 53 0 0 25 0 10 0 766393624 853667840 22994 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 22994 13086 16 0 208399 0
vsize: 833660
[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 32669 54 0 0 25 0 10 0 766393624 853667840 23033 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23033 13086 16 0 208399 0
vsize: 833660
[startup+360.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 33605 54 0 0 25 0 10 0 766393624 853667840 23071 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23071 13086 16 0 208399 0
vsize: 833660
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 34542 54 0 0 25 0 10 0 766393624 853667840 23109 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23109 13086 16 0 208399 0
vsize: 833660
[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 35477 54 0 0 25 0 10 0 766393624 853667840 23147 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23147 13086 16 0 208399 0
vsize: 833660
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 36412 54 0 0 25 0 10 0 766393624 853667840 23183 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23183 13086 16 0 208399 0
vsize: 833660
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 37347 54 0 0 25 0 10 0 766393624 853667840 23219 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23219 13086 16 0 208399 0
vsize: 833660
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 38281 55 0 0 25 0 10 0 766393624 853667840 23255 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23255 13086 16 0 208399 0
vsize: 833660
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 39214 55 0 0 24 0 10 0 766393624 853667840 23290 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23290 13086 16 0 208399 0
vsize: 833660
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 40146 56 0 0 24 0 10 0 766393624 853667840 23325 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23325 13086 16 0 208399 0
vsize: 833660
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 41084 57 0 0 25 0 10 0 766393624 853667840 23357 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23357 13086 16 0 208399 0
vsize: 833660
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 42017 57 0 0 25 0 10 0 766393624 853667840 23391 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23391 13086 16 0 208399 0
vsize: 833660
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 42949 57 0 0 25 0 10 0 766393624 853667840 23425 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23425 13086 16 0 208399 0
vsize: 833660
[startup+470.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 43883 58 0 0 25 0 10 0 766393624 853667840 23458 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23458 13086 16 0 208399 0
vsize: 833660
[startup+480.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 44814 58 0 0 25 0 10 0 766393624 853667840 23491 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23491 13086 16 0 208399 0
vsize: 833660
[startup+490.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 45746 58 0 0 24 0 10 0 766393624 853667840 23523 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23523 13086 16 0 208399 0
vsize: 833660
[startup+500.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 46681 59 0 0 25 0 10 0 766393624 853667840 23553 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23553 13086 16 0 208399 0
vsize: 833660
[startup+510.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 47611 59 0 0 25 0 10 0 766393624 853667840 23585 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23585 13086 16 0 208399 0
vsize: 833660
[startup+520.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 48542 60 0 0 25 0 10 0 766393624 853667840 23617 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23617 13086 16 0 208399 0
vsize: 833660
[startup+530.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 49472 61 0 0 25 0 10 0 766393624 853667840 23649 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23649 13086 16 0 208399 0
vsize: 833660
[startup+540.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 50402 61 0 0 25 0 10 0 766393624 853667840 23679 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23679 13086 16 0 208399 0
vsize: 833660
[startup+550.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 51334 61 0 0 25 0 10 0 766393624 853667840 23709 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23709 13086 16 0 208399 0
vsize: 833660
[startup+560.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 52264 62 0 0 25 0 10 0 766393624 853667840 23738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23738 13086 16 0 208399 0
vsize: 833660
[startup+570.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 53192 62 0 0 25 0 10 0 766393624 853667840 23768 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23768 13086 16 0 208399 0
vsize: 833660
[startup+580.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 54121 62 0 0 25 0 10 0 766393624 853667840 23798 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23798 13086 16 0 208399 0
vsize: 833660
[startup+590.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 55049 63 0 0 24 0 10 0 766393624 853667840 23827 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23827 13086 16 0 208399 0
vsize: 833660
[startup+600.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 55981 63 0 0 25 0 10 0 766393624 853667840 23855 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23855 13086 16 0 208399 0
vsize: 833660
[startup+610.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 56908 64 0 0 25 0 10 0 766393624 853667840 23884 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23884 13086 16 0 208399 0
vsize: 833660
[startup+620.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 57833 64 0 0 25 0 10 0 766393624 853667840 23912 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23912 13086 16 0 208399 0
vsize: 833660
[startup+630.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 58759 65 0 0 24 0 10 0 766393624 853667840 23941 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23941 13086 16 0 208399 0
vsize: 833660
[startup+640.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 59690 65 0 0 25 0 10 0 766393624 853667840 23967 4294967295 134512640 134569956 3221224368 3221214744 1079677873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23967 13086 16 0 208399 0
vsize: 833660
[startup+650.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 60615 66 0 0 25 0 10 0 766393624 853667840 23995 4294967295 134512640 134569956 3221224368 3221214152 1076461392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23995 13086 16 0 208399 0
vsize: 833660
[startup+660.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 61541 66 0 0 24 0 10 0 766393624 853667840 24023 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 24023 13086 16 0 208399 0
vsize: 833660
[startup+670.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 62471 67 0 0 25 0 10 0 766393624 853667840 24049 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 24049 13086 16 0 208399 0
vsize: 833660
[startup+680.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 63395 67 0 0 25 0 10 0 766393624 853667840 24076 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 24076 13086 16 0 208399 0
vsize: 833660
[startup+690.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 64319 67 0 0 25 0 10 0 766393624 853667840 25001 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25001 13086 16 0 208399 0
vsize: 833660
[startup+700.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 65240 68 0 0 25 0 10 0 766393624 853667840 24985 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 24985 13086 16 0 208399 0
vsize: 833660
[startup+710.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 66158 68 0 0 25 0 10 0 766393624 853667840 25005 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25005 13086 16 0 208399 0
vsize: 833660
[startup+720.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 67076 69 0 0 25 0 10 0 766393624 853667840 25032 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25032 13086 16 0 208399 0
vsize: 833660
[startup+730.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 67993 69 0 0 25 0 10 0 766393624 853667840 25057 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25057 13086 16 0 208399 0
vsize: 833660
[startup+740.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 68907 70 0 0 25 0 10 0 766393624 853667840 25083 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25083 13086 16 0 208399 0
vsize: 833660
[startup+750.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 69825 70 0 0 25 0 10 0 766393624 853667840 25108 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25108 13086 16 0 208399 0
vsize: 833660
[startup+760.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 70739 71 0 0 25 0 10 0 766393624 853667840 25134 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25134 13086 16 0 208399 0
vsize: 833660
[startup+770.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 71657 71 0 0 25 0 10 0 766393624 853667840 25158 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25158 13086 16 0 208399 0
vsize: 833660
[startup+780.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 72569 72 0 0 25 0 10 0 766393624 853667840 25183 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25183 13086 16 0 208399 0
vsize: 833660
[startup+790.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 73486 72 0 0 25 0 10 0 766393624 853667840 25207 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25207 13086 16 0 208399 0
vsize: 833660
[startup+800.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 74398 73 0 0 24 0 10 0 766393624 853667840 25232 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25232 13086 16 0 208399 0
vsize: 833660
[startup+810.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 75315 74 0 0 25 0 10 0 766393624 853667840 25256 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25256 13086 16 0 208399 0
vsize: 833660
[startup+820.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 76230 74 0 0 25 0 10 0 766393624 853667840 25279 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25279 13086 16 0 208399 0
vsize: 833660
[startup+830.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 77144 74 0 0 25 0 10 0 766393624 853667840 25304 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25304 13086 16 0 208399 0
vsize: 833660
[startup+840.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 78060 75 0 0 25 0 10 0 766393624 853667840 25327 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25327 13086 16 0 208399 0
vsize: 833660
[startup+850.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 78971 75 0 0 25 0 10 0 766393624 853667840 25351 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25351 13086 16 0 208399 0
vsize: 833660
[startup+860.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 79886 75 0 0 25 0 10 0 766393624 853667840 25374 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25374 13086 16 0 208399 0
vsize: 833660
[startup+870.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 80796 75 0 0 25 0 10 0 766393624 853667840 25398 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25398 13086 16 0 208399 0
vsize: 833660
[startup+880.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 81711 76 0 0 25 0 10 0 766393624 853667840 25420 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25420 13086 16 0 208399 0
vsize: 833660
[startup+890.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 82626 76 0 0 25 0 10 0 766393624 853667840 25443 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25443 13086 16 0 208399 0
vsize: 833660
[startup+900.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 83535 77 0 0 25 0 10 0 766393624 853667840 25467 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25467 13086 16 0 208399 0
vsize: 833660
[startup+910.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 84449 78 0 0 25 0 10 0 766393624 853667840 25489 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25489 13086 16 0 208399 0
vsize: 833660
[startup+920.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 85357 78 0 0 24 0 10 0 766393624 853667840 25512 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25512 13086 16 0 208399 0
vsize: 833660
[startup+930.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 86270 78 0 0 25 0 10 0 766393624 853667840 25535 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25535 13086 16 0 208399 0
vsize: 833660
[startup+940.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 87184 79 0 0 25 0 10 0 766393624 853667840 25560 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25560 13086 16 0 208399 0
vsize: 833660
[startup+950.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 88092 79 0 0 25 0 10 0 766393624 853667840 25583 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25583 13086 16 0 208399 0
vsize: 833660
[startup+960.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 89004 80 0 0 22 0 10 0 766393624 853667840 25609 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25609 13086 16 0 208399 0
vsize: 833660
[startup+970.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 89916 80 0 0 25 0 10 0 766393624 853667840 25631 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25631 13086 16 0 208399 0
vsize: 833660
[startup+980.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 90824 80 0 0 25 0 10 0 766393624 853667840 25662 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25662 13086 16 0 208399 0
vsize: 833660
[startup+990.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 91734 81 0 0 25 0 10 0 766393624 853667840 25689 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25689 13086 16 0 208399 0
vsize: 833660
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 92639 81 0 0 22 0 10 0 766393624 853667840 25711 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25711 13086 16 0 208399 0
vsize: 833660
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 93550 82 0 0 21 0 10 0 766393624 853667840 25738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25738 13086 16 0 208399 0
vsize: 833660
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 94461 82 0 0 25 0 10 0 766393624 853667840 25759 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25759 13086 16 0 208399 0
vsize: 833660
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 95368 82 0 0 25 0 10 0 766393624 853667840 25786 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25786 13086 16 0 208399 0
vsize: 833660
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 96277 83 0 0 25 0 10 0 766393624 853667840 25810 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25810 13086 16 0 208399 0
vsize: 833660
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 97187 83 0 0 25 0 10 0 766393624 853667840 25831 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25831 13086 16 0 208399 0
vsize: 833660
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 98097 84 0 0 24 0 10 0 766393624 853667840 25861 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25861 13086 16 0 208399 0
vsize: 833660
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 99001 84 0 0 20 0 10 0 766393624 853667840 25884 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25884 13086 16 0 208399 0
vsize: 833660
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 99911 85 0 0 21 0 10 0 766393624 853667840 25910 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25910 13086 16 0 208399 0
vsize: 833660
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 100821 85 0 0 22 0 10 0 766393624 853667840 25933 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25933 13086 16 0 208399 0
vsize: 833660
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 101726 85 0 0 24 0 10 0 766393624 853667840 25958 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25958 13086 16 0 208399 0
vsize: 833660
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 102628 86 0 0 19 0 10 0 766393624 853667840 25983 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 25983 13086 16 0 208399 0
vsize: 833660
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 103537 86 0 0 20 0 10 0 766393624 853667840 26003 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26003 13086 16 0 208399 0
vsize: 833660
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 104455 87 0 0 23 0 10 0 766393624 853667840 26028 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26028 13086 16 0 208399 0
vsize: 833660
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 105357 87 0 0 24 0 10 0 766393624 853667840 26052 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26052 13086 16 0 208399 0
vsize: 833660
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 106265 87 0 0 20 0 10 0 766393624 853667840 26076 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26076 13086 16 0 208399 0
vsize: 833660
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 107173 88 0 0 21 0 10 0 766393624 853667840 26098 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26098 13086 16 0 208399 0
vsize: 833660
[startup+1170.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 108087 88 0 0 24 0 10 0 766393624 853667840 26124 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26124 13086 16 0 208399 0
vsize: 833660
[startup+1180.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 108991 89 0 0 19 0 10 0 766393624 853667840 26144 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26144 13086 16 0 208399 0
vsize: 833660
[startup+1190.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 109897 89 0 0 21 0 10 0 766393624 853667840 26171 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26171 13086 16 0 208399 0
vsize: 833660
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 110804 90 0 0 22 0 10 0 766393624 853667840 26191 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26191 13086 16 0 208399 0
vsize: 833660
[startup+1210.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 111710 90 0 0 22 0 10 0 766393624 853667840 26213 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26213 13086 16 0 208399 0
vsize: 833660
[startup+1220.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 112612 91 0 0 24 0 10 0 766393624 853667840 26232 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26232 13086 16 0 208399 0
vsize: 833660
[startup+1230.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 113515 91 0 0 19 0 10 0 766393624 853667840 26261 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26261 13086 16 0 208399 0
vsize: 833660
[startup+1240.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 114418 91 0 0 20 0 10 0 766393624 853667840 26283 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26283 13086 16 0 208399 0
vsize: 833660
[startup+1250.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 115321 92 0 0 22 0 10 0 766393624 853667840 26305 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26305 13086 16 0 208399 0
vsize: 833660
[startup+1260.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 116226 93 0 0 23 0 10 0 766393624 853667840 26326 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26326 13086 16 0 208399 0
vsize: 833660
[startup+1270.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) S 16995 3132 3131 0 -1 0 18010 0 1 0 117129 93 0 0 24 0 10 0 766393624 853667840 26345 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26345 13086 16 0 208399 0
vsize: 833660
[startup+1280.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 118028 94 0 0 18 0 10 0 766393624 853667840 26365 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26365 13086 16 0 208399 0
vsize: 833660
[startup+1290.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 118933 94 0 0 19 0 10 0 766393624 853667840 26386 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26386 13086 16 0 208399 0
vsize: 833660
[startup+1300.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 119837 95 0 0 21 0 10 0 766393624 853667840 26414 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26414 13086 16 0 208399 0
vsize: 833660
[startup+1310.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 17005
Raw data (stat): 16996 (java) R 16995 3132 3131 0 -1 0 18010 0 1 0 120741 96 0 0 21 0 10 0 766393624 853667840 26444 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26444 13086 16 0 208399 0
vsize: 833660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.44 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 17007
Raw data (stat): 16996 (java) Z 16995 3132 3131 0 -1 1036 18010 8055 1 0 120747 96 10117 40 23 0 1 0 766393624 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.44
CPU time (s): 1310.02
CPU user time (s): 1308.65
CPU system time (s): 1.37079
CPU usage (%): 99.9676
Max. virtual memory (Kb): 835056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####