0.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4085309-1465226110.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
3.32/2.74	c ... done. Wall clock time 2.618s.
3.32/2.74	c declared #vars     10000
3.32/2.74	c #constraints  656900
3.32/2.74	c constraints type 
3.32/2.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
3.32/2.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
3.32/2.74	c 656900 constraints processed.
3.32/2.74	c objective function length is 10000 literals
3.93/3.03	c SATISFIABLE
3.93/3.03	c OPTIMIZING...
3.93/3.03	c Got one! Elapsed wall clock time (in seconds):2.901
3.93/3.03	o 1285
4.44/3.20	c Got one! Elapsed wall clock time (in seconds):3.074
4.44/3.20	o 1136
4.69/3.31	c Got one! Elapsed wall clock time (in seconds):3.18
4.69/3.31	o 1127
4.69/3.39	c Got one! Elapsed wall clock time (in seconds):3.266
4.69/3.39	o 950
5.96/4.43	c cleaning 2674 clauses out of 5390 with flag 12340/5390
7.23/5.63	c cleaning 4342 clauses out of 8717 with flag 26644/11391
8.64/7.06	c cleaning 5668 clauses out of 11374 with flag 44559/18390
10.24/8.67	c cleaning 6828 clauses out of 13708 with flag 64800/26392
12.06/10.49	c cleaning 7920 clauses out of 15878 with flag 87849/35390
14.96/13.36	c cleaning 8975 clauses out of 17958 with flag 117540/45390
18.35/16.75	c cleaning 9989 clauses out of 19983 with flag 148941/56390
22.06/20.47	c cleaning 10989 clauses out of 21994 with flag 182812/68390
26.16/24.51	c cleaning 11999 clauses out of 24005 with flag 221998/81390
30.46/28.86	c cleaning 13002 clauses out of 26007 with flag 261318/95391
35.55/33.76	c cleaning 13998 clauses out of 28005 with flag 305470/110391
40.64/38.81	c cleaning 14999 clauses out of 30007 with flag 353316/126391
45.85/44.05	c cleaning 15990 clauses out of 32007 with flag 402830/143390
51.35/49.55	c cleaning 17005 clauses out of 34017 with flag 458919/161390
57.54/55.74	c cleaning 18004 clauses out of 36012 with flag 516090/180390
64.24/62.44	c cleaning 18999 clauses out of 38008 with flag 580405/200390
71.34/69.54	c cleaning 20005 clauses out of 40010 with flag 644234/221391
78.74/76.92	c cleaning 20999 clauses out of 42005 with flag 708797/243391
86.54/84.70	c cleaning 21996 clauses out of 44005 with flag 781481/266390
94.84/93.03	c cleaning 22999 clauses out of 46009 with flag 857621/290390
103.64/101.86	c cleaning 24003 clauses out of 48013 with flag 936743/315393
113.24/111.47	c cleaning 24998 clauses out of 50007 with flag 1020095/341390
123.45/121.67	c cleaning 25996 clauses out of 52009 with flag 1107440/368390
133.85/132.08	c cleaning 26998 clauses out of 54013 with flag 1198090/396390
144.14/142.30	c cleaning 27990 clauses out of 56015 with flag 1293155/425390
155.28/153.15	c cleaning 28999 clauses out of 58025 with flag 1386711/455390
166.78/164.62	c cleaning 30013 clauses out of 60026 with flag 1491494/486390
178.58/176.45	c cleaning 30986 clauses out of 62013 with flag 1599601/518390
191.19/189.00	c cleaning 32003 clauses out of 64027 with flag 1708783/551390
203.50/201.38	c cleaning 33007 clauses out of 66026 with flag 1821080/585392
215.59/213.42	c cleaning 34004 clauses out of 68017 with flag 1928634/620390
228.59/226.49	c cleaning 35000 clauses out of 70013 with flag 2048056/656390
240.99/238.87	c cleaning 35995 clauses out of 72014 with flag 2162492/693391
253.79/251.68	c cleaning 37007 clauses out of 74019 with flag 2279093/731391
267.58/265.44	c cleaning 37998 clauses out of 76011 with flag 2409361/770390
281.39/279.23	c cleaning 39001 clauses out of 78015 with flag 2539936/810392
295.59/293.45	c cleaning 39999 clauses out of 80013 with flag 2678946/851391
299.09/296.90	c Got one! Elapsed wall clock time (in seconds):296.775
299.09/296.90	o 949
300.51/298.31	c cleaning 27866 clauses out of 55762 with flag 12814/867139
302.12/299.96	c cleaning 16940 clauses out of 33897 with flag 28489/873140
304.11/301.90	c cleaning 11963 clauses out of 23956 with flag 46823/880139
306.41/304.20	c cleaning 9982 clauses out of 19993 with flag 68295/888139
309.01/306.82	c cleaning 9499 clauses out of 19011 with flag 93443/897139
311.91/309.76	c cleaning 9743 clauses out of 19512 with flag 121061/907139
315.21/313.02	c cleaning 10380 clauses out of 20770 with flag 151249/918140
318.81/316.69	c cleaning 11183 clauses out of 22389 with flag 183351/930139
323.01/320.82	c cleaning 12103 clauses out of 24206 with flag 218346/943139
327.61/325.43	c cleaning 13045 clauses out of 26103 with flag 255327/957139
332.61/330.41	c cleaning 14029 clauses out of 28060 with flag 297829/972141
338.21/336.04	c cleaning 15012 clauses out of 30029 with flag 342621/988139
344.11/341.95	c cleaning 16009 clauses out of 32017 with flag 390295/1005139
350.11/347.96	c cleaning 17005 clauses out of 34009 with flag 444137/1023140
356.80/354.62	c cleaning 17995 clauses out of 36003 with flag 499147/1042139
364.93/362.36	c cleaning 19000 clauses out of 38008 with flag 557253/1062139
372.53/369.93	c cleaning 19994 clauses out of 40011 with flag 617585/1083142
380.53/377.90	c cleaning 21000 clauses out of 42014 with flag 683502/1105139
389.03/386.47	c cleaning 22000 clauses out of 44015 with flag 751723/1128140
398.03/395.41	c cleaning 23005 clauses out of 46014 with flag 827313/1152139
407.43/404.86	c cleaning 24001 clauses out of 48012 with flag 902214/1177142
417.85/415.20	c cleaning 25003 clauses out of 50011 with flag 980706/1203142
428.25/425.66	c cleaning 25992 clauses out of 52005 with flag 1063082/1230139
439.35/436.73	c cleaning 27000 clauses out of 54013 with flag 1151141/1258139
450.84/448.25	c cleaning 27994 clauses out of 56014 with flag 1239754/1287140
462.85/460.27	c cleaning 28997 clauses out of 58020 with flag 1335133/1317140
475.45/472.87	c cleaning 30003 clauses out of 60025 with flag 1435125/1348142
488.55/485.91	c cleaning 31004 clauses out of 62020 with flag 1541318/1380140
501.55/498.92	c cleaning 31995 clauses out of 64015 with flag 1653005/1413139
515.36/512.74	c cleaning 32991 clauses out of 66020 with flag 1760348/1447139
529.35/526.79	c cleaning 34013 clauses out of 68031 with flag 1878142/1482141
544.15/541.56	c cleaning 34996 clauses out of 70016 with flag 1991160/1518139
559.05/556.47	c cleaning 36005 clauses out of 72020 with flag 2111051/1555139
574.66/572.01	c cleaning 37000 clauses out of 74015 with flag 2234520/1593139
591.05/588.44	c cleaning 38004 clauses out of 76018 with flag 2368097/1632142
607.76/605.18	c cleaning 38996 clauses out of 78011 with flag 2503772/1672139
625.61/622.75	c cleaning 40007 clauses out of 80015 with flag 2642721/1713139
642.80/639.94	c cleaning 41004 clauses out of 82008 with flag 2787254/1755139
660.60/657.80	c cleaning 41982 clauses out of 84005 with flag 2928076/1798140
679.42/676.56	c cleaning 43005 clauses out of 86022 with flag 3072248/1842139
698.12/695.26	c cleaning 44003 clauses out of 88017 with flag 3226144/1887139
718.41/715.52	c cleaning 45004 clauses out of 90016 with flag 3387061/1933141
738.61/735.77	c cleaning 45996 clauses out of 92010 with flag 3542116/1980139
760.11/757.29	c cleaning 46988 clauses out of 94014 with flag 3705402/2028139
781.72/778.81	c cleaning 48010 clauses out of 96026 with flag 3878952/2077139
804.11/801.23	c cleaning 49007 clauses out of 98019 with flag 4045436/2127142
826.61/823.76	c cleaning 49999 clauses out of 100009 with flag 4215392/2178139
849.61/846.78	c cleaning 50998 clauses out of 102010 with flag 4388636/2230139
872.61/869.75	c cleaning 52000 clauses out of 104014 with flag 4574420/2283141
897.02/894.13	c cleaning 53002 clauses out of 106015 with flag 4756162/2337142
921.42/918.55	c cleaning 54000 clauses out of 108010 with flag 4944726/2392139
945.62/942.76	c cleaning 55002 clauses out of 110010 with flag 5134220/2448139
971.61/968.72	c cleaning 56002 clauses out of 112008 with flag 5327417/2505139
998.61/995.75	c cleaning 56995 clauses out of 114006 with flag 5533367/2563139
1024.52/1021.64	c cleaning 57995 clauses out of 116011 with flag 5740831/2622139
1050.52/1047.67	c cleaning 59000 clauses out of 118016 with flag 5957475/2682139
1076.83/1073.99	c cleaning 60005 clauses out of 120016 with flag 6172772/2743139
1104.53/1101.60	c cleaning 60997 clauses out of 122011 with flag 6387714/2805139
1134.69/1131.19	c cleaning 62001 clauses out of 124015 with flag 6598791/2868140
1163.20/1159.69	c cleaning 62993 clauses out of 126013 with flag 6818865/2932139
1191.39/1187.89	c cleaning 63986 clauses out of 128020 with flag 7048614/2997139
1220.39/1216.85	c cleaning 65012 clauses out of 130034 with flag 7289504/3063139
1251.69/1248.11	c cleaning 66005 clauses out of 132022 with flag 7523522/3130139
1283.70/1280.17	c cleaning 67000 clauses out of 134017 with flag 7766980/3198139
1315.90/1312.31	c cleaning 67996 clauses out of 136018 with flag 8005594/3267140
1348.60/1345.08	c cleaning 69005 clauses out of 138021 with flag 8244523/3337139
1383.40/1379.83	c cleaning 70006 clauses out of 140017 with flag 8480347/3408140
1417.91/1414.34	c cleaning 71004 clauses out of 142011 with flag 8742887/3480140
1453.02/1449.48	c cleaning 71995 clauses out of 144007 with flag 9004580/3553140
1488.32/1484.78	c cleaning 72998 clauses out of 146011 with flag 9277460/3627139
1522.83/1519.23	c cleaning 74004 clauses out of 148015 with flag 9546874/3702141
1557.23/1553.64	c cleaning 74991 clauses out of 150009 with flag 9824034/3778139
1594.03/1590.46	c cleaning 75989 clauses out of 152018 with flag 10109865/3855139
1631.32/1627.77	c cleaning 77008 clauses out of 154029 with flag 10395517/3933139
1669.52/1665.92	c cleaning 77985 clauses out of 156021 with flag 10683112/4012139
1708.84/1704.60	c cleaning 79010 clauses out of 158037 with flag 10973625/4092140
1747.16/1742.82	c cleaning 80001 clauses out of 160026 with flag 11287585/4173139
1783.56/1779.26	c cleaning 81003 clauses out of 162026 with flag 11575967/4255140
1800.07/1795.70	c starts		: 15
1800.07/1795.70	c conflicts		: 4292135
1800.07/1795.70	c decisions		: 10768076
1800.07/1795.70	c propagations		: 1002452106
1800.07/1795.70	c inspects		: 6146295098
1800.07/1795.70	c shortcuts		: 0
1800.07/1795.70	c learnt literals	: 0
1800.07/1795.70	c learnt binary clauses	: 0
1800.07/1795.70	c learnt ternary clauses	: 0
1800.07/1795.70	c learnt constraints	: 4292134
1800.07/1795.70	c ignored constraints	: 0
1800.07/1795.70	c root simplifications	: 0
1800.07/1795.70	c removed literals (reason simplification)	: 0
1800.07/1795.70	c reason swapping (by a shorter reason)	: 0
1800.07/1795.70	c Calls to reduceDB	: 115
1800.07/1795.70	c Number of update (reduction) of LBD	: 1165300
1800.07/1795.70	c Imported unit clauses	: 0
1800.07/1795.70	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.70	c number of learned constraints concerned by reduction	: 0
1800.07/1795.70	c number of learning phase by resolution	: 0
1800.07/1795.70	c number of learning phase by cutting planes	: 0
1800.07/1795.70	c speed (assignments/second)	: 559115.1592424897
1800.07/1795.70	c non guided choices	0
1800.07/1795.73	c learnt constraints type 
1800.07/1795.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 118018
1800.07/1795.73	s SATISFIABLE
1800.07/1795.73	c Found 5 solution(s)
1800.07/1795.74	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 
1800.07/1795.75	c objective function=949
1800.07/1795.75	c Total wall clock time (in seconds): 1795.623

