0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090619-1466063943.wbo
0.10/0.11	c reading problem ... 
0.57/0.32	c ... done. Wall clock time 0.213s.
0.57/0.32	c declared #vars     10100
0.57/0.32	c internal #vars     10165
0.57/0.32	c #constraints  201
0.57/0.32	c constraints type 
0.57/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101
0.57/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 67
0.57/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.57/0.32	c 201 constraints processed.
0.57/0.32	c objective function length is 65 literals
1.51/0.99	c cleaning 2496 clauses out of 5002 with flag 29572/5002
2.42/1.78	c cleaning 4247 clauses out of 8504 with flag 67070/11000
3.43/2.79	c cleaning 5625 clauses out of 11258 with flag 107573/18001
4.94/4.29	c cleaning 6811 clauses out of 13632 with flag 161502/26000
6.76/6.02	c cleaning 7905 clauses out of 15822 with flag 219778/35001
8.92/8.12	c cleaning 8951 clauses out of 17916 with flag 284248/45000
11.12/10.37	c cleaning 9973 clauses out of 19965 with flag 351356/56000
13.62/12.81	c cleaning 10992 clauses out of 21992 with flag 430190/68000
14.82/14.03	c SATISFIABLE
14.82/14.03	c OPTIMIZING...
14.82/14.03	c Got one! Elapsed wall clock time (in seconds):13.922
14.82/14.03	o 70
16.28/15.24	c cleaning 11054 clauses out of 22122 with flag 29503/79122
17.51/16.49	c cleaning 8530 clauses out of 17070 with flag 66596/85124
19.01/17.99	c cleaning 7758 clauses out of 15538 with flag 114114/92122
20.51/19.48	c cleaning 7886 clauses out of 15781 with flag 169374/100123
22.21/21.19	c cleaning 8443 clauses out of 16897 with flag 229610/109125
24.21/23.13	c cleaning 9221 clauses out of 18453 with flag 294186/119124
26.88/25.69	c cleaning 10105 clauses out of 20230 with flag 377646/130122
29.68/28.43	c cleaning 11050 clauses out of 22125 with flag 468702/142122
33.25/31.86	c cleaning 12034 clauses out of 24076 with flag 565743/155123
37.25/35.85	c cleaning 13010 clauses out of 26042 with flag 676659/169123
41.85/40.46	c cleaning 14008 clauses out of 28033 with flag 792952/184124
47.13/45.66	c cleaning 15007 clauses out of 30023 with flag 913655/200122
53.10/51.50	c cleaning 16004 clauses out of 32017 with flag 1040775/217123
59.50/57.89	c cleaning 17001 clauses out of 34014 with flag 1176844/235124
66.86/64.92	c cleaning 17999 clauses out of 36011 with flag 1320265/254122
74.47/72.28	c cleaning 18994 clauses out of 38012 with flag 1465058/274122
82.42/80.15	c cleaning 20005 clauses out of 40019 with flag 1616670/295123
91.40/89.08	c cleaning 21006 clauses out of 42015 with flag 1775526/317124
100.80/98.24	c cleaning 21997 clauses out of 44007 with flag 1939896/340122
111.94/109.37	c cleaning 23007 clauses out of 46015 with flag 2126615/364127
123.73/120.99	c cleaning 23999 clauses out of 48003 with flag 2314088/389122
134.88/131.95	c cleaning 25000 clauses out of 50004 with flag 2487499/415122
149.15/146.06	c cleaning 25997 clauses out of 52004 with flag 2692072/442122
161.59/158.39	c Got one! Elapsed wall clock time (in seconds):158.274
161.59/158.39	o 47
161.73/158.49	c Got one! Elapsed wall clock time (in seconds):158.377
161.73/158.49	o 4
164.93/161.57	c cleaning 29540 clauses out of 59086 with flag 34314/475201
166.53/163.17	c cleaning 17766 clauses out of 35547 with flag 79132/481202
168.10/164.66	c cleaning 12381 clauses out of 24780 with flag 131950/488201
169.61/166.14	c cleaning 10194 clauses out of 20401 with flag 197297/496203
171.24/167.78	c cleaning 9589 clauses out of 19207 with flag 269165/505203
173.25/169.70	c cleaning 9800 clauses out of 19617 with flag 351036/515202
175.60/172.04	c cleaning 10402 clauses out of 20816 with flag 444307/526201
178.20/174.66	c cleaning 11200 clauses out of 22416 with flag 550859/538203
181.13/177.50	c cleaning 12097 clauses out of 24214 with flag 656803/551201
184.88/181.28	c cleaning 13045 clauses out of 26119 with flag 782743/565203
189.36/185.63	c cleaning 14026 clauses out of 28073 with flag 906175/580202
194.13/190.35	c cleaning 15009 clauses out of 30046 with flag 1031671/596201
199.37/195.58	c cleaning 16011 clauses out of 32037 with flag 1164829/613201
205.30/201.42	c cleaning 17003 clauses out of 34027 with flag 1307312/631202
211.93/208.06	c cleaning 18006 clauses out of 36025 with flag 1462878/650203
219.10/215.19	c cleaning 19001 clauses out of 38018 with flag 1633505/670202
226.65/222.65	c cleaning 20006 clauses out of 40017 with flag 1813434/691202
234.04/229.91	c cleaning 20994 clauses out of 42011 with flag 1998216/713202
240.98/236.90	c cleaning 21998 clauses out of 44016 with flag 2191377/736201
248.72/244.56	c cleaning 23003 clauses out of 46022 with flag 2390005/760205
256.91/252.64	c cleaning 23998 clauses out of 48017 with flag 2592434/785203
265.80/261.47	c cleaning 25003 clauses out of 50025 with flag 2799686/811209
275.61/271.10	c cleaning 26000 clauses out of 52014 with flag 3017076/838201
285.22/280.60	c cleaning 26999 clauses out of 54016 with flag 3251858/866203
296.32/291.61	c cleaning 27996 clauses out of 56015 with flag 3493596/895201
308.58/303.77	c cleaning 28998 clauses out of 58019 with flag 3772121/925201
321.43/316.41	c cleaning 30003 clauses out of 60022 with flag 4027041/956202
334.23/329.11	c cleaning 31003 clauses out of 62021 with flag 4287882/988204
347.79/342.60	c cleaning 32000 clauses out of 64016 with flag 4551084/1021202
362.95/357.54	c cleaning 32997 clauses out of 66015 with flag 4836867/1055201
378.38/372.75	c cleaning 34002 clauses out of 68018 with flag 5126617/1090201
393.74/387.90	c cleaning 35005 clauses out of 70016 with flag 5417513/1126201
404.49/398.53	c cleaning 35993 clauses out of 72011 with flag 5695672/1163201
421.22/415.09	c cleaning 36994 clauses out of 74021 with flag 6051589/1201204
439.13/432.71	c cleaning 37996 clauses out of 76024 with flag 6451000/1240201
460.18/453.56	c cleaning 38999 clauses out of 78030 with flag 6847894/1280203
481.02/474.17	c cleaning 39999 clauses out of 80031 with flag 7261647/1321203
508.28/501.06	c cleaning 41000 clauses out of 82032 with flag 7657513/1363203
537.14/529.59	c cleaning 41992 clauses out of 84030 with flag 8067110/1406201
568.89/560.99	c cleaning 42995 clauses out of 86038 with flag 8475495/1450201
602.60/594.27	c cleaning 44002 clauses out of 88045 with flag 8877298/1495203
632.18/623.44	c cleaning 45000 clauses out of 90043 with flag 9270521/1541203
669.18/660.05	c cleaning 45997 clauses out of 92041 with flag 9717270/1588201
707.57/698.08	c cleaning 47001 clauses out of 94046 with flag 10154504/1636203
745.27/735.33	c cleaning 47998 clauses out of 96043 with flag 10604292/1685201
782.07/771.77	c cleaning 48999 clauses out of 98046 with flag 11060074/1735202
820.89/810.12	c cleaning 50000 clauses out of 100046 with flag 11512736/1786201
867.85/856.60	c cleaning 51001 clauses out of 102046 with flag 12034790/1838201
911.71/900.13	c cleaning 51998 clauses out of 104045 with flag 12567192/1891201
918.30/906.56	c Got one! Elapsed wall clock time (in seconds):906.446
918.30/906.56	o 3
919.27/907.46	c cleaning 34553 clauses out of 69173 with flag 30279/1908327
920.31/908.45	c cleaning 20277 clauses out of 40621 with flag 71884/1914328
921.34/909.49	c cleaning 13637 clauses out of 27343 with flag 122040/1921327
922.60/910.66	c cleaning 10816 clauses out of 21706 with flag 181804/1929327
924.24/912.22	c cleaning 9911 clauses out of 19891 with flag 251444/1938328
925.90/913.86	c cleaning 9952 clauses out of 19979 with flag 328535/1948327
927.85/915.72	c cleaning 10480 clauses out of 21028 with flag 407744/1959328
929.89/917.78	c cleaning 11239 clauses out of 22549 with flag 507520/1971329
932.63/920.43	c cleaning 12121 clauses out of 24308 with flag 618762/1984327
935.40/923.10	c cleaning 13056 clauses out of 26186 with flag 745153/1998326
938.75/926.42	c cleaning 14034 clauses out of 28133 with flag 886273/2013329
942.31/929.97	c cleaning 15011 clauses out of 30096 with flag 1026467/2029326
947.21/934.74	c cleaning 16005 clauses out of 32087 with flag 1182818/2046328
951.59/939.03	c cleaning 17007 clauses out of 34083 with flag 1331800/2064329
956.55/943.94	c cleaning 18002 clauses out of 36073 with flag 1498594/2083326
961.98/949.24	c cleaning 18999 clauses out of 38072 with flag 1663993/2103327
967.85/955.04	c cleaning 20002 clauses out of 40073 with flag 1841160/2124327
974.93/962.00	c cleaning 20995 clauses out of 42070 with flag 2034767/2146326
982.15/969.14	c cleaning 22004 clauses out of 44078 with flag 2231536/2169329
989.69/976.55	c cleaning 22996 clauses out of 46072 with flag 2410900/2193327
998.36/985.10	c cleaning 24001 clauses out of 48075 with flag 2617279/2218326
1006.77/993.42	c cleaning 25003 clauses out of 50074 with flag 2806391/2244326
1016.72/1003.21	c cleaning 26002 clauses out of 52071 with flag 3008831/2271326
1026.87/1013.27	c cleaning 27001 clauses out of 54072 with flag 3219836/2299329
1038.81/1025.02	c cleaning 27996 clauses out of 56068 with flag 3444160/2328326
1050.73/1036.88	c cleaning 29000 clauses out of 58072 with flag 3675886/2358326
1063.14/1049.10	c cleaning 29999 clauses out of 60072 with flag 3911740/2389326
1078.37/1064.23	c cleaning 31003 clauses out of 62075 with flag 4223766/2421328
1092.26/1077.91	c cleaning 32000 clauses out of 64070 with flag 4498008/2454326
1106.26/1091.82	c cleaning 32998 clauses out of 66072 with flag 4762112/2488328
1121.63/1107.03	c cleaning 34000 clauses out of 68072 with flag 5045371/2523326
1138.05/1123.23	c cleaning 35000 clauses out of 70072 with flag 5356046/2559326
1155.13/1140.16	c cleaning 36002 clauses out of 72074 with flag 5687568/2596328
1172.35/1157.19	c cleaning 37002 clauses out of 74073 with flag 6016499/2634329
1190.71/1175.23	c cleaning 37996 clauses out of 76068 with flag 6347423/2673326
1210.03/1194.36	c cleaning 38996 clauses out of 78072 with flag 6681584/2713326
1232.76/1216.87	c cleaning 40003 clauses out of 80078 with flag 7053427/2754328
1256.21/1240.03	c cleaning 41002 clauses out of 82073 with flag 7444583/2796326
1278.72/1262.26	c cleaning 42000 clauses out of 84072 with flag 7842092/2839327
1303.46/1286.75	c cleaning 42999 clauses out of 86073 with flag 8229990/2883328
1327.42/1310.45	c cleaning 43993 clauses out of 88072 with flag 8614045/2928326
1352.33/1335.02	c cleaning 45005 clauses out of 90081 with flag 9016416/2974328
1380.50/1362.95	c cleaning 45998 clauses out of 92074 with flag 9406622/3021326
1406.84/1388.99	c cleaning 46999 clauses out of 94078 with flag 9788296/3069328
1436.97/1418.76	c cleaning 48003 clauses out of 96078 with flag 10195348/3118327
1467.16/1448.61	c cleaning 49001 clauses out of 98074 with flag 10569530/3168326
1498.42/1479.55	c cleaning 49997 clauses out of 100074 with flag 10963758/3219327
1532.00/1512.72	c cleaning 50996 clauses out of 102076 with flag 11378626/3271326
1564.68/1545.08	c cleaning 52004 clauses out of 104080 with flag 11802380/3324326
1598.37/1578.45	c cleaning 53004 clauses out of 106077 with flag 12225663/3378327
1634.69/1614.43	c cleaning 54000 clauses out of 108072 with flag 12680328/3433326
1675.20/1654.31	c cleaning 55001 clauses out of 110073 with flag 13111396/3489327
1718.59/1697.37	c cleaning 56001 clauses out of 112073 with flag 13575193/3546328
1761.70/1739.93	c cleaning 56999 clauses out of 114073 with flag 14058260/3604329
1800.04/1777.71	c starts		: 39
1800.04/1777.71	c conflicts		: 3658432
1800.04/1777.71	c decisions		: 4256351
1800.04/1777.71	c propagations		: 57578535
1800.04/1777.71	c inspects		: 28209960328
1800.04/1777.71	c shortcuts		: 0
1800.04/1777.71	c learnt literals	: 0
1800.04/1777.71	c learnt binary clauses	: 0
1800.04/1777.71	c learnt ternary clauses	: 0
1800.04/1777.71	c learnt constraints	: 3658432
1800.04/1777.71	c ignored constraints	: 0
1800.04/1777.71	c root simplifications	: 0
1800.04/1777.71	c removed literals (reason simplification)	: 0
1800.04/1777.71	c reason swapping (by a shorter reason)	: 0
1800.04/1777.71	c Calls to reduceDB	: 134
1800.04/1777.71	c Number of update (reduction) of LBD	: 1950852
1800.04/1777.71	c Imported unit clauses	: 0
1800.04/1777.71	c number of reductions to clauses (during analyze)	: 0
1800.04/1777.71	c number of learned constraints concerned by reduction	: 0
1800.04/1777.71	c number of learning phase by resolution	: 0
1800.04/1777.71	c number of learning phase by cutting planes	: 0
1800.04/1777.71	c speed (assignments/second)	: 32395.266052465013
1800.04/1777.71	c non guided choices	86781
1800.04/1777.74	c learnt constraints type 
1800.04/1777.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111177
1800.04/1777.74	s SATISFIABLE
1800.04/1777.74	c Found 4 solution(s)
1800.04/1777.75	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 
1800.04/1777.76	c objective function=3
1800.04/1777.76	c Total wall clock time (in seconds): 1777.646

