Trace number 4103224

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 Resolution PB16SAT (TO)2078184 1800.88 1774.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
MD5SUM041d40ba01d992f8c3bb358df2c9aea9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2026924
Best CPU time to get the best result obtained on this benchmark1800.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2191362
Optimality of the best value was proved NO
Number of variables8959
Total number of constraints323
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1612776422946
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1612776422946
Number of bits of the biggest sum of numbers41
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4103224-1466234753.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.52/0.39	c ... done. Wall clock time 0.281s.
0.52/0.39	c declared #vars     8959
0.52/0.39	c #constraints  357
0.52/0.39	c constraints type 
0.52/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 357
0.52/0.39	c 357 constraints processed.
0.52/0.39	c objective function length is 8959 literals
1.48/0.74	c SATISFIABLE
1.48/0.74	c OPTIMIZING...
1.48/0.74	c Got one! Elapsed wall clock time (in seconds):0.624
1.48/0.74	o 4547558
1.70/0.82	c Got one! Elapsed wall clock time (in seconds):0.711
1.70/0.82	o 2176164
1.70/0.85	c Got one! Elapsed wall clock time (in seconds):0.74
1.70/0.85	o 2083845
3.42/2.35	c cleaning 2970 clauses out of 5953 with flag 11328/5953
5.87/4.71	c cleaning 4491 clauses out of 8982 with flag 26435/11952
8.35/7.10	c cleaning 5741 clauses out of 11492 with flag 44626/18953
11.26/10.04	c cleaning 6876 clauses out of 13751 with flag 67010/26953
14.87/13.67	c cleaning 7930 clauses out of 15875 with flag 94978/35953
19.06/17.64	c cleaning 8970 clauses out of 17944 with flag 127817/45952
23.35/21.99	c cleaning 9985 clauses out of 19974 with flag 162464/56952
28.45/27.04	c cleaning 10992 clauses out of 21989 with flag 202870/68952
33.77/32.30	c cleaning 11995 clauses out of 23997 with flag 240060/81952
39.67/38.12	c cleaning 12999 clauses out of 26003 with flag 284925/95953
46.64/44.91	c cleaning 14001 clauses out of 28003 with flag 337265/110952
53.14/51.45	c cleaning 15000 clauses out of 30003 with flag 387713/126953
59.71/57.93	c cleaning 16001 clauses out of 32003 with flag 443437/143953
66.21/64.45	c cleaning 17000 clauses out of 34002 with flag 497198/161953
73.52/71.64	c cleaning 18001 clauses out of 36001 with flag 553010/180952
81.95/79.98	c cleaning 18998 clauses out of 38001 with flag 602587/200953
90.25/88.04	c cleaning 20002 clauses out of 40003 with flag 656295/221953
99.37/97.01	c cleaning 20998 clauses out of 42001 with flag 713255/243953
110.83/108.37	c cleaning 22002 clauses out of 44003 with flag 785094/266953
120.61/117.97	c cleaning 23000 clauses out of 46000 with flag 857969/290952
129.30/126.51	c cleaning 24000 clauses out of 48000 with flag 949385/315952
139.32/136.47	c cleaning 24994 clauses out of 50002 with flag 1060469/341954
143.97/141.00	c Got one! Elapsed wall clock time (in seconds):140.891
143.97/141.00	o 2080830
145.02/142.08	c cleaning 21714 clauses out of 43428 with flag 12046/360374
146.51/143.52	c cleaning 13851 clauses out of 27717 with flag 30000/366377
147.18/144.14	c Got one! Elapsed wall clock time (in seconds):144.028
147.18/144.14	o 2078184
148.10/145.08	c cleaning 9591 clauses out of 19202 with flag 7758/371713
149.90/146.85	c cleaning 7793 clauses out of 15612 with flag 21069/377714
151.93/148.84	c cleaning 7390 clauses out of 14819 with flag 36824/384714
154.73/151.60	c cleaning 7706 clauses out of 15428 with flag 56959/392713
158.29/155.12	c cleaning 8354 clauses out of 16725 with flag 82272/401716
162.63/159.42	c cleaning 9172 clauses out of 18369 with flag 114236/411714
167.00/163.71	c cleaning 10091 clauses out of 20197 with flag 154456/422714
171.94/168.66	c cleaning 11046 clauses out of 22106 with flag 204600/434714
177.29/173.94	c cleaning 12028 clauses out of 24060 with flag 260006/447714
183.53/180.10	c cleaning 13002 clauses out of 26032 with flag 319961/461714
189.71/186.27	c cleaning 14009 clauses out of 28029 with flag 380591/476713
196.20/192.67	c cleaning 15006 clauses out of 30020 with flag 452754/492713
203.06/199.48	c cleaning 16003 clauses out of 32015 with flag 525458/509714
210.45/206.74	c cleaning 17004 clauses out of 34014 with flag 604655/527716
218.70/214.82	c cleaning 18001 clauses out of 36011 with flag 689679/546717
227.10/223.19	c cleaning 18995 clauses out of 38009 with flag 778689/566716
236.33/232.23	c cleaning 20000 clauses out of 40013 with flag 877698/587715
245.41/241.25	c cleaning 20999 clauses out of 42011 with flag 977505/609713
255.67/251.30	c cleaning 22000 clauses out of 44014 with flag 1095827/632715
266.09/261.63	c cleaning 22997 clauses out of 46013 with flag 1209605/656714
277.55/272.97	c cleaning 23997 clauses out of 48019 with flag 1325095/681717
289.22/284.49	c cleaning 24987 clauses out of 50018 with flag 1452773/707713
301.33/296.30	c cleaning 26007 clauses out of 52034 with flag 1583857/734716
313.81/308.68	c cleaning 26997 clauses out of 54026 with flag 1721721/762715
327.13/321.77	c cleaning 28008 clauses out of 56027 with flag 1864765/791713
339.87/334.26	c cleaning 28993 clauses out of 58019 with flag 2010496/821713
353.02/347.22	c cleaning 29998 clauses out of 60027 with flag 2159992/852714
368.67/362.78	c cleaning 31001 clauses out of 62028 with flag 2328996/884713
384.61/378.56	c cleaning 31999 clauses out of 64027 with flag 2496392/917713
399.48/393.28	c cleaning 33005 clauses out of 66028 with flag 2661689/951713
416.59/410.15	c cleaning 33996 clauses out of 68023 with flag 2843526/986713
433.72/427.02	c cleaning 35007 clauses out of 70027 with flag 3018262/1022713
450.47/443.50	c cleaning 36010 clauses out of 72020 with flag 3157717/1059713
467.81/460.60	c cleaning 36999 clauses out of 74010 with flag 3303598/1097713
483.86/476.49	c cleaning 37994 clauses out of 76012 with flag 3468234/1136714
498.96/491.36	c cleaning 39004 clauses out of 78017 with flag 3628838/1176713
516.66/508.78	c cleaning 40004 clauses out of 80014 with flag 3811519/1217714
534.57/526.38	c cleaning 40997 clauses out of 82009 with flag 4000196/1259713
552.44/544.08	c cleaning 41985 clauses out of 84012 with flag 4195901/1302713
570.61/561.99	c cleaning 42995 clauses out of 86027 with flag 4394784/1346713
586.35/577.58	c cleaning 43994 clauses out of 88033 with flag 4614014/1391714
605.42/596.41	c cleaning 45005 clauses out of 90039 with flag 4797281/1437714
622.62/613.35	c cleaning 46010 clauses out of 92033 with flag 5005883/1484713
641.72/632.15	c cleaning 46998 clauses out of 94023 with flag 5217573/1532713
661.57/651.75	c cleaning 48004 clauses out of 96025 with flag 5436389/1581713
681.33/671.12	c cleaning 48987 clauses out of 98022 with flag 5650458/1631714
700.44/690.05	c cleaning 50002 clauses out of 100035 with flag 5871192/1682714
721.28/710.66	c cleaning 51001 clauses out of 102033 with flag 6121140/1734714
743.97/733.03	c cleaning 51997 clauses out of 104031 with flag 6382258/1787713
763.01/751.88	c cleaning 53009 clauses out of 106036 with flag 6607703/1841715
780.86/769.40	c cleaning 53997 clauses out of 108026 with flag 6845295/1896714
797.40/785.76	c cleaning 54996 clauses out of 110028 with flag 7060306/1952713
817.21/805.32	c cleaning 56003 clauses out of 112032 with flag 7259448/2009713
831.20/819.15	c cleaning 57005 clauses out of 114029 with flag 7454402/2067713
848.64/836.38	c cleaning 58006 clauses out of 116024 with flag 7685987/2126713
867.08/854.53	c cleaning 58978 clauses out of 118019 with flag 7930572/2186714
885.53/872.70	c cleaning 59969 clauses out of 120040 with flag 8176221/2247713
906.76/893.72	c cleaning 61015 clauses out of 122072 with flag 8390725/2309714
930.09/916.62	c cleaning 62019 clauses out of 124058 with flag 8632135/2372715
956.42/942.62	c cleaning 63003 clauses out of 126038 with flag 8869208/2436714
975.26/961.11	c cleaning 64008 clauses out of 128035 with flag 9088706/2501714
1000.58/986.15	c cleaning 64995 clauses out of 130026 with flag 9368147/2567713
1022.59/1007.85	c cleaning 65996 clauses out of 132031 with flag 9642346/2634713
1045.06/1030.00	c cleaning 67012 clauses out of 134038 with flag 9914726/2702716
1071.20/1055.85	c cleaning 68002 clauses out of 136023 with flag 10198434/2771713
1094.29/1078.44	c cleaning 68983 clauses out of 138021 with flag 10491332/2841713
1121.73/1105.68	c cleaning 70000 clauses out of 140038 with flag 10717587/2912713
1143.07/1126.78	c cleaning 71011 clauses out of 142038 with flag 10952283/2984713
1166.27/1149.72	c cleaning 72000 clauses out of 144027 with flag 11196805/3057713
1191.23/1174.46	c cleaning 73011 clauses out of 146027 with flag 11539282/3131713
1217.63/1200.34	c cleaning 73991 clauses out of 148018 with flag 11854821/3206715
1244.16/1226.53	c cleaning 75008 clauses out of 150026 with flag 12162147/3282714
1273.97/1255.98	c cleaning 75995 clauses out of 152017 with flag 12483531/3359713
1304.29/1285.74	c cleaning 77008 clauses out of 154024 with flag 12790984/3437715
1338.77/1319.88	c cleaning 78007 clauses out of 156015 with flag 13095382/3516714
1372.88/1353.39	c cleaning 78999 clauses out of 158007 with flag 13413860/3596713
1410.03/1390.01	c cleaning 79997 clauses out of 160009 with flag 13735005/3677714
1440.17/1419.84	c cleaning 80983 clauses out of 162012 with flag 14034640/3759714
1473.46/1452.76	c cleaning 82002 clauses out of 164029 with flag 14343722/3842714
1508.23/1486.94	c cleaning 83001 clauses out of 166027 with flag 14700422/3926714
1544.06/1522.27	c cleaning 84007 clauses out of 168026 with flag 15067863/4011714
1582.43/1560.28	c cleaning 84997 clauses out of 170018 with flag 15432133/4097713
1618.96/1596.24	c cleaning 86009 clauses out of 172024 with flag 15820575/4184716
1657.45/1634.15	c cleaning 86997 clauses out of 174012 with flag 16192149/4272713
1693.09/1669.29	c cleaning 87996 clauses out of 176016 with flag 16536502/4361714
1736.05/1711.66	c cleaning 89001 clauses out of 178019 with flag 16899818/4451713
1774.83/1749.75	c cleaning 90003 clauses out of 180020 with flag 17253237/4542715
1800.00/1774.50	c starts		: 292
1800.00/1774.50	c conflicts		: 4604409
1800.00/1774.50	c decisions		: 11444501
1800.00/1774.50	c propagations		: 921584081
1800.00/1774.50	c inspects		: 11674837772
1800.00/1774.50	c shortcuts		: 0
1800.00/1774.50	c learnt literals	: 0
1800.00/1774.50	c learnt binary clauses	: 0
1800.00/1774.50	c learnt ternary clauses	: 0
1800.00/1774.50	c learnt constraints	: 4604408
1800.00/1774.50	c ignored constraints	: 0
1800.00/1774.50	c root simplifications	: 0
1800.00/1774.50	c removed literals (reason simplification)	: 0
1800.00/1774.50	c reason swapping (by a shorter reason)	: 0
1800.00/1774.50	c Calls to reduceDB	: 111
1800.00/1774.50	c Number of update (reduction) of LBD	: 947258
1800.00/1774.50	c Imported unit clauses	: 0
1800.00/1774.50	c number of reductions to clauses (during analyze)	: 0
1800.00/1774.50	c number of learned constraints concerned by reduction	: 0
1800.00/1774.50	c number of learning phase by resolution	: 0
1800.00/1774.50	c number of learning phase by cutting planes	: 0
1800.00/1774.50	c speed (assignments/second)	: 519472.1320032152
1800.00/1774.50	c non guided choices	136
1800.00/1774.53	c learnt constraints type 
1800.00/1774.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 151711
1800.00/1774.53	s SATISFIABLE
1800.00/1774.53	c Found 5 solution(s)
1800.00/1774.54	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 x8902 -x8903 x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 x8912 -x8913 x8914 -x8915 -x8916 x8917 -x8918 -x8919 -x8920 x8921 -x8922 -x8923 -x8924 -x8925 -x8926 x8927 -x8928 -x8929 x8930 x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 x8951 -x8952 x8953 -x8954 -x8955 x8956 -x8957 -x8958 x8959 
1800.00/1774.55	c objective function=2078184
1800.00/1774.55	c Total wall clock time (in seconds): 1774.439

