0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3690199-1337897067.opb
0.09/0.11	c reading problem ... 
1.05/0.54	c ... done. Wall clock time 0.426s.
1.05/0.54	c declared #vars     9940
1.05/0.54	c #constraints  24510
1.05/0.54	c constraints type 
1.05/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.05/0.54	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.05/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.05/0.54	c ignored satisfied constraints => 2
1.05/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.05/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
1.05/0.54	c 24512 constraints processed.
1.05/0.54	c objective function length is 9730 literals
2.22/1.32	c SATISFIABLE
2.22/1.32	c OPTIMIZING...
2.22/1.32	c Got one! Elapsed wall clock time (in seconds):1.211
2.22/1.32	o 72442393
2.53/1.51	c Got one! Elapsed wall clock time (in seconds):1.394
2.53/1.51	o 4917981
2.53/1.56	c Got one! Elapsed wall clock time (in seconds):1.451
2.53/1.56	o 4877383
6.14/5.00	c cleaning 2912 clauses out of 5827 with flag 5000/5861
9.65/7.87	c cleaning 4448 clauses out of 8903 with flag 11000/11861
12.16/10.36	c cleaning 5722 clauses out of 11454 with flag 18001/18862
13.98/12.19	c cleaning 6861 clauses out of 13732 with flag 26001/26862
16.04/14.16	c cleaning 7930 clauses out of 15870 with flag 35000/35861
18.24/16.35	c cleaning 8965 clauses out of 17941 with flag 45001/45862
20.66/18.78	c cleaning 9988 clauses out of 19975 with flag 56000/56861
23.27/21.36	c cleaning 10987 clauses out of 21987 with flag 68000/68861
26.09/24.19	c cleaning 11995 clauses out of 24000 with flag 81000/81861
29.08/27.18	c cleaning 13001 clauses out of 26006 with flag 95001/95862
32.30/30.39	c cleaning 14000 clauses out of 28005 with flag 110001/110862
35.83/33.86	c cleaning 14997 clauses out of 30004 with flag 126000/126861
39.55/37.50	c cleaning 16001 clauses out of 32008 with flag 143001/143862
43.36/41.33	c cleaning 17003 clauses out of 34007 with flag 161001/161862
47.38/45.39	c cleaning 17997 clauses out of 36004 with flag 180001/180862
51.71/49.64	c cleaning 19003 clauses out of 38007 with flag 200001/200862
56.22/54.19	c cleaning 19999 clauses out of 40004 with flag 221001/221862
60.93/58.88	c cleaning 20997 clauses out of 42005 with flag 243001/243862
65.94/63.87	c cleaning 21997 clauses out of 44008 with flag 266001/266862
71.26/69.12	c cleaning 23001 clauses out of 46010 with flag 290000/290861
76.68/74.55	c cleaning 23994 clauses out of 48009 with flag 315001/315862
82.23/80.06	c cleaning 25006 clauses out of 50014 with flag 341000/341861
88.19/85.90	c cleaning 26001 clauses out of 52008 with flag 368000/368861
94.31/92.01	c cleaning 27002 clauses out of 54007 with flag 396000/396861
100.94/98.66	c cleaning 27994 clauses out of 56006 with flag 425001/425862
107.36/105.01	c cleaning 28998 clauses out of 58012 with flag 455001/455862
113.98/111.69	c cleaning 30006 clauses out of 60013 with flag 486000/486861
120.99/118.66	c cleaning 31003 clauses out of 62007 with flag 518000/518861
128.11/125.77	c cleaning 31997 clauses out of 64004 with flag 551000/551861
135.54/133.16	c cleaning 33001 clauses out of 66007 with flag 585000/585861
143.06/140.70	c cleaning 34001 clauses out of 68007 with flag 620001/620862
150.89/148.46	c cleaning 35000 clauses out of 70006 with flag 656001/656862
158.90/156.43	c cleaning 35998 clauses out of 72005 with flag 693000/693861
167.23/164.75	c cleaning 37001 clauses out of 74007 with flag 731000/731861
175.85/173.31	c cleaning 38003 clauses out of 76007 with flag 770001/770862
184.58/182.03	c cleaning 38999 clauses out of 78003 with flag 810000/810861
193.49/190.97	c cleaning 39996 clauses out of 80004 with flag 851000/851861
202.82/200.29	c cleaning 40999 clauses out of 82009 with flag 893001/893862
212.45/209.85	c cleaning 41999 clauses out of 84009 with flag 936000/936861
222.18/219.55	c cleaning 43003 clauses out of 86010 with flag 980000/980861
232.41/229.78	c cleaning 43999 clauses out of 88008 with flag 1025001/1025862
242.62/239.97	c cleaning 44998 clauses out of 90008 with flag 1071000/1071861
253.36/250.61	c cleaning 46002 clauses out of 92011 with flag 1118001/1118862
264.20/261.48	c cleaning 46997 clauses out of 94008 with flag 1166000/1166861
275.04/272.27	c cleaning 48003 clauses out of 96012 with flag 1215001/1215862
286.35/283.54	c cleaning 49004 clauses out of 98008 with flag 1265000/1265861
297.98/295.16	c cleaning 49991 clauses out of 100004 with flag 1316000/1316861
309.76/306.85	c cleaning 51003 clauses out of 102014 with flag 1368001/1368862
321.78/318.80	c cleaning 52001 clauses out of 104010 with flag 1421000/1421861
333.81/330.88	c cleaning 52999 clauses out of 106009 with flag 1475000/1475861
346.34/343.35	c cleaning 54005 clauses out of 108011 with flag 1530001/1530862
359.06/356.03	c cleaning 55002 clauses out of 110006 with flag 1586001/1586862
371.89/368.84	c cleaning 55996 clauses out of 112003 with flag 1643000/1643861
384.83/381.78	c cleaning 56997 clauses out of 114007 with flag 1701000/1701861
398.37/395.24	c cleaning 57999 clauses out of 116010 with flag 1760000/1760861
411.89/408.76	c cleaning 59003 clauses out of 118012 with flag 1820001/1820862
425.81/422.70	c cleaning 60001 clauses out of 120008 with flag 1881000/1881861
439.95/436.78	c cleaning 61000 clauses out of 122007 with flag 1943000/1943861
454.48/451.22	c cleaning 61998 clauses out of 124007 with flag 2006000/2006861
469.10/465.83	c cleaning 63000 clauses out of 126010 with flag 2070001/2070862
484.03/480.72	c cleaning 63998 clauses out of 128010 with flag 2135001/2135862
499.19/495.88	c cleaning 64999 clauses out of 130012 with flag 2201001/2201862
514.85/511.44	c cleaning 66006 clauses out of 132012 with flag 2268000/2268861
529.97/526.56	c cleaning 66989 clauses out of 134006 with flag 2336000/2336861
546.09/542.61	c cleaning 67998 clauses out of 136017 with flag 2405000/2405861
562.02/558.57	c cleaning 69004 clauses out of 138020 with flag 2475001/2475862
578.94/575.44	c cleaning 70006 clauses out of 140016 with flag 2546001/2546862
595.27/591.73	c cleaning 70993 clauses out of 142009 with flag 2618000/2618861
611.59/608.07	c cleaning 71997 clauses out of 144017 with flag 2691001/2691862
628.60/625.06	c cleaning 72996 clauses out of 146018 with flag 2765000/2765861
645.94/642.40	c cleaning 74004 clauses out of 148023 with flag 2840001/2840862
664.17/660.57	c cleaning 74996 clauses out of 150018 with flag 2916000/2916861
682.32/678.69	c cleaning 75999 clauses out of 152022 with flag 2993000/2993861
701.03/697.38	c cleaning 77005 clauses out of 154023 with flag 3071000/3071861
719.42/715.65	c cleaning 78006 clauses out of 156018 with flag 3150000/3150861
737.83/734.08	c cleaning 79001 clauses out of 158012 with flag 3230000/3230861
756.45/752.69	c cleaning 80001 clauses out of 160011 with flag 3311000/3311861
775.57/771.71	c cleaning 80994 clauses out of 162008 with flag 3393000/3393861
795.28/791.40	c cleaning 81999 clauses out of 164014 with flag 3476000/3476861
814.31/810.46	c cleaning 83003 clauses out of 166016 with flag 3560001/3560862
834.45/830.58	c cleaning 83998 clauses out of 168013 with flag 3645001/3645862
854.40/850.45	c cleaning 84999 clauses out of 170014 with flag 3731000/3731861
874.40/870.42	c cleaning 86002 clauses out of 172015 with flag 3818000/3818861
895.13/891.11	c cleaning 86999 clauses out of 174014 with flag 3906001/3906862
916.28/912.20	c cleaning 88002 clauses out of 176015 with flag 3995001/3995862
937.30/933.29	c cleaning 88997 clauses out of 178013 with flag 4085001/4085862
959.35/955.21	c cleaning 90004 clauses out of 180016 with flag 4176001/4176862
981.29/977.20	c cleaning 90997 clauses out of 182011 with flag 4268000/4268861
1003.33/999.16	c cleaning 92002 clauses out of 184014 with flag 4361000/4361861
1025.65/1021.40	c cleaning 92997 clauses out of 186012 with flag 4455000/4455861
1048.57/1044.39	c cleaning 94003 clauses out of 188016 with flag 4550001/4550862
1071.05/1066.75	c cleaning 95000 clauses out of 190013 with flag 4646001/4646862
1093.45/1089.15	c cleaning 96001 clauses out of 192012 with flag 4743000/4743861
1117.15/1112.80	c cleaning 97003 clauses out of 194011 with flag 4841000/4841861
1141.17/1136.87	c cleaning 97958 clauses out of 195937 with flag 4940000/4940861
1164.90/1160.53	c cleaning 98980 clauses out of 197978 with flag 5040000/5040861
1189.18/1184.64	c cleaning 99986 clauses out of 199998 with flag 5141000/5141861
1213.83/1209.21	c cleaning 100994 clauses out of 202012 with flag 5243000/5243861
1238.92/1234.25	c cleaning 101952 clauses out of 203930 with flag 5346001/5346862
1263.76/1259.02	c cleaning 102982 clauses out of 205977 with flag 5450001/5450862
1290.33/1285.58	c cleaning 103982 clauses out of 207994 with flag 5555000/5555861
1317.03/1312.19	c cleaning 104992 clauses out of 210013 with flag 5661001/5661862
1341.81/1336.85	c cleaning 105988 clauses out of 212009 with flag 5768000/5768861
1367.15/1362.15	c cleaning 106994 clauses out of 214021 with flag 5876000/5876861
1391.33/1386.29	c cleaning 107990 clauses out of 216023 with flag 5985000/5985861
1417.90/1412.76	c cleaning 108995 clauses out of 218034 with flag 6095001/6095862
1444.07/1438.85	c cleaning 109994 clauses out of 220038 with flag 6206000/6206861
1471.91/1466.60	c cleaning 111004 clauses out of 222045 with flag 6318001/6318862
1498.58/1493.27	c cleaning 112015 clauses out of 224038 with flag 6431001/6431862
1523.03/1517.66	c cleaning 113003 clauses out of 226023 with flag 6545001/6545862
1549.19/1543.79	c cleaning 113994 clauses out of 228020 with flag 6660001/6660862
1576.29/1570.77	c cleaning 114999 clauses out of 230025 with flag 6776000/6776861
1603.28/1597.69	c cleaning 116001 clauses out of 232026 with flag 6893000/6893861
1631.06/1625.39	c cleaning 116999 clauses out of 234025 with flag 7011000/7011861
1658.14/1652.30	c cleaning 117995 clauses out of 236015 with flag 7130000/7130861
1685.48/1679.61	c cleaning 118998 clauses out of 238020 with flag 7250000/7250861
1715.79/1709.81	c cleaning 119998 clauses out of 240022 with flag 7371000/7371861
1744.05/1738.02	c cleaning 120998 clauses out of 242024 with flag 7493000/7493861
1772.73/1766.68	c cleaning 121998 clauses out of 244027 with flag 7616001/7616862
1799.23/1793.08	c cleaning 123000 clauses out of 246029 with flag 7740001/7740862
1800.03/1793.71	c starts		: 279
1800.03/1793.71	c conflicts		: 7743455
1800.03/1793.71	c decisions		: 8604040
1800.03/1793.71	c propagations		: 107425514
1800.03/1793.71	c inspects		: 2554567240
1800.03/1793.71	c shortcuts		: 0
1800.03/1793.71	c learnt literals	: 243
1800.03/1793.71	c learnt binary clauses	: 55
1800.03/1793.71	c learnt ternary clauses	: 780
1800.03/1793.71	c learnt constraints	: 7743213
1800.03/1793.71	c ignored constraints	: 0
1800.03/1793.71	c root simplifications	: 0
1800.03/1793.71	c removed literals (reason simplification)	: 0
1800.03/1793.71	c reason swapping (by a shorter reason)	: 0
1800.03/1793.71	c Calls to reduceDB	: 120
1800.03/1793.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1793.71	c number of learned constraints concerned by reduction	: 0
1800.03/1793.71	c number of learning phase by resolution	: 0
1800.03/1793.71	c number of learning phase by cutting planes	: 0
1800.03/1793.71	c speed (assignments/second)	: 59909.50349389057
1800.03/1793.71	c non guided choices	220
1800.03/1793.74	c learnt constraints type 
1800.03/1793.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 55
1800.03/1793.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 125734
1800.03/1793.74	c constraints type 
1800.03/1793.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.03/1793.74	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.03/1793.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.03/1793.74	c ignored satisfied constraints => 2
1800.03/1793.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.03/1793.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626
1800.03/1793.74	c 24513 constraints processed.
1800.03/1793.74	s SATISFIABLE
1800.03/1793.75	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.03/1793.76	c objective function=4877383
1800.03/1793.76	c Total wall clock time (in seconds): 1793.65