OK	949

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-4085309-1465226110/watcher-4085309-1465226110 -o /tmp/evaluation-result-4085309-1465226110/solver-4085309-1465226110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085309-1465226110.opb 

pid=1496
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.01 2.04 2.00 3/194 1502
/proc/meminfo: memFree=31319836/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1502/stat : 1502 (java) D 1496 1502 32587 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 104545798 9515008 182 33554432000 1073741824 1073778376 140734556422080 140734556413112 251143208629 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/1502/statm: 2323 182 140 9 0 71 0

[startup+0.100027 s]
/proc/loadavg: 2.01 2.04 2.00 3/194 1502
/proc/meminfo: memFree=31319836/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 4273 0 1 0 8 0 0 0 20 0 18 0 104545798 9787879424 5394 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2389619 5394 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200259 s]
/proc/loadavg: 2.01 2.04 2.00 3/194 1502
/proc/meminfo: memFree=31319836/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 5040 0 1 0 26 1 0 0 20 0 18 0 104545798 9787879424 6886 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2389619 6886 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300243 s]
/proc/loadavg: 2.01 2.04 2.00 3/194 1502
/proc/meminfo: memFree=31319836/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 5517 0 1 0 44 1 0 0 20 0 18 0 104545798 9787879424 8602 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2389619 8602 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.70019 s]
/proc/loadavg: 2.01 2.04 2.00 3/194 1502
/proc/meminfo: memFree=31319836/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9558476 CPUtime=1.07 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 6833 0 1 0 103 4 0 0 20 0 18 0 104545798 9787879424 40459 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2389619 40459 2261 9 0 2380296 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9558476

