0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/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@431b9fb1
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 Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3690189-1337897026.opb
0.10/0.11	c reading problem ... 
1.04/0.54	c ... done. Wall clock time 0.43s.
1.04/0.54	c declared #vars     9940
1.04/0.54	c #constraints  24510
1.04/0.54	c constraints type 
1.04/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.04/0.54	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.04/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.04/0.54	c ignored satisfied constraints => 2
1.04/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.04/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
1.04/0.54	c 24512 constraints processed.
1.04/0.54	c objective function length is 9730 literals
1.78/0.94	c SATISFIABLE
1.78/0.94	c OPTIMIZING...
1.78/0.94	c Got one! Elapsed wall clock time (in seconds):0.831
1.78/0.94	o 9137029
1.98/1.06	c Got one! Elapsed wall clock time (in seconds):0.953
1.98/1.06	o 4325387
4.01/2.90	c cleaning 2702 clauses out of 5410 with flag 5001/5410
7.71/6.56	c cleaning 4354 clauses out of 8707 with flag 11000/11409
9.53/8.35	c cleaning 5674 clauses out of 11353 with flag 18000/18409
11.57/10.37	c cleaning 6834 clauses out of 13679 with flag 26000/26409
13.92/12.63	c cleaning 7912 clauses out of 15845 with flag 35000/35409
16.42/15.12	c cleaning 8964 clauses out of 17934 with flag 45001/45410
19.12/17.86	c cleaning 9984 clauses out of 19970 with flag 56001/56410
22.13/20.82	c cleaning 10989 clauses out of 21985 with flag 68000/68409
25.33/24.07	c cleaning 11999 clauses out of 23997 with flag 81001/81410
29.34/28.03	c cleaning 12988 clauses out of 25996 with flag 95000/95409
33.05/31.75	c cleaning 13991 clauses out of 28008 with flag 110001/110410
38.04/36.65	c cleaning 14996 clauses out of 29993 with flag 126000/126409
43.90/42.00	c cleaning 15960 clauses out of 31937 with flag 143000/143409
48.83/46.64	c cleaning 16983 clauses out of 33977 with flag 161001/161410
53.45/51.22	c cleaning 17988 clauses out of 35994 with flag 180001/180410
58.36/56.19	c cleaning 18994 clauses out of 38006 with flag 200001/200410
62.86/60.66	c cleaning 19997 clauses out of 40011 with flag 221001/221410
67.39/65.14	c cleaning 21000 clauses out of 42011 with flag 243000/243409
72.11/69.83	c cleaning 21997 clauses out of 44011 with flag 266000/266409
77.03/74.79	c cleaning 23002 clauses out of 46014 with flag 290000/290409
82.76/80.43	c cleaning 23996 clauses out of 48012 with flag 315000/315409
88.17/85.87	c cleaning 24996 clauses out of 50017 with flag 341001/341410
93.91/91.52	c cleaning 26002 clauses out of 52020 with flag 368000/368409
99.75/97.35	c cleaning 26997 clauses out of 54019 with flag 396001/396410
105.88/103.45	c cleaning 28004 clauses out of 56021 with flag 425000/425409
112.59/110.11	c cleaning 29000 clauses out of 58014 with flag 455000/455409
119.54/117.09	c cleaning 29994 clauses out of 60014 with flag 486000/486409
127.37/124.85	c cleaning 30987 clauses out of 62020 with flag 518000/518409
135.48/132.92	c cleaning 31982 clauses out of 63991 with flag 551001/551410
142.88/140.34	c cleaning 32987 clauses out of 65999 with flag 585001/585410
150.49/147.99	c cleaning 33998 clauses out of 68012 with flag 620001/620410
157.91/155.37	c cleaning 34992 clauses out of 70012 with flag 656000/656409
165.52/162.94	c cleaning 36000 clauses out of 72021 with flag 693001/693410
173.84/171.20	c cleaning 37008 clauses out of 74021 with flag 731001/731410
181.65/179.07	c cleaning 37995 clauses out of 76012 with flag 770000/770409
190.38/187.78	c cleaning 39002 clauses out of 78016 with flag 810000/810409
199.19/196.59	c cleaning 39997 clauses out of 80015 with flag 851001/851410
208.89/206.27	c cleaning 40980 clauses out of 82001 with flag 893001/893410
218.01/215.37	c cleaning 41989 clauses out of 84020 with flag 936000/936409
227.42/224.72	c cleaning 43006 clauses out of 86031 with flag 980000/980409
236.74/234.05	c cleaning 44005 clauses out of 88026 with flag 1025001/1025410
246.76/244.03	c cleaning 45005 clauses out of 90021 with flag 1071001/1071410
257.28/254.53	c cleaning 45999 clauses out of 92014 with flag 1118001/1118410
267.60/264.82	c cleaning 46993 clauses out of 94012 with flag 1166001/1166410
278.12/275.34	c cleaning 48001 clauses out of 96018 with flag 1215000/1215409
289.23/286.42	c cleaning 49002 clauses out of 98018 with flag 1265001/1265410
300.65/297.86	c cleaning 49991 clauses out of 100011 with flag 1316000/1316409
312.62/309.74	c cleaning 50991 clauses out of 102020 with flag 1368000/1368409
325.14/322.23	c cleaning 51994 clauses out of 104010 with flag 1421001/1421410
337.36/334.41	c cleaning 53003 clauses out of 106016 with flag 1475001/1475410
349.58/346.60	c cleaning 54003 clauses out of 108013 with flag 1530001/1530410
361.82/358.87	c cleaning 55001 clauses out of 110009 with flag 1586000/1586409
374.24/371.24	c cleaning 55996 clauses out of 112008 with flag 1643000/1643409
387.58/384.54	c cleaning 57000 clauses out of 114012 with flag 1701000/1701409
401.00/397.90	c cleaning 58003 clauses out of 116012 with flag 1760000/1760409
414.57/411.47	c cleaning 59000 clauses out of 118010 with flag 1820001/1820410
428.59/425.41	c cleaning 60004 clauses out of 120009 with flag 1881000/1881409
442.71/439.50	c cleaning 60997 clauses out of 122005 with flag 1943000/1943409
457.14/453.96	c cleaning 61999 clauses out of 124010 with flag 2006002/2006411
471.71/468.43	c cleaning 63002 clauses out of 126009 with flag 2070000/2070409
486.65/483.35	c cleaning 63998 clauses out of 128007 with flag 2135000/2135409
502.02/498.60	c cleaning 65002 clauses out of 130011 with flag 2201002/2201411
517.73/514.40	c cleaning 66000 clauses out of 132007 with flag 2268000/2268409
533.58/530.11	c cleaning 67000 clauses out of 134007 with flag 2336000/2336409
549.10/545.66	c cleaning 67998 clauses out of 136007 with flag 2405000/2405409
565.72/562.21	c cleaning 68994 clauses out of 138009 with flag 2475001/2475410
582.94/579.41	c cleaning 69997 clauses out of 140014 with flag 2546000/2546409
600.90/597.33	c cleaning 71008 clauses out of 142017 with flag 2618000/2618409
618.45/614.84	c cleaning 71995 clauses out of 144009 with flag 2691000/2691409
635.40/631.72	c cleaning 73002 clauses out of 146014 with flag 2765000/2765409
653.60/649.90	c cleaning 74001 clauses out of 148012 with flag 2840000/2840409
672.46/668.80	c cleaning 75003 clauses out of 150012 with flag 2916001/2916410
691.49/687.74	c cleaning 75995 clauses out of 152008 with flag 2993000/2993409
710.83/707.00	c cleaning 76999 clauses out of 154014 with flag 3071001/3071410
729.30/725.42	c cleaning 77993 clauses out of 156014 with flag 3150000/3150409
747.84/743.99	c cleaning 78993 clauses out of 158022 with flag 3230001/3230410
767.38/763.41	c cleaning 80012 clauses out of 160029 with flag 3311001/3311410
787.23/783.21	c cleaning 81003 clauses out of 162017 with flag 3393001/3393410
806.44/802.49	c cleaning 82005 clauses out of 164013 with flag 3476000/3476409
826.06/822.07	c cleaning 82996 clauses out of 166008 with flag 3560000/3560409
846.28/842.28	c cleaning 84002 clauses out of 168013 with flag 3645001/3645410
866.51/862.47	c cleaning 84999 clauses out of 170011 with flag 3731001/3731410
886.73/882.62	c cleaning 85997 clauses out of 172011 with flag 3818000/3818409
907.66/903.51	c cleaning 86996 clauses out of 174014 with flag 3906000/3906409
928.22/924.07	c cleaning 88004 clauses out of 176019 with flag 3995001/3995410
950.03/945.80	c cleaning 89007 clauses out of 178016 with flag 4085002/4085411
971.48/967.29	c cleaning 89993 clauses out of 180008 with flag 4176001/4176410
993.81/989.56	c cleaning 90998 clauses out of 182015 with flag 4268001/4268410
1016.94/1012.65	c cleaning 92007 clauses out of 184017 with flag 4361001/4361410
1040.98/1036.65	c cleaning 93002 clauses out of 186010 with flag 4455001/4455410
1065.02/1060.65	c cleaning 93994 clauses out of 188007 with flag 4550000/4550409
1089.80/1085.39	c cleaning 94997 clauses out of 190014 with flag 4646001/4646410
1115.04/1110.55	c cleaning 95996 clauses out of 192016 with flag 4743000/4743409
1139.36/1134.86	c cleaning 97005 clauses out of 194020 with flag 4841000/4841409
1163.08/1158.58	c cleaning 97999 clauses out of 196016 with flag 4940001/4940410
1187.39/1182.81	c cleaning 99003 clauses out of 198016 with flag 5040000/5040409
1212.91/1208.23	c cleaning 99998 clauses out of 200014 with flag 5141001/5141410
1238.85/1234.18	c cleaning 101001 clauses out of 202015 with flag 5243000/5243409
1265.46/1260.76	c cleaning 102003 clauses out of 204014 with flag 5346000/5346409
1292.69/1287.99	c cleaning 102997 clauses out of 206011 with flag 5450000/5450409
1319.71/1314.90	c cleaning 104005 clauses out of 208014 with flag 5555000/5555409
1346.50/1341.63	c cleaning 104998 clauses out of 210010 with flag 5661001/5661410
1373.66/1368.76	c cleaning 105999 clauses out of 212012 with flag 5768001/5768410
1401.79/1396.87	c cleaning 107004 clauses out of 214013 with flag 5876001/5876410
1430.55/1425.52	c cleaning 107999 clauses out of 216008 with flag 5985000/5985409
1459.67/1454.64	c cleaning 109003 clauses out of 218010 with flag 6095001/6095410
1489.60/1484.50	c cleaning 109995 clauses out of 220007 with flag 6206001/6206410
1519.87/1514.73	c cleaning 110995 clauses out of 222012 with flag 6318001/6318410
1550.21/1545.03	c cleaning 111994 clauses out of 224016 with flag 6431000/6431409
1581.22/1576.03	c cleaning 112994 clauses out of 226022 with flag 6545000/6545409
1611.44/1606.26	c cleaning 114001 clauses out of 228028 with flag 6660000/6660409
1641.75/1636.50	c cleaning 115002 clauses out of 230028 with flag 6776001/6776410
1672.47/1667.28	c cleaning 115996 clauses out of 232025 with flag 6893000/6893409
1704.50/1699.29	c cleaning 116995 clauses out of 234031 with flag 7011002/7011411
1733.33/1728.03	c cleaning 118011 clauses out of 236035 with flag 7130001/7130410
1763.06/1757.72	c cleaning 119005 clauses out of 238023 with flag 7250000/7250409
1792.26/1786.97	c cleaning 120006 clauses out of 240018 with flag 7371000/7371409
1800.02/1794.61	c starts		: 297
1800.02/1794.61	c conflicts		: 7406405
1800.02/1794.61	c decisions		: 8340826
1800.02/1794.61	c propagations		: 100504186
1800.02/1794.61	c inspects		: 2388860086
1800.02/1794.61	c shortcuts		: 0
1800.02/1794.61	c learnt literals	: 194
1800.02/1794.61	c learnt binary clauses	: 21
1800.02/1794.61	c learnt ternary clauses	: 627
1800.02/1794.61	c learnt constraints	: 7406211
1800.02/1794.61	c ignored constraints	: 0
1800.02/1794.61	c root simplifications	: 0
1800.02/1794.61	c removed literals (reason simplification)	: 0
1800.02/1794.61	c reason swapping (by a shorter reason)	: 0
1800.02/1794.61	c Calls to reduceDB	: 117
1800.02/1794.61	c number of reductions to clauses (during analyze)	: 0
1800.02/1794.61	c number of learned constraints concerned by reduction	: 0
1800.02/1794.61	c number of learning phase by resolution	: 0
1800.02/1794.61	c number of learning phase by cutting planes	: 0
1800.02/1794.61	c speed (assignments/second)	: 56021.688127744186
1800.02/1794.61	c non guided choices	117
1800.02/1794.64	c learnt constraints type 
1800.02/1794.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 21
1800.02/1794.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155107
1800.02/1794.64	c constraints type 
1800.02/1794.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.02/1794.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.02/1794.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.02/1794.64	c ignored satisfied constraints => 2
1800.02/1794.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.02/1794.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626
1800.02/1794.64	c 24513 constraints processed.
1800.02/1794.64	s SATISFIABLE
1800.02/1794.65	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 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 
1800.02/1794.66	c objective function=4325387
1800.02/1794.66	c Total wall clock time (in seconds): 1794.547