OK	4877383

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/173 27697
/proc/meminfo: memFree=28989808/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27697/stat : 27697 (java) D 27695 27697 27510 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255835253 9515008 183 33554432000 1073741824 1073778376 140737456800640 140737456791672 247064247989 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27697/statm: 2323 183 140 9 0 71 0

[startup+0.0375271 s]
/proc/loadavg: 2.00 2.00 1.97 3/173 27697
/proc/meminfo: memFree=28989808/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 2963 0 1 0 1 0 0 0 20 0 11 0 255835253 9310650368 3151 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2273108 3151 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100335 s]
/proc/loadavg: 2.00 2.00 1.97 3/173 27697
/proc/meminfo: memFree=28989808/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 4348 0 1 0 8 1 0 0 20 0 18 0 255835253 9787813888 5021 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2389603 5021 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 1.97 3/173 27697
/proc/meminfo: memFree=28989808/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 8617 0 1 0 51 2 0 0 20 0 18 0 255835253 9787813888 11990 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2389603 11990 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700196 s]
/proc/loadavg: 2.00 2.00 1.97 3/173 27697
/proc/meminfo: memFree=28989808/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 11166 0 1 0 147 4 0 0 20 0 19 0 255835253 9855975424 24274 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 24274 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9624976

[startup+1.50073 s]
/proc/loadavg: 2.00 2.00 1.97 3/190 27731
/proc/meminfo: memFree=28904520/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=2.53 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 11205 0 1 0 249 4 0 0 20 0 19 0 255835253 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 25845 2255 9 0 2396937 0
[pid=27697/tid=27699] ppid=27695 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/27697/task/27699/stat : 27699 (java) R 27695 27697 27510 0 -1 4202560 2533 0 1 0 144 3 0 0 20 0 19 0 255835254 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659568345664 140659508059651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27700] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27700/stat : 27700 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659412384680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27701] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27701/stat : 27701 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659411332136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27702] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27702/stat : 27702 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659410279080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27703] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27703/stat : 27703 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659409226536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27704] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27704/stat : 27704 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659408173480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255835256 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 2658 0 0 0 49 0 0 0 20 0 19 0 255835259 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4814 0 0 0 54 0 0 0 20 0 19 0 255835259 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 25845 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9624976

