0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710387-1338255157.opb
0.09/0.12	c reading problem ... 
1.04/0.53	c ... done. Wall clock time 0.412s.
1.04/0.53	c declared #vars     9940
1.04/0.53	c #constraints  24510
1.04/0.53	c constraints type 
1.04/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.04/0.53	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.04/0.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.04/0.53	c ignored satisfied constraints => 2
1.04/0.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.04/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
1.04/0.53	c 24512 constraints processed.
1.26/0.65	c SATISFIABLE
1.26/0.65	c OPTIMIZING...
1.26/0.65	c Got one! Elapsed wall clock time (in seconds):0.525
1.26/0.65	o 144600213
1.80/0.82	c Got one! Elapsed wall clock time (in seconds):0.701
1.80/0.82	o 144594213
3.69/2.57	c Got one! Elapsed wall clock time (in seconds):2.447
3.69/2.57	o 91589871
10.37/9.00	c cleaning 3008 clauses out of 6015 with flag 5022/6025
14.72/13.24	c cleaning 4488 clauses out of 8975 with flag 11000/12003
20.97/19.40	c Got one! Elapsed wall clock time (in seconds):19.28
20.97/19.40	o 37397681
21.58/20.03	c Got one! Elapsed wall clock time (in seconds):19.905
21.58/20.03	o 36794029
22.01/20.44	c cleaning 5295 clauses out of 10593 with flag 1003/18205
25.85/24.26	c cleaning 5633 clauses out of 11287 with flag 7001/24203
26.22/24.57	c Got one! Elapsed wall clock time (in seconds):24.446
26.22/24.57	o 33099471
26.22/24.59	c Got one! Elapsed wall clock time (in seconds):24.47
26.22/24.59	o 25759655
29.32/27.64	c cleaning 5370 clauses out of 10747 with flag 5001/29425
31.14/29.44	c cleaning 5679 clauses out of 11371 with flag 11001/35425
31.64/29.93	c Got one! Elapsed wall clock time (in seconds):29.808
31.64/29.93	o 5672679
33.84/32.18	c cleaning 5156 clauses out of 10316 with flag 4000/40687
35.45/33.79	c cleaning 5570 clauses out of 11144 with flag 10000/46687
37.16/35.48	c cleaning 6278 clauses out of 12574 with flag 17001/53688
40.87/39.14	c cleaning 7122 clauses out of 14253 with flag 25000/61687
43.07/41.37	c cleaning 8061 clauses out of 16123 with flag 34000/70687
45.38/43.64	c cleaning 9024 clauses out of 18052 with flag 44000/80687
49.58/47.86	c cleaning 9979 clauses out of 19978 with flag 55001/91688
52.49/50.75	c cleaning 10986 clauses out of 21982 with flag 67000/103687
55.41/53.69	c cleaning 11985 clauses out of 23997 with flag 80001/116688
61.01/59.28	c cleaning 12967 clauses out of 25942 with flag 94000/130687
64.44/62.66	c cleaning 13978 clauses out of 27973 with flag 109000/145687
68.37/66.59	c cleaning 14990 clauses out of 29994 with flag 125000/161687
72.47/70.63	c cleaning 15988 clauses out of 32004 with flag 142001/178688
79.48/77.60	c cleaning 16972 clauses out of 33964 with flag 160001/196688
84.70/82.85	c cleaning 17982 clauses out of 35971 with flag 179001/215688
89.31/87.49	c cleaning 18983 clauses out of 37985 with flag 199000/235687
95.12/93.21	c cleaning 19994 clauses out of 40000 with flag 220000/256687
102.34/100.42	c cleaning 20993 clauses out of 41987 with flag 242001/278688
107.96/106.03	c cleaning 22004 clauses out of 44012 with flag 265023/301710
115.46/113.53	c cleaning 22981 clauses out of 45974 with flag 289001/325688
122.57/120.66	c cleaning 23981 clauses out of 47986 with flag 314000/350687
131.19/129.24	c cleaning 24984 clauses out of 49991 with flag 340001/376688
138.93/136.97	c cleaning 25992 clauses out of 52006 with flag 367000/403687
147.14/145.11	c cleaning 26982 clauses out of 53980 with flag 395000/431687
154.26/152.20	c cleaning 27986 clauses out of 55996 with flag 424000/460687
161.38/159.31	c cleaning 28992 clauses out of 58008 with flag 454000/490687
168.49/166.50	c cleaning 29998 clauses out of 60017 with flag 485001/521688
175.90/173.83	c cleaning 30997 clauses out of 62013 with flag 517000/553687
185.40/183.30	c cleaning 31999 clauses out of 64016 with flag 550000/586687
193.60/191.55	c cleaning 33002 clauses out of 66018 with flag 584001/620688
202.04/199.98	c cleaning 33998 clauses out of 68015 with flag 619000/655687
212.07/209.97	c cleaning 35001 clauses out of 70010 with flag 655001/691688
220.81/218.60	c cleaning 35989 clauses out of 72009 with flag 692001/728688
229.35/227.11	c cleaning 36998 clauses out of 74019 with flag 730000/766687
239.06/236.83	c cleaning 37999 clauses out of 76021 with flag 769000/805687
248.67/246.43	c cleaning 39006 clauses out of 78021 with flag 809001/845688
259.61/257.38	c cleaning 39999 clauses out of 80014 with flag 850000/886687
268.83/266.52	c cleaning 41002 clauses out of 82017 with flag 892002/928689
279.05/276.73	c cleaning 41997 clauses out of 84014 with flag 935001/971688
294.19/291.85	c cleaning 42995 clauses out of 86006 with flag 979000/1015687
303.62/301.24	c cleaning 43996 clauses out of 88012 with flag 1024001/1060688
316.15/313.76	c cleaning 45002 clauses out of 90016 with flag 1070001/1106688
332.39/329.94	c cleaning 45995 clauses out of 92014 with flag 1117001/1153688
344.71/342.21	c cleaning 46994 clauses out of 94018 with flag 1165000/1201687
357.73/355.29	c cleaning 48001 clauses out of 96024 with flag 1214000/1250687
369.97/367.48	c cleaning 49002 clauses out of 98024 with flag 1264001/1300688
382.81/380.20	c cleaning 49993 clauses out of 100021 with flag 1315000/1351687
395.76/393.13	c cleaning 50997 clauses out of 102028 with flag 1367000/1403687
412.08/409.47	c cleaning 52008 clauses out of 104032 with flag 1420001/1456688
424.90/422.22	c cleaning 52994 clauses out of 106023 with flag 1474000/1510687
437.65/434.95	c cleaning 54002 clauses out of 108029 with flag 1529000/1565687
451.49/448.78	c cleaning 55007 clauses out of 110027 with flag 1585000/1621687
464.92/462.16	c cleaning 55997 clauses out of 112020 with flag 1642000/1678687
478.85/476.01	c cleaning 57002 clauses out of 114024 with flag 1700001/1736688
493.58/490.70	c cleaning 57994 clauses out of 116021 with flag 1759000/1795687
508.83/505.96	c cleaning 58997 clauses out of 118028 with flag 1819001/1855688
522.84/519.94	c cleaning 60000 clauses out of 120031 with flag 1880001/1916688
537.29/534.34	c cleaning 61001 clauses out of 122031 with flag 1942001/1978688
552.73/549.76	c cleaning 62000 clauses out of 124030 with flag 2005001/2041688
569.59/566.53	c cleaning 63004 clauses out of 126024 with flag 2069000/2105687
591.61/588.57	c cleaning 64002 clauses out of 128020 with flag 2134000/2170687
612.13/609.04	c cleaning 64998 clauses out of 130019 with flag 2200001/2236688
632.28/629.14	c cleaning 66002 clauses out of 132020 with flag 2267000/2303687
649.62/646.45	c cleaning 66997 clauses out of 134018 with flag 2335000/2371687
666.85/663.63	c cleaning 68000 clauses out of 136022 with flag 2404001/2440688
685.59/682.30	c cleaning 68998 clauses out of 138022 with flag 2474001/2510688
703.33/700.06	c cleaning 70004 clauses out of 140023 with flag 2545000/2581687
721.47/718.15	c cleaning 70999 clauses out of 142019 with flag 2617000/2653687
740.31/736.95	c cleaning 71999 clauses out of 144020 with flag 2690000/2726687
760.25/756.83	c cleaning 72987 clauses out of 146022 with flag 2764001/2800688
779.29/775.88	c cleaning 73990 clauses out of 148034 with flag 2839000/2875687
798.25/794.70	c cleaning 75000 clauses out of 150045 with flag 2915001/2951688
817.88/814.33	c cleaning 75996 clauses out of 152044 with flag 2992000/3028687
842.11/838.52	c cleaning 77019 clauses out of 154048 with flag 3070000/3106687
861.73/858.11	c cleaning 78006 clauses out of 156029 with flag 3149000/3185687
880.28/876.66	c cleaning 79003 clauses out of 158023 with flag 3229000/3265687
900.50/896.85	c cleaning 79998 clauses out of 160020 with flag 3310000/3346687
919.83/916.16	c cleaning 81005 clauses out of 162023 with flag 3392001/3428688
939.97/936.21	c cleaning 82001 clauses out of 164017 with flag 3475000/3511687
959.74/955.95	c cleaning 83001 clauses out of 166018 with flag 3559002/3595689
982.61/978.75	c cleaning 83999 clauses out of 168015 with flag 3644000/3680687
1004.96/1001.08	c cleaning 85000 clauses out of 170017 with flag 3730001/3766688
1026.21/1022.24	c cleaning 85993 clauses out of 172016 with flag 3817000/3853687
1048.56/1044.55	c cleaning 86998 clauses out of 174023 with flag 3905000/3941687
1071.41/1067.31	c cleaning 87996 clauses out of 176026 with flag 3994001/4030688
1093.34/1089.27	c cleaning 88998 clauses out of 178030 with flag 4084001/4120688
1116.89/1112.74	c cleaning 89995 clauses out of 180032 with flag 4175001/4211688
1140.13/1135.97	c cleaning 90997 clauses out of 182036 with flag 4267000/4303687
1164.26/1160.08	c cleaning 92003 clauses out of 184039 with flag 4360000/4396687
1188.51/1184.28	c cleaning 92995 clauses out of 186036 with flag 4454000/4490687
1215.03/1210.79	c cleaning 94028 clauses out of 188056 with flag 4549015/4585702
1250.96/1246.60	c cleaning 94996 clauses out of 190014 with flag 4645001/4681688
1275.26/1270.82	c cleaning 96000 clauses out of 192017 with flag 4742000/4778687
1299.52/1295.05	c cleaning 96994 clauses out of 194017 with flag 4840000/4876687
1324.06/1319.53	c cleaning 97996 clauses out of 196023 with flag 4939000/4975687
1349.33/1344.73	c cleaning 98995 clauses out of 198028 with flag 5039001/5075688
1377.82/1373.11	c cleaning 100009 clauses out of 200033 with flag 5140001/5176688
1405.61/1400.86	c cleaning 100995 clauses out of 202023 with flag 5242000/5278687
1435.49/1430.63	c cleaning 102006 clauses out of 204029 with flag 5345001/5381688
1465.56/1460.60	c cleaning 102997 clauses out of 206023 with flag 5449001/5485688
1495.74/1490.74	c cleaning 103994 clauses out of 208025 with flag 5554000/5590687
1521.47/1516.46	c cleaning 104990 clauses out of 210032 with flag 5660001/5696688
1548.04/1542.92	c cleaning 105998 clauses out of 212042 with flag 5767001/5803688
1573.70/1568.56	c cleaning 107000 clauses out of 214043 with flag 5875000/5911687
1599.81/1594.65	c cleaning 107993 clauses out of 216044 with flag 5984001/6020688
1625.25/1620.05	c cleaning 109010 clauses out of 218050 with flag 6094000/6130687
1653.78/1648.52	c cleaning 110007 clauses out of 220042 with flag 6205002/6241689
1681.34/1676.01	c cleaning 111001 clauses out of 222034 with flag 6317001/6353688
1711.21/1705.90	c cleaning 111999 clauses out of 224032 with flag 6430000/6466687
1740.78/1735.30	c cleaning 113007 clauses out of 226034 with flag 6544001/6580688
1772.25/1766.70	c cleaning 114003 clauses out of 228027 with flag 6659001/6695688
1800.03/1794.41	c starts		: 284
1800.03/1794.41	c conflicts		: 6806452
1800.03/1794.41	c decisions		: 7581128
1800.03/1794.41	c propagations		: 185605338
1800.03/1794.41	c inspects		: 3026785468
1800.03/1794.41	c shortcuts		: 0
1800.03/1794.41	c learnt literals	: 330
1800.03/1794.41	c learnt binary clauses	: 603
1800.03/1794.41	c learnt ternary clauses	: 1039
1800.03/1794.41	c learnt constraints	: 6806122
1800.03/1794.41	c ignored constraints	: 0
1800.03/1794.41	c root simplifications	: 614
1800.03/1794.41	c removed literals (reason simplification)	: 599956021
1800.03/1794.41	c reason swapping (by a shorter reason)	: 0
1800.03/1794.41	c Calls to reduceDB	: 117
1800.03/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.41	c number of learned constraints concerned by reduction	: 0
1800.03/1794.41	c number of learning phase by resolution	: 0
1800.03/1794.41	c number of learning phase by cutting planes	: 0
1800.03/1794.41	c speed (assignments/second)	: 103466.89879154583
1800.03/1794.41	c non guided choices	7434
1800.03/1794.44	c learnt constraints type 
1800.03/1794.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 597
1800.03/1794.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224289
1800.03/1794.44	c constraints type 
1800.03/1794.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.03/1794.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.03/1794.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.03/1794.44	c ignored satisfied constraints => 2
1800.03/1794.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.03/1794.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626
1800.03/1794.44	c 24513 constraints processed.
1800.03/1794.44	s SATISFIABLE
1800.03/1794.45	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/1794.46	c objective function=5672679
1800.03/1794.46	c Total wall clock time (in seconds): 1794.344

