Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | OPT | -10859 | 971.144 | 969.185 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10859 |
Best CPU time to get the best result obtained on this benchmark | 816.194 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 12995394264 0.06/0.09 c Max memory 13063553024 0.06/0.09 c Total memory 13063553024 0.06/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3458896-1307143122.opb 0.10/0.12 c reading problem ... 1.51/1.03 c ... done. Wall clock time 0.916s. 1.51/1.03 c #vars 11247 1.51/1.03 c #constraints 13116 1.51/1.03 c constraints type 1.51/1.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1114 1.51/1.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 11249 1.51/1.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 49 1.51/1.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 704 2.11/1.31 c SATISFIABLE 2.11/1.31 c OPTIMIZING... 2.11/1.31 c Got one! Elapsed wall clock time (in seconds):1.188 2.11/1.31 o -5591 2.61/1.63 c Got one! Elapsed wall clock time (in seconds):1.512 2.61/1.63 o -5592 2.73/1.71 c Got one! Elapsed wall clock time (in seconds):1.593 2.73/1.71 o -6899 2.73/1.77 c Got one! Elapsed wall clock time (in seconds):1.658 2.73/1.77 o -7994 2.88/1.81 c Got one! Elapsed wall clock time (in seconds):1.69 2.88/1.81 o -10009 3.71/2.66 c cleaning 3452 clauses out of 6916 with flag 4001/6922 5.19/4.05 c cleaning 4724 clauses out of 9463 with flag 10001/12922 7.19/6.03 c cleaning 5857 clauses out of 11738 with flag 17000/19921 10.02/8.83 c cleaning 6935 clauses out of 13881 with flag 25000/27921 12.64/11.47 c cleaning 7969 clauses out of 15947 with flag 34001/36922 16.56/15.36 c cleaning 8984 clauses out of 17977 with flag 44000/46921 19.65/18.50 c cleaning 9990 clauses out of 19995 with flag 55003/57924 23.35/22.10 c cleaning 10988 clauses out of 22003 with flag 67001/69922 24.46/23.20 c Got one! Elapsed wall clock time (in seconds):23.084 24.46/23.20 o -10014 24.58/23.37 c cleaning 8171 clauses out of 16362 with flag 1000/75269 25.78/24.59 c cleaning 7084 clauses out of 14192 with flag 7001/81270 27.70/26.47 c cleaning 7048 clauses out of 14107 with flag 14000/88269 30.29/29.07 c cleaning 7514 clauses out of 15060 with flag 22001/96270 33.39/32.19 c cleaning 8264 clauses out of 16545 with flag 31000/105269 38.09/36.83 c cleaning 9112 clauses out of 18281 with flag 41000/115269 42.69/41.46 c cleaning 10077 clauses out of 20170 with flag 52001/126270 47.60/46.32 c cleaning 11038 clauses out of 22095 with flag 64003/138272 52.80/51.50 c cleaning 12019 clauses out of 24055 with flag 77001/151270 56.60/55.34 c cleaning 13011 clauses out of 26035 with flag 91000/165269 60.80/59.57 c cleaning 13504 clauses out of 27025 with flag 105001/179270 64.21/62.94 c cleaning 13745 clauses out of 27520 with flag 119000/193269 68.71/67.41 c cleaning 13880 clauses out of 27776 with flag 133001/207270 73.21/71.90 c cleaning 13920 clauses out of 27895 with flag 147000/221269 81.32/80.02 c cleaning 13970 clauses out of 27976 with flag 161001/235270 85.93/84.63 c cleaning 13989 clauses out of 28005 with flag 175000/249269 89.62/88.38 c cleaning 14006 clauses out of 28016 with flag 189000/263269 93.52/92.22 c cleaning 14001 clauses out of 28010 with flag 203000/277269 97.93/96.65 c cleaning 13990 clauses out of 28012 with flag 217003/291272 101.83/100.54 c cleaning 13996 clauses out of 28019 with flag 231000/305269 106.33/105.01 c cleaning 14004 clauses out of 28026 with flag 245003/319272 111.14/109.84 c cleaning 14005 clauses out of 28019 with flag 259000/333269 116.34/115.03 c cleaning 13997 clauses out of 28015 with flag 273001/347270 120.54/119.27 c cleaning 13991 clauses out of 28019 with flag 287002/361271 125.14/123.83 c cleaning 14005 clauses out of 28029 with flag 301003/375272 131.25/129.90 c cleaning 13985 clauses out of 28022 with flag 315001/389270 135.15/133.87 c cleaning 13997 clauses out of 28036 with flag 329000/403269 138.87/137.55 c cleaning 14013 clauses out of 28039 with flag 343000/417269 143.35/142.04 c cleaning 13989 clauses out of 28027 with flag 357001/431270 147.16/145.84 c cleaning 14010 clauses out of 28037 with flag 371000/445269 151.86/150.55 c cleaning 14010 clauses out of 28030 with flag 385003/459272 155.66/154.33 c cleaning 14000 clauses out of 28019 with flag 399002/473271 159.36/158.04 c cleaning 13999 clauses out of 28017 with flag 413000/487269 162.99/161.68 c cleaning 14008 clauses out of 28020 with flag 427002/501271 166.88/165.51 c cleaning 13992 clauses out of 28014 with flag 441004/515273 170.58/169.20 c cleaning 13998 clauses out of 28018 with flag 455000/529269 176.88/175.59 c cleaning 13977 clauses out of 28021 with flag 469001/543270 187.20/185.89 c cleaning 13992 clauses out of 28044 with flag 483001/557270 197.59/196.20 c cleaning 14002 clauses out of 28052 with flag 497001/571270 206.89/205.60 c cleaning 13995 clauses out of 28050 with flag 511001/585270 214.10/212.72 c cleaning 14024 clauses out of 28055 with flag 525001/599270 218.71/217.31 c cleaning 13991 clauses out of 28029 with flag 539000/613269 222.91/221.56 c cleaning 14017 clauses out of 28038 with flag 553000/627269 227.01/225.62 c cleaning 13995 clauses out of 28022 with flag 567001/641270 231.23/229.82 c cleaning 13994 clauses out of 28026 with flag 581000/655269 236.22/234.84 c cleaning 14013 clauses out of 28032 with flag 595001/669270 239.42/238.08 c cleaning 13993 clauses out of 28019 with flag 609001/683270 244.32/242.99 c cleaning 14007 clauses out of 28025 with flag 623000/697269 248.32/246.90 c cleaning 14007 clauses out of 28018 with flag 637000/711269 254.73/253.35 c cleaning 13984 clauses out of 28011 with flag 651000/725269 260.23/258.83 c cleaning 14004 clauses out of 28027 with flag 665000/739269 263.43/262.03 c cleaning 14001 clauses out of 28023 with flag 679000/753269 266.94/265.51 c cleaning 13998 clauses out of 28022 with flag 693000/767269 270.85/269.50 c cleaning 14000 clauses out of 28025 with flag 707001/781270 274.76/273.31 c cleaning 13992 clauses out of 28024 with flag 721000/795269 278.06/276.66 c cleaning 14008 clauses out of 28032 with flag 735000/809269 283.17/281.72 c cleaning 14002 clauses out of 28025 with flag 749001/823270 289.07/287.60 c cleaning 13988 clauses out of 28022 with flag 763000/837269 293.77/292.36 c cleaning 14003 clauses out of 28036 with flag 777002/851271 298.67/297.26 c cleaning 14004 clauses out of 28031 with flag 791000/865269 303.99/302.58 c cleaning 13993 clauses out of 28028 with flag 805001/879270 310.98/309.59 c cleaning 14004 clauses out of 28036 with flag 819002/893271 315.18/313.75 c cleaning 14012 clauses out of 28030 with flag 833000/907269 319.89/318.42 c cleaning 13986 clauses out of 28022 with flag 847004/921273 323.59/322.16 c cleaning 14002 clauses out of 28032 with flag 861000/935269 328.10/326.69 c cleaning 13994 clauses out of 28030 with flag 875000/949269 332.99/331.52 c cleaning 14010 clauses out of 28036 with flag 889001/963270 339.11/337.69 c cleaning 14004 clauses out of 28025 with flag 903000/977269 344.61/343.12 c cleaning 14007 clauses out of 28021 with flag 917000/991269 348.30/346.85 c cleaning 13992 clauses out of 28016 with flag 931002/1005271 351.80/350.37 c cleaning 14003 clauses out of 28023 with flag 945001/1019270 356.30/354.81 c cleaning 13992 clauses out of 28022 with flag 959003/1033272 363.32/361.87 c cleaning 13992 clauses out of 28027 with flag 973000/1047269 369.61/368.14 c cleaning 13995 clauses out of 28035 with flag 987000/1061269 378.61/377.21 c cleaning 13993 clauses out of 28041 with flag 1001001/1075270 387.93/386.47 c cleaning 13995 clauses out of 28049 with flag 1015002/1089271 396.46/394.97 c cleaning 14013 clauses out of 28053 with flag 1029001/1103270 400.86/399.35 c cleaning 14007 clauses out of 28041 with flag 1043002/1117271 405.44/403.91 c cleaning 13994 clauses out of 28032 with flag 1057000/1131269 409.95/408.47 c cleaning 13994 clauses out of 28038 with flag 1071000/1145269 414.15/412.60 c cleaning 14015 clauses out of 28044 with flag 1085000/1159269 418.15/416.64 c cleaning 13989 clauses out of 28029 with flag 1099000/1173269 422.77/421.23 c cleaning 14009 clauses out of 28043 with flag 1113003/1187272 427.66/426.15 c cleaning 14008 clauses out of 28032 with flag 1127001/1201270 432.56/431.05 c cleaning 13986 clauses out of 28024 with flag 1141001/1215270 438.18/436.67 c cleaning 14009 clauses out of 28037 with flag 1155000/1229269 443.68/442.12 c cleaning 14007 clauses out of 28028 with flag 1169000/1243269 448.67/447.19 c cleaning 14008 clauses out of 28021 with flag 1183000/1257269 456.37/454.80 c cleaning 13992 clauses out of 28015 with flag 1197002/1271271 458.68/457.13 c Got one! Elapsed wall clock time (in seconds):457.015 458.68/457.13 o -10015 458.68/457.18 c Got one! Elapsed wall clock time (in seconds):457.062 458.68/457.18 o -10405 458.68/457.19 c Got one! Elapsed wall clock time (in seconds):457.076 458.68/457.19 o -10554 459.09/457.53 c Got one! Elapsed wall clock time (in seconds):457.416 459.09/457.53 o -10559 459.09/457.54 c Got one! Elapsed wall clock time (in seconds):457.428 459.09/457.54 o -10579 459.38/457.81 c Got one! Elapsed wall clock time (in seconds):457.696 459.38/457.81 o -10584 459.48/457.96 c Got one! Elapsed wall clock time (in seconds):457.839 459.48/457.96 o -10589 459.58/458.03 c Got one! Elapsed wall clock time (in seconds):457.911 459.58/458.03 o -10594 459.69/458.13 c Got one! Elapsed wall clock time (in seconds):458.014 459.69/458.13 o -10595 459.69/458.14 c Got one! Elapsed wall clock time (in seconds):458.026 459.69/458.14 o -10609 459.69/458.16 c Got one! Elapsed wall clock time (in seconds):458.04 459.69/458.16 o -10614 459.69/458.17 c Got one! Elapsed wall clock time (in seconds):458.053 459.69/458.17 o -10619 461.99/460.43 c cleaning 11007 clauses out of 22057 with flag 3001/1279305 465.10/463.57 c cleaning 8513 clauses out of 17049 with flag 9000/1285304 468.20/466.61 c cleaning 7747 clauses out of 15536 with flag 16000/1292304 478.40/476.83 c cleaning 7865 clauses out of 15789 with flag 24000/1300304 485.30/483.71 c cleaning 8444 clauses out of 16924 with flag 33000/1309304 489.21/487.70 c cleaning 9232 clauses out of 18481 with flag 43001/1319305 491.51/489.95 c cleaning 10116 clauses out of 20248 with flag 54000/1330304 494.21/492.70 c cleaning 11057 clauses out of 22132 with flag 66000/1342304 497.12/495.53 c cleaning 12030 clauses out of 24076 with flag 79001/1355305 500.83/499.28 c cleaning 13012 clauses out of 26045 with flag 93000/1369304 505.53/503.99 c cleaning 13494 clauses out of 27034 with flag 107001/1383305 514.83/513.21 c cleaning 13751 clauses out of 27541 with flag 121002/1397306 522.64/521.00 c cleaning 13872 clauses out of 27790 with flag 135002/1411306 530.54/528.92 c cleaning 13944 clauses out of 27915 with flag 149000/1425304 536.05/534.46 c cleaning 13966 clauses out of 27971 with flag 163000/1439304 548.65/547.02 c cleaning 13965 clauses out of 28005 with flag 177000/1453304 561.15/559.51 c cleaning 13967 clauses out of 28040 with flag 191000/1467304 563.05/561.41 c Got one! Elapsed wall clock time (in seconds):561.295 563.05/561.41 o -10620 565.45/563.83 c cleaning 9839 clauses out of 19711 with flag 4000/1472942 568.26/566.68 c cleaning 7905 clauses out of 15875 with flag 10003/1478945 570.46/568.89 c cleaning 7475 clauses out of 14970 with flag 17003/1485945 573.07/571.44 c cleaning 7740 clauses out of 15492 with flag 25000/1493942 577.87/576.24 c cleaning 8362 clauses out of 16752 with flag 34000/1502942 580.18/578.60 c cleaning 9187 clauses out of 18390 with flag 44000/1512942 582.57/580.98 c cleaning 10095 clauses out of 20204 with flag 55001/1523943 588.18/586.51 c cleaning 11025 clauses out of 22108 with flag 67000/1535942 604.78/603.16 c cleaning 12006 clauses out of 24083 with flag 80000/1548942 613.68/612.06 c cleaning 13018 clauses out of 26077 with flag 94000/1562942 621.39/619.76 c cleaning 13526 clauses out of 27060 with flag 108001/1576943 625.41/623.76 c cleaning 13754 clauses out of 27535 with flag 122002/1590944 635.49/633.86 c cleaning 13861 clauses out of 27779 with flag 136000/1604942 637.00/635.38 c Got one! Elapsed wall clock time (in seconds):635.264 637.00/635.38 o -10624 639.00/637.37 c cleaning 9602 clauses out of 19225 with flag 4001/1610249 641.30/639.65 c cleaning 7784 clauses out of 15622 with flag 10000/1616248 643.90/642.22 c Got one! Elapsed wall clock time (in seconds):642.103 643.90/642.22 o -10629 645.11/643.45 c cleaning 6803 clauses out of 13652 with flag 2000/1622062 647.42/645.78 c cleaning 6396 clauses out of 12849 with flag 8000/1628062 652.40/650.77 c cleaning 6705 clauses out of 13453 with flag 15000/1635062 657.11/655.41 c Got one! Elapsed wall clock time (in seconds):655.298 657.11/655.41 o -10634 658.91/657.27 c cleaning 5880 clauses out of 11811 with flag 2001/1640125 662.21/660.54 c cleaning 5952 clauses out of 11932 with flag 8002/1646126 663.72/662.04 c cleaning 6476 clauses out of 12979 with flag 15001/1653125 665.82/664.10 c cleaning 7244 clauses out of 14504 with flag 23002/1661126 668.34/666.65 c cleaning 8119 clauses out of 16260 with flag 32002/1670126 671.04/669.30 c cleaning 9062 clauses out of 18142 with flag 42003/1680127 673.34/671.69 c cleaning 10034 clauses out of 20077 with flag 53000/1691124 677.06/675.33 c cleaning 11011 clauses out of 22043 with flag 65000/1703124 683.35/681.64 c cleaning 12007 clauses out of 24033 with flag 78001/1716125 688.65/686.93 c cleaning 13007 clauses out of 26028 with flag 92003/1730127 694.66/692.97 c cleaning 13503 clauses out of 27018 with flag 106000/1744124 704.45/702.77 c cleaning 13725 clauses out of 27515 with flag 120000/1758124 710.17/708.49 c Got one! Elapsed wall clock time (in seconds):708.372 710.17/708.49 o -10635 712.27/710.59 c cleaning 12342 clauses out of 24707 with flag 5000/1769041 715.96/714.21 c cleaning 9148 clauses out of 18365 with flag 11000/1775041 722.17/720.47 c cleaning 8066 clauses out of 16217 with flag 18000/1782041 727.36/725.68 c cleaning 8067 clauses out of 16151 with flag 26000/1790041 729.26/727.57 c cleaning 8537 clauses out of 17084 with flag 35000/1799041 732.67/730.95 c cleaning 9264 clauses out of 18547 with flag 45000/1809041 735.77/734.05 c cleaning 10122 clauses out of 20284 with flag 56001/1820042 738.97/737.23 c cleaning 11070 clauses out of 22161 with flag 68000/1832041 741.88/740.12 c cleaning 12031 clauses out of 24093 with flag 81002/1845043 745.98/744.28 c cleaning 13016 clauses out of 26063 with flag 95003/1859044 754.58/752.87 c cleaning 13493 clauses out of 27044 with flag 109000/1873041 761.58/759.83 c cleaning 13764 clauses out of 27553 with flag 123002/1887043 766.09/764.35 c cleaning 13889 clauses out of 27788 with flag 137001/1901042 769.29/767.57 c cleaning 13941 clauses out of 27898 with flag 151000/1915041 772.91/771.15 c cleaning 13979 clauses out of 27957 with flag 165000/1929041 777.40/775.61 c cleaning 13980 clauses out of 27980 with flag 179002/1943043 784.00/782.29 c cleaning 13993 clauses out of 27998 with flag 193000/1957041 789.70/787.93 c cleaning 14000 clauses out of 28006 with flag 207001/1971042 792.81/791.01 c cleaning 13992 clauses out of 28006 with flag 221001/1985042 797.41/795.67 c cleaning 13987 clauses out of 28015 with flag 235002/1999043 802.71/800.94 c cleaning 14010 clauses out of 28027 with flag 249001/2013042 808.03/806.24 c cleaning 13992 clauses out of 28016 with flag 263000/2027041 817.52/815.72 c cleaning 13997 clauses out of 28026 with flag 277002/2041043 821.92/820.17 c cleaning 13997 clauses out of 28028 with flag 291001/2055042 829.13/827.37 c Got one! Elapsed wall clock time (in seconds):827.249 829.13/827.37 o -10639 830.83/829.06 c Got one! Elapsed wall clock time (in seconds):828.941 830.83/829.06 o -10640 830.83/829.07 c Got one! Elapsed wall clock time (in seconds):828.954 830.83/829.07 o -10724 830.93/829.13 c Got one! Elapsed wall clock time (in seconds):829.016 830.93/829.13 o -10729 831.03/829.28 c Got one! Elapsed wall clock time (in seconds):829.162 831.03/829.28 o -10734 831.03/829.29 c Got one! Elapsed wall clock time (in seconds):829.173 831.03/829.29 o -10739 831.33/829.50 c Got one! Elapsed wall clock time (in seconds):829.38 831.33/829.50 o -10741 831.33/829.51 c Got one! Elapsed wall clock time (in seconds):829.393 831.33/829.51 o -10754 831.33/829.52 c Got one! Elapsed wall clock time (in seconds):829.404 831.33/829.52 o -10759 831.33/829.53 c Got one! Elapsed wall clock time (in seconds):829.415 831.33/829.53 o -10764 831.93/830.19 c cleaning 13992 clauses out of 28002 with flag 1001/2069013 835.83/834.03 c cleaning 9974 clauses out of 20009 with flag 7000/2075012 839.44/837.63 c Got one! Elapsed wall clock time (in seconds):837.511 839.44/837.63 o -10769 842.74/840.92 c cleaning 10679 clauses out of 21373 with flag 5001/2086350 843.44/841.61 c Got one! Elapsed wall clock time (in seconds):841.497 843.44/841.61 o -10774 843.44/841.63 c Got one! Elapsed wall clock time (in seconds):841.514 843.44/841.63 o -10779 843.54/841.74 c Got one! Elapsed wall clock time (in seconds):841.62 843.54/841.74 o -10784 843.54/841.75 c Got one! Elapsed wall clock time (in seconds):841.631 843.54/841.75 o -10794 843.84/842.03 c Got one! Elapsed wall clock time (in seconds):841.909 843.84/842.03 o -10796 843.84/842.04 c Got one! Elapsed wall clock time (in seconds):841.92 843.84/842.04 o -10809 843.84/842.05 c Got one! Elapsed wall clock time (in seconds):841.932 843.84/842.05 o -10814 843.84/842.06 c Got one! Elapsed wall clock time (in seconds):841.943 843.84/842.06 o -10819 846.84/845.04 c cleaning 8506 clauses out of 17037 with flag 5000/2092693 847.94/846.13 c cleaning 7256 clauses out of 14532 with flag 11001/2098694 849.54/847.73 c cleaning 7126 clauses out of 14276 with flag 18001/2105694 851.44/849.67 c cleaning 7561 clauses out of 15149 with flag 26000/2113693 858.46/856.68 c cleaning 8263 clauses out of 16588 with flag 35000/2122693 866.86/865.06 c cleaning 9141 clauses out of 18326 with flag 45001/2132694 873.96/872.20 c cleaning 10088 clauses out of 20186 with flag 56002/2143695 877.69/875.89 c Got one! Elapsed wall clock time (in seconds):875.769 877.69/875.89 o -10824 878.89/877.06 c cleaning 10137 clauses out of 20279 with flag 5000/2153877 880.49/878.60 c cleaning 8071 clauses out of 16142 with flag 11000/2159877 884.29/882.43 c cleaning 7480 clauses out of 15071 with flag 18001/2166878 887.60/885.76 c cleaning 7784 clauses out of 15589 with flag 26000/2174877 892.10/890.21 c cleaning 8400 clauses out of 16805 with flag 35001/2183878 896.50/894.65 c cleaning 9197 clauses out of 18403 with flag 45000/2193877 906.02/904.12 c cleaning 10097 clauses out of 20208 with flag 56003/2204880 912.51/910.68 c cleaning 11041 clauses out of 22105 with flag 68000/2216877 932.71/930.89 c cleaning 12032 clauses out of 24064 with flag 81002/2229879 950.41/948.52 c cleaning 12996 clauses out of 26030 with flag 95000/2243877 967.02/965.12 c Got one! Elapsed wall clock time (in seconds):965.002 967.02/965.12 o -10829 969.02/967.10 c Got one! Elapsed wall clock time (in seconds):966.984 969.02/967.10 o -10834 969.22/967.32 c Got one! Elapsed wall clock time (in seconds):967.204 969.22/967.32 o -10839 969.32/967.48 c Got one! Elapsed wall clock time (in seconds):967.361 969.32/967.48 o -10840 969.32/967.49 c Got one! Elapsed wall clock time (in seconds):967.373 969.32/967.49 o -10849 969.32/967.50 c Got one! Elapsed wall clock time (in seconds):967.387 969.32/967.50 o -10854 969.45/967.52 c Got one! Elapsed wall clock time (in seconds):967.398 969.45/967.52 o -10859 970.95/969.09 c starts : 257 970.95/969.09 c conflicts : 2260469 970.95/969.09 c decisions : 4287815 970.95/969.09 c propagations : 888602267 970.95/969.09 c inspects : 1994929816 970.95/969.09 c shortcuts : 0 970.95/969.09 c learnt literals : 24 970.95/969.09 c learnt binary clauses : 596 970.95/969.09 c learnt ternary clauses : 1141 970.95/969.09 c learnt constraints : 2260444 970.95/969.09 c ignored constraints : 0 970.95/969.09 c root simplifications : 0 970.95/969.09 c removed literals (reason simplification) : 44791225 970.95/969.09 c reason swapping (by a shorter reason) : 0 970.95/969.09 c Calls to reduceDB : 188 970.95/969.09 c number of reductions to clauses (during analyze) : 0 970.95/969.09 c number of learned constraints concerned by reduction : 0 970.95/969.09 c number of learning phase by resolution : 0 970.95/969.09 c number of learning phase by cutting planes : 0 970.95/969.09 c speed (assignments/second) : 5.641919155555556E8 970.95/969.09 c non guided choices 10934 970.95/969.09 c learnt constraints type 970.95/969.09 c constraints type 970.95/969.09 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1114 970.95/969.09 c org.sat4j.minisat.constraints.card.MinWatchCard => 11249 970.95/969.09 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 49 970.95/969.09 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 704 970.95/969.09 s OPTIMUM FOUND 970.95/969.10 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 -x272 x273 x274 x275 -x276 x277 x278 -x279 -x280 x281 -x282 x283 -x284 -x285 x286 -x287 x288 -x289 -x290 x291 x292 -x293 x294 x295 -x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 x312 -x313 x314 x315 x316 -x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 x331 x332 x333 -x334 x335 x336 x337 -x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 x801 -x802 x803 -x804 x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 x1858 x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 x1964 x1965 x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 x2048 -x2049 x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 -x2389 -x2390 x2391 -x2392 x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 x2566 x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 x2659 -x2660 x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 x2676 x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 x2720 -x2721 x2722 x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 x2880 x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 x2896 -x2897 x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 x2960 x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 x3068 x3069 x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 x3083 x3084 -x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 x3099 -x3100 x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 -x4944 x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 x5243 -x5244 x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 x6449 x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 x6573 -x6574 -x6575 x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 x6819 x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 x6909 x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 x7193 x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 -x7226 x7227 x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 x7312 -x7313 -x7314 x7315 -x7316 x7317 -x7318 -x7319 -x7320 -x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 -x7331 -x7332 -x7333 x7334 -x7335 -x7336 -x7337 -x7338 -x7339 x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 x9222 -x9223 -x9224 -x9225 -x9226 -x9227 x9228 -x9229 -x9230 -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 x10603 -x10604 -x10605 x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 x10816 x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 x11030 -x11031 x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 x11162 -x11163 x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 970.95/969.11 c objective function=-10859 970.95/969.11 c Total wall clock time (in seconds): 968.995
OK -10859
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458896-1307143122/watcher-3458896-1307143122 -o /tmp/evaluation-result-3458896-1307143122/solver-3458896-1307143122 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458896-1307143122.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: 2.00 2.02 2.00 2/545 15443 /proc/meminfo: memFree=24853264/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13508980 CPUtime=0 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 2652 0 1 0 0 0 0 0 25 0 2 0 904542870 13833195520 2354 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3377245 2368 906 9 0 3368401 0 [pid=15443/tid=15444] ppid=15441 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 5931 0 1 0 0 0 0 0 25 0 2 0 904542871 13850947584 6747 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0754899 s] /proc/loadavg: 2.00 2.02 2.00 2/545 15443 /proc/meminfo: memFree=24853264/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13555088 CPUtime=0.06 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 14308 0 1 0 5 1 0 0 25 0 18 0 904542870 13880410112 14005 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3388772 14007 1742 9 0 3379506 0 [pid=15443/tid=15444] ppid=15441 vsize=13555088 CPUtime=0.05 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 13136 0 1 0 4 1 0 0 25 0 18 0 904542871 13880410112 14007 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13555088 [startup+0.100488 s] /proc/loadavg: 2.00 2.02 2.00 2/545 15443 /proc/meminfo: memFree=24853264/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13622292 CPUtime=0.1 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 15439 0 1 0 9 1 0 0 25 0 18 0 904542870 13949227008 15136 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3405573 15137 2093 9 0 3396307 0 [pid=15443/tid=15444] ppid=15441 vsize=13622292 CPUtime=0.08 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 13530 0 1 0 7 1 0 0 25 0 18 0 904542871 13949227008 15137 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 47830964397079 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622292 [startup+0.337494 s] /proc/loadavg: 2.00 2.02 2.00 2/545 15443 /proc/meminfo: memFree=24853264/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13624948 CPUtime=0.54 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 44335 0 1 0 49 5 0 0 25 0 18 0 904542870 13951946752 43603 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3406237 43604 2199 9 0 3396971 0 [pid=15443/tid=15444] ppid=15441 vsize=13624948 CPUtime=0.32 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 40872 0 1 0 28 4 0 0 25 0 18 0 904542871 13951946752 43604 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 13624948 [startup+0.700428 s] /proc/loadavg: 2.00 2.02 2.00 2/545 15443 /proc/meminfo: memFree=24853264/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13625304 CPUtime=1.02 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 175414 0 1 0 79 23 0 0 25 0 18 0 904542870 13952311296 174555 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3406326 174568 2211 9 0 3397060 0 [pid=15443/tid=15444] ppid=15441 vsize=13625304 CPUtime=0.68 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 171729 0 1 0 46 22 0 0 25 0 18 0 904542871 13952311296 174578 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505601429 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 13625304 [startup+1.50124 s] /proc/loadavg: 2.00 2.02 2.00 3/563 15461 /proc/meminfo: memFree=23738404/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13630124 CPUtime=2.51 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 295580 0 1 0 214 37 0 0 25 0 19 0 904542870 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3407531 290820 2239 9 0 3398265 0 [pid=15443/tid=15444] ppid=15441 vsize=13630124 CPUtime=1.48 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 285856 0 1 0 112 36 0 0 19 0 19 0 904542871 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505813120 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542873 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 904542874 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 904542874 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904542874 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216747002289 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13630124 CPUtime=0.54 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4849 0 0 0 54 0 0 0 15 0 19 0 904542877 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13630124 CPUtime=0.47 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3715 0 0 0 47 0 0 0 16 0 19 0 904542877 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15461] ppid=15441 vsize=13630124 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15461/stat : 15461 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542877 13957246976 290820 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.51 Current children cumulated vsize (KiB) 13630124 [startup+3.101 s] /proc/loadavg: 2.00 2.02 2.00 3/564 15462 /proc/meminfo: memFree=23690340/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13630360 CPUtime=4.26 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 299668 0 1 0 388 38 0 0 25 0 19 0 904542870 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3407590 294903 2264 9 0 3398324 0 [pid=15443/tid=15444] ppid=15441 vsize=13630360 CPUtime=3.04 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 286871 0 1 0 268 36 0 0 18 0 19 0 904542871 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505822765 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 844 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 663 0 0 0 0 0 0 0 18 0 19 0 904542873 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13630360 CPUtime=0.02 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 1509 0 0 0 2 0 0 0 15 0 19 0 904542874 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216747002289 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13630360 CPUtime=0.63 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4904 0 0 0 63 0 0 0 15 0 19 0 904542877 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13630360 CPUtime=0.51 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3721 0 0 0 51 0 0 0 15 0 19 0 904542877 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15461] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15461/stat : 15461 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542877 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15462] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15462/stat : 15462 (java) S 15441 15443 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904542976 13957488640 294903 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.26 Current children cumulated vsize (KiB) 13630360 [startup+6.30145 s] /proc/loadavg: 2.00 2.02 2.00 3/564 15463 /proc/meminfo: memFree=23676316/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13630360 CPUtime=7.5 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 300070 0 1 0 712 38 0 0 25 0 19 0 904542870 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3407590 295285 2264 9 0 3398324 0 [pid=15443/tid=15444] ppid=15441 vsize=13630360 CPUtime=6.19 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 286875 0 1 0 583 36 0 0 25 0 19 0 904542871 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505903792 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13630360 CPUtime=0.01 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 844 0 0 0 1 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13630360 CPUtime=0.01 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 664 0 0 0 1 0 0 0 15 0 19 0 904542873 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13630360 CPUtime=0.07 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 1686 0 0 0 7 0 0 0 16 0 19 0 904542874 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216747002289 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13630360 CPUtime=0.65 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4904 0 0 0 65 0 0 0 15 0 19 0 904542877 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13630360 CPUtime=0.52 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3724 0 0 0 52 0 0 0 15 0 19 0 904542877 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 295285 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 287060 0 1 0 95954 36 0 0 25 0 19 0 904542871 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505816638 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 279 0 0 0 12 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13630360 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 122 0 0 0 14 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13630360 CPUtime=0.11 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 132 0 0 0 12 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13630360 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 14 0 0 0 16 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 12 0 0 0 16 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13630360 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 978 0 0 0 16 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13630360 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 772 0 0 0 16 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13630360 CPUtime=5.86 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 3052 0 0 0 583 3 0 0 15 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216747002289 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13630360 CPUtime=0.75 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4927 0 0 0 75 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13630360 CPUtime=0.53 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3724 0 0 0 53 0 0 0 16 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15461] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15461/stat : 15461 (java) S 15441 15443 11644 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15462] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15462/stat : 15462 (java) S 15441 15443 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904542976 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 968.22 Current children cumulated vsize (KiB) 13630360 [startup+967.901 s] /proc/loadavg: 2.00 2.03 2.00 3/564 15536 /proc/meminfo: memFree=23666116/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13630360 CPUtime=969.85 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 302301 0 1 0 96942 43 0 0 25 0 19 0 904542870 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3407590 297220 2265 9 0 3398324 0 [pid=15443/tid=15444] ppid=15441 vsize=13630360 CPUtime=961.52 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 287060 0 1 0 96116 36 0 0 25 0 19 0 904542871 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505881616 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 279 0 0 0 12 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13630360 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 122 0 0 0 14 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13630360 CPUtime=0.11 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 132 0 0 0 12 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13630360 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 14 0 0 0 16 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 12 0 0 0 16 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13630360 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 978 0 0 0 16 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13630360 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 772 0 0 0 16 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13630360 CPUtime=5.86 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 3052 0 0 0 583 3 0 0 15 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216747002289 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13630360 CPUtime=0.75 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4928 0 0 0 75 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13630360 CPUtime=0.55 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3724 0 0 0 55 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15461] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15461/stat : 15461 (java) S 15441 15443 11644 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15462] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15462/stat : 15462 (java) S 15441 15443 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904542976 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 969.85 Current children cumulated vsize (KiB) 13630360 [startup+968.701 s] /proc/loadavg: 2.00 2.03 2.00 3/564 15536 /proc/meminfo: memFree=23666116/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13630360 CPUtime=970.64 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 302301 0 1 0 97021 43 0 0 25 0 19 0 904542870 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3407590 297220 2265 9 0 3398324 0 [pid=15443/tid=15444] ppid=15441 vsize=13630360 CPUtime=962.3 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) R 15441 15443 11644 0 -1 4202560 287060 0 1 0 96194 36 0 0 25 0 19 0 904542871 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 46912505814656 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 279 0 0 0 12 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13630360 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 122 0 0 0 14 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13630360 CPUtime=0.11 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 132 0 0 0 12 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13630360 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 14 0 0 0 16 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13630360 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 12 0 0 0 16 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13630360 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 978 0 0 0 16 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13630360 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 772 0 0 0 16 0 0 0 15 0 19 0 904542873 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13630360 CPUtime=5.86 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 3052 0 0 0 583 3 0 0 15 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904542874 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216747002289 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13630360 CPUtime=0.75 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4928 0 0 0 75 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13630360 CPUtime=0.55 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3724 0 0 0 55 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15461] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15461/stat : 15461 (java) S 15441 15443 11644 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 904542877 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15462] ppid=15441 vsize=13630360 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15462/stat : 15462 (java) S 15441 15443 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904542976 13957488640 297220 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 970.64 Current children cumulated vsize (KiB) 13630360 [startup+969.12 s] /proc/loadavg: 2.00 2.03 2.00 3/564 15536 /proc/meminfo: memFree=23666116/32951124 swapFree=56241860/67111528 [pid=15443] ppid=15441 vsize=13631388 CPUtime=971.08 cores=0,2,4,6 /proc/15443/stat : 15443 (java) S 15441 15443 11644 0 -1 4202496 302316 0 1 0 97065 43 0 0 25 0 18 0 904542870 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15443/statm: 3407847 297234 2267 9 0 3398581 0 [pid=15443/tid=15444] ppid=15441 vsize=13631388 CPUtime=962.69 cores=0,2,4,6 /proc/15443/task/15444/stat : 15444 (java) S 15441 15443 11644 0 -1 4202560 287064 0 1 0 96233 36 0 0 25 0 18 0 904542871 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15446] ppid=15441 vsize=13631388 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15446/stat : 15446 (java) S 15441 15443 11644 0 -1 4202560 279 0 0 0 12 0 0 0 15 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15447] ppid=15441 vsize=13631388 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15447/stat : 15447 (java) S 15441 15443 11644 0 -1 4202560 122 0 0 0 14 0 0 0 15 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15448] ppid=15441 vsize=13631388 CPUtime=0.11 cores=0,2,4,6 /proc/15443/task/15448/stat : 15448 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15449] ppid=15441 vsize=13631388 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15449/stat : 15449 (java) S 15441 15443 11644 0 -1 4202560 132 0 0 0 12 0 0 0 15 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 4 0 0 0 [pid=15443/tid=15450] ppid=15441 vsize=13631388 CPUtime=0.14 cores=0,2,4,6 /proc/15443/task/15450/stat : 15450 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 14 0 0 0 16 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15451] ppid=15441 vsize=13631388 CPUtime=0.12 cores=0,2,4,6 /proc/15443/task/15451/stat : 15451 (java) S 15441 15443 11644 0 -1 4202560 20 0 0 0 12 0 0 0 16 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15452] ppid=15441 vsize=13631388 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15452/stat : 15452 (java) S 15441 15443 11644 0 -1 4202560 978 0 0 0 16 0 0 0 15 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15453] ppid=15441 vsize=13631388 CPUtime=0.16 cores=0,2,4,6 /proc/15443/task/15453/stat : 15453 (java) S 15441 15443 11644 0 -1 4202560 772 0 0 0 16 0 0 0 15 0 18 0 904542873 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15454] ppid=15441 vsize=13631388 CPUtime=5.86 cores=0,2,4,6 /proc/15443/task/15454/stat : 15454 (java) S 15441 15443 11644 0 -1 4202560 3052 0 0 0 583 3 0 0 15 0 18 0 904542874 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 0 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 [pid=15443/tid=15455] ppid=15441 vsize=13631388 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15455/stat : 15455 (java) S 15441 15443 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 904542874 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15456] ppid=15441 vsize=13631388 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15456/stat : 15456 (java) S 15441 15443 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 904542874 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15457] ppid=15441 vsize=13631388 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15457/stat : 15457 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 904542877 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15458] ppid=15441 vsize=13631388 CPUtime=0.77 cores=0,2,4,6 /proc/15443/task/15458/stat : 15458 (java) S 15441 15443 11644 0 -1 4202560 4928 0 0 0 77 0 0 0 15 0 18 0 904542877 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 2 0 0 0 [pid=15443/tid=15459] ppid=15441 vsize=13631388 CPUtime=0.56 cores=0,2,4,6 /proc/15443/task/15459/stat : 15459 (java) S 15441 15443 11644 0 -1 4202560 3726 0 0 0 56 0 0 0 15 0 18 0 904542877 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15460] ppid=15441 vsize=13631388 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15460/stat : 15460 (java) S 15441 15443 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 904542877 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746994585 0 4 0 16800975 18446604452941493440 0 0 -1 6 0 0 0 [pid=15443/tid=15462] ppid=15441 vsize=13631388 CPUtime=0 cores=0,2,4,6 /proc/15443/task/15462/stat : 15462 (java) S 15441 15443 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 904542976 13958541312 297234 33554432000 1073741824 1073778376 140735088561600 18446744073709551615 216746995200 0 4 0 16800975 18446604452941493440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 971.08 Current children cumulated vsize (KiB) 13631388 Child status: 30 Real time (s): 969.185 CPU time (s): 971.144 CPU user time (s): 970.656 CPU system time (s): 0.487925 CPU usage (%): 100.202 Max. virtual memory (cumulated for all children) (KiB): 13634872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 970.656 system time used= 0.487925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 302316 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25816 involuntary context switches= 7876 runsolver used 5.38918 second user time and 11.4063 second system time The end
Begin job on node119 at 2011-06-04 01:18:42 IDJOB=3458896 IDBENCH=1875 IDSOLVER=1952 FILE ID=node119/3458896-1307143122 RUNJOBID= node119-1307133874-12996 PBS_JOBID= 13508797 Free space on /tmp= 73628 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458896-1307143122/watcher-3458896-1307143122 -o /tmp/evaluation-result-3458896-1307143122/solver-3458896-1307143122 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458896-1307143122.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=981513467 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24853552 kB Buffers: 223496 kB Cached: 570600 kB SwapCached: 59076 kB Active: 798052 kB Inactive: 7001804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24853552 kB SwapTotal: 67111528 kB SwapFree: 56241860 kB Dirty: 1632 kB Writeback: 0 kB AnonPages: 6950060 kB Mapped: 41580 kB Slab: 148892 kB PageTables: 79724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 177303996 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73628 MiB End job on node119 at 2011-06-04 01:34:51