Trace number 4081444

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)23 1800.62 895.275

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark101.732
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
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 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4081444-1465247952.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  objective function found
1.71/0.70	c ... done. Wall clock time 0.595s.
1.71/0.70	c declared #vars     8901
1.71/0.70	c #constraints  32298
1.71/0.70	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.71/0.70	c constraints type 
1.71/0.70	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099
1.71/0.70	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1.71/0.70	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193
1.71/0.70	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1.71/0.70	c 32298 constraints processed.
1.71/0.70	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.71/0.70	c constraints type 
1.71/0.70	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193
1.71/0.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099
1.71/0.70	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.71/0.70	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.71/0.70	c 32298 constraints processed.
1.71/0.70	c objective function length is 790 literals
2.09/0.85	c And the winner is solver0
2.91/1.21	c SATISFIABLE
2.91/1.21	c OPTIMIZING...
2.91/1.21	c Got one! Elapsed wall clock time (in seconds):1.104
2.91/1.21	o 27
2.91/1.23	c And the winner is solver0
3.10/1.72	c Got one! Elapsed wall clock time (in seconds):1.611
3.10/1.72	o 26
10.31/4.71	c cleaning 2505 clauses out of 5010 with flag 54362/5010
17.85/8.31	c cleaning 4249 clauses out of 8505 with flag 115072/11010
18.73/8.80	c And the winner is solver1
18.98/9.22	c Got one! Elapsed wall clock time (in seconds):9.118
18.98/9.22	o 25
25.00/12.25	c cleaning 5018 clauses out of 10040 with flag 42337/16794
32.29/15.89	c cleaning 5504 clauses out of 11022 with flag 115430/22794
39.78/19.57	c cleaning 6220 clauses out of 12518 with flag 205791/29794
48.78/24.02	c cleaning 7145 clauses out of 14299 with flag 319492/37795
58.93/29.07	c cleaning 8068 clauses out of 16153 with flag 423476/46794
68.48/33.74	c cleaning 8982 clauses out of 18085 with flag 532659/56794
79.09/39.01	c cleaning 10015 clauses out of 20103 with flag 664719/67794
82.51/40.78	c And the winner is solver1
82.68/41.23	c Got one! Elapsed wall clock time (in seconds):41.129
82.68/41.23	o 24
85.20/42.59	c cleaning 7808 clauses out of 15617 with flag 16521/73323
92.45/46.08	c cleaning 6900 clauses out of 13809 with flag 57865/79323
100.64/50.16	c cleaning 6953 clauses out of 13909 with flag 116287/86323
110.86/55.12	c cleaning 7478 clauses out of 14956 with flag 192340/94323
121.83/60.60	c cleaning 8239 clauses out of 16480 with flag 307215/103325
133.61/66.41	c cleaning 9096 clauses out of 18239 with flag 381662/113323
145.74/72.44	c cleaning 10004 clauses out of 20143 with flag 506088/124323
159.55/79.37	c cleaning 11016 clauses out of 22139 with flag 676528/136323
173.54/86.34	c cleaning 12060 clauses out of 24123 with flag 809873/149323
189.60/94.27	c cleaning 13013 clauses out of 26063 with flag 945008/163323
205.42/102.16	c cleaning 13973 clauses out of 28050 with flag 1093360/178323
222.02/110.46	c cleaning 15012 clauses out of 30077 with flag 1280531/194323
241.51/120.16	c cleaning 16024 clauses out of 32065 with flag 1478025/211323
263.79/131.57	c cleaning 16995 clauses out of 34041 with flag 1685902/229323
284.18/141.75	c cleaning 18016 clauses out of 36047 with flag 1951588/248324
304.99/152.19	c cleaning 18953 clauses out of 38030 with flag 2189743/268323
329.75/164.35	c cleaning 20030 clauses out of 40077 with flag 2449126/289323
344.95/171.92	c And the winner is solver1
345.05/172.13	c Got one! Elapsed wall clock time (in seconds):172.03
345.05/172.13	o 23
353.56/176.29	c cleaning 19948 clauses out of 40011 with flag 45697/309287
361.15/180.06	c cleaning 13027 clauses out of 26063 with flag 99779/315287
369.96/184.49	c cleaning 9993 clauses out of 20036 with flag 163103/322287
379.57/189.23	c cleaning 9016 clauses out of 18044 with flag 214489/330288
390.40/195.21	c cleaning 8999 clauses out of 18027 with flag 321059/339287
402.40/201.24	c cleaning 9493 clauses out of 19029 with flag 430758/349288
415.59/207.81	c cleaning 10239 clauses out of 20535 with flag 543631/360287
428.79/214.47	c cleaning 11122 clauses out of 22296 with flag 651959/372287
444.52/222.22	c cleaning 12078 clauses out of 24174 with flag 796691/385287
460.91/230.49	c cleaning 12998 clauses out of 26096 with flag 963252/399287
478.93/239.34	c cleaning 14012 clauses out of 28098 with flag 1141729/414287
499.74/249.77	c cleaning 15024 clauses out of 30086 with flag 1321823/430287
520.19/259.85	c cleaning 16019 clauses out of 32062 with flag 1476924/447287
540.19/269.86	c cleaning 16988 clauses out of 34043 with flag 1689961/465287
562.50/280.88	c cleaning 17990 clauses out of 36055 with flag 1861347/484287
584.89/292.00	c cleaning 18984 clauses out of 38065 with flag 2046311/504287
609.58/304.24	c cleaning 20041 clauses out of 40081 with flag 2262901/525287
635.18/317.00	c cleaning 20921 clauses out of 42040 with flag 2508342/547287
664.91/331.69	c cleaning 22055 clauses out of 44119 with flag 2765370/570287
693.43/345.89	c cleaning 22988 clauses out of 46064 with flag 3022189/594287
720.73/359.36	c cleaning 23941 clauses out of 48076 with flag 3303975/619287
746.87/372.24	c cleaning 25007 clauses out of 50136 with flag 3594652/645288
770.28/383.98	c cleaning 26043 clauses out of 52128 with flag 3916384/672287
805.65/401.11	c cleaning 27039 clauses out of 54085 with flag 4159642/700287
829.06/412.83	c cleaning 0 clauses out of 6091 with flag 0/6091
843.12/419.51	c cleaning 28008 clauses out of 56046 with flag 4387462/729287
882.17/438.86	c cleaning 28937 clauses out of 58038 with flag 4689205/759287
920.23/457.66	c cleaning 30043 clauses out of 60101 with flag 5045361/790287
958.52/476.52	c cleaning 30940 clauses out of 62058 with flag 5356206/822287
999.99/496.72	c cleaning 32024 clauses out of 64118 with flag 5686407/855287
1040.32/516.60	c cleaning 32962 clauses out of 66094 with flag 6015407/889287
1089.02/541.89	c cleaning 33946 clauses out of 68132 with flag 6425216/924287
1133.98/564.14	c cleaning 35087 clauses out of 70187 with flag 6826265/960288
1178.29/585.80	c cleaning 35970 clauses out of 72099 with flag 7225964/997287
1223.06/607.87	c cleaning 36800 clauses out of 74129 with flag 7727574/1035287
1266.98/629.60	c cleaning 38156 clauses out of 76331 with flag 8266945/1074289
1315.32/655.76	c cleaning 39051 clauses out of 78173 with flag 8761131/1114287
1360.17/678.04	c cleaning 39921 clauses out of 80122 with flag 9286683/1155287
1405.69/700.64	c cleaning 40994 clauses out of 82201 with flag 9797542/1197287
1452.47/723.81	c cleaning 42014 clauses out of 84207 with flag 10394872/1240287
1500.57/747.68	c cleaning 43034 clauses out of 86193 with flag 10952996/1284287
1554.02/774.00	c cleaning 43979 clauses out of 88159 with flag 11531699/1329287
1605.79/799.71	c cleaning 45006 clauses out of 90180 with flag 12160034/1375287
1658.39/825.65	c cleaning 45944 clauses out of 92174 with flag 12896167/1422287
1718.29/855.18	c cleaning 47086 clauses out of 94230 with flag 13449114/1470287
1778.87/884.94	c cleaning 48024 clauses out of 96144 with flag 13995577/1519287
1800.03/895.20	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.03/895.20	c starts		: 573
1800.03/895.20	c conflicts		: 1536348
1800.03/895.20	c decisions		: 42922763
1800.03/895.20	c propagations		: 1971899572
1800.03/895.20	c inspects		: 6988910460
1800.03/895.20	c shortcuts		: 0
1800.03/895.20	c learnt literals	: 0
1800.03/895.20	c learnt binary clauses	: 3
1800.03/895.20	c learnt ternary clauses	: 8
1800.03/895.20	c learnt constraints	: 1536348
1800.03/895.20	c ignored constraints	: 0
1800.03/895.20	c root simplifications	: 0
1800.03/895.20	c removed literals (reason simplification)	: 16619637
1800.03/895.20	c reason swapping (by a shorter reason)	: 0
1800.03/895.20	c Calls to reduceDB	: 71
1800.03/895.20	c Number of update (reduction) of LBD	: 1153502
1800.03/895.20	c Imported unit clauses	: 0
1800.03/895.20	c number of reductions to clauses (during analyze)	: 0
1800.03/895.20	c number of learned constraints concerned by reduction	: 0
1800.03/895.20	c number of learning phase by resolution	: 0
1800.03/895.20	c number of learning phase by cutting planes	: 0
1800.03/895.20	c speed (assignments/second)	: 2727140.121565834
1800.03/895.20	c non guided choices	0
1800.03/895.23	c learnt constraints type 
1800.03/895.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.03/895.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65178
1800.03/895.23	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.03/895.23	c starts		: 39
1800.03/895.23	c conflicts		: 10353
1800.03/895.23	c decisions		: 93941
1800.03/895.23	c propagations		: 1327780
1800.03/895.23	c inspects		: 398488314
1800.03/895.23	c shortcuts		: 0
1800.03/895.23	c learnt literals	: 0
1800.03/895.23	c learnt binary clauses	: 0
1800.03/895.23	c learnt ternary clauses	: 0
1800.03/895.23	c learnt constraints	: 10353
1800.03/895.23	c ignored constraints	: 0
1800.03/895.23	c root simplifications	: 0
1800.03/895.23	c removed literals (reason simplification)	: 0
1800.03/895.23	c reason swapping (by a shorter reason)	: 0
1800.03/895.23	c Calls to reduceDB	: 1
1800.03/895.23	c Number of update (reduction) of LBD	: 0
1800.03/895.23	c Imported unit clauses	: 0
1800.03/895.23	c number of reductions to clauses (during analyze)	: 0
1800.03/895.23	c number of learned constraints concerned by reduction	: 0
1800.03/895.23	c number of learning phase by resolution	: 0
1800.03/895.23	c number of learning phase by cutting planes	: 0
1800.03/895.23	c speed (assignments/second)	: 1486.0303433209326
1800.03/895.23	c non guided choices	0
1800.03/895.23	c learnt constraints type 
1800.03/895.23	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 116
1800.03/895.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 19
1800.03/895.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10218
1800.03/895.23	s SATISFIABLE
1800.03/895.23	c Found 5 solution(s)
1800.03/895.24	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 -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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 x3280 -x3281 x3282 -x3283 -x3284 x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 x3362 -x3363 -x3364 x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 x3501 -x3502 -x3503 -x3504 x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 x5530 -x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 x6345 -x6346 -x6347 -x6348 x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 x6386 -x6387 -x6388 -x6389 x6390 x6391 x6392 x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 x6407 -x6408 -x6409 x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 x6443 -x6444 -x6445 x6446 x6447 -x6448 x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 x6519 -x6520 -x6521 x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 x7956 -x7957 -x7958 x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 x8146 x8147 x8148 -x8149 -x8150 x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 x8230 -x8231 x8232 -x8233 x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 x8355 x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 x8610 -x8611 x8612 -x8613 -x8614 x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 x8673 -x8674 x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 x8730 -x8731 x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 x8790 -x8791 x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 x8810 -x8811 x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 x8897 -x8898 x8899 -x8900 x8901 
1800.03/895.25	c objective function=23
1800.03/895.25	c Total wall clock time (in seconds): 895.149

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081444-1465247952/watcher-4081444-1465247952 -o /tmp/evaluation-result-4081444-1465247952/solver-4081444-1465247952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081444-1465247952.opb 