OK	4325387

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3690189-1337897026/watcher-3690189-1337897026 -o /tmp/evaluation-result-3690189-1337897026/solver-3690189-1337897026 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690189-1337897026.opb 

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: 1.97 2.00 2.00 2/196 25756
/proc/meminfo: memFree=29265264/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 1187 0 0 0 0 0 0 0 20 0 2 0 255827956 94085120 907 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 22954 907 686 9 0 16769 0
[pid=25756/tid=25757] ppid=25754 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 255827956 94019584 918 33554432000 1073741824 1073778376 140733296684272 140733296673336 273896533287 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0267581 s]
/proc/loadavg: 1.97 2.00 2.00 2/196 25756
/proc/meminfo: memFree=29265264/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9092432 CPUtime=0.02 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 2891 0 1 0 1 1 0 0 20 0 11 0 255827956 9310650368 3592 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2273108 3593 1623 9 0 2263809 0
[pid=25756/tid=25757] ppid=25754 vsize=9092432 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 1734 0 1 0 0 0 0 0 20 0 11 0 255827956 9310650368 3593 33554432000 1073741824 1073778376 140733296684272 139955034163976 273905323851 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432

[startup+0.100283 s]
/proc/loadavg: 1.97 2.00 2.00 2/196 25756
/proc/meminfo: memFree=29265264/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 4303 0 1 0 9 1 0 0 20 0 18 0 255827956 9787813888 5504 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2389603 5505 2108 9 0 2380296 0
[pid=25756/tid=25757] ppid=25754 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2373 0 1 0 6 1 0 0 20 0 18 0 255827956 9787813888 5505 33554432000 1073741824 1073778376 140733296684272 139955034159896 273909081357 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) 9558412