Verifier Data 

OK	2078184

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-4103224-1466234753/watcher-4103224-1466234753 -o /tmp/evaluation-result-4103224-1466234753/solver-4103224-1466234753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103224-1466234753.opb 

pid=16215
running on 4 cores: 0,2,4,6

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: 2.26 2.27 2.26 2/194 16218
/proc/meminfo: memFree=30054660/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 25521074 94019584 917 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 22954 917 697 9 0 16769 0
[pid=16218/tid=16219] ppid=16215 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) D 16215 16218 10680 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 25521074 94019584 917 33554432000 1073741824 1073778376 140733489357248 139854406028840 248781040935 0 0 4096 0 18446744072100588836 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.26 2.27 2.26 2/194 16218
/proc/meminfo: memFree=30054660/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 4448 0 1 0 9 1 0 0 20 0 18 0 25521074 9787879424 5564 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2389619 5564 2125 9 0 2380296 0
[pid=16218/tid=16219] ppid=16215 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2430 0 1 0 6 1 0 0 20 0 18 0 25521074 9787879424 5564 33554432000 1073741824 1073778376 140733489357248 139854406032288 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200314 s]
/proc/loadavg: 2.26 2.27 2.26 2/194 16218
/proc/meminfo: memFree=30054660/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 5128 0 1 0 28 2 0 0 20 0 18 0 25521074 9787879424 6452 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2389619 6452 2219 9 0 2380296 0
[pid=16218/tid=16219] ppid=16215 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2446 0 1 0 16 1 0 0 20 0 18 0 25521074 9787879424 6452 33554432000 1073741824 1073778376 140733489357248 139854406033080 139854412690064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300318 s]
/proc/loadavg: 2.26 2.27 2.26 2/194 16218
/proc/meminfo: memFree=30054660/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 8835 0 1 0 50 2 0 0 20 0 18 0 25521074 9787879424 10616 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2389619 10616 2234 9 0 2380296 0
[pid=16218/tid=16219] ppid=16215 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2454 0 1 0 26 1 0 0 20 0 18 0 25521074 9787879424 10616 33554432000 1073741824 1073778376 140733489357248 139854406024928 139854278078920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700207 s]
/proc/loadavg: 2.26 2.27 2.26 2/194 16218
/proc/meminfo: memFree=30054660/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 13077 0 1 0 145 3 0 0 20 0 19 0 25521074 9856040960 18237 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 18237 2257 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2474 0 1 0 65 2 0 0 20 0 19 0 25521074 9856040960 18237 33554432000 1073741824 1073778376 140733489357248 139854406033880 139854278375822 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.40 2.30 2.27 3/213 16237
/proc/meminfo: memFree=29974356/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 13176 0 1 0 258 3 0 0 20 0 19 0 25521074 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 24978 2261 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2488 0 1 0 145 2 0 0 20 0 19 0 25521074 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854406033544 139854278375920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16221] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16221/stat : 16221 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854250040104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16222] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16222/stat : 16222 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854248987304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16223] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16223/stat : 16223 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854247935016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16224] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16224/stat : 16224 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854246882216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16225] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16225/stat : 16225 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854245828904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16226] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16226/stat : 16226 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854244776104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16227] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16227/stat : 16227 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854243723816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16228] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16228/stat : 16228 (java) S 16215 16218 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854242671016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16229] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16229/stat : 16229 (java) S 16215 16218 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25521076 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854230260456 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3962 0 0 0 54 0 0 0 20 0 19 0 25521079 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/16218/task/16234/stat : 16234 (java) S 16215 16218 10680 0 -1 4202560 5448 0 0 0 55 1 0 0 20 0 19 0 25521079 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854224996408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16235] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16235/stat : 16235 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854223944312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16236] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16236/stat : 16236 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854222891720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16237] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16237/stat : 16237 (java) S 16215 16218 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25521117 9856040960 24978 33554432000 1073741824 1073778376 140733489357248 139854221837736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.40 2.30 2.27 3/213 16237
/proc/meminfo: memFree=29933520/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 13200 0 1 0 420 4 0 0 20 0 19 0 25521074 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 33175 2265 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2505 0 1 0 303 2 0 0 20 0 19 0 25521074 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854406033624 139854278265918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16221] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16221/stat : 16221 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854250040104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16222] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16222/stat : 16222 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854248987304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16223] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16223/stat : 16223 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854247935016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16224] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16224/stat : 16224 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854246882216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16225] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16225/stat : 16225 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854245828904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16226] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16226/stat : 16226 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854244776104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16227] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16227/stat : 16227 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854243723816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16228] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16228/stat : 16228 (java) S 16215 16218 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854242671016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16229] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16229/stat : 16229 (java) S 16215 16218 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25521076 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854230260456 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3966 0 0 0 55 0 0 0 20 0 19 0 25521079 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/16218/task/16234/stat : 16234 (java) S 16215 16218 10680 0 -1 4202560 5451 0 0 0 57 1 0 0 20 0 19 0 25521079 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854224996408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16235] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16235/stat : 16235 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854223944312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16236] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16236/stat : 16236 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854222891720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16237] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16237/stat : 16237 (java) S 16215 16218 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25521117 9856040960 33175 33554432000 1073741824 1073778376 140733489357248 139854221837736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.37 2.29 2.27 3/213 16237
/proc/meminfo: memFree=29872452/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=7.55 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 13309 0 1 0 746 9 0 0 20 0 19 0 25521074 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 50222 2279 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 2528 0 1 0 619 3 0 0 20 0 19 0 25521074 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854406032528 139854278261570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16221] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16221/stat : 16221 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854250040104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16222] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16222/stat : 16222 (java) S 16215 16218 10680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854248987304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16223] ppid=16215 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16218/task/16223/stat : 16223 (java) S 16215 16218 10680 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854247935016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16224] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16224/stat : 16224 (java) S 16215 16218 10680 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854246882216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16225] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16225/stat : 16225 (java) S 16215 16218 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854245828904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16226] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16226/stat : 16226 (java) S 16215 16218 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854244776104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16227] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16227/stat : 16227 (java) S 16215 16218 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854243723816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16228] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16228/stat : 16228 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521075 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854242671016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16229] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16229/stat : 16229 (java) S 16215 16218 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25521076 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854230260456 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3968 0 0 0 56 0 0 0 20 0 19 0 25521079 9856040960 50222 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.62 cores=0,2,4,6

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

