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

OK	4081443

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690151-1337896458/watcher-3690151-1337896458 -o /tmp/evaluation-result-3690151-1337896458/solver-3690151-1337896458 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690151-1337896458.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 24708
/proc/meminfo: memFree=28955008/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=268 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (java) R 24706 24708 21495 0 -1 4194304 260 0 0 0 0 0 0 0 20 0 1 0 255771279 274432 9 33554432000 1073741824 1073778376 140736059970912 140736324332648 227503331415 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 68 26 19 9 0 25 0

[startup+0.081523 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 24708
/proc/meminfo: memFree=28955008/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 3380 0 1 0 4 1 0 0 20 0 18 0 255771279 9787813888 4589 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2389603 4590 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 24708
/proc/meminfo: memFree=28955008/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 4331 0 1 0 8 1 0 0 20 0 18 0 255771279 9787813888 5528 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2389603 5528 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300174 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 24708
/proc/meminfo: memFree=28955008/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9559392 CPUtime=0.53 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 9474 0 1 0 50 3 0 0 20 0 18 0 255771279 9788817408 13687 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2389848 13720 2218 9 0 2380541 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9559392

[startup+0.700182 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 24708
/proc/meminfo: memFree=28955008/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 10875 0 1 0 149 4 0 0 20 0 19 0 255771279 9855975424 24692 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 24692 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9624976

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 24727
/proc/meminfo: memFree=28860680/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=2.58 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 12127 0 1 0 254 4 0 0 20 0 19 0 255771279 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 26267 2254 9 0 2396937 0
[pid=24708/tid=24710] ppid=24706 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) R 24706 24708 21495 0 -1 4202560 2485 0 1 0 143 3 0 0 20 0 19 0 255771280 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314387456344 140314250419866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24711] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314376518184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24712] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314375465384 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24713] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314374412584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24714] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314373359784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24715] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314372308008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24716] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314371255208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24717] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314370202408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24718] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314369149608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24719] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24708 21495 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314210806248 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24720] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24708 21495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314209752312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24721] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24708 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314208699400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24722] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771285 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314207647888 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4360 0 0 0 60 0 0 0 20 0 19 0 255771285 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4083 0 0 0 48 1 0 0 20 0 19 0 255771286 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 26267 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 24727
/proc/meminfo: memFree=28856584/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=4.25 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 12205 0 1 0 420 5 0 0 20 0 19 0 255771279 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 33480 2281 9 0 2396937 0
[pid=24708/tid=24710] ppid=24706 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) R 24706 24708 21495 0 -1 4202560 2493 0 1 0 299 3 0 0 20 0 19 0 255771280 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314387456376 140314250362142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24711] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24708 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314376518184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24712] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314375465384 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24713] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314374412584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24714] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24708 21495 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314373359784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24715] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24708 21495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314372308008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24716] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314371255208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24717] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314370202408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24718] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314369149608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24719] ppid=24706 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24708 21495 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255771283 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314210806248 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24720] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24708 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314209752312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24721] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24708 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314208699400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24722] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771285 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314207647888 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4364 0 0 0 62 0 0 0 20 0 19 0 255771285 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4088 0 0 0 50 1 0 0 20 0 19 0 255771286 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 33480 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9624976