pid=20453
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.68 3.84 3.21 4/197 20456
/proc/meminfo: memFree=31450484/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 106728468 98570240 978 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 24065 978 744 9 0 16771 0
[pid=20456/tid=20457] ppid=20453 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) R 20453 20456 20210 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 106728469 98570240 978 33554432000 1073741824 1073778376 140736637928480 140682125766184 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 3.68 3.84 3.21 4/197 20456
/proc/meminfo: memFree=31450484/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 4572 0 1 0 10 1 0 0 20 0 18 0 106728468 9787879424 5687 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2389619 5687 2158 9 0 2380296 0
[pid=20456/tid=20457] ppid=20453 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) R 20453 20456 20210 0 -1 4202560 2439 0 1 0 8 0 0 0 20 0 18 0 106728469 9787879424 5688 33554432000 1073741824 1073778376 140736637928480 140682125770104 140682130059235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200367 s]
/proc/loadavg: 3.68 3.84 3.21 4/197 20456
/proc/meminfo: memFree=31450484/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 5045 0 1 0 27 1 0 0 20 0 18 0 106728468 9787879424 6484 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2389619 6484 2217 9 0 2380296 0
[pid=20456/tid=20457] ppid=20453 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) R 20453 20456 20210 0 -1 4202560 2455 0 1 0 18 0 0 0 20 0 18 0 106728469 9787879424 6484 33554432000 1073741824 1073778376 140736637928480 140682125770104 140681998425319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300355 s]
/proc/loadavg: 3.68 3.84 3.21 4/197 20456
/proc/meminfo: memFree=31450484/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9558924 CPUtime=0.52 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 6863 0 1 0 50 2 0 0 20 0 18 0 106728468 9788338176 9812 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2389619 9700 2233 9 0 2380296 0
[pid=20456/tid=20457] ppid=20453 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) R 20453 20456 20210 0 -1 4202560 2459 0 1 0 28 0 0 0 20 0 18 0 106728469 9787879424 9700 33554432000 1073741824 1073778376 140736637928480 140682125770104 140681998457024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558924