[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3982 0 0 0 63 0 0 0 20 0 19 0 25521079 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/16218/task/16234/stat : 16234 (java) S 16215 16218 10680 0 -1 4202560 5462 0 0 0 65 2 0 0 20 0 19 0 25521079 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854224996408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16235] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16235/stat : 16235 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854223944312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16236] ppid=16215 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/16218/task/16236/stat : 16236 (java) S 16215 16218 10680 0 -1 4202560 97 0 0 0 20 21 0 0 20 0 19 0 25521079 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854222891720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16237] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16237/stat : 16237 (java) S 16215 16218 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25521117 9856040960 134399 33554432000 1073741824 1073778376 140733489357248 139854221837736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1686.1
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.25 2.29 2.23 3/213 16345
/proc/meminfo: memFree=29663228/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=1746.91 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 43971 0 1 0 174424 267 0 0 20 0 19 0 25521074 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 118343 2288 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=1706.92 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 3373 0 1 0 170659 33 0 0 20 0 19 0 25521074 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854406032640 139854278149456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16221] ppid=16215 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/16218/task/16221/stat : 16221 (java) S 16215 16218 10680 0 -1 4202560 4281 0 0 0 400 26 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854250040104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16222] ppid=16215 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/16218/task/16222/stat : 16222 (java) S 16215 16218 10680 0 -1 4202560 3101 0 0 0 386 28 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854248987304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16223] ppid=16215 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/16218/task/16223/stat : 16223 (java) S 16215 16218 10680 0 -1 4202560 3100 0 0 0 385 28 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854247935016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16224] ppid=16215 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/16218/task/16224/stat : 16224 (java) S 16215 16218 10680 0 -1 4202560 3586 0 0 0 383 29 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854246882216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16225] ppid=16215 vsize=9625040 CPUtime=4.21 cores=0,2,4,6
/proc/16218/task/16225/stat : 16225 (java) S 16215 16218 10680 0 -1 4202560 2932 0 0 0 392 29 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854245828904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16226] ppid=16215 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/16218/task/16226/stat : 16226 (java) S 16215 16218 10680 0 -1 4202560 3781 0 0 0 406 32 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854244776104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16227] ppid=16215 vsize=9625040 CPUtime=4.16 cores=0,2,4,6
/proc/16218/task/16227/stat : 16227 (java) S 16215 16218 10680 0 -1 4202560 3586 0 0 0 386 30 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854243723816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16228] ppid=16215 vsize=9625040 CPUtime=4.18 cores=0,2,4,6
/proc/16218/task/16228/stat : 16228 (java) S 16215 16218 10680 0 -1 4202560 3357 0 0 0 391 27 0 0 20 0 19 0 25521075 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854242671016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16229] ppid=16215 vsize=9625040 CPUtime=5.17 cores=0,2,4,6
/proc/16218/task/16229/stat : 16229 (java) S 16215 16218 10680 0 -1 4202560 2065 0 0 0 504 13 0 0 20 0 19 0 25521076 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854230260456 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3982 0 0 0 63 0 0 0 20 0 19 0 25521079 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/16218/task/16234/stat : 16234 (java) S 16215 16218 10680 0 -1 4202560 5462 0 0 0 65 2 0 0 20 0 19 0 25521079 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854224996408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16235] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16235/stat : 16235 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854223944312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16236] ppid=16215 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/16218/task/16236/stat : 16236 (java) S 16215 16218 10680 0 -1 4202560 101 0 0 0 21 22 0 0 20 0 19 0 25521079 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854222891720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16237] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16237/stat : 16237 (java) S 16215 16218 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25521117 9856040960 118343 33554432000 1073741824 1073778376 140733489357248 139854221837736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1746.91
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.5 s]
/proc/loadavg: 2.16 2.26 2.22 3/213 16347
/proc/meminfo: memFree=29511568/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 46228 0 1 0 179724 276 0 0 20 0 19 0 25521074 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 140385 2288 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=1758.62 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 3888 0 1 0 175828 34 0 0 20 0 19 0 25521074 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854406032624 139854278261575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16221] ppid=16215 vsize=9625040 CPUtime=4.4 cores=0,2,4,6
/proc/16218/task/16221/stat : 16221 (java) S 16215 16218 10680 0 -1 4202560 4463 0 0 0 413 27 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854250040104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16222] ppid=16215 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/16218/task/16222/stat : 16222 (java) S 16215 16218 10680 0 -1 4202560 3225 0 0 0 404 29 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854248987304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16223] ppid=16215 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/16218/task/16223/stat : 16223 (java) S 16215 16218 10680 0 -1 4202560 3119 0 0 0 399 29 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854247935016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16224] ppid=16215 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/16218/task/16224/stat : 16224 (java) S 16215 16218 10680 0 -1 4202560 3757 0 0 0 394 30 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854246882216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16225] ppid=16215 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/16218/task/16225/stat : 16225 (java) S 16215 16218 10680 0 -1 4202560 3631 0 0 0 408 30 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854245828904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16226] ppid=16215 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/16218/task/16226/stat : 16226 (java) S 16215 16218 10680 0 -1 4202560 3945 0 0 0 420 32 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854244776104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16227] ppid=16215 vsize=9625040 CPUtime=4.35 cores=0,2,4,6
/proc/16218/task/16227/stat : 16227 (java) S 16215 16218 10680 0 -1 4202560 3796 0 0 0 404 31 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854243723816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16228] ppid=16215 vsize=9625040 CPUtime=4.32 cores=0,2,4,6
/proc/16218/task/16228/stat : 16228 (java) S 16215 16218 10680 0 -1 4202560 3451 0 0 0 404 28 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854242671016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16229] ppid=16215 vsize=9625040 CPUtime=5.31 cores=0,2,4,6
/proc/16218/task/16229/stat : 16229 (java) S 16215 16218 10680 0 -1 4202560 2142 0 0 0 517 14 0 0 20 0 19 0 25521076 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854230260456 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3982 0 0 0 63 0 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/16218/task/16234/stat : 16234 (java) S 16215 16218 10680 0 -1 4202560 5462 0 0 0 65 2 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854224996408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16235] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16235/stat : 16235 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854223944312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16236] ppid=16215 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16218/task/16236/stat : 16236 (java) S 16215 16218 10680 0 -1 4202560 103 0 0 0 22 22 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854222891720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16237] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16237/stat : 16237 (java) S 16215 16218 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25521117 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854221837736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

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 16218 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1774.5 s]
/proc/loadavg: 2.16 2.26 2.22 3/213 16347
/proc/meminfo: memFree=29511568/32872528 swapFree=1402776/1580604
[pid=16218] ppid=16215 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/16218/stat : 16218 (java) S 16215 16218 10680 0 -1 4202496 46228 0 1 0 179724 276 0 0 20 0 19 0 25521074 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 140733489348384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 2406260 140385 2288 9 0 2396937 0
[pid=16218/tid=16219] ppid=16215 vsize=9625040 CPUtime=1758.62 cores=0,2,4,6
/proc/16218/task/16219/stat : 16219 (java) R 16215 16218 10680 0 -1 4202560 3888 0 1 0 175828 34 0 0 20 0 19 0 25521074 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854406032624 139854278261575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16221] ppid=16215 vsize=9625040 CPUtime=4.4 cores=0,2,4,6
/proc/16218/task/16221/stat : 16221 (java) S 16215 16218 10680 0 -1 4202560 4463 0 0 0 413 27 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854250040104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16222] ppid=16215 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/16218/task/16222/stat : 16222 (java) S 16215 16218 10680 0 -1 4202560 3225 0 0 0 404 29 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854248987304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16223] ppid=16215 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/16218/task/16223/stat : 16223 (java) S 16215 16218 10680 0 -1 4202560 3119 0 0 0 399 29 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854247935016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16224] ppid=16215 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/16218/task/16224/stat : 16224 (java) S 16215 16218 10680 0 -1 4202560 3757 0 0 0 394 30 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854246882216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16225] ppid=16215 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/16218/task/16225/stat : 16225 (java) S 16215 16218 10680 0 -1 4202560 3631 0 0 0 408 30 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854245828904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16226] ppid=16215 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/16218/task/16226/stat : 16226 (java) S 16215 16218 10680 0 -1 4202560 3945 0 0 0 420 32 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854244776104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16227] ppid=16215 vsize=9625040 CPUtime=4.35 cores=0,2,4,6
/proc/16218/task/16227/stat : 16227 (java) S 16215 16218 10680 0 -1 4202560 3796 0 0 0 404 31 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854243723816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16228] ppid=16215 vsize=9625040 CPUtime=4.32 cores=0,2,4,6
/proc/16218/task/16228/stat : 16228 (java) S 16215 16218 10680 0 -1 4202560 3451 0 0 0 404 28 0 0 20 0 19 0 25521075 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854242671016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16229] ppid=16215 vsize=9625040 CPUtime=5.31 cores=0,2,4,6
/proc/16218/task/16229/stat : 16229 (java) S 16215 16218 10680 0 -1 4202560 2142 0 0 0 517 14 0 0 20 0 19 0 25521076 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854230260456 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16230] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16230/stat : 16230 (java) S 16215 16218 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854229206520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16231] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16231/stat : 16231 (java) S 16215 16218 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25521077 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854228154120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16218/tid=16232] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16232/stat : 16232 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854227102608 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16233] ppid=16215 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/16218/task/16233/stat : 16233 (java) S 16215 16218 10680 0 -1 4202560 3982 0 0 0 63 0 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854226049208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16234] ppid=16215 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/16218/task/16234/stat : 16234 (java) S 16215 16218 10680 0 -1 4202560 5462 0 0 0 65 2 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854224996408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16218/tid=16235] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16235/stat : 16235 (java) S 16215 16218 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854223944312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16218/tid=16236] ppid=16215 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16218/task/16236/stat : 16236 (java) S 16215 16218 10680 0 -1 4202560 103 0 0 0 22 22 0 0 20 0 19 0 25521079 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854222891720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16218/tid=16237] ppid=16215 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16218/task/16237/stat : 16237 (java) S 16215 16218 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25521117 9856040960 140385 33554432000 1073741824 1073778376 140733489357248 139854221837736 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1774.56
CPU time (s): 1800.88
CPU user time (s): 1797.65
CPU system time (s): 3.23251
CPU usage (%): 101.483
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 3.23251
maximum resident set size= 779840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46275
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60131
involuntary context switches= 73440

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.69153 second user time and 13.6759 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 09:25:53
IDJOB=4103224
IDBENCH=2302
IDSOLVER=2546
FILE ID=node139/4103224-1466234753
RUNJOBID= node139-1466206053-10696
PBS_JOBID= 19918138
Free space on /tmp= 71596 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103224-1466234753/watcher-4103224-1466234753 -o /tmp/evaluation-result-4103224-1466234753/solver-4103224-1466234753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103224-1466234753.opb

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

MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9
RANDOM SEED=887438083

node139.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.500
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	: 5333.00
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.500
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.500
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.500
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.500
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.55
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.500
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.500
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.500
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30055452 kB
Buffers:          123720 kB
Cached:           108096 kB
SwapCached:         1900 kB
Active:           323916 kB
Inactive:         171212 kB
Active(anon):     263944 kB
Inactive(anon):     1472 kB
Active(file):      59972 kB
Inactive(file):   169740 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099480 kB
Dirty:              1304 kB
Writeback:            36 kB
AnonPages:       1846884 kB
Mapped:            15400 kB
Shmem:                 0 kB
Slab:             603816 kB
SReclaimable:      47580 kB
SUnreclaim:       556236 kB
KernelStack:        1664 kB
PageTables:         7864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2212944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 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= 71592 MiB
End job on node139 at 2016-06-18 09:55:28