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/submitted/sorensson/garden/normalized-g9x9.opb
MD5SUM	3682f861aa46be9df7d6903cb35a0651
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	81
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	81
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	81
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.676896
Number of variables	81
Total number of constraints	81
Number of constraints which are clauses	81
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 29403

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 07:18:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20793 boxname=wulflinc12 idbench=383 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3682f861aa46be9df7d6903cb35a0651  /oldhome/oroussel/tmp/wulflinc12/normalized-g9x9.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-g9x9.opb
IDLAUNCH: 20793
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        418088 kB
Buffers:         38376 kB
Cached:         557212 kB
SwapCached:        568 kB
Active:         128284 kB
Inactive:       469712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        417836 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12768 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:39:06 (client local time) WITH STATUS 143 IN 1242.7 SECONDS
stats: 20793 0 1242.7 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/wulflinc12/normalized-g9x9.opb
c reading problem ... done. Time 0.231 ms.
c #vars     81
c #constraints  81
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  27 		Current CPU time: 0.28 ms
c CURRENT OPTIMUM=                  26 		Current CPU time: 0.73 ms
c CURRENT OPTIMUM=                  24 		Current CPU time: 1.25 ms
c CURRENT OPTIMUM=                  23 		Current CPU time: 1.34 ms
c CURRENT OPTIMUM=                  22 		Current CPU time: 2.94 ms
c CURRENT OPTIMUM=                  21 		Current CPU time: 21.54 ms
c starts	: 17
c conflicts	: 7102
c decisions	: 14651
c propagations	: 67870
c inspects	: 8656316
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7102
c root simplifications	: 17
s SATISFIABLE
v x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 -x78 -x79 x80 -x81 
c objectif function=21
c Total CPU time (ms) : 1249.221
#### 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.85 0.97 0.99 2/54 9745
Raw data (stat): 9745 (runsolver) R 9744 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778790940 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 1.11 1.02 1.01 4/64 9760
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18149 3 1 0 592 40 0 0 25 0 11 0 778790940 886988800 26235 4294967295 134512640 134569956 3221224384 3221214768 1130919103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216550 26235 13086 16 0 216534 0
vsize: 866200
[startup+20.002 s]
Raw data (loadavg): 1.40 1.08 1.03 3/64 9760
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18160 3 1 0 1190 40 0 0 25 0 11 0 778790940 883445760 26264 4294967295 134512640 134569956 3221224384 3221214712 1131137088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215685 26264 13086 16 0 215669 0
vsize: 862740
[startup+30.0023 s]
Raw data (loadavg): 1.34 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18160 3 1 0 2156 41 0 0 25 0 11 0 778790940 881995776 26471 4294967295 134512640 134569956 3221224384 3221214576 1131146910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215331 26471 13086 16 0 215315 0
vsize: 861324
[startup+40.0026 s]
Raw data (loadavg): 1.28 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18160 3 1 0 3113 41 0 0 25 0 11 0 778790940 878497792 26041 4294967295 134512640 134569956 3221224384 3221214464 1131267905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 26041 13086 16 0 214461 0
vsize: 857908
[startup+50.0025 s]
Raw data (loadavg): 1.24 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 4063 41 0 0 25 0 11 0 778790940 878497792 26462 4294967295 134512640 134569956 3221224384 3221214576 1131148139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 26462 13086 16 0 214461 0
vsize: 857908
[startup+60.0041 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 5015 41 0 0 25 0 11 0 778790940 878497792 26550 4294967295 134512640 134569956 3221224384 3221214556 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 26550 13086 16 0 214461 0
vsize: 857908
[startup+70.0042 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 5965 41 0 0 25 0 11 0 778790940 878497792 26703 4294967295 134512640 134569956 3221224384 3221214576 1131147514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 26703 13086 16 0 214461 0
vsize: 857908
[startup+80.004 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 6924 41 0 0 25 0 11 0 778790940 878497792 26860 4294967295 134512640 134569956 3221224384 3221214128 1131266855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 26860 13086 16 0 214461 0
vsize: 857908
[startup+90.0043 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 7874 41 0 0 25 0 11 0 778790940 878497792 27048 4294967295 134512640 134569956 3221224384 3221214560 1131171558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27048 13086 16 0 214461 0
vsize: 857908
[startup+100.005 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 8823 41 0 0 25 0 11 0 778790940 878497792 27148 4294967295 134512640 134569956 3221224384 3221214680 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27148 13086 16 0 214461 0
vsize: 857908
[startup+110.008 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 9761
Raw data (stat): 9745 (java) S 9744 32284 32283 0 -1 0 18161 3 1 0 9780 41 0 0 25 0 11 0 778790940 878497792 27239 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27239 13086 16 0 214461 0
vsize: 857908
[startup+120.011 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 10731 41 0 0 25 0 11 0 778790940 878497792 27409 4294967295 134512640 134569956 3221224384 3221214848 1131270616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27409 13086 16 0 214461 0
vsize: 857908
[startup+130.011 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 11690 41 0 0 25 0 11 0 778790940 878497792 27488 4294967295 134512640 134569956 3221224384 3221214656 1131634732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27488 13086 16 0 214461 0
vsize: 857908
[startup+140.011 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 12639 41 0 0 25 0 11 0 778790940 878497792 27654 4294967295 134512640 134569956 3221224384 3221214656 1131635763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27654 13086 16 0 214461 0
vsize: 857908
[startup+150.012 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 13590 41 0 0 25 0 11 0 778790940 878497792 27848 4294967295 134512640 134569956 3221224384 3221214184 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27848 13086 16 0 214461 0
vsize: 857908
[startup+160.013 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 14544 41 0 0 25 0 11 0 778790940 878497792 27982 4294967295 134512640 134569956 3221224384 3221214576 1131394968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 27982 13086 16 0 214461 0
vsize: 857908
[startup+170.012 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 15500 41 0 0 25 0 11 0 778790940 878497792 28089 4294967295 134512640 134569956 3221224384 3221214160 1131267908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28089 13086 16 0 214461 0
vsize: 857908
[startup+180.013 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 16455 42 0 0 25 0 11 0 778790940 878497792 28241 4294967295 134512640 134569956 3221224384 3221214544 1131184788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28241 13086 16 0 214461 0
vsize: 857908
[startup+190.014 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 17414 42 0 0 25 0 11 0 778790940 878497792 28378 4294967295 134512640 134569956 3221224384 3221214432 1131166165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28378 13086 16 0 214461 0
vsize: 857908
[startup+200.014 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 18382 42 0 0 25 0 11 0 778790940 878497792 28487 4294967295 134512640 134569956 3221224384 3221214464 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28487 13086 16 0 214461 0
vsize: 857908
[startup+210.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 19343 42 0 0 25 0 11 0 778790940 878497792 28617 4294967295 134512640 134569956 3221224384 3221213968 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28617 13086 16 0 214461 0
vsize: 857908
[startup+220.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) S 9744 32284 32283 0 -1 0 18161 3 1 0 20317 42 0 0 25 0 11 0 778790940 878497792 28676 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28676 13086 16 0 214461 0
vsize: 857908
[startup+230.016 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 21289 42 0 0 25 0 11 0 778790940 878497792 28760 4294967295 134512640 134569956 3221224384 3221214552 1131147758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 28760 13086 16 0 214461 0
vsize: 857908
[startup+240.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 22258 42 0 0 25 0 11 0 778790940 878497792 28829 4294967295 134512640 134569956 3221224384 3221214488 1131266666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28829 13086 16 0 214461 0
vsize: 857908
[startup+250.017 s]
Raw data (loadavg): 1.25 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 23218 42 0 0 25 0 11 0 778790940 878497792 28942 4294967295 134512640 134569956 3221224384 3221214264 1131266729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28942 13086 16 0 214461 0
vsize: 857908
[startup+260.018 s]
Raw data (loadavg): 1.28 1.09 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 24195 42 0 0 25 0 11 0 778790940 878497792 28996 4294967295 134512640 134569956 3221224384 3221214000 1131267960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 28996 13086 16 0 214461 0
vsize: 857908
[startup+270.018 s]
Raw data (loadavg): 1.24 1.09 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 25162 42 0 0 25 0 11 0 778790940 878497792 29070 4294967295 134512640 134569956 3221224384 3221213968 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29070 13086 16 0 214461 0
vsize: 857908
[startup+280.02 s]
Raw data (loadavg): 1.20 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) S 9744 32284 32283 0 -1 0 18161 3 1 0 26133 42 0 0 25 0 11 0 778790940 878497792 29136 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29136 13086 16 0 214461 0
vsize: 857908
[startup+290.021 s]
Raw data (loadavg): 1.17 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 27097 42 0 0 25 0 11 0 778790940 878497792 29253 4294967295 134512640 134569956 3221224384 3221213960 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29253 13086 16 0 214461 0
vsize: 857908
[startup+300.021 s]
Raw data (loadavg): 1.14 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 28066 42 0 0 25 0 11 0 778790940 878497792 29343 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29343 13086 16 0 214461 0
vsize: 857908
[startup+310.022 s]
Raw data (loadavg): 1.12 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 29029 42 0 0 25 0 11 0 778790940 878497792 29455 4294967295 134512640 134569956 3221224384 3221213992 1131266795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29455 13086 16 0 214461 0
vsize: 857908
[startup+320.023 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 30001 42 0 0 25 0 11 0 778790940 878497792 29538 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29538 13086 16 0 214461 0
vsize: 857908
[startup+330.023 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 30973 42 0 0 25 0 11 0 778790940 878497792 29614 4294967295 134512640 134569956 3221224384 3221214484 1131266852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29614 13086 16 0 214461 0
vsize: 857908
[startup+340.024 s]
Raw data (loadavg): 1.15 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 31945 42 0 0 25 0 11 0 778790940 878497792 29713 4294967295 134512640 134569956 3221224384 3221214752 1131184816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29713 13086 16 0 214461 0
vsize: 857908
[startup+350.024 s]
Raw data (loadavg): 1.13 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 32917 42 0 0 25 0 11 0 778790940 878497792 29787 4294967295 134512640 134569956 3221224384 3221214552 1131146979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29787 13086 16 0 214461 0
vsize: 857908
[startup+360.025 s]
Raw data (loadavg): 1.11 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 33897 42 0 0 25 0 11 0 778790940 878497792 29835 4294967295 134512640 134569956 3221224384 3221214552 1131147480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29835 13086 16 0 214461 0
vsize: 857908
[startup+370.025 s]
Raw data (loadavg): 1.17 1.09 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 34863 42 0 0 25 0 11 0 778790940 878497792 29915 4294967295 134512640 134569956 3221224384 3221214416 1131166422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29915 13086 16 0 214461 0
vsize: 857908
[startup+380.025 s]
Raw data (loadavg): 1.14 1.09 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 35836 42 0 0 25 0 11 0 778790940 878497792 29970 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 29970 13086 16 0 214461 0
vsize: 857908
[startup+390.026 s]
Raw data (loadavg): 1.12 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 36801 42 0 0 25 0 11 0 778790940 878497792 30046 4294967295 134512640 134569956 3221224384 3221213880 1131266661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30046 13086 16 0 214461 0
vsize: 857908
[startup+400.026 s]
Raw data (loadavg): 1.10 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 37780 42 0 0 25 0 11 0 778790940 878497792 30106 4294967295 134512640 134569956 3221224384 3221214592 1131266879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30106 13086 16 0 214461 0
vsize: 857908
[startup+410.027 s]
Raw data (loadavg): 1.09 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 38759 43 0 0 25 0 11 0 778790940 878497792 30161 4294967295 134512640 134569956 3221224384 3221214048 1131266848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30161 13086 16 0 214461 0
vsize: 857908
[startup+420.027 s]
Raw data (loadavg): 1.07 1.08 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 39731 43 0 0 25 0 11 0 778790940 878497792 30260 4294967295 134512640 134569956 3221224384 3221214656 1131633499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30260 13086 16 0 214461 0
vsize: 857908
[startup+430.027 s]
Raw data (loadavg): 1.06 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 40710 43 0 0 25 0 11 0 778790940 878497792 30314 4294967295 134512640 134569956 3221224384 3221214216 1131266657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30314 13086 16 0 214461 0
vsize: 857908
[startup+440.027 s]
Raw data (loadavg): 1.05 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 41689 43 0 0 25 0 11 0 778790940 878497792 30362 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30362 13086 16 0 214461 0
vsize: 857908
[startup+450.028 s]
Raw data (loadavg): 1.04 1.07 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 42660 43 0 0 25 0 11 0 778790940 878497792 30432 4294967295 134512640 134569956 3221224384 3221214652 1131148335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30432 13086 16 0 214461 0
vsize: 857908
[startup+460.029 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 43638 43 0 0 25 0 11 0 778790940 878497792 30473 4294967295 134512640 134569956 3221224384 3221214656 1131633660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30473 13086 16 0 214461 0
vsize: 857908
[startup+470.029 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 44616 43 0 0 25 0 11 0 778790940 878497792 30519 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30519 13086 16 0 214461 0
vsize: 857908
[startup+480.029 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 45585 44 0 0 25 0 11 0 778790940 878497792 30601 4294967295 134512640 134569956 3221224384 3221214600 1131266800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30601 13086 16 0 214461 0
vsize: 857908
[startup+490.029 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 46555 44 0 0 25 0 11 0 778790940 878497792 30667 4294967295 134512640 134569956 3221224384 3221213960 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30667 13086 16 0 214461 0
vsize: 857908
[startup+500.029 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 47517 44 0 0 25 0 11 0 778790940 878497792 30752 4294967295 134512640 134569956 3221224384 3221214096 1131266855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30752 13086 16 0 214461 0
vsize: 857908
[startup+510.031 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 48488 44 0 0 25 0 11 0 778790940 878497792 30835 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30835 13086 16 0 214461 0
vsize: 857908
[startup+520.031 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 49459 44 0 0 25 0 11 0 778790940 878497792 30910 4294967295 134512640 134569956 3221224384 3221214552 1131146910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 30910 13086 16 0 214461 0
vsize: 857908
[startup+530.031 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 50431 44 0 0 25 0 11 0 778790940 878497792 31000 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31000 13086 16 0 214461 0
vsize: 857908
[startup+540.031 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 51397 44 0 0 25 0 11 0 778790940 878497792 31089 4294967295 134512640 134569956 3221224384 3221214552 1131146910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31089 13086 16 0 214461 0
vsize: 857908
[startup+550.032 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 52370 44 0 0 25 0 11 0 778790940 878497792 31163 4294967295 134512640 134569956 3221224384 3221214552 1131146877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31163 13086 16 0 214461 0
vsize: 857908
[startup+560.032 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 53344 44 0 0 25 0 11 0 778790940 878497792 31225 4294967295 134512640 134569956 3221224384 3221214656 1131633711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31225 13086 16 0 214461 0
vsize: 857908
[startup+570.135 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 54328 44 0 0 25 0 11 0 778790940 878497792 31295 4294967295 134512640 134569956 3221224384 3221214216 1131267948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31295 13086 16 0 214461 0
vsize: 857908
[startup+580.135 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 55302 44 0 0 25 0 11 0 778790940 878497792 31357 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 31357 13086 16 0 214461 0
vsize: 857908
[startup+590.136 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 56276 44 0 0 25 0 11 0 778790940 878497792 31424 4294967295 134512640 134569956 3221224384 3221214552 1131146881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31424 13086 16 0 214461 0
vsize: 857908
[startup+600.138 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 57244 44 0 0 25 0 11 0 778790940 878497792 31495 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31495 13086 16 0 214461 0
vsize: 857908
[startup+610.138 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 58219 44 0 0 25 0 11 0 778790940 878497792 31561 4294967295 134512640 134569956 3221224384 3221213496 1131267924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31561 13086 16 0 214461 0
vsize: 857908
[startup+620.138 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 59194 44 0 0 25 0 11 0 778790940 878497792 31628 4294967295 134512640 134569956 3221224384 3221213380 1085632316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31628 13086 16 0 214461 0
vsize: 857908
[startup+630.139 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 60170 44 0 0 25 0 11 0 778790940 878497792 31682 4294967295 134512640 134569956 3221224384 3221214552 1131146885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31682 13086 16 0 214461 0
vsize: 857908
[startup+640.139 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 61145 44 0 0 25 0 11 0 778790940 878497792 31749 4294967295 134512640 134569956 3221224384 3221214656 1131633711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31749 13086 16 0 214461 0
vsize: 857908
[startup+650.139 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 62120 44 0 0 25 0 11 0 778790940 878497792 31803 4294967295 134512640 134569956 3221224384 3221213760 1131277842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31803 13086 16 0 214461 0
vsize: 857908
[startup+660.14 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 63095 44 0 0 25 0 11 0 778790940 878497792 31863 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31863 13086 16 0 214461 0
vsize: 857908
[startup+670.141 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 64070 45 0 0 25 0 11 0 778790940 878497792 31926 4294967295 134512640 134569956 3221224384 3221213884 1131267979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 31926 13086 16 0 214461 0
vsize: 857908
[startup+680.14 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 65045 45 0 0 25 0 11 0 778790940 878497792 31984 4294967295 134512640 134569956 3221224384 3221214656 1131639997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 31984 13086 16 0 214461 0
vsize: 857908
[startup+690.141 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 66025 45 0 0 25 0 11 0 778790940 878497792 32022 4294967295 134512640 134569956 3221224384 3221214068 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32022 13086 16 0 214461 0
vsize: 857908
[startup+700.142 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) S 9744 32284 32283 0 -1 0 18161 3 1 0 67005 45 0 0 25 0 11 0 778790940 878497792 32071 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32071 13086 16 0 214461 0
vsize: 857908
[startup+710.142 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 67972 45 0 0 25 0 11 0 778790940 878497792 32133 4294967295 134512640 134569956 3221224384 3221213988 1131266852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32133 13086 16 0 214461 0
vsize: 857908
[startup+720.143 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 68947 45 0 0 25 0 11 0 778790940 878497792 32200 4294967295 134512640 134569956 3221224384 3221214788 1130883540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32200 13086 16 0 214461 0
vsize: 857908
[startup+730.143 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 69921 45 0 0 25 0 11 0 778790940 878497792 32259 4294967295 134512640 134569956 3221224384 3221214552 1131146881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32259 13086 16 0 214461 0
vsize: 857908
[startup+740.143 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 70895 45 0 0 25 0 11 0 778790940 878497792 32317 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32317 13086 16 0 214461 0
vsize: 857908
[startup+750.144 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 71876 45 0 0 25 0 11 0 778790940 878497792 32361 4294967295 134512640 134569956 3221224384 3221214016 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32361 13086 16 0 214461 0
vsize: 857908
[startup+760.143 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 72856 45 0 0 25 0 11 0 778790940 878497792 32412 4294967295 134512640 134569956 3221224384 3221213636 1131266636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32412 13086 16 0 214461 0
vsize: 857908
[startup+770.143 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 73842 45 0 0 25 0 11 0 778790940 878497792 32448 4294967295 134512640 134569956 3221224384 3221214268 1131267979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32448 13086 16 0 214461 0
vsize: 857908
[startup+780.143 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 74816 45 0 0 25 0 11 0 778790940 878497792 32522 4294967295 134512640 134569956 3221224384 3221214412 1131266633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32522 13086 16 0 214461 0
vsize: 857908
[startup+790.144 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 75796 45 0 0 25 0 11 0 778790940 878497792 32568 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32568 13086 16 0 214461 0
vsize: 857908
[startup+800.143 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 76776 45 0 0 25 0 11 0 778790940 878497792 32604 4294967295 134512640 134569956 3221224384 3221213776 1131267948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 32604 13086 16 0 214461 0
vsize: 857908
[startup+810.144 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 77749 45 0 0 25 0 11 0 778790940 878497792 32656 4294967295 134512640 134569956 3221224384 3221214472 1131376644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32656 13086 16 0 214461 0
vsize: 857908
[startup+820.145 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 78723 45 0 0 25 0 11 0 778790940 878497792 32707 4294967295 134512640 134569956 3221224384 3221213800 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32707 13086 16 0 214461 0
vsize: 857908
[startup+830.144 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 79702 45 0 0 25 0 11 0 778790940 878497792 32746 4294967295 134512640 134569956 3221224384 3221214552 1131146907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32746 13086 16 0 214461 0
vsize: 857908
[startup+840.144 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 80680 45 0 0 25 0 11 0 778790940 878497792 32792 4294967295 134512640 134569956 3221224384 3221213992 1131267985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32792 13086 16 0 214461 0
vsize: 857908
[startup+850.145 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 81653 45 0 0 24 0 11 0 778790940 878497792 32868 4294967295 134512640 134569956 3221224384 3221214640 1131166352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32868 13086 16 0 214461 0
vsize: 857908
[startup+860.144 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 82639 45 0 0 25 0 11 0 778790940 878497792 32903 4294967295 134512640 134569956 3221224384 3221213792 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32903 13086 16 0 214461 0
vsize: 857908
[startup+870.145 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 83605 45 0 0 25 0 11 0 778790940 878497792 32970 4294967295 134512640 134569956 3221224384 3221214540 1131277836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 32970 13086 16 0 214461 0
vsize: 857908
[startup+880.146 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 84585 45 0 0 25 0 11 0 778790940 878497792 33023 4294967295 134512640 134569956 3221224384 3221213948 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33023 13086 16 0 214461 0
vsize: 857908
[startup+890.146 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 85565 45 0 0 25 0 11 0 778790940 878497792 33061 4294967295 134512640 134569956 3221224384 3221213988 1131267984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33061 13086 16 0 214461 0
vsize: 857908
[startup+900.146 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 86545 46 0 0 25 0 11 0 778790940 878497792 33101 4294967295 134512640 134569956 3221224384 3221214472 1131274665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33101 13086 16 0 214461 0
vsize: 857908
[startup+910.146 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 87519 46 0 0 25 0 11 0 778790940 878497792 33156 4294967295 134512640 134569956 3221224384 3221213816 1131266888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 33156 13086 16 0 214461 0
vsize: 857908
[startup+920.146 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 88500 46 0 0 25 0 11 0 778790940 878497792 33216 4294967295 134512640 134569956 3221224384 3221214552 1131146987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33216 13086 16 0 214461 0
vsize: 857908
[startup+930.147 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 89475 46 0 0 25 0 11 0 778790940 878497792 33277 4294967295 134512640 134569956 3221224384 3221214104 1131267996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 33277 13086 16 0 214461 0
vsize: 857908
[startup+940.148 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 90451 46 0 0 25 0 11 0 778790940 878497792 33332 4294967295 134512640 134569956 3221224384 3221214552 1131146881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 33332 13086 16 0 214461 0
vsize: 857908
[startup+950.148 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 91426 46 0 0 25 0 11 0 778790940 878497792 33378 4294967295 134512640 134569956 3221224384 3221214040 1085632273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33378 13086 16 0 214461 0
vsize: 857908
[startup+960.149 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 92401 46 0 0 25 0 11 0 778790940 878497792 33431 4294967295 134512640 134569956 3221224384 3221214496 1131267985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33431 13086 16 0 214461 0
vsize: 857908
[startup+970.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 93383 46 0 0 25 0 11 0 778790940 878497792 33468 4294967295 134512640 134569956 3221224384 3221214552 1131148117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33468 13086 16 0 214461 0
vsize: 857908
[startup+980.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 94358 46 0 0 25 0 11 0 778790940 878497792 33512 4294967295 134512640 134569956 3221224384 3221213768 1131267964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33512 13086 16 0 214461 0
vsize: 857908
[startup+990.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 95339 46 0 0 25 0 11 0 778790940 878497792 33547 4294967295 134512640 134569956 3221224384 3221214820 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33547 13086 16 0 214461 0
vsize: 857908
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 96314 46 0 0 25 0 11 0 778790940 878497792 33594 4294967295 134512640 134569956 3221224384 3221214376 1131266876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33594 13086 16 0 214461 0
vsize: 857908
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 97295 46 0 0 25 0 11 0 778790940 878497792 33625 4294967295 134512640 134569956 3221224384 3221214552 1131148163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33625 13086 16 0 214461 0
vsize: 857908
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 98275 47 0 0 25 0 11 0 778790940 878497792 33649 4294967295 134512640 134569956 3221224384 3221214656 1131633676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33649 13086 16 0 214461 0
vsize: 857908
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 99243 47 0 0 25 0 11 0 778790940 878497792 33726 4294967295 134512640 134569956 3221224384 3221213856 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33726 13086 16 0 214461 0
vsize: 857908
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 100224 47 0 0 25 0 11 0 778790940 878497792 33775 4294967295 134512640 134569956 3221224384 3221214296 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33775 13086 16 0 214461 0
vsize: 857908
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 101204 47 0 0 25 0 11 0 778790940 878497792 33814 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33814 13086 16 0 214461 0
vsize: 857908
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 102178 47 0 0 25 0 11 0 778790940 878497792 33883 4294967295 134512640 134569956 3221224384 3221214272 1131267924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 33883 13086 16 0 214461 0
vsize: 857908
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 103152 47 0 0 25 0 11 0 778790940 878497792 33925 4294967295 134512640 134569956 3221224384 3221214552 1131147250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 33925 13086 16 0 214461 0
vsize: 857908
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 104126 47 0 0 25 0 11 0 778790940 878497792 33982 4294967295 134512640 134569956 3221224384 3221214200 1131266888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 33982 13086 16 0 214461 0
vsize: 857908
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 105099 48 0 0 25 0 11 0 778790940 878497792 34037 4294967295 134512640 134569956 3221224384 3221214152 1131266836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34037 13086 16 0 214461 0
vsize: 857908
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 106073 48 0 0 25 0 11 0 778790940 878497792 34086 4294967295 134512640 134569956 3221224384 3221213920 1131266882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 34086 13086 16 0 214461 0
vsize: 857908
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 107048 48 0 0 25 0 11 0 778790940 878497792 34143 4294967295 134512640 134569956 3221224384 3221214216 1131268012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34143 13086 16 0 214461 0
vsize: 857908
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 108023 48 0 0 25 0 11 0 778790940 878497792 34200 4294967295 134512640 134569956 3221224384 3221213928 1131266666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34200 13086 16 0 214461 0
vsize: 857908
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 108998 49 0 0 25 0 11 0 778790940 878497792 34259 4294967295 134512640 134569956 3221224384 3221214656 1131634726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34259 13086 16 0 214461 0
vsize: 857908
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 109970 49 0 0 24 0 11 0 778790940 878497792 34332 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34332 13086 16 0 214461 0
vsize: 857908
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 110952 49 0 0 25 0 11 0 778790940 878497792 34368 4294967295 134512640 134569956 3221224384 3221214656 1131633683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 34368 13086 16 0 214461 0
vsize: 857908
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 111935 49 0 0 25 0 11 0 778790940 878497792 34402 4294967295 134512640 134569956 3221224384 3221214384 1131267994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 34402 13086 16 0 214461 0
vsize: 857908
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 112913 50 0 0 25 0 11 0 778790940 878497792 34453 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34453 13086 16 0 214461 0
vsize: 857908
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 113889 50 0 0 25 0 11 0 778790940 878497792 34493 4294967295 134512640 134569956 3221224384 3221214436 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34493 13086 16 0 214461 0
vsize: 857908
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 114866 50 0 0 25 0 11 0 778790940 878497792 34521 4294967295 134512640 134569956 3221224384 3221214552 1131147283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34521 13086 16 0 214461 0
vsize: 857908
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 115841 50 0 0 25 0 11 0 778790940 878497792 34568 4294967295 134512640 134569956 3221224384 3221214440 1131267985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34568 13086 16 0 214461 0
vsize: 857908
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 116816 50 0 0 25 0 11 0 778790940 878497792 34602 4294967295 134512640 134569956 3221224384 3221214536 1131266882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34602 13086 16 0 214461 0
vsize: 857908
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 117798 51 0 0 25 0 11 0 778790940 878497792 34628 4294967295 134512640 134569956 3221224384 3221214488 1131266729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34628 13086 16 0 214461 0
vsize: 857908
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 118772 51 0 0 25 0 11 0 778790940 878497792 34673 4294967295 134512640 134569956 3221224384 3221214304 1131274744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34673 13086 16 0 214461 0
vsize: 857908
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 119752 51 0 0 25 0 11 0 778790940 878497792 34698 4294967295 134512640 134569956 3221224384 3221214656 1131634853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214477 34698 13086 16 0 214461 0
vsize: 857908
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9761
Raw data (stat): 9745 (java) R 9744 32284 32283 0 -1 0 18161 3 1 0 120727 51 0 0 25 0 11 0 778790940 878497792 34756 4294967295 134512640 134569956 3221224384 3221214656 1131633711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214477 34756 13086 16 0 214461 0
vsize: 857908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9763
Raw data (stat): 9745 (java) Z 9744 32284 32283 0 -1 1036 18161 10398 1 0 120731 51 3453 32 25 0 1 0 778790940 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): 1250.29
CPU time (s): 1242.7
CPU user time (s): 1241.85
CPU system time (s): 0.84987
CPU usage (%): 99.393
Max. virtual memory (Kb): 866200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	21
#### END VERIFIER DATA ####