[startup+0.300228 s]
/proc/loadavg: 1.97 2.00 2.00 2/196 25756
/proc/meminfo: memFree=29265264/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9559372 CPUtime=0.53 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 7538 0 1 0 51 2 0 0 20 0 18 0 255827956 9788796928 11912 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2389843 11942 2218 9 0 2380536 0
[pid=25756/tid=25757] ppid=25754 vsize=9559372 CPUtime=0.27 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2450 0 1 0 26 1 0 0 20 0 18 0 255827956 9788796928 11955 33554432000 1073741824 1073778376 140733296684272 139955034160920 139954881969956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9559372

[startup+0.700236 s]
/proc/loadavg: 1.97 2.00 2.00 2/196 25756
/proc/meminfo: memFree=29265264/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=1.51 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 10605 0 1 0 148 3 0 0 20 0 19 0 255827956 9855975424 24615 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 24615 2251 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2482 0 1 0 65 2 0 0 20 0 19 0 255827956 9855975424 24615 33554432000 1073741824 1073778376 140733296684272 139955034161936 139954882308213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 1.97 2.00 2.00 4/215 25775
/proc/meminfo: memFree=29169220/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=2.59 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 10620 0 1 0 256 3 0 0 20 0 19 0 255827956 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 27184 2254 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2488 0 1 0 145 3 0 0 20 0 19 0 255827956 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955034161624 139954882475536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25759] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25759/stat : 25759 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955006614056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25760] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25760/stat : 25760 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955005561256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25761] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25761/stat : 25761 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955004508456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25762] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25762/stat : 25762 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955003455656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25763] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25763/stat : 25763 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955002403880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25764] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25764/stat : 25764 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955001351080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25765] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25765/stat : 25765 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139955000298280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25766] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25766/stat : 25766 (java) S 25754 25756 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954870594216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25767] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25767/stat : 25767 (java) S 25754 25756 22462 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255827958 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954387646952 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25768] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25768/stat : 25768 (java) S 25754 25756 22462 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954386593016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25769] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25769/stat : 25769 (java) S 25754 25756 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954385540104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25770] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25770/stat : 25770 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954384488592 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 4003 0 0 0 52 0 0 0 20 0 19 0 255827961 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 2930 0 0 0 56 0 0 0 20 0 19 0 255827961 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25773] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25773/stat : 25773 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954381331320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25774] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25774/stat : 25774 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954380278728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25775] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25775/stat : 25775 (java) S 25754 25756 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255828015 9855975424 27184 33554432000 1073741824 1073778376 140733296684272 139954379224232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 1.98 2.00 2.00 3/215 25775
/proc/meminfo: memFree=29160532/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=4.26 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 10704 0 1 0 421 5 0 0 20 0 19 0 255827956 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 35421 2281 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=3.04 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2495 0 1 0 301 3 0 0 20 0 19 0 255827956 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955034161560 139954882356107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25759] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25759/stat : 25759 (java) S 25754 25756 22462 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955006614056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25760] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25760/stat : 25760 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955005561256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25761] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25761/stat : 25761 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955004508456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25762] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25762/stat : 25762 (java) S 25754 25756 22462 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955003455656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25763] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25763/stat : 25763 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955002403880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25764] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25764/stat : 25764 (java) S 25754 25756 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955001351080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25765] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25765/stat : 25765 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139955000298280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25766] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25766/stat : 25766 (java) S 25754 25756 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954870594216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25767] ppid=25754 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25756/task/25767/stat : 25767 (java) S 25754 25756 22462 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 255827958 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954387646952 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25768] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25768/stat : 25768 (java) S 25754 25756 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954386593016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25769] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25769/stat : 25769 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954385540104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25770] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25770/stat : 25770 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954384488592 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 4005 0 0 0 53 0 0 0 20 0 19 0 255827961 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 2936 0 0 0 58 0 0 0 20 0 19 0 255827961 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25773] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25773/stat : 25773 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954381331320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25774] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25774/stat : 25774 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954380278728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25775] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25775/stat : 25775 (java) S 25754 25756 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255828015 9855975424 35421 33554432000 1073741824 1073778376 140733296684272 139954379224232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 1.98 2.00 2.00 3/215 25775
/proc/meminfo: memFree=29113068/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=7.51 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 10706 0 1 0 746 5 0 0 20 0 19 0 255827956 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 35283 2281 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=6.23 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2496 0 1 0 620 3 0 0 20 0 19 0 255827956 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955034161624 139954882241861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25759] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25759/stat : 25759 (java) S 25754 25756 22462 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955006614056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25760] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25760/stat : 25760 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955005561256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25761] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25761/stat : 25761 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955004508456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25762] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25762/stat : 25762 (java) S 25754 25756 22462 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955003455656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25763] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25763/stat : 25763 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955002403880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25764] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25764/stat : 25764 (java) S 25754 25756 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955001351080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25765] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25765/stat : 25765 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139955000298280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25766] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25766/stat : 25766 (java) S 25754 25756 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255827957 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954870594216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25767] ppid=25754 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25756/task/25767/stat : 25767 (java) S 25754 25756 22462 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 255827958 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954387646952 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25768] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25768/stat : 25768 (java) S 25754 25756 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954386593016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25769] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25769/stat : 25769 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954385540104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25770] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25770/stat : 25770 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954384488592 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 4005 0 0 0 55 0 0 0 20 0 19 0 255827961 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 2937 0 0 0 61 0 0 0 20 0 19 0 255827961 9855975424 35283 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 10021 0 0 0 98 2 0 0 20 0 19 0 255827961 9855975424 89081 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 8388 0 0 0 106 1 0 0 20 0 19 0 255827961 9855975424 89081 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25773] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25773/stat : 25773 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 89081 33554432000 1073741824 1073778376 140733296684272 139954381331320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25774] ppid=25754 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/25756/task/25774/stat : 25774 (java) S 25754 25756 22462 0 -1 4202560 95 0 0 0 17 15 0 0 20 0 19 0 255827961 9855975424 89081 33554432000 1073741824 1073778376 140733296684272 139954380278728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25775] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25775/stat : 25775 (java) S 25754 25756 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255828015 9855975424 89081 33554432000 1073741824 1073778376 140733296684272 139954379224232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1667.57
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 25789
/proc/meminfo: memFree=28451084/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=1727.62 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 24611 0 1 0 172714 48 0 0 20 0 19 0 255827956 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 90105 2283 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=1710.7 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2632 0 1 0 171038 32 0 0 20 0 19 0 255827956 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955034161440 139954882474443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25759] ppid=25754 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25756/task/25759/stat : 25759 (java) S 25754 25756 22462 0 -1 4202560 423 0 0 0 56 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955006614056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25760] ppid=25754 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25756/task/25760/stat : 25760 (java) S 25754 25756 22462 0 -1 4202560 142 0 0 0 49 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955005561256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25761] ppid=25754 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25756/task/25761/stat : 25761 (java) S 25754 25756 22462 0 -1 4202560 234 0 0 0 56 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955004508456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25762] ppid=25754 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25756/task/25762/stat : 25762 (java) S 25754 25756 22462 0 -1 4202560 363 0 0 0 50 3 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955003455656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25763] ppid=25754 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25756/task/25763/stat : 25763 (java) S 25754 25756 22462 0 -1 4202560 296 0 0 0 56 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955002403880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25764] ppid=25754 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25756/task/25764/stat : 25764 (java) S 25754 25756 22462 0 -1 4202560 177 0 0 0 55 3 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955001351080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25765] ppid=25754 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25756/task/25765/stat : 25765 (java) S 25754 25756 22462 0 -1 4202560 185 0 0 0 50 2 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955000298280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25766] ppid=25754 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/25756/task/25766/stat : 25766 (java) S 25754 25756 22462 0 -1 4202560 293 0 0 0 47 3 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954870594216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25767] ppid=25754 vsize=9624976 CPUtime=5.84 cores=0,2,4,6
/proc/25756/task/25767/stat : 25767 (java) S 25754 25756 22462 0 -1 4202560 173 0 0 0 582 2 0 0 20 0 19 0 255827958 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954387646952 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25768] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25768/stat : 25768 (java) S 25754 25756 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954386593016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25769] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25769/stat : 25769 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954385540104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25770] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25770/stat : 25770 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954384488592 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 10021 0 0 0 98 2 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 8388 0 0 0 106 1 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25773] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25773/stat : 25773 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954381331320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25774] ppid=25754 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/25756/task/25774/stat : 25774 (java) S 25754 25756 22462 0 -1 4202560 99 0 0 0 17 15 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954380278728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25775] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25775/stat : 25775 (java) S 25754 25756 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255828015 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954379224232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.62
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 25793
/proc/meminfo: memFree=29042104/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=1787.67 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 24621 0 1 0 178718 49 0 0 20 0 19 0 255827956 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 90105 2283 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=1770.37 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2634 0 1 0 177005 32 0 0 20 0 19 0 255827956 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955034161440 139954882474462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25759] ppid=25754 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25756/task/25759/stat : 25759 (java) S 25754 25756 22462 0 -1 4202560 423 0 0 0 56 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955006614056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25760] ppid=25754 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/25756/task/25760/stat : 25760 (java) S 25754 25756 22462 0 -1 4202560 142 0 0 0 50 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955005561256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25761] ppid=25754 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25756/task/25761/stat : 25761 (java) S 25754 25756 22462 0 -1 4202560 234 0 0 0 56 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955004508456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25762] ppid=25754 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25756/task/25762/stat : 25762 (java) S 25754 25756 22462 0 -1 4202560 363 0 0 0 50 3 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955003455656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25763] ppid=25754 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25756/task/25763/stat : 25763 (java) S 25754 25756 22462 0 -1 4202560 296 0 0 0 57 4 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955002403880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25764] ppid=25754 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/25756/task/25764/stat : 25764 (java) S 25754 25756 22462 0 -1 4202560 177 0 0 0 56 3 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955001351080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25765] ppid=25754 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25756/task/25765/stat : 25765 (java) S 25754 25756 22462 0 -1 4202560 185 0 0 0 51 2 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139955000298280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25766] ppid=25754 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/25756/task/25766/stat : 25766 (java) S 25754 25756 22462 0 -1 4202560 293 0 0 0 47 3 0 0 20 0 19 0 255827957 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954870594216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25767] ppid=25754 vsize=9624976 CPUtime=6 cores=0,2,4,6
/proc/25756/task/25767/stat : 25767 (java) S 25754 25756 22462 0 -1 4202560 177 0 0 0 598 2 0 0 20 0 19 0 255827958 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954387646952 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25768] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25768/stat : 25768 (java) S 25754 25756 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954386593016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25769] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25769/stat : 25769 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954385540104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25770] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25770/stat : 25770 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954384488592 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 10021 0 0 0 98 2 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 8388 0 0 0 106 1 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25773] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25773/stat : 25773 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954381331320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25774] ppid=25754 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/25756/task/25774/stat : 25774 (java) S 25754 25756 22462 0 -1 4202560 103 0 0 0 18 15 0 0 20 0 19 0 255827961 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954380278728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25775] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25775/stat : 25775 (java) S 25754 25756 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255828015 9855975424 90105 33554432000 1073741824 1073778376 140733296684272 139954379224232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.67
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.6 s]
/proc/loadavg: 1.85 1.97 1.99 2/191 25817
/proc/meminfo: memFree=29046120/32873844 swapFree=7124/7124
[pid=25756] ppid=25754 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6
/proc/25756/stat : 25756 (java) S 25754 25756 22462 0 -1 4202496 24672 0 1 0 179953 49 0 0 20 0 19 0 255827956 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 140733296675408 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25756/statm: 2406244 90153 2283 9 0 2396937 0
[pid=25756/tid=25757] ppid=25754 vsize=9624976 CPUtime=1782.55 cores=0,2,4,6
/proc/25756/task/25757/stat : 25757 (java) R 25754 25756 22462 0 -1 4202560 2635 0 1 0 178222 33 0 0 20 0 19 0 255827956 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955034161440 139954882475521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25759] ppid=25754 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25756/task/25759/stat : 25759 (java) S 25754 25756 22462 0 -1 4202560 443 0 0 0 57 4 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955006614056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25760] ppid=25754 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/25756/task/25760/stat : 25760 (java) S 25754 25756 22462 0 -1 4202560 142 0 0 0 51 4 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955005561256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25761] ppid=25754 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25756/task/25761/stat : 25761 (java) S 25754 25756 22462 0 -1 4202560 234 0 0 0 57 4 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955004508456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25762] ppid=25754 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/25756/task/25762/stat : 25762 (java) S 25754 25756 22462 0 -1 4202560 391 0 0 0 51 3 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955003455656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25763] ppid=25754 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/25756/task/25763/stat : 25763 (java) S 25754 25756 22462 0 -1 4202560 296 0 0 0 58 4 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955002403880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25764] ppid=25754 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25756/task/25764/stat : 25764 (java) S 25754 25756 22462 0 -1 4202560 177 0 0 0 58 3 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955001351080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25765] ppid=25754 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25756/task/25765/stat : 25765 (java) S 25754 25756 22462 0 -1 4202560 185 0 0 0 51 2 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139955000298280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25766] ppid=25754 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/25756/task/25766/stat : 25766 (java) S 25754 25756 22462 0 -1 4202560 293 0 0 0 48 3 0 0 20 0 19 0 255827957 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954870594216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25767] ppid=25754 vsize=9624976 CPUtime=6.07 cores=0,2,4,6
/proc/25756/task/25767/stat : 25767 (java) S 25754 25756 22462 0 -1 4202560 179 0 0 0 605 2 0 0 20 0 19 0 255827958 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954387646952 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25768] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25768/stat : 25768 (java) S 25754 25756 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954386593016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25769] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25769/stat : 25769 (java) S 25754 25756 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255827959 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954385540104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25770] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25770/stat : 25770 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954384488592 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25756/tid=25771] ppid=25754 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/25756/task/25771/stat : 25771 (java) S 25754 25756 22462 0 -1 4202560 10021 0 0 0 98 2 0 0 20 0 19 0 255827961 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954383436728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25772] ppid=25754 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/25756/task/25772/stat : 25772 (java) S 25754 25756 22462 0 -1 4202560 8388 0 0 0 106 1 0 0 20 0 19 0 255827961 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954382383928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25756/tid=25773] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25773/stat : 25773 (java) S 25754 25756 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255827961 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954381331320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25756/tid=25774] ppid=25754 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/25756/task/25774/stat : 25774 (java) S 25754 25756 22462 0 -1 4202560 103 0 0 0 18 16 0 0 20 0 19 0 255827961 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954380278728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25756/tid=25775] ppid=25754 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25756/task/25775/stat : 25775 (java) S 25754 25756 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255828015 9855975424 90153 33554432000 1073741824 1073778376 140733296684272 139954379224232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25756 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=69108
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=953854
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.67
CPU time (s): 1800.02
CPU user time (s): 1799.53
CPU system time (s): 0.49
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 0.953854
maximum resident set size= 360740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24705
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41319
involuntary context switches= 13237