[startup+1.50075 s]
/proc/loadavg: 2.01 2.03 2.00 3/212 1524
/proc/meminfo: memFree=31154628/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9558476 CPUtime=2.01 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 7084 0 1 0 192 9 0 0 20 0 18 0 104545798 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2389619 78479 2261 9 0 2380296 0
[pid=1502/tid=1504] ppid=1496 vsize=9558476 CPUtime=1.39 cores=1,3,5,7
/proc/1502/task/1504/stat : 1504 (java) R 1496 1502 32587 0 -1 4202560 2526 0 1 0 134 5 0 0 20 0 18 0 104545800 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346480172408 140346327980662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1505] ppid=1496 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/1502/task/1505/stat : 1505 (java) S 1496 1502 32587 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346452625704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1506] ppid=1496 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/1502/task/1506/stat : 1506 (java) S 1496 1502 32587 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346451572904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1507] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1507/stat : 1507 (java) S 1496 1502 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346450520616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1508] ppid=1496 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/1502/task/1508/stat : 1508 (java) S 1496 1502 32587 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346449467816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1509] ppid=1496 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/1502/task/1509/stat : 1509 (java) S 1496 1502 32587 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346448415528 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1510] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1510/stat : 1510 (java) S 1496 1502 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346447362728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1511] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1511/stat : 1511 (java) S 1496 1502 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346446310440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1512] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1512/stat : 1512 (java) S 1496 1502 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104545801 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140346316598184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1513] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1513/stat : 1513 (java) S 1496 1502 32587 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104545802 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345833650408 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1514] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104545803 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104545803 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104545805 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) S 1496 1502 32587 0 -1 4202560 1165 0 0 0 16 0 0 0 20 0 18 0 104545805 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345829440184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) S 1496 1502 32587 0 -1 4202560 1850 0 0 0 17 0 0 0 20 0 18 0 104545805 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345828387384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104545805 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104545805 9787879424 78479 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9558476