OK	3

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090619-1466063943/watcher-4090619-1466063943 -o /tmp/evaluation-result-4090619-1466063943/solver-4090619-1466063943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466062123-14513 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090619-1466063943.wbo 

pid=14862
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.72 4/193 14865
/proc/meminfo: memFree=31759620/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 8441075 98570240 977 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 24065 978 744 9 0 16771 0
[pid=14865/tid=14866] ppid=14862 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 8441075 98570240 978 33554432000 1073741824 1073778376 140734427588736 140320335613480 242167399808 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 2.00 2.01 1.72 4/193 14865
/proc/meminfo: memFree=31759620/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 4449 0 1 0 9 1 0 0 20 0 18 0 8441075 9787879424 5577 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2389619 5577 2125 9 0 2380296 0
[pid=14865/tid=14866] ppid=14862 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 18 0 8441075 9787879424 5577 33554432000 1073741824 1073778376 140734427588736 140320335613880 242170782989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200276 s]
/proc/loadavg: 2.00 2.01 1.72 4/193 14865
/proc/meminfo: memFree=31759620/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 5109 0 1 0 28 1 0 0 20 0 18 0 8441075 9787879424 7073 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2389619 7073 2217 9 0 2380296 0
[pid=14865/tid=14866] ppid=14862 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2447 0 1 0 17 0 0 0 20 0 18 0 8441075 9787879424 7073 33554432000 1073741824 1073778376 140734427588736 140320335613880 140320275388616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300298 s]
/proc/loadavg: 2.00 2.01 1.72 4/193 14865
/proc/meminfo: memFree=31759620/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 7393 0 1 0 55 2 0 0 20 0 18 0 8441075 9787879424 10500 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2389619 10500 2233 9 0 2380296 0
[pid=14865/tid=14866] ppid=14862 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2454 0 1 0 27 0 0 0 20 0 18 0 8441075 9787879424 10500 33554432000 1073741824 1073778376 140734427588736 140320335617832 140320343045941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 1.72 4/193 14865
/proc/meminfo: memFree=31759620/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 8219 0 1 0 129 2 0 0 20 0 19 0 8441075 9856040960 14711 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 14711 2255 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2472 0 1 0 66 1 0 0 20 0 19 0 8441075 9856040960 14711 33554432000 1073741824 1073778376 140734427588736 140320335610008 140320275980268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.00 2.01 1.72 4/213 14885
/proc/meminfo: memFree=31652988/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 8952 0 1 0 217 2 0 0 20 0 19 0 8441075 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 18968 2262 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2481 0 1 0 146 1 0 0 20 0 19 0 8441075 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320335616472 140320275950391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14868] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14868/stat : 14868 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320274348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14869] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14869/stat : 14869 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320177863720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14870] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14870/stat : 14870 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320176810664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14871] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14871/stat : 14871 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320175758120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14872] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14872/stat : 14872 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320174705064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14873] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14873/stat : 14873 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320173652520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14874] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14874/stat : 14874 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320172599464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14875] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14875/stat : 14875 (java) S 14862 14865 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320171546920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14876] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14876/stat : 14876 (java) S 14862 14865 14496 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8441077 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320159349608 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 2110 0 0 0 33 0 0 0 20 0 19 0 8441080 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/14865/task/14881/stat : 14881 (java) S 14862 14865 14496 0 -1 4202560 3082 0 0 0 35 2 0 0 20 0 19 0 8441080 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320154085816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14882] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14882/stat : 14882 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320153032952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14883] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14883/stat : 14883 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320151980616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14885] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14885/stat : 14885 (java) S 14862 14865 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8441109 9856040960 18968 33554432000 1073741824 1073778376 140734427588736 140320150926888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.08 2.02 1.72 4/213 14885
/proc/meminfo: memFree=31605264/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 8980 0 1 0 381 3 0 0 20 0 19 0 8441075 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 27171 2265 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2498 0 1 0 305 2 0 0 20 0 19 0 8441075 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320335609568 140320276001635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14868] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14868/stat : 14868 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320274348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14869] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14869/stat : 14869 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320177863720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14870] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14870/stat : 14870 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320176810664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14871] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14871/stat : 14871 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320175758120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14872] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14872/stat : 14872 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320174705064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14873] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14873/stat : 14873 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320173652520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14874] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14874/stat : 14874 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320172599464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14875] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14875/stat : 14875 (java) S 14862 14865 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320171546920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14876] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14876/stat : 14876 (java) S 14862 14865 14496 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8441077 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320159349608 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 2115 0 0 0 35 0 0 0 20 0 19 0 8441080 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/14865/task/14881/stat : 14881 (java) S 14862 14865 14496 0 -1 4202560 3088 0 0 0 37 2 0 0 20 0 19 0 8441080 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320154085816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14882] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14882/stat : 14882 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320153032952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14883] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14883/stat : 14883 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320151980616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14885] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14885/stat : 14885 (java) S 14862 14865 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8441109 9856040960 27171 33554432000 1073741824 1073778376 140734427588736 140320150926888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.08 2.02 1.72 3/213 14885
/proc/meminfo: memFree=31500228/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=7.07 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 9011 0 1 0 703 4 0 0 20 0 19 0 8441075 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 39465 2265 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 2523 0 1 0 625 2 0 0 20 0 19 0 8441075 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320335609568 140320276024645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14868] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14868/stat : 14868 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320274348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14869] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14869/stat : 14869 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320177863720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14870] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14870/stat : 14870 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320176810664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14871] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14871/stat : 14871 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320175758120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14872] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14872/stat : 14872 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320174705064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14873] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14873/stat : 14873 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320173652520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14874] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14874/stat : 14874 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320172599464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14875] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14875/stat : 14875 (java) S 14862 14865 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8441076 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320171546920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14876] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14876/stat : 14876 (java) S 14862 14865 14496 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8441077 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320159349608 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 2115 0 0 0 35 0 0 0 20 0 19 0 8441080 9856040960 39465 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.42 cores=1,3,5,7

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