runsolver used 6.24105 second user time and 13.094 second system time

The end

Begin job on node134 at 2012-05-25 00:03:46
IDJOB=3690189
IDBENCH=92754
IDSOLVER=2269
FILE ID=node134/3690189-1337897026
RUNJOBID= node134-1337871881-22478
PBS_JOBID= 14620070
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690189-1337897026/watcher-3690189-1337897026 -o /tmp/evaluation-result-3690189-1337897026/solver-3690189-1337897026 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3690189-1337897026.opb

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

MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0
RANDOM SEED=103289492

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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.56
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		: 2667.278
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		: 2667.278
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.59
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		: 2667.278
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		: 2667.278
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.55
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		: 2667.278
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.57
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		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29264884 kB
Buffers:          231252 kB
Cached:          2462424 kB
SwapCached:            0 kB
Active:           624452 kB
Inactive:        2217964 kB
Active(anon):     144888 kB
Inactive(anon):     5996 kB
Active(file):     479564 kB
Inactive(file):  2211968 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2564 kB
Writeback:             0 kB
AnonPages:        155004 kB
Mapped:            22552 kB
Shmem:               212 kB
Slab:             628580 kB
SReclaimable:      70400 kB
SUnreclaim:       558180 kB
KernelStack:        1616 kB
PageTables:         4516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     699788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node134 at 2012-05-25 00:33:42