[startup+3.10075 s]
/proc/loadavg: 2.01 2.03 2.00 3/212 1524
/proc/meminfo: memFree=30985328/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 10140 0 1 0 405 14 0 0 20 0 19 0 104545798 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2406260 99381 2277 9 0 2396937 0
[pid=1502/tid=1504] ppid=1496 vsize=9625040 CPUtime=2.94 cores=1,3,5,7
/proc/1502/task/1504/stat : 1504 (java) R 1496 1502 32587 0 -1 4202560 2570 0 1 0 288 6 0 0 20 0 19 0 104545800 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346480171208 140346327648545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1505] ppid=1496 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/1502/task/1505/stat : 1505 (java) S 1496 1502 32587 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346452625704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1506] ppid=1496 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/1502/task/1506/stat : 1506 (java) S 1496 1502 32587 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346451572904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1507] ppid=1496 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/1502/task/1507/stat : 1507 (java) S 1496 1502 32587 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346450520616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1508] ppid=1496 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/1502/task/1508/stat : 1508 (java) S 1496 1502 32587 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346449467816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1509] ppid=1496 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/1502/task/1509/stat : 1509 (java) S 1496 1502 32587 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346448415528 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1510] ppid=1496 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/1502/task/1510/stat : 1510 (java) S 1496 1502 32587 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346447362728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1511] ppid=1496 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/1502/task/1511/stat : 1511 (java) S 1496 1502 32587 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346446310440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1512] ppid=1496 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/1502/task/1512/stat : 1512 (java) S 1496 1502 32587 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 104545801 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140346316598184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1513] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1513/stat : 1513 (java) S 1496 1502 32587 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104545802 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345833650408 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1514] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) R 1496 1502 32587 0 -1 4202560 3166 0 0 0 44 0 0 0 20 0 19 0 104545805 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345829427328 140346487143129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) R 1496 1502 32587 0 -1 4202560 2757 0 0 0 36 0 0 0 20 0 19 0 104545805 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345828386952 140346486375892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 99381 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 1525
/proc/meminfo: memFree=30886264/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9625040 CPUtime=7.93 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 16041 0 1 0 777 16 0 0 20 0 19 0 104545798 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2406260 112083 2284 9 0 2396937 0
[pid=1502/tid=1504] ppid=1496 vsize=9625040 CPUtime=6.14 cores=1,3,5,7
/proc/1502/task/1504/stat : 1504 (java) R 1496 1502 32587 0 -1 4202560 2594 0 1 0 607 7 0 0 20 0 19 0 104545800 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346480171528 140346328420228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1505] ppid=1496 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/1502/task/1505/stat : 1505 (java) S 1496 1502 32587 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346452625704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1506] ppid=1496 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/1502/task/1506/stat : 1506 (java) S 1496 1502 32587 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346451572904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1507] ppid=1496 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/1502/task/1507/stat : 1507 (java) S 1496 1502 32587 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346450520616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1508] ppid=1496 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/1502/task/1508/stat : 1508 (java) S 1496 1502 32587 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346449467816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1509] ppid=1496 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/1502/task/1509/stat : 1509 (java) S 1496 1502 32587 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346448415528 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1510] ppid=1496 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/1502/task/1510/stat : 1510 (java) S 1496 1502 32587 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346447362728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1511] ppid=1496 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/1502/task/1511/stat : 1511 (java) S 1496 1502 32587 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346446310440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1512] ppid=1496 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/1502/task/1512/stat : 1512 (java) S 1496 1502 32587 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 104545801 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140346316598184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1513] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1513/stat : 1513 (java) S 1496 1502 32587 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104545802 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345833650408 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1514] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) S 1496 1502 32587 0 -1 4202560 5983 0 0 0 70 2 0 0 20 0 19 0 104545805 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345829440184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) S 1496 1502 32587 0 -1 4202560 5817 0 0 0 62 2 0 0 20 0 19 0 104545805 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345828387384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1525] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1525/stat : 1525 (java) S 1496 1502 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104546077 9856040960 112083 33554432000 1073741824 1073778376 140737001919408 140345825227688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 1525
/proc/meminfo: memFree=30824716/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9625040 CPUtime=14.35 cores=1,3,5,7

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

