Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 1601 | 1800.2 | 1797.16 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1601 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2754 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.09 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.1.v20110525 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.18-164.el5 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 12995394264 0.01/0.09 c Max memory 13063553024 0.01/0.09 c Total memory 13063553024 0.01/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458864-1307140266.opb 0.10/0.11 c reading problem ... 0.53/0.37 c ... done. Wall clock time 0.26s. 0.53/0.37 c #vars 7195 0.53/0.37 c #constraints 958 0.53/0.37 c constraints type 0.53/0.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 0.53/0.37 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 0.53/0.37 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 900 3.29/2.50 c cleaning 2497 clauses out of 5001 with flag 5001/5001 5.75/4.92 c cleaning 4259 clauses out of 8526 with flag 11023/11023 10.37/9.46 c cleaning 5623 clauses out of 11252 with flag 18008/18008 14.09/12.85 c cleaning 6809 clauses out of 13629 with flag 26008/26008 21.93/20.27 c cleaning 7898 clauses out of 15821 with flag 35009/35009 28.16/26.42 c SATISFIABLE 28.16/26.42 c OPTIMIZING... 28.16/26.42 c Got one! Elapsed wall clock time (in seconds):26.305 28.16/26.42 o 5131 28.48/26.78 c Got one! Elapsed wall clock time (in seconds):26.666 28.48/26.78 o 1655 30.00/28.29 c Got one! Elapsed wall clock time (in seconds):28.178 30.00/28.29 o 1601 30.94/29.18 c cleaning 11320 clauses out of 22659 with flag 2001/49746 35.76/33.97 c cleaning 8656 clauses out of 17338 with flag 8000/55745 39.96/38.10 c cleaning 7839 clauses out of 15682 with flag 15000/62745 44.17/42.39 c cleaning 7918 clauses out of 15843 with flag 23000/70745 48.77/46.93 c cleaning 8455 clauses out of 16925 with flag 32000/79745 53.48/51.61 c cleaning 9230 clauses out of 18470 with flag 42000/89745 58.58/56.79 c cleaning 9612 clauses out of 19240 with flag 52000/99745 63.39/61.52 c cleaning 9803 clauses out of 19629 with flag 62001/109746 68.38/66.58 c cleaning 9903 clauses out of 19827 with flag 72002/119747 73.18/71.39 c cleaning 9951 clauses out of 19922 with flag 82000/129745 78.29/76.45 c cleaning 9980 clauses out of 19971 with flag 92000/139745 83.20/81.33 c cleaning 9986 clauses out of 19991 with flag 102000/149745 88.09/86.26 c cleaning 9988 clauses out of 20006 with flag 112001/159746 92.49/90.60 c cleaning 10004 clauses out of 20018 with flag 122001/169746 96.80/94.90 c cleaning 9996 clauses out of 20013 with flag 132000/179745 101.91/100.11 c cleaning 9994 clauses out of 20017 with flag 142000/189745 106.50/104.66 c cleaning 10004 clauses out of 20023 with flag 152000/199745 111.51/109.66 c cleaning 10002 clauses out of 20019 with flag 162000/209745 116.61/114.73 c cleaning 10004 clauses out of 20017 with flag 172000/219745 122.22/120.31 c cleaning 9987 clauses out of 20013 with flag 182000/229745 127.42/125.50 c cleaning 10002 clauses out of 20026 with flag 192000/239745 133.33/131.42 c cleaning 9989 clauses out of 20024 with flag 202000/249745 139.13/137.29 c cleaning 10009 clauses out of 20036 with flag 212001/259746 144.33/142.45 c cleaning 10004 clauses out of 20026 with flag 222000/269745 149.53/147.65 c cleaning 10008 clauses out of 20024 with flag 232002/279747 154.34/152.44 c cleaning 10001 clauses out of 20014 with flag 242000/289745 158.44/156.52 c cleaning 9999 clauses out of 20014 with flag 252001/299746 163.04/161.12 c cleaning 10001 clauses out of 20014 with flag 262000/309745 167.65/165.79 c cleaning 9997 clauses out of 20013 with flag 272000/319745 172.15/170.20 c cleaning 9999 clauses out of 20016 with flag 282000/329745 176.77/174.85 c cleaning 10002 clauses out of 20018 with flag 292001/339746 181.17/179.28 c cleaning 10003 clauses out of 20015 with flag 302000/349745 185.76/183.80 c cleaning 10001 clauses out of 20013 with flag 312001/359746 190.56/188.63 c cleaning 9996 clauses out of 20011 with flag 322000/369745 195.66/193.71 c cleaning 9997 clauses out of 20015 with flag 332000/379745 200.27/198.32 c cleaning 10001 clauses out of 20023 with flag 342005/389750 204.88/202.92 c cleaning 10006 clauses out of 20019 with flag 352002/399747 210.08/208.11 c cleaning 9999 clauses out of 20011 with flag 362000/409745 214.38/212.49 c cleaning 9994 clauses out of 20012 with flag 372000/419745 219.08/217.15 c cleaning 10003 clauses out of 20018 with flag 382000/429745 223.48/221.50 c cleaning 10000 clauses out of 20015 with flag 392000/439745 227.69/225.76 c cleaning 9998 clauses out of 20015 with flag 402000/449745 232.49/230.51 c cleaning 10003 clauses out of 20020 with flag 412003/459748 236.39/234.49 c cleaning 10002 clauses out of 20015 with flag 422001/469746 240.79/238.80 c cleaning 10000 clauses out of 20012 with flag 432000/479745 245.30/243.38 c cleaning 10000 clauses out of 20013 with flag 442001/489746 250.50/248.61 c cleaning 10003 clauses out of 20015 with flag 452003/499748 255.60/253.63 c cleaning 9997 clauses out of 20009 with flag 462000/509745 260.80/258.83 c cleaning 9996 clauses out of 20012 with flag 472000/519745 265.71/263.71 c cleaning 10000 clauses out of 20019 with flag 482003/529748 270.91/268.96 c cleaning 9995 clauses out of 20016 with flag 492000/539745 276.11/274.17 c cleaning 10004 clauses out of 20022 with flag 502001/549746 281.52/279.57 c cleaning 10002 clauses out of 20020 with flag 512003/559748 286.62/284.65 c cleaning 10000 clauses out of 20015 with flag 522000/569745 291.52/289.57 c cleaning 9998 clauses out of 20015 with flag 532000/579745 296.23/294.23 c cleaning 9999 clauses out of 20017 with flag 542000/589745 301.14/299.13 c cleaning 10003 clauses out of 20018 with flag 552000/599745 306.34/304.33 c cleaning 10001 clauses out of 20015 with flag 562000/609745 311.24/309.29 c cleaning 9999 clauses out of 20014 with flag 572000/619745 316.14/314.15 c cleaning 10003 clauses out of 20020 with flag 582005/629750 320.96/319.00 c cleaning 10001 clauses out of 20013 with flag 592001/639746 325.85/323.80 c cleaning 9998 clauses out of 20012 with flag 602001/649746 330.37/328.30 c cleaning 10000 clauses out of 20013 with flag 612000/659745 335.07/333.08 c cleaning 9996 clauses out of 20013 with flag 622000/669745 339.88/337.86 c cleaning 10000 clauses out of 20017 with flag 632000/679745 344.48/342.45 c cleaning 9999 clauses out of 20017 with flag 642000/689745 348.98/346.96 c cleaning 10000 clauses out of 20018 with flag 652000/699745 353.99/351.95 c cleaning 10003 clauses out of 20019 with flag 662001/709746 359.09/357.01 c cleaning 9997 clauses out of 20017 with flag 672002/719747 364.09/362.01 c cleaning 10006 clauses out of 20024 with flag 682006/729751 369.59/367.50 c cleaning 9995 clauses out of 20013 with flag 692001/739746 375.20/373.16 c cleaning 10004 clauses out of 20020 with flag 702003/749748 380.60/378.56 c cleaning 9997 clauses out of 20013 with flag 712000/759745 385.70/383.66 c cleaning 10001 clauses out of 20016 with flag 722000/769745 390.91/388.89 c cleaning 10000 clauses out of 20015 with flag 732000/779745 395.92/393.83 c cleaning 10000 clauses out of 20015 with flag 742000/789745 400.71/398.66 c cleaning 9999 clauses out of 20016 with flag 752001/799746 405.21/403.16 c cleaning 10000 clauses out of 20017 with flag 762001/809746 409.72/407.66 c cleaning 9995 clauses out of 20016 with flag 772000/819745 414.32/412.26 c cleaning 10001 clauses out of 20022 with flag 782001/829746 418.52/416.49 c cleaning 10000 clauses out of 20020 with flag 792000/839745 423.33/421.21 c cleaning 9998 clauses out of 20020 with flag 802000/849745 427.92/425.84 c cleaning 10007 clauses out of 20022 with flag 812000/859745 432.73/430.62 c cleaning 10002 clauses out of 20018 with flag 822003/869748 437.03/434.91 c cleaning 9994 clauses out of 20013 with flag 832000/879745 441.33/439.23 c cleaning 9995 clauses out of 20019 with flag 842000/889745 446.44/444.39 c cleaning 10008 clauses out of 20030 with flag 852006/899751 451.43/449.39 c cleaning 9998 clauses out of 20016 with flag 862000/909745 456.14/454.00 c cleaning 10004 clauses out of 20018 with flag 872000/919745 461.34/459.24 c cleaning 10004 clauses out of 20014 with flag 882000/929745 465.94/463.82 c cleaning 10000 clauses out of 20015 with flag 892005/939750 470.75/468.65 c cleaning 10001 clauses out of 20010 with flag 902000/949745 475.45/473.31 c cleaning 9998 clauses out of 20009 with flag 912000/959745 480.25/478.14 c cleaning 10000 clauses out of 20012 with flag 922001/969746 485.15/483.09 c cleaning 10000 clauses out of 20012 with flag 932001/979746 490.05/487.92 c cleaning 9999 clauses out of 20011 with flag 942000/989745 494.56/492.43 c cleaning 9995 clauses out of 20012 with flag 952000/999745 499.16/497.02 c cleaning 9999 clauses out of 20017 with flag 962000/1009745 503.77/501.70 c cleaning 9998 clauses out of 20020 with flag 972002/1019747 508.76/506.65 c cleaning 9998 clauses out of 20021 with flag 982001/1029746 513.57/511.51 c cleaning 9996 clauses out of 20022 with flag 992000/1039745 518.26/516.16 c cleaning 10004 clauses out of 20026 with flag 1002000/1049745 523.06/520.92 c cleaning 10006 clauses out of 20022 with flag 1012000/1059745 527.98/525.89 c cleaning 10002 clauses out of 20019 with flag 1022003/1069748 532.97/530.89 c cleaning 9993 clauses out of 20016 with flag 1032002/1079747 537.89/535.71 c cleaning 10007 clauses out of 20021 with flag 1042000/1089745 542.97/540.83 c cleaning 9996 clauses out of 20016 with flag 1052002/1099747 548.38/546.21 c cleaning 9999 clauses out of 20018 with flag 1062000/1109745 553.58/551.45 c cleaning 10000 clauses out of 20019 with flag 1072000/1119745 558.49/556.33 c cleaning 10001 clauses out of 20019 with flag 1082000/1129745 562.99/560.80 c cleaning 10002 clauses out of 20019 with flag 1092001/1139746 567.09/564.99 c cleaning 10000 clauses out of 20016 with flag 1102000/1149745 571.59/569.47 c cleaning 10001 clauses out of 20016 with flag 1112000/1159745 576.49/574.36 c cleaning 10000 clauses out of 20015 with flag 1122000/1169745 581.50/579.30 c cleaning 9999 clauses out of 20015 with flag 1132000/1179745 586.51/584.34 c cleaning 10002 clauses out of 20016 with flag 1142000/1189745 591.01/588.88 c cleaning 9998 clauses out of 20014 with flag 1152000/1199745 595.51/593.37 c cleaning 9997 clauses out of 20017 with flag 1162001/1209746 600.22/598.02 c cleaning 10001 clauses out of 20021 with flag 1172002/1219747 605.04/602.85 c cleaning 9998 clauses out of 20019 with flag 1182001/1229746 610.23/608.08 c cleaning 10000 clauses out of 20020 with flag 1192000/1239745 614.73/612.59 c cleaning 9989 clauses out of 20020 with flag 1202000/1249745 619.35/617.14 c cleaning 10002 clauses out of 20032 with flag 1212001/1259746 624.64/622.41 c cleaning 9999 clauses out of 20031 with flag 1222002/1269747 629.74/627.51 c cleaning 10002 clauses out of 20030 with flag 1232000/1279745 634.34/632.11 c cleaning 10001 clauses out of 20028 with flag 1242000/1289745 639.05/636.83 c cleaning 10006 clauses out of 20028 with flag 1252001/1299746 643.95/641.77 c cleaning 9993 clauses out of 20022 with flag 1262001/1309746 648.45/646.27 c cleaning 10005 clauses out of 20033 with flag 1272005/1319750 652.85/650.68 c cleaning 10003 clauses out of 20024 with flag 1282001/1329746 657.56/655.34 c cleaning 10004 clauses out of 20020 with flag 1292000/1339745 662.96/660.71 c cleaning 10000 clauses out of 20016 with flag 1302000/1349745 667.86/665.65 c cleaning 9999 clauses out of 20016 with flag 1312000/1359745 672.36/670.19 c cleaning 10002 clauses out of 20017 with flag 1322000/1369745 676.77/674.56 c cleaning 10003 clauses out of 20016 with flag 1332001/1379746 680.77/678.59 c cleaning 10003 clauses out of 20014 with flag 1342002/1389747 685.28/683.04 c cleaning 9999 clauses out of 20014 with flag 1352005/1399750 690.07/687.83 c cleaning 9991 clauses out of 20010 with flag 1362000/1409745 695.18/692.99 c cleaning 10001 clauses out of 20019 with flag 1372000/1419745 699.38/697.14 c cleaning 9999 clauses out of 20018 with flag 1382000/1429745 704.00/701.72 c cleaning 10004 clauses out of 20022 with flag 1392003/1439748 708.29/706.04 c cleaning 10000 clauses out of 20015 with flag 1402000/1449745 712.39/710.12 c cleaning 10004 clauses out of 20017 with flag 1412002/1459747 716.90/714.61 c cleaning 10003 clauses out of 20011 with flag 1422000/1469745 721.80/719.50 c cleaning 9985 clauses out of 20008 with flag 1432000/1479745 726.50/724.24 c cleaning 10001 clauses out of 20023 with flag 1442000/1489745 731.01/728.76 c cleaning 10005 clauses out of 20023 with flag 1452001/1499746 735.21/732.92 c cleaning 10001 clauses out of 20017 with flag 1462000/1509745 739.71/737.49 c cleaning 9993 clauses out of 20016 with flag 1472000/1519745 744.21/741.95 c cleaning 9997 clauses out of 20023 with flag 1482000/1529745 749.02/746.76 c cleaning 10006 clauses out of 20027 with flag 1492001/1539746 753.92/751.63 c cleaning 10004 clauses out of 20020 with flag 1502000/1549745 759.14/756.82 c cleaning 10001 clauses out of 20018 with flag 1512002/1559747 763.82/761.55 c cleaning 10002 clauses out of 20016 with flag 1522001/1569746 768.43/766.11 c cleaning 9997 clauses out of 20014 with flag 1532001/1579746 773.03/770.79 c cleaning 9992 clauses out of 20016 with flag 1542000/1589745 777.13/774.84 c cleaning 10000 clauses out of 20024 with flag 1552000/1599745 781.34/779.07 c cleaning 10004 clauses out of 20025 with flag 1562001/1609746 785.74/783.44 c cleaning 9997 clauses out of 20020 with flag 1572000/1619745 789.44/787.17 c cleaning 10008 clauses out of 20025 with flag 1582002/1629747 795.15/792.80 c cleaning 9996 clauses out of 20015 with flag 1592000/1639745 800.85/798.57 c cleaning 9998 clauses out of 20019 with flag 1602000/1649745 806.25/803.93 c cleaning 10003 clauses out of 20021 with flag 1612000/1659745 811.65/809.32 c cleaning 9993 clauses out of 20019 with flag 1622001/1669746 816.65/814.32 c cleaning 10009 clauses out of 20026 with flag 1632001/1679746 821.87/819.54 c cleaning 10002 clauses out of 20016 with flag 1642000/1689745 827.06/824.70 c cleaning 10001 clauses out of 20016 with flag 1652002/1699747 831.96/829.68 c cleaning 9996 clauses out of 20013 with flag 1662000/1709745 837.06/834.78 c cleaning 9998 clauses out of 20018 with flag 1672001/1719746 842.36/840.08 c cleaning 9998 clauses out of 20019 with flag 1682000/1729745 847.46/845.18 c cleaning 10003 clauses out of 20022 with flag 1692001/1739746 852.57/850.25 c cleaning 10001 clauses out of 20018 with flag 1702000/1749745 857.37/855.06 c cleaning 10003 clauses out of 20017 with flag 1712000/1759745 862.58/860.23 c cleaning 10004 clauses out of 20017 with flag 1722003/1769748 867.27/864.92 c cleaning 9999 clauses out of 20011 with flag 1732001/1779746 871.47/869.15 c cleaning 9992 clauses out of 20012 with flag 1742001/1789746 875.79/873.48 c cleaning 10001 clauses out of 20019 with flag 1752000/1799745 880.28/877.95 c cleaning 10005 clauses out of 20018 with flag 1762000/1809745 884.49/882.16 c cleaning 10000 clauses out of 20013 with flag 1772000/1819745 888.89/886.59 c cleaning 10000 clauses out of 20013 with flag 1782000/1829745 893.30/890.97 c cleaning 9997 clauses out of 20014 with flag 1792001/1839746 897.49/895.14 c cleaning 9997 clauses out of 20017 with flag 1802001/1849746 901.70/899.37 c cleaning 9999 clauses out of 20019 with flag 1812000/1859745 906.00/903.65 c cleaning 9999 clauses out of 20020 with flag 1822000/1869745 910.20/907.84 c cleaning 9999 clauses out of 20021 with flag 1832000/1879745 914.60/912.20 c cleaning 10002 clauses out of 20025 with flag 1842003/1889748 918.90/916.59 c cleaning 10000 clauses out of 20020 with flag 1852000/1899745 923.31/920.96 c cleaning 9999 clauses out of 20020 with flag 1862000/1909745 927.71/925.38 c cleaning 10003 clauses out of 20021 with flag 1872000/1919745 931.93/929.53 c cleaning 10006 clauses out of 20019 with flag 1882001/1929746 936.23/933.82 c cleaning 9997 clauses out of 20012 with flag 1892000/1939745 940.63/938.30 c cleaning 10000 clauses out of 20015 with flag 1902000/1949745 945.03/942.68 c cleaning 9998 clauses out of 20015 with flag 1912000/1959745 949.33/946.93 c cleaning 9997 clauses out of 20017 with flag 1922000/1969745 953.73/951.38 c cleaning 9997 clauses out of 20020 with flag 1932000/1979745 957.94/955.58 c cleaning 10002 clauses out of 20023 with flag 1942000/1989745 962.44/960.06 c cleaning 10005 clauses out of 20023 with flag 1952002/1999747 967.74/965.38 c cleaning 9998 clauses out of 20016 with flag 1962000/2009745 971.94/969.50 c cleaning 9996 clauses out of 20019 with flag 1972001/2019746 976.74/974.32 c cleaning 9997 clauses out of 20022 with flag 1982000/2029745 981.46/979.08 c cleaning 10005 clauses out of 20025 with flag 1992000/2039745 986.25/983.81 c cleaning 9997 clauses out of 20022 with flag 2002002/2049747 991.15/988.78 c cleaning 10005 clauses out of 20025 with flag 2012002/2059747 995.45/993.09 c cleaning 10000 clauses out of 20018 with flag 2022000/2069745 1000.26/997.81 c cleaning 9996 clauses out of 20018 with flag 2032000/2079745 1004.36/1001.99 c cleaning 10003 clauses out of 20024 with flag 2042002/2089747 1009.26/1006.80 c cleaning 10003 clauses out of 20020 with flag 2052001/2099746 1013.66/1011.25 c cleaning 9996 clauses out of 20016 with flag 2062000/2109745 1018.26/1015.83 c cleaning 9992 clauses out of 20021 with flag 2072001/2119746 1022.87/1020.41 c cleaning 10000 clauses out of 20028 with flag 2082000/2129745 1026.67/1024.21 c cleaning 10006 clauses out of 20028 with flag 2092000/2139745 1030.47/1028.03 c cleaning 10005 clauses out of 20022 with flag 2102000/2149745 1034.48/1032.04 c cleaning 9997 clauses out of 20018 with flag 2112001/2159746 1038.98/1036.51 c cleaning 9999 clauses out of 20020 with flag 2122000/2169745 1043.38/1040.91 c cleaning 10008 clauses out of 20025 with flag 2132004/2179749 1047.68/1045.20 c cleaning 10003 clauses out of 20016 with flag 2142003/2189748 1052.39/1049.97 c cleaning 9998 clauses out of 20010 with flag 2152000/2199745 1057.59/1055.13 c cleaning 9987 clauses out of 20012 with flag 2162000/2209745 1062.40/1059.94 c cleaning 10002 clauses out of 20027 with flag 2172002/2219747 1067.10/1064.62 c cleaning 10008 clauses out of 20027 with flag 2182004/2229749 1071.90/1069.40 c cleaning 10001 clauses out of 20015 with flag 2192000/2239745 1077.21/1074.75 c cleaning 9996 clauses out of 20015 with flag 2202001/2249746 1082.50/1080.08 c cleaning 10002 clauses out of 20019 with flag 2212001/2259746 1087.80/1085.39 c cleaning 9998 clauses out of 20018 with flag 2222002/2269747 1092.90/1090.44 c cleaning 10000 clauses out of 20019 with flag 2232001/2279746 1097.91/1095.50 c cleaning 10001 clauses out of 20019 with flag 2242001/2289746 1102.92/1100.43 c cleaning 10004 clauses out of 20017 with flag 2252000/2299745 1107.32/1104.84 c cleaning 9993 clauses out of 20013 with flag 2262000/2309745 1111.52/1109.07 c cleaning 10003 clauses out of 20020 with flag 2272000/2319745 1115.93/1113.43 c cleaning 10000 clauses out of 20017 with flag 2282000/2329745 1120.15/1117.69 c cleaning 10001 clauses out of 20017 with flag 2292000/2339745 1124.24/1121.76 c cleaning 10003 clauses out of 20016 with flag 2302000/2349745 1128.54/1126.09 c cleaning 9990 clauses out of 20014 with flag 2312001/2359746 1132.94/1130.44 c cleaning 10003 clauses out of 20023 with flag 2322000/2369745 1137.34/1134.81 c cleaning 10006 clauses out of 20020 with flag 2332000/2379745 1141.55/1139.07 c cleaning 9999 clauses out of 20015 with flag 2342001/2389746 1145.75/1143.26 c cleaning 9998 clauses out of 20016 with flag 2352001/2399746 1150.15/1147.62 c cleaning 9998 clauses out of 20018 with flag 2362001/2409746 1154.35/1151.80 c cleaning 9996 clauses out of 20019 with flag 2372000/2419745 1158.76/1156.21 c cleaning 9994 clauses out of 20023 with flag 2382000/2429745 1163.07/1160.52 c cleaning 9996 clauses out of 20029 with flag 2392000/2439745 1167.86/1165.38 c cleaning 10009 clauses out of 20034 with flag 2402001/2449746 1172.66/1170.18 c cleaning 9996 clauses out of 20024 with flag 2412000/2459745 1177.47/1174.91 c cleaning 10003 clauses out of 20030 with flag 2422002/2469747 1182.47/1179.91 c cleaning 10009 clauses out of 20029 with flag 2432004/2479749 1187.17/1184.64 c cleaning 9999 clauses out of 20017 with flag 2442001/2489746 1191.87/1189.30 c cleaning 9997 clauses out of 20017 with flag 2452000/2499745 1196.57/1194.01 c cleaning 10006 clauses out of 20021 with flag 2462001/2509746 1201.07/1198.55 c cleaning 9999 clauses out of 20015 with flag 2472001/2519746 1205.78/1203.27 c cleaning 9997 clauses out of 20015 with flag 2482000/2529745 1210.48/1207.93 c cleaning 10000 clauses out of 20018 with flag 2492000/2539745 1215.08/1212.59 c cleaning 10002 clauses out of 20023 with flag 2502005/2549750 1219.58/1217.06 c cleaning 10000 clauses out of 20019 with flag 2512003/2559748 1224.08/1221.57 c cleaning 9999 clauses out of 20016 with flag 2522000/2569745 1228.48/1225.93 c cleaning 9993 clauses out of 20017 with flag 2532000/2579745 1233.09/1230.59 c cleaning 10004 clauses out of 20025 with flag 2542001/2589746 1238.59/1236.10 c cleaning 9996 clauses out of 20020 with flag 2552000/2599745 1245.61/1243.07 c cleaning 10010 clauses out of 20027 with flag 2562003/2609748 1250.30/1247.76 c cleaning 10002 clauses out of 20016 with flag 2572002/2619747 1255.00/1252.44 c cleaning 9997 clauses out of 20013 with flag 2582001/2629746 1259.60/1257.00 c cleaning 9998 clauses out of 20015 with flag 2592000/2639745 1264.31/1261.79 c cleaning 9997 clauses out of 20019 with flag 2602002/2649747 1269.10/1266.52 c cleaning 10000 clauses out of 20020 with flag 2612000/2659745 1273.80/1271.21 c cleaning 10001 clauses out of 20020 with flag 2622000/2669745 1277.52/1274.93 c cleaning 10003 clauses out of 20020 with flag 2632001/2679746 1281.21/1278.69 c cleaning 10004 clauses out of 20017 with flag 2642001/2689746 1284.91/1282.39 c cleaning 9996 clauses out of 20012 with flag 2652000/2699745 1288.61/1286.09 c cleaning 9997 clauses out of 20016 with flag 2662000/2709745 1292.22/1289.65 c cleaning 10005 clauses out of 20021 with flag 2672002/2719747 1295.72/1293.18 c cleaning 10000 clauses out of 20014 with flag 2682000/2729745 1299.43/1296.91 c cleaning 10000 clauses out of 20014 with flag 2692000/2739745 1303.23/1300.68 c cleaning 10000 clauses out of 20015 with flag 2702001/2749746 1307.03/1304.46 c cleaning 9999 clauses out of 20014 with flag 2712000/2759745 1310.73/1308.17 c cleaning 10003 clauses out of 20016 with flag 2722001/2769746 1314.53/1311.92 c cleaning 10001 clauses out of 20012 with flag 2732000/2779745 1317.93/1315.38 c cleaning 9995 clauses out of 20012 with flag 2742001/2789746 1321.64/1319.05 c cleaning 9999 clauses out of 20017 with flag 2752001/2799746 1325.54/1322.98 c cleaning 10004 clauses out of 20019 with flag 2762002/2809747 1329.26/1326.69 c cleaning 9996 clauses out of 20013 with flag 2772000/2819745 1333.15/1330.59 c cleaning 10004 clauses out of 20017 with flag 2782000/2829745 1336.96/1334.32 c cleaning 9998 clauses out of 20013 with flag 2792000/2839745 1340.65/1338.04 c cleaning 9997 clauses out of 20015 with flag 2802000/2849745 1344.35/1341.77 c cleaning 10000 clauses out of 20022 with flag 2812004/2859749 1348.25/1345.69 c cleaning 10004 clauses out of 20018 with flag 2822000/2869745 1352.15/1349.53 c cleaning 10002 clauses out of 20015 with flag 2832001/2879746 1356.06/1353.44 c cleaning 10000 clauses out of 20014 with flag 2842002/2889747 1359.97/1357.39 c cleaning 9993 clauses out of 20012 with flag 2852000/2899745 1363.86/1361.26 c cleaning 10004 clauses out of 20019 with flag 2862000/2909745 1367.87/1365.21 c cleaning 9999 clauses out of 20015 with flag 2872000/2919745 1371.47/1368.83 c cleaning 9999 clauses out of 20016 with flag 2882000/2929745 1375.49/1372.85 c cleaning 10004 clauses out of 20018 with flag 2892001/2939746 1379.47/1376.85 c cleaning 10000 clauses out of 20015 with flag 2902002/2949747 1383.48/1380.81 c cleaning 10001 clauses out of 20017 with flag 2912004/2959749 1387.49/1384.88 c cleaning 9999 clauses out of 20013 with flag 2922001/2969746 1391.28/1388.66 c cleaning 10000 clauses out of 20015 with flag 2932002/2979747 1395.30/1392.64 c cleaning 10000 clauses out of 20015 with flag 2942002/2989747 1399.99/1397.37 c cleaning 10001 clauses out of 20013 with flag 2952000/2999745 1404.69/1402.07 c cleaning 10000 clauses out of 20013 with flag 2962001/3009746 1409.19/1406.56 c cleaning 10002 clauses out of 20013 with flag 2972001/3019746 1413.90/1411.25 c cleaning 9999 clauses out of 20011 with flag 2982001/3029746 1418.70/1416.05 c cleaning 9996 clauses out of 20014 with flag 2992003/3039748 1424.00/1421.36 c cleaning 9995 clauses out of 20015 with flag 3002000/3049745 1428.80/1426.15 c cleaning 10004 clauses out of 20024 with flag 3012004/3059749 1433.31/1430.60 c cleaning 10000 clauses out of 20016 with flag 3022000/3069745 1437.71/1435.00 c cleaning 10000 clauses out of 20016 with flag 3032000/3079745 1442.71/1440.00 c cleaning 9993 clauses out of 20017 with flag 3042001/3089746 1447.51/1444.87 c cleaning 10003 clauses out of 20024 with flag 3052001/3099746 1452.22/1449.51 c cleaning 10003 clauses out of 20021 with flag 3062001/3109746 1456.72/1454.03 c cleaning 10001 clauses out of 20017 with flag 3072000/3119745 1461.12/1458.50 c cleaning 10006 clauses out of 20017 with flag 3082001/3129746 1466.05/1463.36 c cleaning 9998 clauses out of 20011 with flag 3092001/3139746 1471.05/1468.41 c cleaning 9998 clauses out of 20012 with flag 3102000/3149745 1475.75/1473.03 c cleaning 10006 clauses out of 20017 with flag 3112003/3159748 1481.06/1478.41 c cleaning 9993 clauses out of 20008 with flag 3122000/3169745 1485.96/1483.24 c cleaning 9998 clauses out of 20016 with flag 3132001/3179746 1490.98/1488.26 c cleaning 10003 clauses out of 20020 with flag 3142003/3189748 1496.07/1493.33 c cleaning 9999 clauses out of 20014 with flag 3152000/3199745 1500.78/1498.03 c cleaning 10002 clauses out of 20018 with flag 3162003/3209748 1505.18/1502.47 c cleaning 10000 clauses out of 20015 with flag 3172002/3219747 1509.58/1506.89 c cleaning 9999 clauses out of 20013 with flag 3182000/3229745 1513.98/1511.31 c cleaning 10002 clauses out of 20014 with flag 3192000/3239745 1518.69/1515.91 c cleaning 9994 clauses out of 20013 with flag 3202001/3249746 1523.29/1520.59 c cleaning 9996 clauses out of 20018 with flag 3212000/3259745 1527.90/1525.18 c cleaning 9999 clauses out of 20025 with flag 3222003/3269748 1532.50/1529.79 c cleaning 10001 clauses out of 20023 with flag 3232000/3279745 1537.31/1534.54 c cleaning 10005 clauses out of 20022 with flag 3242000/3289745 1542.10/1539.39 c cleaning 9998 clauses out of 20017 with flag 3252000/3299745 1547.22/1544.41 c cleaning 10003 clauses out of 20023 with flag 3262004/3309749 1552.21/1549.44 c cleaning 10003 clauses out of 20017 with flag 3272001/3319746 1557.02/1554.31 c cleaning 9999 clauses out of 20014 with flag 3282001/3329746 1562.21/1559.48 c cleaning 10000 clauses out of 20014 with flag 3292000/3339745 1566.92/1564.15 c cleaning 9996 clauses out of 20016 with flag 3302002/3349747 1571.62/1568.86 c cleaning 9994 clauses out of 20020 with flag 3312002/3359747 1576.62/1573.85 c cleaning 10000 clauses out of 20025 with flag 3322001/3369746 1581.72/1578.99 c cleaning 10004 clauses out of 20025 with flag 3332001/3379746 1586.62/1583.88 c cleaning 9992 clauses out of 20020 with flag 3342000/3389745 1591.33/1588.60 c cleaning 10001 clauses out of 20028 with flag 3352000/3399745 1596.83/1594.00 c cleaning 10003 clauses out of 20033 with flag 3362006/3409751 1601.63/1598.83 c cleaning 10002 clauses out of 20025 with flag 3372001/3419746 1607.04/1604.25 c cleaning 10007 clauses out of 20023 with flag 3382001/3429746 1611.94/1609.19 c cleaning 9999 clauses out of 20015 with flag 3392000/3439745 1617.25/1614.44 c cleaning 9996 clauses out of 20020 with flag 3402004/3449749 1621.86/1619.05 c cleaning 10004 clauses out of 20021 with flag 3412001/3459746 1626.47/1623.63 c cleaning 9998 clauses out of 20017 with flag 3422001/3469746 1631.16/1628.34 c cleaning 9997 clauses out of 20018 with flag 3432000/3479745 1635.86/1633.02 c cleaning 9992 clauses out of 20021 with flag 3442000/3489745 1640.87/1638.04 c cleaning 10004 clauses out of 20029 with flag 3452000/3499745 1646.28/1643.46 c cleaning 9991 clauses out of 20025 with flag 3462000/3509745 1652.17/1649.33 c cleaning 9983 clauses out of 20034 with flag 3472000/3519745 1657.77/1654.91 c cleaning 10007 clauses out of 20051 with flag 3482000/3529745 1662.58/1659.72 c cleaning 10004 clauses out of 20044 with flag 3492000/3539745 1666.98/1664.18 c cleaning 10000 clauses out of 20040 with flag 3502000/3549745 1672.18/1669.38 c cleaning 10002 clauses out of 20040 with flag 3512000/3559745 1677.49/1674.62 c cleaning 10003 clauses out of 20039 with flag 3522001/3569746 1682.69/1679.80 c cleaning 9991 clauses out of 20035 with flag 3532000/3579745 1689.49/1686.61 c cleaning 10001 clauses out of 20045 with flag 3542001/3589746 1696.81/1693.99 c cleaning 9999 clauses out of 20043 with flag 3552000/3599745 1702.60/1699.72 c cleaning 10002 clauses out of 20045 with flag 3562001/3609746 1708.00/1705.10 c cleaning 10002 clauses out of 20042 with flag 3572000/3619745 1713.20/1710.31 c cleaning 9998 clauses out of 20042 with flag 3582002/3629747 1718.61/1715.72 c cleaning 9994 clauses out of 20043 with flag 3592001/3639746 1723.33/1720.44 c cleaning 10006 clauses out of 20049 with flag 3602001/3649746 1727.92/1725.07 c cleaning 10002 clauses out of 20042 with flag 3612000/3659745 1732.52/1729.69 c cleaning 10014 clauses out of 20040 with flag 3622000/3669745 1737.32/1734.45 c cleaning 9997 clauses out of 20027 with flag 3632001/3679746 1741.93/1739.09 c cleaning 10005 clauses out of 20029 with flag 3642000/3689745 1746.62/1743.73 c cleaning 10004 clauses out of 20025 with flag 3652001/3699746 1751.43/1748.58 c cleaning 10002 clauses out of 20023 with flag 3662003/3709748 1756.43/1753.51 c cleaning 9996 clauses out of 20018 with flag 3672000/3719745 1761.74/1758.84 c cleaning 10004 clauses out of 20023 with flag 3682001/3729746 1766.84/1763.94 c cleaning 9996 clauses out of 20018 with flag 3692000/3739745 1772.04/1769.10 c cleaning 10002 clauses out of 20025 with flag 3702003/3749748 1777.04/1774.13 c cleaning 10009 clauses out of 20029 with flag 3712009/3759754 1781.84/1778.91 c cleaning 9999 clauses out of 20013 with flag 3722002/3769747 1786.55/1783.66 c cleaning 9994 clauses out of 20012 with flag 3732000/3779745 1791.46/1788.54 c cleaning 10000 clauses out of 20022 with flag 3742004/3789749 1796.75/1793.83 c cleaning 10001 clauses out of 20020 with flag 3752002/3799747 1800.06/1797.12 c starts : 255 1800.06/1797.12 c conflicts : 3805931 1800.06/1797.12 c decisions : 8422180 1800.06/1797.12 c propagations : 1679636951 1800.06/1797.12 c inspects : 3721747515 1800.06/1797.12 c shortcuts : 0 1800.06/1797.12 c learnt literals : 1 1800.06/1797.12 c learnt binary clauses : 5 1800.06/1797.12 c learnt ternary clauses : 7 1800.06/1797.12 c learnt constraints : 3805930 1800.06/1797.12 c ignored constraints : 0 1800.06/1797.12 c root simplifications : 0 1800.06/1797.12 c removed literals (reason simplification) : 56104879 1800.06/1797.12 c reason swapping (by a shorter reason) : 0 1800.06/1797.12 c Calls to reduceDB : 382 1800.06/1797.12 c number of reductions to clauses (during analyze) : 0 1800.06/1797.12 c number of learned constraints concerned by reduction : 0 1800.06/1797.12 c number of learning phase by resolution : 0 1800.06/1797.12 c number of learning phase by cutting planes : 0 1800.06/1797.12 c speed (assignments/second) : 949576.8819806109 1800.06/1797.12 c non guided choices 1995 1800.06/1797.13 c learnt constraints type 1800.06/1797.13 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5 1800.06/1797.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16214 1800.06/1797.13 c constraints type 1800.06/1797.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 1800.06/1797.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 1800.06/1797.13 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 901 1800.06/1797.13 s SATISFIABLE 1800.06/1797.14 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 1800.06/1797.15 c objective function=1601 1800.06/1797.15 c Total wall clock time (in seconds): 1797.037
OK 1601
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-3458864-1307140266/watcher-3458864-1307140266 -o /tmp/evaluation-result-3458864-1307140266/solver-3458864-1307140266 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458864-1307140266.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.01 2.00 2/418 5260 /proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=30536 CPUtime=0 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 825626380 31268864 963 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 7634 963 736 9 0 385 0 [pid=5260/tid=5261] ppid=5258 vsize=13508980 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 2515 0 1 0 0 0 0 0 25 0 2 0 825626381 13833195520 3331 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237278566096 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.0220491 s] /proc/loadavg: 1.99 2.01 2.00 2/418 5260 /proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13526316 CPUtime=0.01 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 8524 0 1 0 0 1 0 0 25 0 2 0 825626380 13850947584 8226 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3381579 8241 917 9 0 3372735 0 [pid=5260/tid=5261] ppid=5258 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 7437 0 1 0 0 0 0 0 25 0 2 0 825626381 13850947584 8253 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13526316 [startup+0.101097 s] /proc/loadavg: 1.99 2.01 2.00 2/418 5260 /proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13622400 CPUtime=0.1 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 15512 0 1 0 8 2 0 0 25 0 18 0 825626380 13949337600 15183 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3405600 15185 2092 9 0 3396334 0 [pid=5260/tid=5261] ppid=5258 vsize=13622400 CPUtime=0.08 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 13570 0 1 0 6 2 0 0 18 0 18 0 825626381 13949337600 15185 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622400 [startup+0.300995 s] /proc/loadavg: 1.99 2.01 2.00 2/418 5260 /proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13627928 CPUtime=0.53 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 20898 0 1 0 50 3 0 0 25 0 18 0 825626380 13954998272 19835 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3406982 19837 2201 9 0 3397716 0 [pid=5260/tid=5261] ppid=5258 vsize=13627928 CPUtime=0.28 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 16564 0 1 0 25 3 0 0 18 0 18 0 825626381 13954998272 19837 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 13627928 [startup+0.700924 s] /proc/loadavg: 1.99 2.01 2.00 2/418 5260 /proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13629436 CPUtime=1.41 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 27134 0 1 0 137 4 0 0 25 0 19 0 825626380 13956542464 23921 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407359 23921 2228 9 0 3398093 0 [pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=0.68 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 20356 0 1 0 65 3 0 0 19 0 19 0 825626381 13956542464 23921 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505801271 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 13629436 [startup+1.50078 s] /proc/loadavg: 1.99 2.01 2.00 3/437 5279 /proc/meminfo: memFree=29831652/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13629436 CPUtime=2.27 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 28534 0 1 0 223 4 0 0 25 0 19 0 825626380 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407359 24948 2233 9 0 3398093 0 [pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=1.48 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 21366 0 1 0 145 3 0 0 20 0 19 0 825626381 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505781826 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5260/tid=5263] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5264] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5265] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5266] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5267] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5268] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825626384 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 825626384 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13629436 CPUtime=0.37 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 3823 0 0 0 37 0 0 0 15 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13629436 CPUtime=0.4 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 2183 0 0 0 40 0 0 0 24 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5277] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5278] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5279] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.27 Current children cumulated vsize (KiB) 13629436 [startup+3.10049 s] /proc/loadavg: 1.99 2.01 2.00 3/437 5279 /proc/meminfo: memFree=29825932/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13629436 CPUtime=3.92 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 32380 0 1 0 387 5 0 0 25 0 19 0 825626380 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407359 28735 2259 9 0 3398093 0 [pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=3.05 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 22385 0 1 0 302 3 0 0 25 0 19 0 825626381 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505781818 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5260/tid=5263] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5264] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5265] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5266] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5267] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5268] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 489 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 865 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13629436 CPUtime=0.01 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 1373 0 0 0 1 0 0 0 16 0 19 0 825626384 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13629436 CPUtime=0.39 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 3880 0 0 0 39 0 0 0 15 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13629436 CPUtime=0.42 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 2189 0 0 0 42 0 0 0 17 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5277] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5278] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5279] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 13629436 [startup+6.30092 s] /proc/loadavg: 1.99 2.01 2.00 3/437 5279 /proc/meminfo: memFree=29800028/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13629436 CPUtime=7.26 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 38903 0 1 0 720 6 0 0 25 0 19 0 825626380 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407359 31827 2259 9 0 3398093 0 [pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=6.22 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 22387 0 1 0 619 3 0 0 25 0 19 0 825626381 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505781746 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5260/tid=5263] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 1519 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5264] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5265] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 888 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5266] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5267] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5268] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 489 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 865 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13629436 CPUtime=0.04 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 2053 0 0 0 4 0 0 0 15 0 19 0 825626384 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13629436 CPUtime=0.52 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 7313 0 0 0 51 1 0 0 15 0 19 0 825626386 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13629436 CPUtime=0.43 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 2192 0 0 0 43 0 0 0 15 0 19 0 825626386 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2713 0 0 0 20 0 0 0 16 0 19 0 825626383 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 22 1 0 0 15 0 19 0 825626383 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 21 0 0 0 15 0 19 0 825626383 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=8.78 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4783 0 0 0 875 3 0 0 15 0 19 0 825626384 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1725.22 Current children cumulated vsize (KiB) 13628532 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.01 3/437 5374 /proc/meminfo: memFree=29778576/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13628532 CPUtime=1785.25 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 70811 0 1 0 178506 19 0 0 25 0 19 0 825626380 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407133 52151 2260 9 0 3397867 0 [pid=5260/tid=5261] ppid=5258 vsize=13628532 CPUtime=1772.41 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 25752 0 1 0 177237 4 0 0 25 0 19 0 825626381 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505728660 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5260/tid=5263] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7 /proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 2714 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5264] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7 /proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1811 0 0 0 22 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5265] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7 /proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 2399 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5266] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7 /proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1899 0 0 0 20 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5267] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7 /proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1937 0 0 0 21 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2716 0 0 0 21 0 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.24 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 23 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 22 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=9.08 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4785 0 0 0 905 3 0 0 15 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1785.25 Current children cumulated vsize (KiB) 13628532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 2.05 2.05 2.01 3/437 5384 /proc/meminfo: memFree=29777056/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13628532 CPUtime=1800.06 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 70816 0 1 0 179987 19 0 0 25 0 19 0 825626380 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407133 52151 2260 9 0 3397867 0 [pid=5260/tid=5261] ppid=5258 vsize=13628532 CPUtime=1787.14 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 25755 0 1 0 178710 4 0 0 25 0 19 0 825626381 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505810424 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5260/tid=5263] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7 /proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 2714 0 0 0 24 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5264] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7 /proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1811 0 0 0 22 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5265] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7 /proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 2399 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5266] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7 /proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1899 0 0 0 20 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5267] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7 /proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1937 0 0 0 21 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2716 0 0 0 21 0 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.24 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 23 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 23 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=9.16 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4787 0 0 0 913 3 0 0 15 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 13628532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.1 s] /proc/loadavg: 2.05 2.05 2.01 3/437 5384 /proc/meminfo: memFree=29777056/32950904 swapFree=56615552/67111528 [pid=5260] ppid=5258 vsize=13628532 CPUtime=1800.06 cores=1,3,5,7 /proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 70816 0 1 0 179987 19 0 0 25 0 19 0 825626380 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/5260/statm: 3407133 52151 2260 9 0 3397867 0 [pid=5260/tid=5261] ppid=5258 vsize=13628532 CPUtime=1787.14 cores=1,3,5,7 /proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 25755 0 1 0 178710 4 0 0 25 0 19 0 825626381 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505810424 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5260/tid=5263] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7 /proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 2714 0 0 0 24 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5264] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7 /proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1811 0 0 0 22 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5265] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7 /proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 2399 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5266] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7 /proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1899 0 0 0 20 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5267] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7 /proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1937 0 0 0 21 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7 /proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2716 0 0 0 21 0 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.24 cores=1,3,5,7 /proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 23 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7 /proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 23 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=9.16 cores=1,3,5,7 /proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4787 0 0 0 913 3 0 0 15 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7 /proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 [pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7 /proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0 [pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0 [pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0 [pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7 /proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 13628532 Child status: 143 Real time (s): 1797.16 CPU time (s): 1800.2 CPU user time (s): 1799.99 CPU system time (s): 0.206968 CPU usage (%): 100.169 Max. virtual memory (cumulated for all children) (KiB): 13646164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.206968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70958 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= 48068 involuntary context switches= 13597 runsolver used 6.78097 second user time and 16.2625 second system time The end
Begin job on node121 at 2011-06-04 00:31:06 IDJOB=3458864 IDBENCH=1525 IDSOLVER=1952 FILE ID=node121/3458864-1307140266 RUNJOBID= node121-1307133745-3292 PBS_JOBID= 13508795 Free space on /tmp= 73952 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458864-1307140266/watcher-3458864-1307140266 -o /tmp/evaluation-result-3458864-1307140266/solver-3458864-1307140266 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458864-1307140266.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED=1280964668 node121.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.817 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.817 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 : 5226.07 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.817 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.84 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.817 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.77 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.817 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.82 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.817 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.74 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.817 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.75 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.817 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 29921728 kB Buffers: 305356 kB Cached: 441060 kB SwapCached: 9896 kB Active: 2361768 kB Inactive: 407272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29921728 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 876 kB Writeback: 0 kB AnonPages: 2020188 kB Mapped: 21308 kB Slab: 141296 kB PageTables: 52384 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 96951136 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= 73952 MiB End job on node121 at 2011-06-04 01:01:05