[startup+3.10077 s]
/proc/loadavg: 2.00 2.00 1.97 3/213 27765
/proc/meminfo: memFree=28881104/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=4.3 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 11236 0 1 0 426 4 0 0 20 0 19 0 255835253 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 28941 2257 9 0 2396937 0
[pid=27697/tid=27699] ppid=27695 vsize=9624976 CPUtime=3.07 cores=1,3,5,7
/proc/27697/task/27699/stat : 27699 (java) R 27695 27697 27510 0 -1 4202560 2540 0 1 0 304 3 0 0 20 0 19 0 255835254 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659568343488 140659508830567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27700] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27700/stat : 27700 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659412384680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27701] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27701/stat : 27701 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659411332136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27702] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27702/stat : 27702 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659410279080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27703] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27703/stat : 27703 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659409226536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27704] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27704/stat : 27704 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659408173480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255835256 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 2668 0 0 0 56 0 0 0 20 0 19 0 255835259 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4828 0 0 0 64 0 0 0 20 0 19 0 255835259 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 28941 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9624976

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 1.97 4/213 27765
/proc/meminfo: memFree=28798820/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=8.08 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 18278 0 1 0 801 7 0 0 20 0 19 0 255835253 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 40658 2284 9 0 2396937 0
[pid=27697/tid=27699] ppid=27695 vsize=9624976 CPUtime=6.21 cores=1,3,5,7
/proc/27697/task/27699/stat : 27699 (java) R 27695 27697 27510 0 -1 4202560 2547 0 1 0 618 3 0 0 20 0 19 0 255835254 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659568345240 140659508806868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27700] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27700/stat : 27700 (java) S 27695 27697 27510 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659412384680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27701] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27701/stat : 27701 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659411332136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27702] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27702/stat : 27702 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659410279080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27703] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27703/stat : 27703 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659409226536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27704] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27704/stat : 27704 (java) S 27695 27697 27510 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659408173480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255835255 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 255835256 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 9626 0 0 0 105 2 0 0 20 0 19 0 255835259 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4836 0 0 0 67 0 0 0 20 0 19 0 255835259 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 40658 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 165 0 0 0 76 4 0 0 20 0 19 0 255835255 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 235 0 0 0 69 3 0 0 20 0 19 0 255835255 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 163 0 0 0 70 3 0 0 20 0 19 0 255835255 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=8.16 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 171 0 0 0 813 3 0 0 20 0 19 0 255835256 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 9647 0 0 0 115 2 0 0 20 0 19 0 255835259 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4853 0 0 0 71 0 0 0 20 0 19 0 255835259 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 99 0 0 0 11 18 0 0 20 0 19 0 255835259 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 94424 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.34
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 27781
/proc/meminfo: memFree=28446904/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=1788.52 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 20390 0 1 0 178812 40 0 0 20 0 19 0 255835253 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 94428 2285 9 0 2396937 0
[pid=27697/tid=27699] ppid=27695 vsize=9624976 CPUtime=1772.22 cores=1,3,5,7
/proc/27697/task/27699/stat : 27699 (java) R 27695 27697 27510 0 -1 4202560 2681 0 1 0 177192 30 0 0 20 0 19 0 255835254 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659568345376 140659508806906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27700] ppid=27695 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/27697/task/27700/stat : 27700 (java) S 27695 27697 27510 0 -1 4202560 255 0 0 0 78 4 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659412384680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27701] ppid=27695 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/27697/task/27701/stat : 27701 (java) S 27695 27697 27510 0 -1 4202560 424 0 0 0 70 3 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659411332136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27702] ppid=27695 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/27697/task/27702/stat : 27702 (java) S 27695 27697 27510 0 -1 4202560 113 0 0 0 65 2 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659410279080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27703] ppid=27695 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/27697/task/27703/stat : 27703 (java) S 27695 27697 27510 0 -1 4202560 192 0 0 0 75 5 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659409226536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27704] ppid=27695 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/27697/task/27704/stat : 27704 (java) S 27695 27697 27510 0 -1 4202560 200 0 0 0 74 4 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659408173480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 165 0 0 0 80 4 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 235 0 0 0 74 3 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 163 0 0 0 73 3 0 0 20 0 19 0 255835255 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=8.36 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 173 0 0 0 833 3 0 0 20 0 19 0 255835256 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 9647 0 0 0 115 2 0 0 20 0 19 0 255835259 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4853 0 0 0 71 0 0 0 20 0 19 0 255835259 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 103 0 0 0 11 19 0 0 20 0 19 0 255835259 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 94428 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 27781
/proc/meminfo: memFree=28446904/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 20412 0 1 0 179963 40 0 0 20 0 19 0 255835253 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 94447 2285 9 0 2396937 0
[pid=27697/tid=27699] ppid=27695 vsize=9624976 CPUtime=1783.46 cores=1,3,5,7
/proc/27697/task/27699/stat : 27699 (java) R 27695 27697 27510 0 -1 4202560 2682 0 1 0 178315 31 0 0 20 0 19 0 255835254 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659568345496 140659508872518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27700] ppid=27695 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/27697/task/27700/stat : 27700 (java) S 27695 27697 27510 0 -1 4202560 274 0 0 0 80 4 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659412384680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27701] ppid=27695 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/27697/task/27701/stat : 27701 (java) S 27695 27697 27510 0 -1 4202560 424 0 0 0 73 3 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659411332136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27702] ppid=27695 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/27697/task/27702/stat : 27702 (java) S 27695 27697 27510 0 -1 4202560 113 0 0 0 66 2 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659410279080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27703] ppid=27695 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/27697/task/27703/stat : 27703 (java) S 27695 27697 27510 0 -1 4202560 192 0 0 0 76 5 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659409226536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27704] ppid=27695 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/27697/task/27704/stat : 27704 (java) S 27695 27697 27510 0 -1 4202560 200 0 0 0 75 4 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659408173480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 165 0 0 0 82 4 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 235 0 0 0 76 3 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 163 0 0 0 74 3 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=8.49 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 175 0 0 0 846 3 0 0 20 0 19 0 255835256 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 9647 0 0 0 115 2 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4853 0 0 0 71 0 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 103 0 0 0 11 19 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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