[startup+0.700332 s]
/proc/loadavg: 3.68 3.84 3.21 4/197 20456
/proc/meminfo: memFree=31450484/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9558476 CPUtime=1.71 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 25418 0 1 0 164 7 0 0 20 0 18 0 106728468 9787879424 39441 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2389619 39441 2251 9 0 2380296 0
[pid=20456/tid=20457] ppid=20453 vsize=9558476 CPUtime=0.68 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) R 20453 20456 20210 0 -1 4202560 2501 0 1 0 65 3 0 0 20 0 18 0 106728469 9787879424 39441 33554432000 1073741824 1073778376 140736637928480 140682125770104 140682128550456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9558476

[startup+1.50072 s]
/proc/loadavg: 3.68 3.84 3.21 6/216 20478
/proc/meminfo: memFree=31275652/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 27280 0 1 0 299 11 0 0 20 0 19 0 106728468 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2456183 41552 2270 9 0 2446860 0
[pid=20456/tid=20457] ppid=20453 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) S 20453 20456 20210 0 -1 4202560 2511 0 1 0 67 3 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140682125771640 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20459] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681969814568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20460] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681968761768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20461] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681967708968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20462] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681966656168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20463] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681965603368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20464] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681964550568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20465] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681963497768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20466] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106728469 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681962444968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20467] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20453 20456 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 106728470 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681950034920 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20468] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20453 20456 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106728471 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681948980984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20469] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20469/stat : 20469 (java) S 20453 20456 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106728471 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681947928072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20470] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728473 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681946876560 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20471] ppid=20453 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) S 20453 20456 20210 0 -1 4202560 12336 0 0 0 96 3 0 0 20 0 19 0 106728473 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681945823672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20472] ppid=20453 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20453 20456 20210 0 -1 4202560 11084 0 0 0 98 2 0 0 20 0 19 0 106728473 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681944770872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20473] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728473 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681943718264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20474] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106728473 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681942665672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20477] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20477/stat : 20477 (java) S 20453 20456 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106728541 10060525568 41552 33554432000 1073741824 1073778376 140736637928480 140681939457448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9824732