[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 3348 0 0 0 54 0 0 0 20 0 19 0 8441080 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14865/task/14881/stat : 14881 (java) S 14862 14865 14496 0 -1 4202560 3681 0 0 0 45 2 0 0 20 0 19 0 8441080 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320154085816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14882] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14882/stat : 14882 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320153032952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14883] ppid=14862 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/14865/task/14883/stat : 14883 (java) S 14862 14865 14496 0 -1 4202560 95 0 0 0 33 37 0 0 20 0 19 0 8441080 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320151980616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14885] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14885/stat : 14885 (java) S 14862 14865 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8441109 9856040960 132034 33554432000 1073741824 1073778376 140734427588736 140320150926888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1683.33
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.90 1.99 1.92 3/213 14952
/proc/meminfo: memFree=30926872/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=1743.85 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 34101 0 1 0 174129 256 0 0 20 0 19 0 8441075 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 100606 2287 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=1707.52 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 3055 0 1 0 170720 32 0 0 20 0 19 0 8441075 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320335617248 140320276024645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14868] ppid=14862 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/14865/task/14868/stat : 14868 (java) S 14862 14865 14496 0 -1 4202560 2851 0 0 0 335 29 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320274348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14869] ppid=14862 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/14865/task/14869/stat : 14869 (java) S 14862 14865 14496 0 -1 4202560 2212 0 0 0 317 26 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320177863720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14870] ppid=14862 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/14865/task/14870/stat : 14870 (java) S 14862 14865 14496 0 -1 4202560 2177 0 0 0 344 29 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320176810664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14871] ppid=14862 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/14865/task/14871/stat : 14871 (java) S 14862 14865 14496 0 -1 4202560 2611 0 0 0 347 25 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320175758120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14872] ppid=14862 vsize=9625040 CPUtime=3.51 cores=1,3,5,7
/proc/14865/task/14872/stat : 14872 (java) S 14862 14865 14496 0 -1 4202560 2723 0 0 0 324 27 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320174705064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14873] ppid=14862 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/14865/task/14873/stat : 14873 (java) S 14862 14865 14496 0 -1 4202560 2252 0 0 0 317 22 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320173652520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14874] ppid=14862 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/14865/task/14874/stat : 14874 (java) S 14862 14865 14496 0 -1 4202560 2416 0 0 0 343 27 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320172599464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14875] ppid=14862 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/14865/task/14875/stat : 14875 (java) S 14862 14865 14496 0 -1 4202560 3382 0 0 0 349 24 0 0 20 0 19 0 8441076 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320171546920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14876] ppid=14862 vsize=9625040 CPUtime=6.1 cores=1,3,5,7
/proc/14865/task/14876/stat : 14876 (java) S 14862 14865 14496 0 -1 4202560 2030 0 0 0 602 8 0 0 20 0 19 0 8441077 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320159349608 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 3348 0 0 0 54 0 0 0 20 0 19 0 8441080 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14865/task/14881/stat : 14881 (java) S 14862 14865 14496 0 -1 4202560 3681 0 0 0 45 2 0 0 20 0 19 0 8441080 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320154085816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14882] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14882/stat : 14882 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320153032952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14883] ppid=14862 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/14865/task/14883/stat : 14883 (java) S 14862 14865 14496 0 -1 4202560 99 0 0 0 34 38 0 0 20 0 19 0 8441080 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320151980616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14885] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14885/stat : 14885 (java) S 14862 14865 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8441109 9856040960 100606 33554432000 1073741824 1073778376 140734427588736 140320150926888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1743.85
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.71 s]
/proc/loadavg: 2.04 2.02 1.93 3/213 14953
/proc/meminfo: memFree=30803692/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 35378 0 1 0 179735 269 0 0 20 0 19 0 8441075 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 118365 2287 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=1762.43 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 3073 0 1 0 176210 33 0 0 20 0 19 0 8441075 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320335617264 140320275949950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14868] ppid=14862 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/14865/task/14868/stat : 14868 (java) S 14862 14865 14496 0 -1 4202560 2985 0 0 0 346 31 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320274348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14869] ppid=14862 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/14865/task/14869/stat : 14869 (java) S 14862 14865 14496 0 -1 4202560 2229 0 0 0 327 27 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320177863720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14870] ppid=14862 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/14865/task/14870/stat : 14870 (java) S 14862 14865 14496 0 -1 4202560 2199 0 0 0 357 30 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320176810664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14871] ppid=14862 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/14865/task/14871/stat : 14871 (java) S 14862 14865 14496 0 -1 4202560 2754 0 0 0 363 27 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320175758120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14872] ppid=14862 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/14865/task/14872/stat : 14872 (java) S 14862 14865 14496 0 -1 4202560 2832 0 0 0 334 28 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320174705064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14873] ppid=14862 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/14865/task/14873/stat : 14873 (java) S 14862 14865 14496 0 -1 4202560 2413 0 0 0 334 25 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320173652520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14874] ppid=14862 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/14865/task/14874/stat : 14874 (java) S 14862 14865 14496 0 -1 4202560 2840 0 0 0 356 28 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320172599464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14875] ppid=14862 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/14865/task/14875/stat : 14875 (java) S 14862 14865 14496 0 -1 4202560 3498 0 0 0 359 25 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320171546920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14876] ppid=14862 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/14865/task/14876/stat : 14876 (java) S 14862 14865 14496 0 -1 4202560 2159 0 0 0 619 8 0 0 20 0 19 0 8441077 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320159349608 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 3348 0 0 0 54 0 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14865/task/14881/stat : 14881 (java) S 14862 14865 14496 0 -1 4202560 3681 0 0 0 45 2 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320154085816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14882] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14882/stat : 14882 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320153032952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14883] ppid=14862 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/14865/task/14883/stat : 14883 (java) S 14862 14865 14496 0 -1 4202560 103 0 0 0 35 40 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320151980616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14885] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14885/stat : 14885 (java) S 14862 14865 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8441109 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320150926888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1777.71 s]
/proc/loadavg: 2.04 2.02 1.93 3/213 14953
/proc/meminfo: memFree=30803692/32872528 swapFree=338160/354512
[pid=14865] ppid=14862 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/14865/stat : 14865 (java) S 14862 14865 14496 0 -1 4202496 35378 0 1 0 179735 269 0 0 20 0 19 0 8441075 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140734427579872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14865/statm: 2406260 118365 2287 9 0 2396937 0
[pid=14865/tid=14866] ppid=14862 vsize=9625040 CPUtime=1762.43 cores=1,3,5,7
/proc/14865/task/14866/stat : 14866 (java) R 14862 14865 14496 0 -1 4202560 3073 0 1 0 176210 33 0 0 20 0 19 0 8441075 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320335617264 140320275949950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14868] ppid=14862 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/14865/task/14868/stat : 14868 (java) S 14862 14865 14496 0 -1 4202560 2985 0 0 0 346 31 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320274348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14869] ppid=14862 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/14865/task/14869/stat : 14869 (java) S 14862 14865 14496 0 -1 4202560 2229 0 0 0 327 27 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320177863720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14870] ppid=14862 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/14865/task/14870/stat : 14870 (java) S 14862 14865 14496 0 -1 4202560 2199 0 0 0 357 30 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320176810664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14871] ppid=14862 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/14865/task/14871/stat : 14871 (java) S 14862 14865 14496 0 -1 4202560 2754 0 0 0 363 27 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320175758120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14872] ppid=14862 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/14865/task/14872/stat : 14872 (java) S 14862 14865 14496 0 -1 4202560 2832 0 0 0 334 28 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320174705064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14873] ppid=14862 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/14865/task/14873/stat : 14873 (java) S 14862 14865 14496 0 -1 4202560 2413 0 0 0 334 25 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320173652520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14865/tid=14874] ppid=14862 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/14865/task/14874/stat : 14874 (java) S 14862 14865 14496 0 -1 4202560 2840 0 0 0 356 28 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320172599464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14875] ppid=14862 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/14865/task/14875/stat : 14875 (java) S 14862 14865 14496 0 -1 4202560 3498 0 0 0 359 25 0 0 20 0 19 0 8441076 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320171546920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14876] ppid=14862 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/14865/task/14876/stat : 14876 (java) S 14862 14865 14496 0 -1 4202560 2159 0 0 0 619 8 0 0 20 0 19 0 8441077 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320159349608 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14877] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14877/stat : 14877 (java) S 14862 14865 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320158295928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14878] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14878/stat : 14878 (java) S 14862 14865 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8441078 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320157242760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14879] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14879/stat : 14879 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320156191504 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14880] ppid=14862 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/14865/task/14880/stat : 14880 (java) S 14862 14865 14496 0 -1 4202560 3348 0 0 0 54 0 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320155138360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14865/tid=14881] ppid=14862 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14865/task/14881/stat : 14881 (java) S 14862 14865 14496 0 -1 4202560 3681 0 0 0 45 2 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320154085816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14882] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14882/stat : 14882 (java) S 14862 14865 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320153032952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14865/tid=14883] ppid=14862 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/14865/task/14883/stat : 14883 (java) S 14862 14865 14496 0 -1 4202560 103 0 0 0 35 40 0 0 20 0 19 0 8441080 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320151980616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14865/tid=14885] ppid=14862 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14865/task/14885/stat : 14885 (java) S 14862 14865 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8441109 9856040960 118365 33554432000 1073741824 1073778376 140734427588736 140320150926888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1777.78
CPU time (s): 1800.82
CPU user time (s): 1797.64
CPU system time (s): 3.18252
CPU usage (%): 101.296
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.64
system time used= 3.18252
maximum resident set size= 815644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35423
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54081
involuntary context switches= 52416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8913 second user time and 13.325 second system time