[startup+1793.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 27781
/proc/meminfo: memFree=28446904/32873844 swapFree=7100/7100
[pid=27697] ppid=27695 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/27697/stat : 27697 (java) S 27695 27697 27510 0 -1 4202496 20412 0 1 0 179963 40 0 0 20 0 19 0 255835253 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140736953759088 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27697/statm: 2406244 94447 2285 9 0 2396937 0
[pid=27697/tid=27699] ppid=27695 vsize=9624976 CPUtime=1783.46 cores=1,3,5,7
/proc/27697/task/27699/stat : 27699 (java) R 27695 27697 27510 0 -1 4202560 2682 0 1 0 178315 31 0 0 20 0 19 0 255835254 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659568345496 140659508872518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27700] ppid=27695 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/27697/task/27700/stat : 27700 (java) S 27695 27697 27510 0 -1 4202560 274 0 0 0 80 4 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659412384680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27701] ppid=27695 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/27697/task/27701/stat : 27701 (java) S 27695 27697 27510 0 -1 4202560 424 0 0 0 73 3 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659411332136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27702] ppid=27695 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/27697/task/27702/stat : 27702 (java) S 27695 27697 27510 0 -1 4202560 113 0 0 0 66 2 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659410279080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27703] ppid=27695 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/27697/task/27703/stat : 27703 (java) S 27695 27697 27510 0 -1 4202560 192 0 0 0 76 5 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659409226536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27704] ppid=27695 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/27697/task/27704/stat : 27704 (java) S 27695 27697 27510 0 -1 4202560 200 0 0 0 75 4 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659408173480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27705] ppid=27695 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/27697/task/27705/stat : 27705 (java) S 27695 27697 27510 0 -1 4202560 165 0 0 0 82 4 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659407120936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27706] ppid=27695 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/27697/task/27706/stat : 27706 (java) S 27695 27697 27510 0 -1 4202560 235 0 0 0 76 3 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659406067880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27697/tid=27707] ppid=27695 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/27697/task/27707/stat : 27707 (java) S 27695 27697 27510 0 -1 4202560 163 0 0 0 74 3 0 0 20 0 19 0 255835255 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659405015336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27708] ppid=27695 vsize=9624976 CPUtime=8.49 cores=1,3,5,7
/proc/27697/task/27708/stat : 27708 (java) S 27695 27697 27510 0 -1 4202560 175 0 0 0 846 3 0 0 20 0 19 0 255835256 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659392605032 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27709] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27709/stat : 27709 (java) S 27695 27697 27510 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659391551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27710] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27710/stat : 27710 (java) S 27695 27697 27510 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255835257 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659390498184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27711] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27711/stat : 27711 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659389446928 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27697/tid=27712] ppid=27695 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/27697/task/27712/stat : 27712 (java) S 27695 27697 27510 0 -1 4202560 9647 0 0 0 115 2 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659388393784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27697/tid=27713] ppid=27695 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/27697/task/27713/stat : 27713 (java) S 27695 27697 27510 0 -1 4202560 4853 0 0 0 71 0 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659387341240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27714] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27714/stat : 27714 (java) S 27695 27697 27510 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659386288376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27715] ppid=27695 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/27697/task/27715/stat : 27715 (java) S 27695 27697 27510 0 -1 4202560 103 0 0 0 11 19 0 0 20 0 19 0 255835259 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659385236040 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27697/tid=27722] ppid=27695 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27697/task/27722/stat : 27722 (java) S 27695 27697 27510 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255835311 9855975424 94447 33554432000 1073741824 1073778376 140736953767952 140659384182312 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1793.77
CPU time (s): 1800.84
CPU user time (s): 1799.87
CPU system time (s): 0.972852
CPU usage (%): 100.394
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.972852
maximum resident set size= 377912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20445
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41270
involuntary context switches= 10328