[pid=1502/tid=1514] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) S 1496 1502 32587 0 -1 4202560 5983 0 0 0 70 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345829440184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) S 1496 1502 32587 0 -1 4202560 5823 0 0 0 69 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345828387384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 99 0 0 0 24 19 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1525] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1525/stat : 1525 (java) S 1496 1502 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104546077 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345825227688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.65
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 1646
/proc/meminfo: memFree=25564616/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9625040 CPUtime=1786.66 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 28078 0 1 0 178460 206 0 0 20 0 19 0 104545798 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2406260 776382 2293 9 0 2396937 0
[pid=1502/tid=1504] ppid=1496 vsize=9625040 CPUtime=1780.72 cores=1,3,5,7
/proc/1502/task/1504/stat : 1504 (java) R 1496 1502 32587 0 -1 4202560 3881 0 1 0 178019 53 0 0 20 0 19 0 104545800 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346480164544 140346328420228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1505] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1505/stat : 1505 (java) S 1496 1502 32587 0 -1 4202560 2948 0 0 0 26 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346452625704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1506] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1506/stat : 1506 (java) S 1496 1502 32587 0 -1 4202560 827 0 0 0 26 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346451572904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1507] ppid=1496 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/1502/task/1507/stat : 1507 (java) S 1496 1502 32587 0 -1 4202560 473 0 0 0 21 17 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346450520616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1508] ppid=1496 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/1502/task/1508/stat : 1508 (java) S 1496 1502 32587 0 -1 4202560 945 0 0 0 32 25 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346449467816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1509] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1509/stat : 1509 (java) S 1496 1502 32587 0 -1 4202560 870 0 0 0 24 20 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346448415528 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1510] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1510/stat : 1510 (java) S 1496 1502 32587 0 -1 4202560 702 0 0 0 25 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346447362728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1511] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1511/stat : 1511 (java) S 1496 1502 32587 0 -1 4202560 1163 0 0 0 25 20 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346446310440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1512] ppid=1496 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/1502/task/1512/stat : 1512 (java) S 1496 1502 32587 0 -1 4202560 1582 0 0 0 33 23 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346316598184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1513] ppid=1496 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/1502/task/1513/stat : 1513 (java) S 1496 1502 32587 0 -1 4202560 1514 0 0 0 48 2 0 0 20 0 19 0 104545802 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345833650408 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1514] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) S 1496 1502 32587 0 -1 4202560 5983 0 0 0 70 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345829440184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) S 1496 1502 32587 0 -1 4202560 5823 0 0 0 69 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345828387384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 103 0 0 0 24 19 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1525] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1525/stat : 1525 (java) S 1496 1502 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104546077 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345825227688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 1646
/proc/meminfo: memFree=25564644/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 28078 0 1 0 179800 207 0 0 20 0 19 0 104545798 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2406260 776382 2293 9 0 2396937 0
[pid=1502/tid=1504] ppid=1496 vsize=9625040 CPUtime=1794.12 cores=1,3,5,7
/proc/1502/task/1504/stat : 1504 (java) R 1496 1502 32587 0 -1 4202560 3881 0 1 0 179359 53 0 0 20 0 19 0 104545800 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346480164544 140346328072416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1505] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1505/stat : 1505 (java) S 1496 1502 32587 0 -1 4202560 2948 0 0 0 26 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346452625704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1506] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1506/stat : 1506 (java) S 1496 1502 32587 0 -1 4202560 827 0 0 0 26 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346451572904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1507] ppid=1496 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/1502/task/1507/stat : 1507 (java) S 1496 1502 32587 0 -1 4202560 473 0 0 0 21 17 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346450520616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1508] ppid=1496 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/1502/task/1508/stat : 1508 (java) S 1496 1502 32587 0 -1 4202560 945 0 0 0 32 25 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346449467816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1509] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1509/stat : 1509 (java) S 1496 1502 32587 0 -1 4202560 870 0 0 0 24 20 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346448415528 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1510] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1510/stat : 1510 (java) S 1496 1502 32587 0 -1 4202560 702 0 0 0 25 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346447362728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1511] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1511/stat : 1511 (java) S 1496 1502 32587 0 -1 4202560 1163 0 0 0 25 20 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346446310440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1512] ppid=1496 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/1502/task/1512/stat : 1512 (java) S 1496 1502 32587 0 -1 4202560 1582 0 0 0 33 23 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346316598184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1513] ppid=1496 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/1502/task/1513/stat : 1513 (java) S 1496 1502 32587 0 -1 4202560 1514 0 0 0 48 2 0 0 20 0 19 0 104545802 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345833650408 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1514] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) S 1496 1502 32587 0 -1 4202560 5983 0 0 0 70 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345829440184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) S 1496 1502 32587 0 -1 4202560 5823 0 0 0 69 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345828387384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 103 0 0 0 25 19 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1525] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1525/stat : 1525 (java) S 1496 1502 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104546077 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345825227688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 1502 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 1646
/proc/meminfo: memFree=25564644/32872528 swapFree=12744/274376
[pid=1502] ppid=1496 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/1502/stat : 1502 (java) S 1496 1502 32587 0 -1 4202496 28078 0 1 0 179800 207 0 0 20 0 19 0 104545798 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140737001910544 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1502/statm: 2406260 776382 2293 9 0 2396937 0
[pid=1502/tid=1504] ppid=1496 vsize=9625040 CPUtime=1794.12 cores=1,3,5,7
/proc/1502/task/1504/stat : 1504 (java) R 1496 1502 32587 0 -1 4202560 3881 0 1 0 179359 53 0 0 20 0 19 0 104545800 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346480164544 140346328072416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1505] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1505/stat : 1505 (java) S 1496 1502 32587 0 -1 4202560 2948 0 0 0 26 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346452625704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1506] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1506/stat : 1506 (java) S 1496 1502 32587 0 -1 4202560 827 0 0 0 26 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346451572904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1507] ppid=1496 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/1502/task/1507/stat : 1507 (java) S 1496 1502 32587 0 -1 4202560 473 0 0 0 21 17 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346450520616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1508] ppid=1496 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/1502/task/1508/stat : 1508 (java) S 1496 1502 32587 0 -1 4202560 945 0 0 0 32 25 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346449467816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1509] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1509/stat : 1509 (java) S 1496 1502 32587 0 -1 4202560 870 0 0 0 24 20 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346448415528 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1502/tid=1510] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1510/stat : 1510 (java) S 1496 1502 32587 0 -1 4202560 702 0 0 0 25 19 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346447362728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1511] ppid=1496 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/1502/task/1511/stat : 1511 (java) S 1496 1502 32587 0 -1 4202560 1163 0 0 0 25 20 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346446310440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1502/tid=1512] ppid=1496 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/1502/task/1512/stat : 1512 (java) S 1496 1502 32587 0 -1 4202560 1582 0 0 0 33 23 0 0 20 0 19 0 104545801 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140346316598184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1513] ppid=1496 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/1502/task/1513/stat : 1513 (java) S 1496 1502 32587 0 -1 4202560 1514 0 0 0 48 2 0 0 20 0 19 0 104545802 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345833650408 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1514] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1514/stat : 1514 (java) S 1496 1502 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345832596472 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1515] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1515/stat : 1515 (java) S 1496 1502 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104545803 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345831544072 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1516] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1516/stat : 1516 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345830492560 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1517] ppid=1496 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/1502/task/1517/stat : 1517 (java) S 1496 1502 32587 0 -1 4202560 5983 0 0 0 70 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345829440184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1518] ppid=1496 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/1502/task/1518/stat : 1518 (java) S 1496 1502 32587 0 -1 4202560 5823 0 0 0 69 2 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345828387384 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1502/tid=1522] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1522/stat : 1522 (java) S 1496 1502 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345827335288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1524] ppid=1496 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/1502/task/1524/stat : 1524 (java) S 1496 1502 32587 0 -1 4202560 103 0 0 0 25 19 0 0 20 0 19 0 104545805 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345826282696 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1502/tid=1525] ppid=1496 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/1502/task/1525/stat : 1525 (java) S 1496 1502 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104546077 9856040960 776382 33554432000 1073741824 1073778376 140737001919408 140345825227688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1795.77
CPU time (s): 1800.62
CPU user time (s): 1798.07
CPU system time (s): 2.55061
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.55061
maximum resident set size= 3105660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28118
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38431
involuntary context switches= 3189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0115 second user time and 13.385 second system time

The end

Begin job on node107 at 2016-06-06 17:15:11
IDJOB=4085309
IDBENCH=1968
IDSOLVER=2546
FILE ID=node107/4085309-1465226110
RUNJOBID= node107-1465220764-32604
PBS_JOBID= 19843224
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085309-1465226110/watcher-4085309-1465226110 -o /tmp/evaluation-result-4085309-1465226110/solver-4085309-1465226110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085309-1465226110.opb

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=122360828

node107.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.441
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.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.56
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.441
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:        31320216 kB
Buffers:           12708 kB
Cached:           100460 kB
SwapCached:         1692 kB
Active:           535636 kB
Inactive:          40700 kB
Active(anon):     463888 kB
Inactive(anon):     1984 kB
Active(file):      71748 kB
Inactive(file):    38716 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098428 kB
Dirty:             17672 kB
Writeback:             0 kB
AnonPages:        741420 kB
Mapped:            15332 kB
Shmem:                 0 kB
Slab:             567804 kB
SReclaimable:      10992 kB
SUnreclaim:       556812 kB
KernelStack:        1584 kB
PageTables:         5968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     855692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 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= 71712 MiB
End job on node107 at 2016-06-06 17:45:06