OK	5672679

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-3710387-1338255157/watcher-3710387-1338255157 -o /tmp/evaluation-result-3710387-1338255157/solver-3710387-1338255157 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710387-1338255157.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.01 1.91 3/194 26554
/proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26554/stat : 26554 (java) D 26552 26554 26215 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291640261 9515008 182 33554432000 1073741824 1073778376 140734860630272 140734860621304 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26554/statm: 2323 182 140 9 0 71 0

[startup+0.099498 s]
/proc/loadavg: 2.00 2.01 1.91 3/194 26554
/proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 4264 0 1 0 8 1 0 0 20 0 18 0 291640261 9787842560 5472 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2389610 5474 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.100323 s]
/proc/loadavg: 2.00 2.01 1.91 3/194 26554
/proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 4276 0 1 0 8 1 0 0 20 0 18 0 291640261 9787842560 5483 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2389610 5484 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300303 s]
/proc/loadavg: 2.00 2.01 1.91 3/194 26554
/proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9558440 CPUtime=0.51 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 6506 0 1 0 49 2 0 0 20 0 18 0 291640261 9787842560 10277 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2389610 10305 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700318 s]
/proc/loadavg: 2.00 2.01 1.91 3/194 26554
/proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 11200 0 1 0 148 4 0 0 20 0 19 0 291640261 9856004096 25635 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 25635 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9625004