[startup+3.10092 s]
/proc/loadavg: 3.68 3.84 3.21 5/219 20484
/proc/meminfo: memFree=31148596/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9824732 CPUtime=7.1 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 30296 0 1 0 696 14 0 0 20 0 22 0 106728468 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2456183 54558 2288 9 0 2446860 0
[pid=20456/tid=20457] ppid=20453 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) S 20453 20456 20210 0 -1 4202560 2511 0 1 0 68 3 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140682125771640 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20459] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20453 20456 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681969814568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20460] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681968761768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20461] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681967708968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20462] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20453 20456 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681966656168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20463] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20453 20456 20210 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681965603368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20464] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20453 20456 20210 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681964550568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20465] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681963497768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20466] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681962444968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20467] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20453 20456 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106728470 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681950034920 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20468] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20453 20456 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681948980984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20469] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20469/stat : 20469 (java) S 20453 20456 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681947928072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20470] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681946876560 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20471] ppid=20453 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) S 20453 20456 20210 0 -1 4202560 12399 0 0 0 147 3 0 0 20 0 22 0 106728473 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681945823672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20472] ppid=20453 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20453 20456 20210 0 -1 4202560 13963 0 0 0 169 3 0 0 20 0 22 0 106728473 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681944770872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20473] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681943718264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20474] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681942665672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20477] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20477/stat : 20477 (java) S 20453 20456 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106728541 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681939457448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20482] ppid=20453 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/20456/task/20482/stat : 20482 (java) R 20453 20456 20210 0 -1 4202560 6 0 0 0 133 0 0 0 20 0 22 0 106728640 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681941561208 140681999975038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20483] ppid=20453 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/20456/task/20483/stat : 20483 (java) R 20453 20456 20210 0 -1 4202560 22 0 0 0 132 0 0 0 20 0 22 0 106728641 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681940509656 140681999589870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20484] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20484/stat : 20484 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106728641 10060525568 54558 33554432000 1073741824 1073778376 140736637928480 140681938404904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 3.71 3.84 3.21 5/219 20484
/proc/meminfo: memFree=31059036/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9824732 CPUtime=13.74 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 34892 0 1 0 1355 19 0 0 20 0 22 0 106728468 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2456183 58388 2293 9 0 2446860 0
[pid=20456/tid=20457] ppid=20453 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) S 20453 20456 20210 0 -1 4202560 2511 0 1 0 68 3 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140682125771640 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20459] ppid=20453 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20453 20456 20210 0 -1 4202560 142 0 0 0 2 1 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681969814568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20460] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681968761768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20461] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681967708968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20462] ppid=20453 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20453 20456 20210 0 -1 4202560 133 0 0 0 1 0 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681966656168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20463] ppid=20453 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20453 20456 20210 0 -1 4202560 134 0 0 0 2 1 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681965603368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20464] ppid=20453 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20453 20456 20210 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681964550568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20465] ppid=20453 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20453 20456 20210 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681963497768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20466] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20453 20456 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106728469 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681962444968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20467] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20453 20456 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 106728470 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681950034920 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20468] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20453 20456 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 58388 33554432000 1073741824 1073778376 140736637928480 140681948980984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20469] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7