runsolver used 5.75012 second user time and 14.5038 second system time

The end

Begin job on node103 at 2012-05-25 00:04:27
IDJOB=3690199
IDBENCH=92761
IDSOLVER=2269
FILE ID=node103/3690199-1337897067
RUNJOBID= node103-1337895248-27535
PBS_JOBID= 14620103
Free space on /tmp= 71608 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_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690199-1337897067/watcher-3690199-1337897067 -o /tmp/evaluation-result-3690199-1337897067/solver-3690199-1337897067 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3690199-1337897067.opb

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

MD5SUM BENCH= e8b41d97566c10d69baac452b7d02eb7
RANDOM SEED=708457068

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28990072 kB
Buffers:          223280 kB
Cached:          2865628 kB
SwapCached:            0 kB
Active:           813036 kB
Inactive:        2302496 kB
Active(anon):      28976 kB
Inactive(anon):        0 kB
Active(file):     784060 kB
Inactive(file):  2302496 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9896 kB
Writeback:             0 kB
AnonPages:         41024 kB
Mapped:            14228 kB
Shmem:               200 kB
Slab:             630368 kB
SReclaimable:      73012 kB
SUnreclaim:       557356 kB
KernelStack:        1408 kB
PageTables:         3948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     126216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71712 MiB
End job on node103 at 2012-05-25 00:34:23