[startup+1.50073 s]
/proc/loadavg: 2.08 2.02 1.91 3/213 26573
/proc/meminfo: memFree=29980092/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=2.69 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 12365 0 1 0 265 4 0 0 20 0 19 0 291640261 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 27754 2260 9 0 2396937 0
[pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2549 0 1 0 144 2 0 0 20 0 19 0 291640262 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897168032152 139897034350236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291640264 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4061 0 0 0 56 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4555 0 0 0 61 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 2.08 2.02 1.91 2/193 26576
/proc/meminfo: memFree=30880440/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=4.35 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 12372 0 1 0 431 4 0 0 20 0 19 0 291640261 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 29803 2260 9 0 2396937 0
[pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2555 0 1 0 303 2 0 0 20 0 19 0 291640262 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897168032280 139897034590565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640264 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4061 0 0 0 59 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4555 0 0 0 65 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9625004

[startup+6.30073 s]
/proc/loadavg: 2.08 2.02 1.91 3/213 26632
/proc/meminfo: memFree=30791200/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=7.63 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 12419 0 1 0 759 4 0 0 20 0 19 0 291640261 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 32745 2263 9 0 2396937 0
[pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=6.25 cores=1,3,5,7
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2564 0 1 0 623 2 0 0 20 0 19 0 291640262 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897168030160 139897033987908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640264 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4061 0 0 0 59 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4593 0 0 0 73 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 95 0 0 0 12 7 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.64
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 26670
/proc/meminfo: memFree=30372100/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=1727.78 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 14357 0 1 0 172724 54 0 0 20 0 19 0 291640261 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 78868 2290 9 0 2396937 0
[pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1707.52 cores=1,3,5,7
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2688 0 1 0 170712 40 0 0 20 0 19 0 291640262 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897168032048 139897034537501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 217 0 0 0 64 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 156 0 0 0 71 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 182 0 0 0 72 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 213 0 0 0 66 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 201 0 0 0 72 3 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 281 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 138 0 0 0 67 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 115 0 0 0 69 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=8.54 cores=1,3,5,7
/proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 200 0 0 0 850 4 0 0 20 0 19 0 291640264 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 99 0 0 0 12 8 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.78
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 26671
/proc/meminfo: memFree=30371612/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=1787.92 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 14365 0 1 0 178737 55 0 0 20 0 19 0 291640261 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 78868 2290 9 0 2396937 0
[pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1767.03 cores=1,3,5,7
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2690 0 1 0 176662 41 0 0 20 0 19 0 291640262 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897168032048 139897034761465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 217 0 0 0 65 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 156 0 0 0 74 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 182 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 213 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 201 0 0 0 74 3 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 281 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 138 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 115 0 0 0 72 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=8.8 cores=1,3,5,7
/proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 202 0 0 0 876 4 0 0 20 0 19 0 291640264 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 103 0 0 0 13 8 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.92
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 26671
/proc/meminfo: memFree=30371612/32873844 swapFree=6080/6080
[pid=26554] ppid=26552 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 14365 0 1 0 179948 55 0 0 20 0 19 0 291640261 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26554/statm: 2406251 78868 2290 9 0 2396937 0
[pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1779.1 cores=1,3,5,7
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2690 0 1 0 177867 43 0 0 20 0 19 0 291640262 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897168032048 139897034535894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 217 0 0 0 65 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 156 0 0 0 74 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 182 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 213 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 201 0 0 0 74 3 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 281 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 138 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 115 0 0 0 72 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=8.8 cores=1,3,5,7
/proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 202 0 0 0 876 4 0 0 20 0 19 0 291640264 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 103 0 0 0 13 8 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

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

Real time (s): 1794.47
CPU time (s): 1800.03
CPU user time (s): 1799.48
CPU system time (s): 0.55
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 0.862868
maximum resident set size= 315596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14400
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41307
involuntary context switches= 43314

runsolver used 6.51101 second user time and 13.303 second system time

The end

Begin job on node139 at 2012-05-29 03:32:37
IDJOB=3710387
IDBENCH=92753
IDSOLVER=2289
FILE ID=node139/3710387-1338255157
RUNJOBID= node139-1338253362-26232
PBS_JOBID= 14624667
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710387-1338255157/watcher-3710387-1338255157 -o /tmp/evaluation-result-3710387-1338255157/solver-3710387-1338255157 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710387-1338255157.opb

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

MD5SUM BENCH= 2c2d9ba6f4bdaebbae04c4ec95210420
RANDOM SEED=1151757369

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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.750
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.750
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.90
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.750
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.750
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.92
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.750
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	: 5331.91
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.750
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.750
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:        30078332 kB
Buffers:          447072 kB
Cached:           573824 kB
SwapCached:          828 kB
Active:          1632196 kB
Inactive:         304632 kB
Active(anon):     909548 kB
Inactive(anon):     7968 kB
Active(file):     722648 kB
Inactive(file):   296664 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              1660 kB
Writeback:             0 kB
AnonPages:        920564 kB
Mapped:            20068 kB
Shmem:                 8 kB
Slab:             718048 kB
SReclaimable:     160220 kB
SUnreclaim:       557828 kB
KernelStack:        1600 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1719204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    894976 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= 71648 MiB
End job on node139 at 2012-05-29 04:02:34