################
# More data... #
################


[startup+822.301 s]
/proc/loadavg: 4.03 4.07 3.73 5/219 20522
/proc/meminfo: memFree=23477896/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9824732 CPUtime=1651.79 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 50308 0 1 0 164898 281 0 0 20 0 22 0 106728468 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2456183 1029984 2302 9 0 2446860 0
[pid=20456/tid=20457] ppid=20453 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) S 20453 20456 20210 0 -1 4202560 2524 0 1 0 71 5 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140682125771640 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20459] ppid=20453 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20453 20456 20210 0 -1 4202560 1034 0 0 0 442 28 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681969814568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20460] ppid=20453 vsize=9824732 CPUtime=4.13 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20453 20456 20210 0 -1 4202560 581 0 0 0 393 20 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681968761768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20461] ppid=20453 vsize=9824732 CPUtime=3.87 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20453 20456 20210 0 -1 4202560 778 0 0 0 364 23 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681967708968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20462] ppid=20453 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20453 20456 20210 0 -1 4202560 907 0 0 0 447 30 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681966656168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20463] ppid=20453 vsize=9824732 CPUtime=4.54 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20453 20456 20210 0 -1 4202560 808 0 0 0 432 22 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681965603368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20464] ppid=20453 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20453 20456 20210 0 -1 4202560 738 0 0 0 397 26 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681964550568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20465] ppid=20453 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20453 20456 20210 0 -1 4202560 873 0 0 0 435 22 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681963497768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20466] ppid=20453 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20453 20456 20210 0 -1 4202560 579 0 0 0 458 27 0 0 20 0 22 0 106728469 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681962444968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20467] ppid=20453 vsize=9824732 CPUtime=10.01 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20453 20456 20210 0 -1 4202560 3467 0 0 0 992 9 0 0 20 0 22 0 106728470 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681950034920 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20468] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20453 20456 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681948980984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20469] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20469/stat : 20469 (java) S 20453 20456 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681947928072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20470] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681946876560 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20471] ppid=20453 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) S 20453 20456 20210 0 -1 4202560 12438 0 0 0 167 4 0 0 20 0 22 0 106728473 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681945823672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20472] ppid=20453 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20453 20456 20210 0 -1 4202560 22467 0 0 0 278 4 0 0 20 0 22 0 106728473 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681944770872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20473] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681943718264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20474] ppid=20453 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20453 20456 20210 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 22 0 106728473 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681942665672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20484] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20484/stat : 20484 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106728641 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681938404904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20503] ppid=20453 vsize=9824732 CPUtime=633.37 cores=1,3,5,7
/proc/20456/task/20503/stat : 20503 (java) R 20453 20456 20210 0 -1 4202560 19 0 0 0 63326 11 0 0 20 0 22 0 106745682 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681941561376 140681998824397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20504] ppid=20453 vsize=9824732 CPUtime=633.44 cores=1,3,5,7
/proc/20456/task/20504/stat : 20504 (java) R 20453 20456 20210 0 -1 4202560 36 0 0 0 63332 12 0 0 20 0 22 0 106745682 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681940507552 140681999736727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20505] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20505/stat : 20505 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106745682 10060525568 1029984 33554432000 1073741824 1073778376 140736637928480 140681939457448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1651.79
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.04 4.07 3.75 5/219 20523
/proc/meminfo: memFree=23430388/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9824732 CPUtime=1773.69 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 50457 0 1 0 177084 285 0 0 20 0 22 0 106728468 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2456183 1036736 2302 9 0 2446860 0
[pid=20456/tid=20457] ppid=20453 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) S 20453 20456 20210 0 -1 4202560 2524 0 1 0 71 5 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140682125771640 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20459] ppid=20453 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20453 20456 20210 0 -1 4202560 1068 0 0 0 474 28 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681969814568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20460] ppid=20453 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20453 20456 20210 0 -1 4202560 585 0 0 0 437 21 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681968761768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20461] ppid=20453 vsize=9824732 CPUtime=4.36 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20453 20456 20210 0 -1 4202560 804 0 0 0 413 23 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681967708968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20462] ppid=20453 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20453 20456 20210 0 -1 4202560 937 0 0 0 490 30 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681966656168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20463] ppid=20453 vsize=9824732 CPUtime=5.14 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20453 20456 20210 0 -1 4202560 827 0 0 0 492 22 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681965603368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20464] ppid=20453 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20453 20456 20210 0 -1 4202560 740 0 0 0 463 27 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681964550568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20465] ppid=20453 vsize=9824732 CPUtime=5.05 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20453 20456 20210 0 -1 4202560 892 0 0 0 483 22 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681963497768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20466] ppid=20453 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20453 20456 20210 0 -1 4202560 582 0 0 0 499 27 0 0 20 0 22 0 106728469 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681962444968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20467] ppid=20453 vsize=9824732 CPUtime=10.01 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20453 20456 20210 0 -1 4202560 3471 0 0 0 992 9 0 0 20 0 22 0 106728470 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681950034920 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20468] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20453 20456 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681948980984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20469] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20469/stat : 20469 (java) S 20453 20456 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681947928072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20470] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681946876560 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20471] ppid=20453 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) S 20453 20456 20210 0 -1 4202560 12438 0 0 0 167 4 0 0 20 0 22 0 106728473 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681945823672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20472] ppid=20453 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20453 20456 20210 0 -1 4202560 22467 0 0 0 278 4 0 0 20 0 22 0 106728473 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681944770872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20473] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681943718264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20474] ppid=20453 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20453 20456 20210 0 -1 4202560 51 0 0 0 16 20 0 0 20 0 22 0 106728473 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681942665672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20484] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20484/stat : 20484 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106728641 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681938404904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20503] ppid=20453 vsize=9824732 CPUtime=692.37 cores=1,3,5,7
/proc/20456/task/20503/stat : 20503 (java) R 20453 20456 20210 0 -1 4202560 21 0 0 0 69225 12 0 0 20 0 22 0 106745682 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681941561376 140681999500526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20504] ppid=20453 vsize=9824732 CPUtime=692.47 cores=1,3,5,7
/proc/20456/task/20504/stat : 20504 (java) R 20453 20456 20210 0 -1 4202560 38 0 0 0 69234 13 0 0 20 0 22 0 106745682 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681940507552 140681999594244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20505] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20505/stat : 20505 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106745682 10060525568 1036736 33554432000 1073741824 1073778376 140736637928480 140681939457448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1773.69
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.201 s]
/proc/loadavg: 4.10 4.09 3.75 5/219 20598
/proc/meminfo: memFree=27305212/32872528 swapFree=11320/319964
[pid=20456] ppid=20453 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20453 20456 20210 0 -1 4202496 50520 0 1 0 179717 286 0 0 20 0 22 0 106728468 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140736637919616 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20456/statm: 2456183 1038324 2302 9 0 2446860 0
[pid=20456/tid=20457] ppid=20453 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) S 20453 20456 20210 0 -1 4202560 2525 0 1 0 71 5 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140682125771640 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20459] ppid=20453 vsize=9824732 CPUtime=5.13 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20453 20456 20210 0 -1 4202560 1080 0 0 0 485 28 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681969814568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20460] ppid=20453 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20453 20456 20210 0 -1 4202560 598 0 0 0 461 21 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681968761768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20461] ppid=20453 vsize=9824732 CPUtime=4.47 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20453 20456 20210 0 -1 4202560 820 0 0 0 424 23 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681967708968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20462] ppid=20453 vsize=9824732 CPUtime=5.49 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20453 20456 20210 0 -1 4202560 940 0 0 0 519 30 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681966656168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20463] ppid=20453 vsize=9824732 CPUtime=5.19 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20453 20456 20210 0 -1 4202560 837 0 0 0 497 22 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681965603368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20464] ppid=20453 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20453 20456 20210 0 -1 4202560 744 0 0 0 471 27 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681964550568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20465] ppid=20453 vsize=9824732 CPUtime=5.25 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20453 20456 20210 0 -1 4202560 894 0 0 0 503 22 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681963497768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20466] ppid=20453 vsize=9824732 CPUtime=5.32 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20453 20456 20210 0 -1 4202560 584 0 0 0 505 27 0 0 20 0 22 0 106728469 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681962444968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20467] ppid=20453 vsize=9824732 CPUtime=10.01 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20453 20456 20210 0 -1 4202560 3471 0 0 0 992 9 0 0 20 0 22 0 106728470 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681950034920 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20468] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20453 20456 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681948980984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20469] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20469/stat : 20469 (java) S 20453 20456 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106728471 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681947928072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20470] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681946876560 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20471] ppid=20453 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) S 20453 20456 20210 0 -1 4202560 12438 0 0 0 167 4 0 0 20 0 22 0 106728473 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681945823672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20472] ppid=20453 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20453 20456 20210 0 -1 4202560 22467 0 0 0 278 4 0 0 20 0 22 0 106728473 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681944770872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20456/tid=20473] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) S 20453 20456 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106728473 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681943718264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20474] ppid=20453 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20453 20456 20210 0 -1 4202560 51 0 0 0 16 21 0 0 20 0 22 0 106728473 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681942665672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20484] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20484/stat : 20484 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106728641 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681938404904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20456/tid=20503] ppid=20453 vsize=9824732 CPUtime=704.97 cores=1,3,5,7
/proc/20456/task/20503/stat : 20503 (java) R 20453 20456 20210 0 -1 4202560 21 0 0 0 70485 12 0 0 20 0 22 0 106745682 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681941561376 140681999539991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20456/tid=20504] ppid=20453 vsize=9824732 CPUtime=705.06 cores=1,3,5,7
/proc/20456/task/20504/stat : 20504 (java) R 20453 20456 20210 0 -1 4202560 38 0 0 0 70493 13 0 0 20 0 22 0 106745682 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681940507472 140681999420584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20456/tid=20505] ppid=20453 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20505/stat : 20505 (java) S 20453 20456 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106745682 10060525568 1038324 33554432000 1073741824 1073778376 140736637928480 140681939457448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20456 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 895.275
CPU time (s): 1800.62
CPU user time (s): 1797.31
CPU system time (s): 3.3135
CPU usage (%): 201.125
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.31
system time used= 3.3135
maximum resident set size= 4153408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50557
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23151
involuntary context switches= 29085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79212 second user time and 7.35488 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 23:19:12
IDJOB=4081444
IDBENCH=25018
IDSOLVER=2543
FILE ID=node128/4081444-1465247952
RUNJOBID= node128-1465247049-20227
PBS_JOBID= 19843253
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081444-1465247952/watcher-4081444-1465247952 -o /tmp/evaluation-result-4081444-1465247952/solver-4081444-1465247952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081444-1465247952.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1108166886

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31450648 kB
Buffers:           43568 kB
Cached:           103908 kB
SwapCached:         1656 kB
Active:           315140 kB
Inactive:          82900 kB
Active(anon):     252452 kB
Inactive(anon):      528 kB
Active(file):      62688 kB
Inactive(file):    82372 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098468 kB
Dirty:              2984 kB
Writeback:             0 kB
AnonPages:        546216 kB
Mapped:            15492 kB
Shmem:                 0 kB
Slab:             569964 kB
SReclaimable:      13184 kB
SUnreclaim:       556780 kB
KernelStack:        1624 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1143180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node128 at 2016-06-06 23:34:07