[startup+6.3006 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 24727
/proc/meminfo: memFree=28819844/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=7.51 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 12223 0 1 0 744 7 0 0 20 0 19 0 255771279 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 35877 2281 9 0 2396937 0
[pid=24708/tid=24710] ppid=24706 vsize=9624976 CPUtime=6.19 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) R 24706 24708 21495 0 -1 4202560 2495 0 1 0 616 3 0 0 20 0 19 0 255771280 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314387456520 140314250420337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24711] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24708 21495 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314376518184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24712] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314375465384 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24713] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314374412584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24714] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24708 21495 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314373359784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24715] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24708 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314372308008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24716] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314371255208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24717] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314370202408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24718] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24708 21495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255771282 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314369149608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24719] ppid=24706 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24708 21495 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 255771283 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314210806248 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24720] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24708 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314209752312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24721] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24708 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314208699400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24722] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771285 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314207647888 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4364 0 0 0 64 0 0 0 20 0 19 0 255771285 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4088 0 0 0 52 2 0 0 20 0 19 0 255771286 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 35877 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4371 0 0 0 64 0 0 0 20 0 19 0 255771285 9855975424 124725 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4096 0 0 0 59 2 0 0 20 0 19 0 255771286 9855975424 124725 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 124725 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0.16 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 95 0 0 0 9 7 0 0 20 0 19 0 255771286 9855975424 124725 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 124725 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1667.07
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/187 24794
/proc/meminfo: memFree=28956788/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=1727.35 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 14704 0 1 0 172690 45 0 0 20 0 19 0 255771279 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 125757 2282 9 0 2396937 0
[pid=24708/tid=24710] ppid=24706 vsize=9624976 CPUtime=1710.37 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) R 24706 24708 21495 0 -1 4202560 2627 0 1 0 171006 31 0 0 20 0 19 0 255771280 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314387456288 140314250420512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24711] ppid=24706 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24708 21495 0 -1 4202560 215 0 0 0 60 3 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314376518184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24712] ppid=24706 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24708 21495 0 -1 4202560 342 0 0 0 60 4 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314375465384 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24713] ppid=24706 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24708 21495 0 -1 4202560 477 0 0 0 61 4 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314374412584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24714] ppid=24706 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24708 21495 0 -1 4202560 214 0 0 0 63 4 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314373359784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24715] ppid=24706 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24708 21495 0 -1 4202560 124 0 0 0 70 5 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314372308008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24716] ppid=24706 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24708 21495 0 -1 4202560 283 0 0 0 68 4 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314371255208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24717] ppid=24706 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24708 21495 0 -1 4202560 165 0 0 0 67 2 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314370202408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24718] ppid=24706 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24708 21495 0 -1 4202560 145 0 0 0 71 4 0 0 20 0 19 0 255771282 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314369149608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24719] ppid=24706 vsize=9624976 CPUtime=5.69 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24708 21495 0 -1 4202560 361 0 0 0 567 2 0 0 20 0 19 0 255771283 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314210806248 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24720] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24708 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314209752312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24721] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24708 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314208699400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24722] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771285 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314207647888 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4371 0 0 0 64 0 0 0 20 0 19 0 255771285 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4096 0 0 0 59 2 0 0 20 0 19 0 255771286 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 99 0 0 0 9 8 0 0 20 0 19 0 255771286 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 125757 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.35
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/187 24795
/proc/meminfo: memFree=29016028/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=1788.27 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 15000 0 1 0 178775 52 0 0 20 0 19 0 255771279 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 110525 2282 9 0 2396937 0
[pid=24708/tid=24710] ppid=24706 vsize=9624976 CPUtime=1769.62 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) R 24706 24708 21495 0 -1 4202560 2659 0 1 0 176930 32 0 0 20 0 19 0 255771280 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314387456288 140314250420272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24711] ppid=24706 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24708 21495 0 -1 4202560 232 0 0 0 77 3 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314376518184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24712] ppid=24706 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24708 21495 0 -1 4202560 348 0 0 0 74 4 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314375465384 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24713] ppid=24706 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24708 21495 0 -1 4202560 484 0 0 0 78 4 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314374412584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24714] ppid=24706 vsize=9624976 CPUtime=0.84 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24708 21495 0 -1 4202560 239 0 0 0 79 5 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314373359784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24715] ppid=24706 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24708 21495 0 -1 4202560 124 0 0 0 85 5 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314372308008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24716] ppid=24706 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24708 21495 0 -1 4202560 295 0 0 0 84 5 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314371255208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24717] ppid=24706 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24708 21495 0 -1 4202560 183 0 0 0 81 4 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314370202408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24718] ppid=24706 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24708 21495 0 -1 4202560 156 0 0 0 86 4 0 0 20 0 19 0 255771282 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314369149608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24719] ppid=24706 vsize=9624976 CPUtime=5.9 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24708 21495 0 -1 4202560 525 0 0 0 588 2 0 0 20 0 19 0 255771283 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314210806248 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24720] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24708 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314209752312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24721] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24708 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314208699400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24722] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771285 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314207647888 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4371 0 0 0 64 0 0 0 20 0 19 0 255771285 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4096 0 0 0 59 2 0 0 20 0 19 0 255771286 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 103 0 0 0 10 8 0 0 20 0 19 0 255771286 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 110525 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1788.27
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794 s]
/proc/loadavg: 1.00 1.02 1.28 2/187 24795
/proc/meminfo: memFree=29027380/32873624 swapFree=7104/7104
[pid=24708] ppid=24706 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/24708/stat : 24708 (java) S 24706 24708 21495 0 -1 4202496 15004 0 1 0 179956 52 0 0 20 0 19 0 255771279 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140736059962048 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 2406244 107671 2282 9 0 2396937 0
[pid=24708/tid=24710] ppid=24706 vsize=9624976 CPUtime=1781.26 cores=0,2,4,6
/proc/24708/task/24710/stat : 24710 (java) R 24706 24708 21495 0 -1 4202560 2663 0 1 0 178093 33 0 0 20 0 19 0 255771280 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314387455344 140314250421465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24708/tid=24711] ppid=24706 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/24708/task/24711/stat : 24711 (java) S 24706 24708 21495 0 -1 4202560 232 0 0 0 80 3 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314376518184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24712] ppid=24706 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/24708/task/24712/stat : 24712 (java) S 24706 24708 21495 0 -1 4202560 348 0 0 0 75 4 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314375465384 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24713] ppid=24706 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/24708/task/24713/stat : 24713 (java) S 24706 24708 21495 0 -1 4202560 484 0 0 0 79 4 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314374412584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24714] ppid=24706 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/24708/task/24714/stat : 24714 (java) S 24706 24708 21495 0 -1 4202560 239 0 0 0 80 5 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314373359784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24715] ppid=24706 vsize=9624976 CPUtime=0.93 cores=0,2,4,6
/proc/24708/task/24715/stat : 24715 (java) S 24706 24708 21495 0 -1 4202560 124 0 0 0 88 5 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314372308008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24716] ppid=24706 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24708/task/24716/stat : 24716 (java) S 24706 24708 21495 0 -1 4202560 295 0 0 0 86 5 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314371255208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24717] ppid=24706 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/24708/task/24717/stat : 24717 (java) S 24706 24708 21495 0 -1 4202560 183 0 0 0 83 4 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314370202408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24718] ppid=24706 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/24708/task/24718/stat : 24718 (java) S 24706 24708 21495 0 -1 4202560 156 0 0 0 87 4 0 0 20 0 19 0 255771282 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314369149608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24719] ppid=24706 vsize=9624976 CPUtime=5.9 cores=0,2,4,6
/proc/24708/task/24719/stat : 24719 (java) S 24706 24708 21495 0 -1 4202560 525 0 0 0 588 2 0 0 20 0 19 0 255771283 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314210806248 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24720] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24720/stat : 24720 (java) S 24706 24708 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314209752312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24721] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24721/stat : 24721 (java) S 24706 24708 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255771283 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314208699400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24722] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24722/stat : 24722 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771285 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314207647888 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24723] ppid=24706 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24708/task/24723/stat : 24723 (java) S 24706 24708 21495 0 -1 4202560 4371 0 0 0 64 0 0 0 20 0 19 0 255771285 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314206596024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24708/tid=24724] ppid=24706 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24708/task/24724/stat : 24724 (java) S 24706 24708 21495 0 -1 4202560 4096 0 0 0 59 2 0 0 20 0 19 0 255771286 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314205543224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24725] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24725/stat : 24725 (java) S 24706 24708 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255771286 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314204490616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24708/tid=24726] ppid=24706 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/24708/task/24726/stat : 24726 (java) S 24706 24708 21495 0 -1 4202560 103 0 0 0 10 8 0 0 20 0 19 0 255771286 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314203438024 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24708/tid=24727] ppid=24706 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24708/task/24727/stat : 24727 (java) S 24706 24708 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255771337 9855975424 107671 33554432000 1073741824 1073778376 140736059970912 140314202383528 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24708 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=989120
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=931858
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.07
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.52
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.99
system time used= 0.931858
maximum resident set size= 556540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15039
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42304
involuntary context switches= 30417

runsolver used 5.2802 second user time and 13.324 second system time

The end

Begin job on node121 at 2012-05-24 23:54:18
IDJOB=3690151
IDBENCH=92731
IDSOLVER=2269
FILE ID=node121/3690151-1337896458
RUNJOBID= node121-1337871882-21511
PBS_JOBID= 14620083
Free space on /tmp= 71484 MiB

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

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

MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16
RANDOM SEED=13199350

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28955180 kB
Buffers:          228664 kB
Cached:          2425292 kB
SwapCached:            0 kB
Active:          1169208 kB
Inactive:        1980576 kB
Active(anon):     498240 kB
Inactive(anon):        0 kB
Active(file):     670968 kB
Inactive(file):  1980576 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1240 kB
Writeback:             0 kB
AnonPages:        504640 kB
Mapped:            21648 kB
Shmem:               200 kB
Slab:             629268 kB
SReclaimable:      73540 kB
SUnreclaim:       555728 kB
KernelStack:        1608 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:    1075732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node121 at 2012-05-25 00:24:14