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/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 29414

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 07:22:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20807 boxname=wulflinc13 idbench=397 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc13/normalized-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-p0201.opb
IDLAUNCH: 20807
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        667496 kB
Buffers:         33688 kB
Cached:         313524 kB
SwapCached:        608 kB
Active:          59636 kB
Inactive:       290092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        667244 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6152 kB
Slab:            11788 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:43:26 (client local time) WITH STATUS 143 IN 1225.2 SECONDS
stats: 20807 0 1225.2 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/wulflinc13/normalized-p0201.opb
c reading problem ... done. Time 0.993 ms.
c #vars     201
c #constraints  133
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                2202 		Current CPU time: 1.39 ms
c CURRENT OPTIMUM=                1677 		Current CPU time: 1.74 ms
c CURRENT OPTIMUM=                1583 		Current CPU time: 2.38 ms
c CURRENT OPTIMUM=                1555 		Current CPU time: 3.38 ms
c starts	: 9
c conflicts	: 1015
c decisions	: 11581
c propagations	: 46321
c inspects	: 2369337
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1015
c root simplifications	: 251
s SATISFIABLE
v -x0 -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 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 
c objectif function=1555
c Total CPU time (ms) : 1229.111
#### 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.98 2/54 10844
Raw data (stat): 10844 (runsolver) R 10843 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778832024 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0001 s]
Raw data (loadavg): 1.03 1.00 1.00 3/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18129 3 1 0 612 40 0 0 25 0 11 0 778832024 871759872 22828 4294967295 134512640 134569956 3221224384 3221214648 1131202566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212832 22828 13086 16 0 212816 0
vsize: 851328
[startup+20.0003 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18133 3 1 0 1452 40 0 0 25 0 11 0 778832024 871616512 23240 4294967295 134512640 134569956 3221224384 3221214568 1131202317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 23240 13086 16 0 212781 0
vsize: 851188
[startup+30.0035 s]
Raw data (loadavg): 1.15 1.03 1.00 2/64 10858
Raw data (stat): 10844 (java) S 10843 1269 1268 0 -1 0 18133 3 1 0 2414 40 0 0 25 0 11 0 778832024 871616512 23427 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 23427 13086 16 0 212781 0
vsize: 851188
[startup+40.0031 s]
Raw data (loadavg): 1.12 1.03 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18133 3 1 0 3369 40 0 0 25 0 11 0 778832024 871616512 23592 4294967295 134512640 134569956 3221224384 3221214568 1131202549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 23592 13086 16 0 212781 0
vsize: 851188
[startup+50.0053 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18133 3 1 0 4324 41 0 0 25 0 11 0 778832024 871616512 23885 4294967295 134512640 134569956 3221224384 3221214848 1131196761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 23885 13086 16 0 212781 0
vsize: 851188
[startup+60.0085 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 10858
Raw data (stat): 10844 (java) S 10843 1269 1268 0 -1 0 18133 3 1 0 5299 41 0 0 25 0 11 0 778832024 871616512 23988 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 23988 13086 16 0 212781 0
vsize: 851188
[startup+70.0091 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 6278 41 0 0 25 0 11 0 778832024 871616512 24076 4294967295 134512640 134569956 3221224384 3221214672 1131516920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24076 13086 16 0 212781 0
vsize: 851188
[startup+80.0104 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 7257 41 0 0 24 0 11 0 778832024 871616512 24152 4294967295 134512640 134569956 3221224384 3221214568 1131202686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24152 13086 16 0 212781 0
vsize: 851188
[startup+90.0104 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 8241 41 0 0 24 0 11 0 778832024 871616512 24211 4294967295 134512640 134569956 3221224384 3221214568 1131202902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24211 13086 16 0 212781 0
vsize: 851188
[startup+100.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 9225 41 0 0 25 0 11 0 778832024 871616512 24252 4294967295 134512640 134569956 3221224384 3221214208 1131544504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24252 13086 16 0 212781 0
vsize: 851188
[startup+110.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 10205 41 0 0 25 0 11 0 778832024 871616512 24287 4294967295 134512640 134569956 3221224384 3221214568 1131202566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24287 13086 16 0 212781 0
vsize: 851188
[startup+120.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 11185 41 0 0 25 0 11 0 778832024 871616512 24325 4294967295 134512640 134569956 3221224384 3221214672 1131520606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24325 13086 16 0 212781 0
vsize: 851188
[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 12169 42 0 0 25 0 11 0 778832024 871616512 24406 4294967295 134512640 134569956 3221224384 3221214280 1130899585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24406 13086 16 0 212781 0
vsize: 851188
[startup+140.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 13156 42 0 0 25 0 11 0 778832024 871616512 24430 4294967295 134512640 134569956 3221224384 3221214200 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24430 13086 16 0 212781 0
vsize: 851188
[startup+150.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 14139 42 0 0 25 0 11 0 778832024 871616512 24467 4294967295 134512640 134569956 3221224384 3221214568 1131202592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24467 13086 16 0 212781 0
vsize: 851188
[startup+160.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 15122 42 0 0 25 0 11 0 778832024 871616512 24497 4294967295 134512640 134569956 3221224384 3221214672 1131520649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24497 13086 16 0 212781 0
vsize: 851188
[startup+170.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 16104 42 0 0 25 0 11 0 778832024 871616512 24526 4294967295 134512640 134569956 3221224384 3221214672 1131516748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24526 13086 16 0 212781 0
vsize: 851188
[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10858
Raw data (stat): 10844 (java) S 10843 1269 1268 0 -1 0 18134 3 1 0 17084 43 0 0 25 0 11 0 778832024 871616512 24552 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24552 13086 16 0 212781 0
vsize: 851188
[startup+190.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 18065 43 0 0 25 0 11 0 778832024 871616512 24633 4294967295 134512640 134569956 3221224384 3221214568 1131202646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24633 13086 16 0 212781 0
vsize: 851188
[startup+200.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 19048 43 0 0 25 0 11 0 778832024 871616512 24667 4294967295 134512640 134569956 3221224384 3221214848 1131196761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24667 13086 16 0 212781 0
vsize: 851188
[startup+210.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 20030 43 0 0 25 0 11 0 778832024 871616512 24708 4294967295 134512640 134569956 3221224384 3221214568 1131202629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24708 13086 16 0 212781 0
vsize: 851188
[startup+220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 21012 43 0 0 25 0 11 0 778832024 871616512 24762 4294967295 134512640 134569956 3221224384 3221214568 1131202290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24762 13086 16 0 212781 0
vsize: 851188
[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 21991 44 0 0 25 0 11 0 778832024 871616512 24793 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 24793 13086 16 0 212781 0
vsize: 851188
[startup+240.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 22971 44 0 0 25 0 11 0 778832024 871616512 24818 4294967295 134512640 134569956 3221224384 3221214672 1131517001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 24818 13086 16 0 212781 0
vsize: 851188
[startup+250.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 23949 44 0 0 25 0 11 0 778832024 871616512 24893 4294967295 134512640 134569956 3221224384 3221214568 1131203555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 24893 13086 16 0 212781 0
vsize: 851188
[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 24932 44 0 0 25 0 11 0 778832024 871616512 24952 4294967295 134512640 134569956 3221224384 3221214672 1131516920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 24952 13086 16 0 212781 0
vsize: 851188
[startup+270.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 25912 44 0 0 25 0 11 0 778832024 871616512 24985 4294967295 134512640 134569956 3221224384 3221214568 1131202286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 24985 13086 16 0 212781 0
vsize: 851188
[startup+280.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 26894 45 0 0 25 0 11 0 778832024 871616512 25013 4294967295 134512640 134569956 3221224384 3221214672 1131520481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25013 13086 16 0 212781 0
vsize: 851188
[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 27877 45 0 0 24 0 11 0 778832024 871616512 25082 4294967295 134512640 134569956 3221224384 3221214568 1131203472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25082 13086 16 0 212781 0
vsize: 851188
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 28864 45 0 0 25 0 11 0 778832024 871616512 25113 4294967295 134512640 134569956 3221224384 3221214332 1131543204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25113 13086 16 0 212781 0
vsize: 851188
[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 29850 45 0 0 25 0 11 0 778832024 871616512 25135 4294967295 134512640 134569956 3221224384 3221214672 1131515862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25135 13086 16 0 212781 0
vsize: 851188
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 30835 45 0 0 25 0 11 0 778832024 871616512 25152 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25152 13086 16 0 212781 0
vsize: 851188
[startup+330.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 31818 46 0 0 25 0 11 0 778832024 871616512 25189 4294967295 134512640 134569956 3221224384 3221214672 1131516839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25189 13086 16 0 212781 0
vsize: 851188
[startup+340.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 32802 46 0 0 25 0 11 0 778832024 871616512 25214 4294967295 134512640 134569956 3221224384 3221214568 1131202816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25214 13086 16 0 212781 0
vsize: 851188
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 33780 46 0 0 24 0 11 0 778832024 871616512 25229 4294967295 134512640 134569956 3221224384 3221214568 1131202627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25229 13086 16 0 212781 0
vsize: 851188
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 34759 47 0 0 25 0 11 0 778832024 871616512 25290 4294967295 134512640 134569956 3221224384 3221214672 1131515751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25290 13086 16 0 212781 0
vsize: 851188
[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 35741 47 0 0 25 0 11 0 778832024 871616512 25339 4294967295 134512640 134569956 3221224384 3221214568 1131203406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25339 13086 16 0 212781 0
vsize: 851188
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 36728 47 0 0 25 0 11 0 778832024 871616512 25390 4294967295 134512640 134569956 3221224384 3221214480 1131231671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25390 13086 16 0 212781 0
vsize: 851188
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 37714 48 0 0 24 0 11 0 778832024 871616512 25403 4294967295 134512640 134569956 3221224384 3221214568 1131203454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25403 13086 16 0 212781 0
vsize: 851188
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 38701 48 0 0 25 0 11 0 778832024 871616512 25428 4294967295 134512640 134569956 3221224384 3221214568 1131202303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25428 13086 16 0 212781 0
vsize: 851188
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 39687 48 0 0 25 0 11 0 778832024 871616512 25448 4294967295 134512640 134569956 3221224384 3221214848 1131196763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25448 13086 16 0 212781 0
vsize: 851188
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 40673 49 0 0 25 0 11 0 778832024 871616512 25474 4294967295 134512640 134569956 3221224384 3221214568 1131202563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25474 13086 16 0 212781 0
vsize: 851188
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 41660 49 0 0 25 0 11 0 778832024 871616512 25491 4294967295 134512640 134569956 3221224384 3221214568 1131202549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25491 13086 16 0 212781 0
vsize: 851188
[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 42648 49 0 0 25 0 11 0 778832024 871616512 25511 4294967295 134512640 134569956 3221224384 3221214672 1131515751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25511 13086 16 0 212781 0
vsize: 851188
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 43632 49 0 0 25 0 11 0 778832024 871616512 25525 4294967295 134512640 134569956 3221224384 3221214672 1131520649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25525 13086 16 0 212781 0
vsize: 851188
[startup+460.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 44614 49 0 0 24 0 11 0 778832024 871616512 25541 4294967295 134512640 134569956 3221224384 3221214672 1131520578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25541 13086 16 0 212781 0
vsize: 851188
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 45597 49 0 0 25 0 11 0 778832024 871616512 25573 4294967295 134512640 134569956 3221224384 3221214568 1131202812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25573 13086 16 0 212781 0
vsize: 851188
[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 46579 50 0 0 25 0 11 0 778832024 871616512 25613 4294967295 134512640 134569956 3221224384 3221214568 1131203151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25613 13086 16 0 212781 0
vsize: 851188
[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 47559 50 0 0 24 0 11 0 778832024 871616512 25654 4294967295 134512640 134569956 3221224384 3221214672 1131515751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25654 13086 16 0 212781 0
vsize: 851188
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 48543 50 0 0 24 0 11 0 778832024 871616512 25683 4294967295 134512640 134569956 3221224384 3221214568 1131202563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25683 13086 16 0 212781 0
vsize: 851188
[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 49527 50 0 0 25 0 11 0 778832024 871616512 25725 4294967295 134512640 134569956 3221224384 3221214568 1131203389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25725 13086 16 0 212781 0
vsize: 851188
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 50512 51 0 0 25 0 11 0 778832024 871616512 25753 4294967295 134512640 134569956 3221224384 3221214672 1131517830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25753 13086 16 0 212781 0
vsize: 851188
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 51496 51 0 0 25 0 11 0 778832024 871616512 25768 4294967295 134512640 134569956 3221224384 3221214672 1131517750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25768 13086 16 0 212781 0
vsize: 851188
[startup+540.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 52479 51 0 0 25 0 11 0 778832024 871616512 25795 4294967295 134512640 134569956 3221224384 3221214568 1131203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25795 13086 16 0 212781 0
vsize: 851188
[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 53463 51 0 0 25 0 11 0 778832024 871616512 25835 4294967295 134512640 134569956 3221224384 3221214568 1131203519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25835 13086 16 0 212781 0
vsize: 851188
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 54445 52 0 0 25 0 11 0 778832024 871616512 25859 4294967295 134512640 134569956 3221224384 3221214568 1131202711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25859 13086 16 0 212781 0
vsize: 851188
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 55428 52 0 0 25 0 11 0 778832024 871616512 25886 4294967295 134512640 134569956 3221224384 3221214400 1131544504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25886 13086 16 0 212781 0
vsize: 851188
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 56410 52 0 0 25 0 11 0 778832024 871616512 25915 4294967295 134512640 134569956 3221224384 3221214568 1131203419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25915 13086 16 0 212781 0
vsize: 851188
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 57394 53 0 0 25 0 11 0 778832024 871616512 25955 4294967295 134512640 134569956 3221224384 3221214568 1131203104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 25955 13086 16 0 212781 0
vsize: 851188
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 58381 53 0 0 22 0 11 0 778832024 871616512 25984 4294967295 134512640 134569956 3221224384 3221214568 1131202848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 25984 13086 16 0 212781 0
vsize: 851188
[startup+610.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 59368 54 0 0 25 0 11 0 778832024 871616512 26003 4294967295 134512640 134569956 3221224384 3221214584 1131218976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26003 13086 16 0 212781 0
vsize: 851188
[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 60356 54 0 0 25 0 11 0 778832024 871616512 26015 4294967295 134512640 134569956 3221224384 3221214672 1131516748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26015 13086 16 0 212781 0
vsize: 851188
[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 61344 54 0 0 25 0 11 0 778832024 871616512 26029 4294967295 134512640 134569956 3221224384 3221214568 1131202775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26029 13086 16 0 212781 0
vsize: 851188
[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 62332 54 0 0 25 0 11 0 778832024 871616512 26035 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26035 13086 16 0 212781 0
vsize: 851188
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 63318 54 0 0 25 0 11 0 778832024 871616512 26053 4294967295 134512640 134569956 3221224384 3221214480 1131231643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26053 13086 16 0 212781 0
vsize: 851188
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 64303 55 0 0 25 0 11 0 778832024 871616512 26073 4294967295 134512640 134569956 3221224384 3221214568 1131202808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26073 13086 16 0 212781 0
vsize: 851188
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 65289 55 0 0 25 0 11 0 778832024 871616512 26087 4294967295 134512640 134569956 3221224384 3221214672 1131516997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26087 13086 16 0 212781 0
vsize: 851188
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 66276 55 0 0 25 0 11 0 778832024 871616512 26107 4294967295 134512640 134569956 3221224384 3221214568 1131203126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26107 13086 16 0 212781 0
vsize: 851188
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 67263 55 0 0 25 0 11 0 778832024 871616512 26126 4294967295 134512640 134569956 3221224384 3221214568 1131202943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26126 13086 16 0 212781 0
vsize: 851188
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 68249 55 0 0 25 0 11 0 778832024 871616512 26143 4294967295 134512640 134569956 3221224384 3221214472 1131365403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26143 13086 16 0 212781 0
vsize: 851188
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 69236 56 0 0 25 0 11 0 778832024 871616512 26162 4294967295 134512640 134569956 3221224384 3221214568 1131202386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26162 13086 16 0 212781 0
vsize: 851188
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 70222 56 0 0 25 0 11 0 778832024 871616512 26181 4294967295 134512640 134569956 3221224384 3221214568 1131202904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26181 13086 16 0 212781 0
vsize: 851188
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 71207 56 0 0 25 0 11 0 778832024 871616512 26195 4294967295 134512640 134569956 3221224384 3221214568 1131202686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26195 13086 16 0 212781 0
vsize: 851188
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 72194 56 0 0 25 0 11 0 778832024 871616512 26217 4294967295 134512640 134569956 3221224384 3221214672 1131515783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26217 13086 16 0 212781 0
vsize: 851188
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 73177 57 0 0 25 0 11 0 778832024 871616512 26233 4294967295 134512640 134569956 3221224384 3221214672 1131516985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26233 13086 16 0 212781 0
vsize: 851188
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 74161 57 0 0 25 0 11 0 778832024 871616512 26259 4294967295 134512640 134569956 3221224384 3221214568 1131202592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26259 13086 16 0 212781 0
vsize: 851188
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 75145 57 0 0 25 0 11 0 778832024 871616512 26277 4294967295 134512640 134569956 3221224384 3221214672 1131515589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26277 13086 16 0 212781 0
vsize: 851188
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 76129 57 0 0 24 0 11 0 778832024 871616512 26327 4294967295 134512640 134569956 3221224384 3221214528 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26327 13086 16 0 212781 0
vsize: 851188
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 77116 57 0 0 24 0 11 0 778832024 871616512 26342 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26342 13086 16 0 212781 0
vsize: 851188
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 78101 58 0 0 25 0 11 0 778832024 871616512 26352 4294967295 134512640 134569956 3221224384 3221214672 1131515751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26352 13086 16 0 212781 0
vsize: 851188
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 79087 58 0 0 25 0 11 0 778832024 871616512 26367 4294967295 134512640 134569956 3221224384 3221214672 1131515783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26367 13086 16 0 212781 0
vsize: 851188
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 80073 58 0 0 25 0 11 0 778832024 871616512 26386 4294967295 134512640 134569956 3221224384 3221214568 1131203151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26386 13086 16 0 212781 0
vsize: 851188
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 81060 58 0 0 25 0 11 0 778832024 871616512 26407 4294967295 134512640 134569956 3221224384 3221214568 1131203108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26407 13086 16 0 212781 0
vsize: 851188
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 82046 58 0 0 25 0 11 0 778832024 871616512 26426 4294967295 134512640 134569956 3221224384 3221214672 1131516900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26426 13086 16 0 212781 0
vsize: 851188
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 83032 58 0 0 25 0 11 0 778832024 871616512 26433 4294967295 134512640 134569956 3221224384 3221214568 1131203139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26433 13086 16 0 212781 0
vsize: 851188
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 84018 58 0 0 25 0 11 0 778832024 871616512 26442 4294967295 134512640 134569956 3221224384 3221214568 1131202629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26442 13086 16 0 212781 0
vsize: 851188
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 85005 59 0 0 25 0 11 0 778832024 871616512 26481 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26481 13086 16 0 212781 0
vsize: 851188
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 85993 59 0 0 25 0 11 0 778832024 871616512 26489 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26489 13086 16 0 212781 0
vsize: 851188
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 86982 59 0 0 25 0 11 0 778832024 871616512 26497 4294967295 134512640 134569956 3221224384 3221214568 1131202757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26497 13086 16 0 212781 0
vsize: 851188
[startup+900.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 87969 59 0 0 24 0 11 0 778832024 871616512 26512 4294967295 134512640 134569956 3221224384 3221214568 1131202218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26512 13086 16 0 212781 0
vsize: 851188
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 88958 59 0 0 25 0 11 0 778832024 871616512 26521 4294967295 134512640 134569956 3221224384 3221214672 1131516985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26521 13086 16 0 212781 0
vsize: 851188
[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 89946 59 0 0 25 0 11 0 778832024 871616512 26529 4294967295 134512640 134569956 3221224384 3221214568 1131202798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26529 13086 16 0 212781 0
vsize: 851188
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 90933 59 0 0 24 0 11 0 778832024 871616512 26539 4294967295 134512640 134569956 3221224384 3221214568 1131202286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26539 13086 16 0 212781 0
vsize: 851188
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 91921 59 0 0 24 0 11 0 778832024 871616512 26550 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26550 13086 16 0 212781 0
vsize: 851188
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 92909 60 0 0 24 0 11 0 778832024 871616512 26563 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26563 13086 16 0 212781 0
vsize: 851188
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 93897 60 0 0 25 0 11 0 778832024 871616512 26567 4294967295 134512640 134569956 3221224384 3221214672 1131516927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26567 13086 16 0 212781 0
vsize: 851188
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 94885 60 0 0 25 0 11 0 778832024 871616512 26575 4294967295 134512640 134569956 3221224384 3221214672 1131520493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26575 13086 16 0 212781 0
vsize: 851188
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 95871 60 0 0 25 0 11 0 778832024 871616512 26587 4294967295 134512640 134569956 3221224384 3221214672 1131515783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26587 13086 16 0 212781 0
vsize: 851188
[startup+990.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 96857 60 0 0 25 0 11 0 778832024 871616512 26592 4294967295 134512640 134569956 3221224384 3221214848 1131196761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26592 13086 16 0 212781 0
vsize: 851188
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 97840 60 0 0 24 0 11 0 778832024 871616512 26611 4294967295 134512640 134569956 3221224384 3221214568 1131203086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26611 13086 16 0 212781 0
vsize: 851188
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 98828 60 0 0 25 0 11 0 778832024 871616512 26642 4294967295 134512640 134569956 3221224384 3221214568 1131202578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26642 13086 16 0 212781 0
vsize: 851188
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 99813 60 0 0 25 0 11 0 778832024 871616512 26652 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26652 13086 16 0 212781 0
vsize: 851188
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 100799 61 0 0 25 0 11 0 778832024 871616512 26673 4294967295 134512640 134569956 3221224384 3221214568 1131202566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26673 13086 16 0 212781 0
vsize: 851188
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 101785 61 0 0 25 0 11 0 778832024 871616512 26681 4294967295 134512640 134569956 3221224384 3221214568 1131202785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26681 13086 16 0 212781 0
vsize: 851188
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 102771 61 0 0 25 0 11 0 778832024 871616512 26696 4294967295 134512640 134569956 3221224384 3221214568 1131202297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26696 13086 16 0 212781 0
vsize: 851188
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 103759 61 0 0 25 0 11 0 778832024 871616512 26713 4294967295 134512640 134569956 3221224384 3221214568 1131202824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26713 13086 16 0 212781 0
vsize: 851188
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 104745 62 0 0 25 0 11 0 778832024 871616512 26723 4294967295 134512640 134569956 3221224384 3221214568 1131202229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26723 13086 16 0 212781 0
vsize: 851188
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 105733 62 0 0 25 0 11 0 778832024 871616512 26731 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26731 13086 16 0 212781 0
vsize: 851188
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 106721 63 0 0 25 0 11 0 778832024 871616512 26739 4294967295 134512640 134569956 3221224384 3221214568 1131202209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26739 13086 16 0 212781 0
vsize: 851188
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 107707 63 0 0 25 0 11 0 778832024 871616512 26744 4294967295 134512640 134569956 3221224384 3221214672 1131516930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26744 13086 16 0 212781 0
vsize: 851188
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 108692 63 0 0 25 0 11 0 778832024 871616512 26753 4294967295 134512640 134569956 3221224384 3221214568 1131231987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26753 13086 16 0 212781 0
vsize: 851188
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 109677 64 0 0 25 0 11 0 778832024 871616512 26767 4294967295 134512640 134569956 3221224384 3221214568 1131202820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26767 13086 16 0 212781 0
vsize: 851188
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 110664 64 0 0 24 0 11 0 778832024 871616512 26795 4294967295 134512640 134569956 3221224384 3221214568 1131203485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26795 13086 16 0 212781 0
vsize: 851188
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 111651 65 0 0 25 0 11 0 778832024 871616512 26799 4294967295 134512640 134569956 3221224384 3221214568 1131202629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26799 13086 16 0 212781 0
vsize: 851188
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 112636 65 0 0 25 0 11 0 778832024 871616512 26807 4294967295 134512640 134569956 3221224384 3221214568 1131203479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26807 13086 16 0 212781 0
vsize: 851188
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 113621 65 0 0 25 0 11 0 778832024 871616512 26822 4294967295 134512640 134569956 3221224384 3221214672 1131516900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26822 13086 16 0 212781 0
vsize: 851188
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 114606 66 0 0 25 0 11 0 778832024 871616512 26854 4294967295 134512640 134569956 3221224384 3221214568 1131203498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212797 26854 13086 16 0 212781 0
vsize: 851188
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 115593 66 0 0 24 0 11 0 778832024 871616512 26861 4294967295 134512640 134569956 3221224384 3221214672 1131515847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26861 13086 16 0 212781 0
vsize: 851188
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 116580 66 0 0 25 0 11 0 778832024 871616512 26867 4294967295 134512640 134569956 3221224384 3221214568 1131202824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26867 13086 16 0 212781 0
vsize: 851188
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 117567 67 0 0 25 0 11 0 778832024 871616512 26877 4294967295 134512640 134569956 3221224384 3221214568 1131203472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26877 13086 16 0 212781 0
vsize: 851188
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 118553 67 0 0 25 0 11 0 778832024 871616512 26888 4294967295 134512640 134569956 3221224384 3221214672 1131515751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26888 13086 16 0 212781 0
vsize: 851188
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 119540 67 0 0 25 0 11 0 778832024 871616512 26895 4294967295 134512640 134569956 3221224384 3221214568 1131202655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26895 13086 16 0 212781 0
vsize: 851188
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10858
Raw data (stat): 10844 (java) R 10843 1269 1268 0 -1 0 18134 3 1 0 120526 68 0 0 25 0 11 0 778832024 871616512 26910 4294967295 134512640 134569956 3221224384 3221214568 1131202297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212797 26910 13086 16 0 212781 0
vsize: 851188
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10860
Raw data (stat): 10844 (java) Z 10843 1269 1268 0 -1 1036 18134 4250 1 0 120532 68 1896 22 25 0 1 0 778832024 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): 1230.19
CPU time (s): 1225.2
CPU user time (s): 1224.28
CPU system time (s): 0.911861
CPU usage (%): 99.594
Max. virtual memory (Kb): 851328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1555
#### END VERIFIER DATA ####