The end

Begin job on node126 at 2016-06-16 09:59:03
IDJOB=4090619
IDBENCH=78713
IDSOLVER=2551
FILE ID=node126/4090619-1466063943
RUNJOBID= node126-1466062123-14513
PBS_JOBID= 19904013
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090619-1466063943/watcher-4090619-1466063943 -o /tmp/evaluation-result-4090619-1466063943/solver-4090619-1466063943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466062123-14513 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090619-1466063943.wbo

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

MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=1832488432

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31760412 kB
Buffers:            4072 kB
Cached:            37240 kB
SwapCached:         1752 kB
Active:            40424 kB
Inactive:          20128 kB
Active(anon):      21008 kB
Inactive(anon):      588 kB
Active(file):      19416 kB
Inactive(file):    19540 kB
Unevictable:      354512 kB
Mlocked:          338160 kB
SwapTotal:      67108856 kB
SwapFree:       67099232 kB
Dirty:              1808 kB
Writeback:             0 kB
AnonPages:        348764 kB
Mapped:            14512 kB
Shmem:                 0 kB
Slab:             565804 kB
SReclaimable:       9568 kB
SUnreclaim:       556236 kB
KernelStack:        1576 kB
PageTables:         4824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1040852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node126 at 2016-06-16 10:28:41