Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 2990429 | 1800.08 | 1785.26 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb |
| MD5SUM | 2c36639357988247c648b63af301f230 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2990429 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 90518849 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4575401133 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 90518849 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4575401133 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085076-1465326598.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.70/0.47 c ... done. Wall clock time 0.353s. 0.70/0.47 c declared #vars 9765 0.70/0.47 c #constraints 21931 0.70/0.47 c constraints type 0.70/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.70/0.47 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.70/0.47 c org.sat4j.specs.Constr$1 => 4 0.70/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.70/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.70/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.70/0.47 c 21931 constraints processed. 0.70/0.47 c objective function length is 4005 literals 1.37/0.70 c SATISFIABLE 1.37/0.70 c OPTIMIZING... 1.37/0.71 c Got one! Elapsed wall clock time (in seconds):0.592 1.37/0.71 o 3691228 2.66/1.75 c cleaning 2649 clauses out of 5315 with flag 21141/5315 4.33/3.22 c cleaning 4332 clauses out of 8666 with flag 49958/11315 6.92/5.41 c cleaning 5665 clauses out of 11334 with flag 94502/18315 9.59/7.70 c cleaning 6835 clauses out of 13671 with flag 175829/26317 10.50/8.54 c Got one! Elapsed wall clock time (in seconds):8.428 10.50/8.54 o 3625127 10.78/8.71 c Got one! Elapsed wall clock time (in seconds):8.592 10.78/8.71 o 3537636 11.67/9.54 c cleaning 6550 clauses out of 13115 with flag 16574/32600 11.97/9.84 c Got one! Elapsed wall clock time (in seconds):9.725 11.97/9.84 o 3522501 12.79/10.64 c Got one! Elapsed wall clock time (in seconds):10.523 12.79/10.64 o 3508712 13.02/10.86 c Got one! Elapsed wall clock time (in seconds):10.742 13.02/10.86 o 3496708 13.23/11.10 c cleaning 6183 clauses out of 12380 with flag 5940/38417 13.82/11.63 c Got one! Elapsed wall clock time (in seconds):11.521 13.82/11.63 o 3462026 14.83/12.67 c cleaning 6082 clauses out of 12179 with flag 27976/44400 16.54/14.40 c Got one! Elapsed wall clock time (in seconds):14.287 16.54/14.40 o 3457003 17.33/15.10 c Got one! Elapsed wall clock time (in seconds):14.992 17.33/15.10 o 3451748 17.33/15.12 c Got one! Elapsed wall clock time (in seconds):15.01 17.33/15.12 o 3411500 17.53/15.31 c Got one! Elapsed wall clock time (in seconds):15.195 17.53/15.31 o 3397635 17.53/15.32 c Got one! Elapsed wall clock time (in seconds):15.211 17.53/15.32 o 3388369 18.53/16.38 c cleaning 9009 clauses out of 18017 with flag 19904/56320 20.53/18.37 c cleaning 7499 clauses out of 15007 with flag 53317/62319 22.73/20.51 c cleaning 7244 clauses out of 14508 with flag 90622/69319 25.13/22.96 c cleaning 7633 clauses out of 15265 with flag 142129/77320 27.66/25.43 c cleaning 8297 clauses out of 16634 with flag 202575/86322 30.46/28.24 c cleaning 9159 clauses out of 18334 with flag 270266/96319 33.56/31.31 c cleaning 10088 clauses out of 20176 with flag 340143/107320 36.96/34.72 c cleaning 11030 clauses out of 22089 with flag 432439/119321 40.46/38.28 c cleaning 12009 clauses out of 24058 with flag 531845/132320 44.46/42.21 c cleaning 13015 clauses out of 26048 with flag 651763/146319 48.56/46.34 c cleaning 14014 clauses out of 28033 with flag 782802/161319 53.36/51.16 c cleaning 14999 clauses out of 30020 with flag 901115/177320 58.36/56.15 c cleaning 15996 clauses out of 32020 with flag 1033984/194319 63.56/61.37 c cleaning 17001 clauses out of 34024 with flag 1197989/212319 66.26/64.09 c Got one! Elapsed wall clock time (in seconds):63.982 66.26/64.09 o 3363650 66.49/64.27 c Got one! Elapsed wall clock time (in seconds):64.156 66.49/64.27 o 3337647 66.49/64.29 c Got one! Elapsed wall clock time (in seconds):64.174 66.49/64.29 o 3330096 66.69/64.49 c Got one! Elapsed wall clock time (in seconds):64.374 66.69/64.49 o 3194546 68.40/66.15 c cleaning 16208 clauses out of 32438 with flag 35584/227734 70.20/67.96 c cleaning 11090 clauses out of 22232 with flag 82192/233736 72.40/70.11 c cleaning 9049 clauses out of 18140 with flag 130543/240734 74.79/72.60 c cleaning 8527 clauses out of 17091 with flag 195915/248734 77.49/75.25 c cleaning 8770 clauses out of 17564 with flag 266849/257734 80.33/78.08 c cleaning 9385 clauses out of 18794 with flag 352245/267734 80.53/78.22 c Got one! Elapsed wall clock time (in seconds):78.11 80.53/78.22 o 3189886 82.13/79.81 c cleaning 7428 clauses out of 14900 with flag 34157/273225 82.13/79.84 c Got one! Elapsed wall clock time (in seconds):79.723 82.13/79.84 o 3167282 83.63/81.33 c cleaning 6241 clauses out of 12530 with flag 40963/278283 83.93/81.61 c Got one! Elapsed wall clock time (in seconds):81.5 83.93/81.61 o 3150863 85.13/82.86 c cleaning 5664 clauses out of 11367 with flag 30615/283361 87.03/84.78 c cleaning 5841 clauses out of 11703 with flag 70421/289363 89.13/86.87 c cleaning 6419 clauses out of 12860 with flag 120140/296361 91.63/89.31 c cleaning 7210 clauses out of 14441 with flag 168971/304361 94.13/91.85 c cleaning 8112 clauses out of 16231 with flag 234788/313361 97.13/94.81 c cleaning 9056 clauses out of 18119 with flag 310355/323361 100.43/98.13 c cleaning 10024 clauses out of 20064 with flag 375153/334362 103.63/101.39 c cleaning 11011 clauses out of 22040 with flag 444861/346362 107.83/105.55 c cleaning 12005 clauses out of 24028 with flag 536072/359361 112.33/110.03 c cleaning 13002 clauses out of 26023 with flag 648902/373361 116.93/114.60 c cleaning 14004 clauses out of 28022 with flag 782525/388362 121.72/119.44 c cleaning 15007 clauses out of 30017 with flag 930774/404361 127.44/125.16 c cleaning 16001 clauses out of 32011 with flag 1050028/421362 133.18/130.89 c cleaning 17005 clauses out of 34011 with flag 1215548/439363 139.50/137.11 c cleaning 17993 clauses out of 36004 with flag 1359281/458361 145.60/143.30 c cleaning 19001 clauses out of 38011 with flag 1545316/478361 152.10/149.74 c cleaning 20003 clauses out of 40010 with flag 1664747/499361 159.09/156.78 c cleaning 20994 clauses out of 42009 with flag 1804932/521363 166.30/163.92 c cleaning 22002 clauses out of 44013 with flag 1963945/544361 173.69/171.37 c cleaning 23005 clauses out of 46011 with flag 2157924/568361 181.49/179.09 c cleaning 23993 clauses out of 48006 with flag 2377362/593361 190.09/187.63 c cleaning 24991 clauses out of 50013 with flag 2547881/619362 198.79/196.38 c cleaning 26009 clauses out of 52021 with flag 2723719/646361 208.09/205.67 c cleaning 27005 clauses out of 54013 with flag 2923314/674362 218.50/216.05 c cleaning 27996 clauses out of 56007 with flag 3135251/703361 228.80/226.27 c cleaning 29000 clauses out of 58012 with flag 3345295/733362 239.29/236.78 c cleaning 29994 clauses out of 60012 with flag 3561474/764362 250.49/247.97 c cleaning 30995 clauses out of 62017 with flag 3814167/796361 262.10/259.53 c cleaning 31993 clauses out of 64022 with flag 4046075/829361 273.55/270.89 c cleaning 33005 clauses out of 66030 with flag 4296900/863362 284.55/281.89 c Got one! Elapsed wall clock time (in seconds):281.775 284.55/281.89 o 3130515 286.05/283.34 c Got one! Elapsed wall clock time (in seconds):283.227 286.05/283.34 o 3121478 286.45/283.78 c cleaning 34325 clauses out of 68683 with flag 11309/899020 286.56/283.90 c Got one! Elapsed wall clock time (in seconds):283.79 286.56/283.90 o 3120236 288.35/285.60 c cleaning 19853 clauses out of 39749 with flag 49169/904411 289.75/287.09 c Got one! Elapsed wall clock time (in seconds):286.973 289.75/287.09 o 3119283 290.15/287.42 c cleaning 12831 clauses out of 25740 with flag 9749/910255 291.45/288.70 c Got one! Elapsed wall clock time (in seconds):288.591 291.45/288.70 o 3106713 291.75/289.01 c cleaning 8936 clauses out of 17931 with flag 10165/915277 293.65/290.96 c cleaning 7479 clauses out of 14995 with flag 50398/921277 295.95/293.28 c cleaning 7244 clauses out of 14517 with flag 83481/928278 298.65/295.92 c cleaning 7610 clauses out of 15272 with flag 119781/936277 301.56/298.84 c cleaning 8326 clauses out of 16662 with flag 161805/945277 304.84/302.07 c cleaning 9169 clauses out of 18337 with flag 209318/955278 308.44/305.64 c cleaning 10074 clauses out of 20167 with flag 263925/966277 311.94/309.15 c cleaning 11038 clauses out of 22093 with flag 330221/978277 315.34/312.53 c cleaning 12026 clauses out of 24055 with flag 412567/991277 318.83/316.07 c cleaning 13002 clauses out of 26029 with flag 501928/1005277 323.83/321.03 c cleaning 14008 clauses out of 28029 with flag 572829/1020279 329.43/326.68 c cleaning 15009 clauses out of 30019 with flag 656378/1036277 335.44/332.57 c cleaning 16006 clauses out of 32013 with flag 751530/1053280 341.54/338.61 c cleaning 16993 clauses out of 34005 with flag 851540/1071278 347.74/344.86 c cleaning 17998 clauses out of 36011 with flag 974508/1090277 354.67/351.69 c cleaning 18997 clauses out of 38013 with flag 1110089/1110277 362.17/359.10 c cleaning 19994 clauses out of 40016 with flag 1248653/1131277 369.77/366.63 c cleaning 20999 clauses out of 42024 with flag 1382202/1153279 377.77/374.63 c cleaning 22005 clauses out of 44023 with flag 1525110/1176277 384.07/380.97 c Got one! Elapsed wall clock time (in seconds):380.858 384.07/380.97 o 3072740 385.87/382.76 c cleaning 23374 clauses out of 46763 with flag 32527/1201022 388.06/384.83 c cleaning 14671 clauses out of 29388 with flag 79701/1207021 390.36/387.11 c cleaning 10838 clauses out of 21717 with flag 131575/1214021 392.96/389.73 c cleaning 9433 clauses out of 18882 with flag 177159/1222024 396.06/392.81 c cleaning 9204 clauses out of 18445 with flag 228653/1231020 399.26/396.01 c cleaning 9611 clauses out of 19241 with flag 286226/1241020 402.95/399.75 c cleaning 10306 clauses out of 20630 with flag 357830/1252020 406.96/403.76 c cleaning 11144 clauses out of 22324 with flag 433410/1264020 410.95/407.74 c cleaning 12087 clauses out of 24180 with flag 515253/1277020 415.45/412.25 c cleaning 13043 clauses out of 26093 with flag 605236/1291020 420.36/417.13 c cleaning 14023 clauses out of 28053 with flag 684838/1306023 425.56/422.30 c cleaning 15011 clauses out of 30027 with flag 777458/1322020 430.72/427.42 c cleaning 15999 clauses out of 32018 with flag 880318/1339022 436.42/433.18 c cleaning 17002 clauses out of 34018 with flag 993214/1357021 442.62/439.35 c cleaning 18002 clauses out of 36016 with flag 1124224/1376021 449.02/445.76 c cleaning 19004 clauses out of 38015 with flag 1256199/1396022 455.67/452.35 c cleaning 19991 clauses out of 40013 with flag 1389458/1417024 462.98/459.67 c cleaning 21007 clauses out of 42018 with flag 1535028/1439020 470.48/467.20 c cleaning 21996 clauses out of 44011 with flag 1703973/1462020 478.55/475.15 c cleaning 23001 clauses out of 46017 with flag 1883992/1486022 486.25/482.83 c cleaning 24005 clauses out of 48015 with flag 2056954/1511021 494.72/491.28 c cleaning 24998 clauses out of 50009 with flag 2246387/1537020 503.92/500.50 c cleaning 25996 clauses out of 52011 with flag 2402334/1564020 513.29/509.80 c cleaning 27002 clauses out of 54015 with flag 2567316/1592020 522.99/519.46 c cleaning 27992 clauses out of 56013 with flag 2741343/1621020 533.35/529.74 c cleaning 29006 clauses out of 58023 with flag 2940948/1651022 544.45/540.81 c cleaning 29997 clauses out of 60015 with flag 3168494/1682020 555.20/551.54 c cleaning 31012 clauses out of 62023 with flag 3403278/1714025 567.29/563.60 c cleaning 32002 clauses out of 64009 with flag 3657767/1747023 578.65/574.85 c cleaning 32990 clauses out of 66005 with flag 3896697/1781021 591.08/587.28 c cleaning 34001 clauses out of 68014 with flag 4131718/1816020 605.91/601.97 c cleaning 34997 clauses out of 70013 with flag 4368744/1852020 619.02/615.01 c cleaning 36001 clauses out of 72016 with flag 4616268/1889020 621.73/617.75 c Got one! Elapsed wall clock time (in seconds):617.637 621.73/617.75 o 3062641 623.44/619.48 c cleaning 24634 clauses out of 49314 with flag 37015/1902319 625.33/621.35 c cleaning 15299 clauses out of 30682 with flag 84348/1908321 627.43/623.47 c cleaning 11144 clauses out of 22381 with flag 129393/1915319 629.53/625.60 c cleaning 9560 clauses out of 19237 with flag 173276/1923319 632.14/628.12 c cleaning 9305 clauses out of 18677 with flag 217554/1932319 635.23/631.20 c cleaning 9679 clauses out of 19372 with flag 263721/1942319 638.84/634.85 c cleaning 10333 clauses out of 20693 with flag 319340/1953319 642.33/638.36 c cleaning 11165 clauses out of 22360 with flag 383362/1965319 646.47/642.44 c cleaning 12097 clauses out of 24195 with flag 452134/1978319 650.97/646.94 c cleaning 13044 clauses out of 26098 with flag 519540/1992319 655.77/651.76 c cleaning 14014 clauses out of 28054 with flag 588306/2007319 661.17/657.10 c cleaning 15012 clauses out of 30040 with flag 663264/2023319 666.97/662.94 c cleaning 16004 clauses out of 32028 with flag 748388/2040319 673.48/669.45 c cleaning 17006 clauses out of 34024 with flag 851104/2058319 679.88/675.88 c cleaning 17996 clauses out of 36018 with flag 956206/2077319 687.00/682.93 c cleaning 19006 clauses out of 38022 with flag 1077783/2097319 693.81/689.73 c cleaning 20001 clauses out of 40016 with flag 1209191/2118319 701.10/697.04 c cleaning 20976 clauses out of 42015 with flag 1360869/2140319 708.72/704.61 c cleaning 22014 clauses out of 44039 with flag 1512434/2163319 716.73/712.61 c cleaning 23001 clauses out of 46027 with flag 1666406/2187321 724.67/720.57 c cleaning 24005 clauses out of 48025 with flag 1848972/2212320 726.97/722.84 c Got one! Elapsed wall clock time (in seconds):722.727 726.97/722.84 o 3059509 728.76/724.61 c cleaning 18239 clauses out of 36488 with flag 34963/2224788 730.90/726.76 c cleaning 12091 clauses out of 24247 with flag 76297/2230786 733.40/729.25 c cleaning 9520 clauses out of 19157 with flag 124280/2237787 736.20/732.05 c cleaning 8797 clauses out of 17636 with flag 168483/2245786 739.11/734.92 c cleaning 8889 clauses out of 17840 with flag 205759/2254787 742.10/737.93 c cleaning 9470 clauses out of 18951 with flag 253538/2264787 745.73/741.53 c cleaning 10232 clauses out of 20481 with flag 308484/2275787 749.22/745.03 c cleaning 11114 clauses out of 22248 with flag 373902/2287786 753.12/748.96 c cleaning 12064 clauses out of 24134 with flag 447908/2300786 757.52/753.32 c cleaning 13024 clauses out of 26070 with flag 508588/2314786 762.14/757.92 c cleaning 14020 clauses out of 28047 with flag 580348/2329787 767.64/763.48 c cleaning 15014 clauses out of 30027 with flag 659363/2345787 773.85/769.65 c cleaning 16000 clauses out of 32012 with flag 763800/2362786 780.27/776.01 c cleaning 16998 clauses out of 34012 with flag 865058/2380786 786.97/782.73 c cleaning 17996 clauses out of 36015 with flag 974008/2399787 793.90/789.62 c cleaning 19000 clauses out of 38018 with flag 1088271/2419786 801.40/797.16 c cleaning 20005 clauses out of 40019 with flag 1202940/2440787 808.91/804.69 c cleaning 21003 clauses out of 42013 with flag 1333976/2462786 817.05/812.78 c cleaning 21998 clauses out of 44011 with flag 1467321/2485787 824.95/820.62 c cleaning 22993 clauses out of 46012 with flag 1614241/2509786 834.04/829.61 c cleaning 24004 clauses out of 48019 with flag 1798230/2534786 842.89/838.46 c cleaning 25003 clauses out of 50017 with flag 1979167/2560788 851.92/847.43 c cleaning 25991 clauses out of 52012 with flag 2141492/2587786 861.90/857.35 c cleaning 27010 clauses out of 54021 with flag 2294156/2615786 871.80/867.21 c cleaning 28003 clauses out of 56014 with flag 2503412/2644789 882.76/878.10 c cleaning 29002 clauses out of 58008 with flag 2702834/2674786 893.80/889.15 c cleaning 30001 clauses out of 60006 with flag 2881510/2705786 905.17/900.48 c cleaning 30989 clauses out of 62005 with flag 3061020/2737786 916.84/912.05 c cleaning 31998 clauses out of 64016 with flag 3288706/2770786 928.81/923.99 c cleaning 33003 clauses out of 66018 with flag 3546158/2804786 941.51/936.56 c cleaning 33986 clauses out of 68015 with flag 3777747/2839786 954.21/949.18 c cleaning 35004 clauses out of 70031 with flag 3986154/2875788 967.65/962.46 c cleaning 36006 clauses out of 72028 with flag 4205403/2912789 981.59/976.24 c cleaning 37006 clauses out of 74019 with flag 4413435/2950786 993.76/988.32 c cleaning 38001 clauses out of 76014 with flag 4604920/2989787 1006.56/1000.98 c cleaning 39004 clauses out of 78014 with flag 4812437/3029788 1018.78/1013.01 c cleaning 39993 clauses out of 80009 with flag 5020322/3070788 1024.31/1018.53 c Got one! Elapsed wall clock time (in seconds):1018.417 1024.31/1018.53 o 3053313 1026.02/1020.24 c cleaning 30154 clauses out of 60352 with flag 38262/3091124 1028.02/1022.27 c cleaning 18076 clauses out of 36197 with flag 85133/3097123 1030.15/1024.37 c cleaning 12548 clauses out of 25123 with flag 134680/3104125 1033.05/1027.20 c cleaning 10246 clauses out of 20573 with flag 170168/3112123 1036.05/1030.29 c cleaning 9649 clauses out of 19327 with flag 206804/3121123 1039.57/1033.70 c cleaning 9834 clauses out of 19679 with flag 244713/3131124 1042.88/1037.03 c cleaning 10411 clauses out of 20845 with flag 285038/3142124 1046.49/1040.66 c cleaning 11211 clauses out of 22433 with flag 335375/3154123 1050.80/1045.00 c cleaning 12109 clauses out of 24223 with flag 410850/3167124 1055.43/1049.53 c cleaning 13042 clauses out of 26113 with flag 479368/3181123 1060.23/1054.39 c cleaning 14029 clauses out of 28071 with flag 559945/3196123 1065.35/1059.43 c cleaning 15011 clauses out of 30042 with flag 650606/3212123 1070.78/1064.82 c cleaning 16012 clauses out of 32035 with flag 720881/3229127 1076.28/1070.34 c cleaning 17002 clauses out of 34020 with flag 817083/3247124 1082.40/1076.46 c cleaning 18005 clauses out of 36018 with flag 914720/3266124 1089.62/1083.57 c cleaning 19003 clauses out of 38012 with flag 1041310/3286123 1097.24/1091.20 c cleaning 19999 clauses out of 40009 with flag 1150393/3307123 1104.80/1098.65 c cleaning 21001 clauses out of 42011 with flag 1287416/3329124 1112.36/1106.11 c cleaning 21998 clauses out of 44009 with flag 1420920/3352123 1120.74/1114.43 c cleaning 23001 clauses out of 46012 with flag 1555726/3376124 1128.90/1122.52 c cleaning 23990 clauses out of 48010 with flag 1692564/3401123 1138.89/1132.42 c cleaning 25003 clauses out of 50020 with flag 1828180/3427123 1148.27/1141.76 c cleaning 25999 clauses out of 52018 with flag 1976896/3454124 1158.69/1152.04 c cleaning 27003 clauses out of 54018 with flag 2137379/3482123 1169.32/1162.53 c cleaning 28006 clauses out of 56015 with flag 2301435/3511123 1179.89/1173.04 c cleaning 28992 clauses out of 58009 with flag 2492425/3541123 1191.11/1184.16 c cleaning 29998 clauses out of 60017 with flag 2696661/3572123 1202.59/1195.56 c cleaning 31001 clauses out of 62019 with flag 2906517/3604123 1215.40/1208.14 c cleaning 31997 clauses out of 64018 with flag 3137627/3637123 1227.48/1220.01 c cleaning 32998 clauses out of 66021 with flag 3361779/3671123 1240.03/1232.49 c cleaning 34001 clauses out of 68023 with flag 3602911/3706123 1252.99/1245.28 c cleaning 34999 clauses out of 70024 with flag 3821058/3742125 1266.57/1258.63 c cleaning 36002 clauses out of 72024 with flag 4062051/3779124 1281.80/1273.73 c cleaning 37007 clauses out of 74024 with flag 4373941/3817126 1296.85/1288.57 c cleaning 38005 clauses out of 76014 with flag 4631614/3856123 1311.25/1302.79 c cleaning 38992 clauses out of 78009 with flag 4858931/3896123 1324.05/1315.49 c cleaning 40000 clauses out of 80017 with flag 5065921/3937124 1340.71/1331.84 c cleaning 40999 clauses out of 82016 with flag 5327610/3979123 1356.55/1347.43 c cleaning 41993 clauses out of 84017 with flag 5627697/4022123 1366.52/1357.30 c Got one! Elapsed wall clock time (in seconds):1357.183 1366.52/1357.30 o 3009644 1368.32/1359.03 c cleaning 38456 clauses out of 76923 with flag 32644/4057022 1370.33/1361.01 c cleaning 22215 clauses out of 44467 with flag 74334/4063022 1372.53/1363.22 c cleaning 14598 clauses out of 29253 with flag 115966/4070023 1375.14/1365.86 c cleaning 11279 clauses out of 22654 with flag 150237/4078022 1377.96/1368.67 c cleaning 9056 clauses out of 20375 with flag 186212/4087022 1381.16/1371.87 c cleaning 10030 clauses out of 21320 with flag 222433/4097023 1384.77/1375.43 c cleaning 11008 clauses out of 22291 with flag 261562/4108024 1388.37/1379.02 c cleaning 11641 clauses out of 23282 with flag 304512/4120023 1392.47/1383.17 c cleaning 12316 clauses out of 24640 with flag 355282/4133022 1397.50/1388.20 c cleaning 13154 clauses out of 26327 with flag 411677/4147025 1402.55/1393.17 c cleaning 14085 clauses out of 28172 with flag 473607/4162024 1407.26/1397.84 c cleaning 15036 clauses out of 30085 with flag 539786/4178022 1412.03/1402.53 c cleaning 16017 clauses out of 32050 with flag 616807/4195023 1417.12/1407.57 c cleaning 17015 clauses out of 34034 with flag 702851/4213024 1423.72/1414.03 c cleaning 18003 clauses out of 36017 with flag 791520/4232022 1431.21/1421.37 c cleaning 19000 clauses out of 38015 with flag 886847/4252023 1438.90/1428.92 c cleaning 19989 clauses out of 40014 with flag 988412/4273022 1445.86/1435.85 c cleaning 21009 clauses out of 42026 with flag 1093322/4295023 1453.47/1443.35 c cleaning 21999 clauses out of 44017 with flag 1202931/4318023 1461.18/1450.98 c cleaning 23005 clauses out of 46018 with flag 1322090/4342023 1470.22/1459.81 c cleaning 24007 clauses out of 48016 with flag 1442133/4367026 1480.15/1469.59 c cleaning 24995 clauses out of 50006 with flag 1584380/4393023 1489.63/1478.89 c cleaning 25998 clauses out of 52011 with flag 1724994/4420023 1499.90/1488.97 c cleaning 26990 clauses out of 54012 with flag 1883170/4448022 1510.33/1499.27 c cleaning 28000 clauses out of 56022 with flag 2012234/4477022 1517.59/1506.45 c Got one! Elapsed wall clock time (in seconds):1506.339 1517.59/1506.45 o 2990429 1519.40/1508.21 c cleaning 26601 clauses out of 53212 with flag 33123/4502212 1521.19/1510.09 c cleaning 16283 clauses out of 32608 with flag 63284/4508209 1523.61/1512.45 c cleaning 11462 clauses out of 23326 with flag 93868/4515210 1526.13/1514.90 c cleaning 7997 clauses out of 19864 with flag 124863/4523210 1529.13/1517.99 c cleaning 8992 clauses out of 20871 with flag 159992/4532214 1532.75/1521.57 c cleaning 10006 clauses out of 21874 with flag 198827/4542209 1536.48/1525.29 c cleaning 11002 clauses out of 22868 with flag 238307/4553209 1540.84/1529.55 c cleaning 11916 clauses out of 23866 with flag 283860/4565209 1545.09/1533.76 c cleaning 12465 clauses out of 24950 with flag 329073/4578209 1549.92/1538.52 c cleaning 13230 clauses out of 26485 with flag 392867/4592209 1555.67/1544.23 c cleaning 14124 clauses out of 28255 with flag 453070/4607209 1561.02/1549.56 c cleaning 15056 clauses out of 30131 with flag 521215/4623209 1566.35/1554.85 c cleaning 16033 clauses out of 32075 with flag 587245/4640209 1572.06/1560.51 c cleaning 17008 clauses out of 34042 with flag 669900/4658209 1578.32/1566.70 c cleaning 18013 clauses out of 36035 with flag 757013/4677210 1585.07/1573.40 c cleaning 19001 clauses out of 38022 with flag 856304/4697210 1592.53/1580.74 c cleaning 20009 clauses out of 40023 with flag 960449/4718212 1599.28/1587.43 c cleaning 21000 clauses out of 42011 with flag 1092867/4740209 1606.56/1594.69 c cleaning 22001 clauses out of 44011 with flag 1240511/4763209 1614.49/1602.44 c cleaning 22999 clauses out of 46010 with flag 1390538/4787209 1623.64/1611.47 c cleaning 23998 clauses out of 48011 with flag 1524844/4812209 1633.13/1620.77 c cleaning 25005 clauses out of 50014 with flag 1672235/4838210 1643.70/1631.12 c cleaning 25995 clauses out of 52008 with flag 1830619/4865209 1653.54/1640.80 c cleaning 27004 clauses out of 54013 with flag 1992707/4893209 1663.00/1650.23 c cleaning 28003 clauses out of 56009 with flag 2152101/4922209 1673.46/1660.54 c cleaning 28993 clauses out of 58007 with flag 2304163/4952210 1685.24/1672.17 c cleaning 29990 clauses out of 60013 with flag 2480220/4983209 1696.84/1683.68 c cleaning 31006 clauses out of 62024 with flag 2672682/5015210 1709.12/1695.71 c cleaning 32000 clauses out of 64017 with flag 2884972/5048209 1721.52/1707.91 c cleaning 33007 clauses out of 66017 with flag 3071738/5082209 1734.31/1720.51 c cleaning 34000 clauses out of 68010 with flag 3283519/5117209 1746.88/1732.91 c cleaning 35000 clauses out of 70013 with flag 3482282/5153212 1759.87/1745.77 c cleaning 36004 clauses out of 72011 with flag 3649339/5190210 1774.23/1759.87 c cleaning 36986 clauses out of 74008 with flag 3852234/5228211 1787.85/1773.29 c cleaning 38004 clauses out of 76020 with flag 4041475/5267209 1800.08/1785.20 c starts : 6688 1800.08/1785.20 c conflicts : 5302782 1800.08/1785.20 c decisions : 13914270 1800.08/1785.20 c propagations : 1835777145 1800.08/1785.20 c inspects : 9786026916 1800.08/1785.20 c shortcuts : 0 1800.08/1785.20 c learnt literals : 12 1800.08/1785.20 c learnt binary clauses : 267 1800.08/1785.20 c learnt ternary clauses : 759 1800.08/1785.20 c learnt constraints : 5302769 1800.08/1785.20 c ignored constraints : 0 1800.08/1785.20 c root simplifications : 0 1800.08/1785.20 c removed literals (reason simplification) : 0 1800.08/1785.20 c reason swapping (by a shorter reason) : 0 1800.08/1785.20 c Calls to reduceDB : 271 1800.08/1785.20 c Number of update (reduction) of LBD : 2174934 1800.08/1785.20 c Imported unit clauses : 0 1800.08/1785.20 c number of reductions to clauses (during analyze) : 0 1800.08/1785.20 c number of learned constraints concerned by reduction : 0 1800.08/1785.20 c number of learning phase by resolution : 0 1800.08/1785.20 c number of learning phase by cutting planes : 0 1800.08/1785.20 c speed (assignments/second) : 1028609.0827794643 1800.08/1785.20 c non guided choices 6600 1800.08/1785.23 c learnt constraints type 1800.08/1785.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 267 1800.08/1785.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 73322 1800.08/1785.23 s SATISFIABLE 1800.08/1785.23 c Found 30 solution(s) 1800.08/1785.24 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 x9543 x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.08/1785.25 c objective function=2990429 1800.08/1785.25 c Total wall clock time (in seconds): 1785.133
OK 2990429
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085076-1465326598/watcher-4085076-1465326598 -o /tmp/evaluation-result-4085076-1465326598/solver-4085076-1465326598 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465310425-9810 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085076-1465326598.opb pid=11549 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.27 2.20 3/194 11552 /proc/meminfo: memFree=29574332/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/11552/stat : 11552 (java) D 11549 11552 8023 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 114592976 9515008 175 33554432000 1073741824 1073778376 140736812197648 140736812180376 270330053520 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 2.22 2.27 2.20 3/194 11552 /proc/meminfo: memFree=29574332/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 114592976 9787879424 6025 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2389619 6025 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200216 s] /proc/loadavg: 2.22 2.27 2.20 3/194 11552 /proc/meminfo: memFree=29574332/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 5047 0 1 0 28 1 0 0 20 0 18 0 114592976 9787879424 6981 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2389619 6981 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300222 s] /proc/loadavg: 2.22 2.27 2.20 3/194 11552 /proc/meminfo: memFree=29574332/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9558476 CPUtime=0.51 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 5883 0 1 0 49 2 0 0 20 0 18 0 114592976 9787879424 9968 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2389619 9968 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700152 s] /proc/loadavg: 2.22 2.27 2.20 3/194 11552 /proc/meminfo: memFree=29574332/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=1.37 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 9956 0 1 0 134 3 0 0 20 0 19 0 114592976 9856040960 22934 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 22934 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9625040 [startup+1.50081 s] /proc/loadavg: 2.22 2.27 2.20 3/213 11571 /proc/meminfo: memFree=29485124/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=2.45 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 12189 0 1 0 241 4 0 0 20 0 19 0 114592976 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 24967 2267 9 0 2396937 0 [pid=11552/tid=11554] ppid=11549 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/11552/task/11554/stat : 11554 (java) R 11549 11552 8023 0 -1 4202560 2443 0 1 0 143 2 0 0 20 0 19 0 114592977 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756237185360 139756105949676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11555] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11555/stat : 11555 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756226247720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11556] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11556/stat : 11556 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756225194920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11557] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11557/stat : 11557 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756224142120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11558] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11558/stat : 11558 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756077529768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11559] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11559/stat : 11559 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756076476968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11560] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11560/stat : 11560 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756075424168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11561] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11561/stat : 11561 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756074371368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11562] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11562/stat : 11562 (java) S 11549 11552 8023 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756073318568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11563] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11563/stat : 11563 (java) S 11549 11552 8023 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 114592979 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756061121512 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11564] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11564/stat : 11564 (java) S 11549 11552 8023 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756060067576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11565] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11565/stat : 11565 (java) S 11549 11552 8023 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756059014664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11566] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11566/stat : 11566 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756057963152 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11567] ppid=11549 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/11552/task/11567/stat : 11567 (java) S 11549 11552 8023 0 -1 4202560 2798 0 0 0 42 0 0 0 20 0 19 0 114592982 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756056910264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11568] ppid=11549 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/11552/task/11568/stat : 11568 (java) S 11549 11552 8023 0 -1 4202560 5671 0 0 0 52 2 0 0 20 0 19 0 114592982 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756055857464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11569] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11569/stat : 11569 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756054804856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11570] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11570/stat : 11570 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756053752264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 24967 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 9625040 [startup+3.1008 s] /proc/loadavg: 2.22 2.27 2.20 4/213 11571 /proc/meminfo: memFree=29480524/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=4.23 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 12249 0 1 0 419 4 0 0 20 0 19 0 114592976 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 25997 2272 9 0 2396937 0 [pid=11552/tid=11554] ppid=11549 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/11552/task/11554/stat : 11554 (java) R 11549 11552 8023 0 -1 4202560 2448 0 1 0 303 2 0 0 20 0 19 0 114592977 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756237185480 139756105743114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11555] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11555/stat : 11555 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756226247720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11556] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11556/stat : 11556 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756225194920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11557] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11557/stat : 11557 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756224142120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11558] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11558/stat : 11558 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756077529768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11559] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11559/stat : 11559 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756076476968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11560] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11560/stat : 11560 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756075424168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11561] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11561/stat : 11561 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756074371368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11562] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11562/stat : 11562 (java) S 11549 11552 8023 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756073318568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11563] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11563/stat : 11563 (java) S 11549 11552 8023 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114592979 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756061121512 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11564] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11564/stat : 11564 (java) S 11549 11552 8023 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756060067576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11565] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11565/stat : 11565 (java) S 11549 11552 8023 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756059014664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11566] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11566/stat : 11566 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756057963152 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11567] ppid=11549 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/11552/task/11567/stat : 11567 (java) S 11549 11552 8023 0 -1 4202560 2847 0 0 0 48 0 0 0 20 0 19 0 114592982 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756056910264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11568] ppid=11549 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/11552/task/11568/stat : 11568 (java) S 11549 11552 8023 0 -1 4202560 5676 0 0 0 63 2 0 0 20 0 19 0 114592982 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756055857464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11569] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11569/stat : 11569 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756054804856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11570] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11570/stat : 11570 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756053752264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 25997 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 9625040 [startup+6.30076 s] /proc/loadavg: 2.20 2.27 2.20 5/214 11574 /proc/meminfo: memFree=29461624/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=8.29 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 22820 0 1 0 823 6 0 0 20 0 19 0 114592976 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 31631 2272 9 0 2396937 0 [pid=11552/tid=11554] ppid=11549 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/11552/task/11554/stat : 11554 (java) R 11549 11552 8023 0 -1 4202560 2455 0 1 0 622 2 0 0 20 0 19 0 114592977 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756237176528 139756105772303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11555] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11555/stat : 11555 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756226247720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11556] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11556/stat : 11556 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756225194920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11557] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11557/stat : 11557 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756224142120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11558] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11558/stat : 11558 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756077529768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11559] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11559/stat : 11559 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756076476968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11560] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11560/stat : 11560 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756075424168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11561] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11561/stat : 11561 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756074371368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11562] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11562/stat : 11562 (java) S 11549 11552 8023 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114592978 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756073318568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11563] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11563/stat : 11563 (java) S 11549 11552 8023 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114592979 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756061121512 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11564] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11564/stat : 11564 (java) S 11549 11552 8023 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756060067576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11565] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11565/stat : 11565 (java) S 11549 11552 8023 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756059014664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11566] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11566/stat : 11566 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756057963152 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11567] ppid=11549 vsize=9625040 CPUtime=1.31 cores=1,3,5,7 /proc/11552/task/11567/stat : 11567 (java) S 11549 11552 8023 0 -1 4202560 13411 0 0 0 129 2 0 0 20 0 19 0 114592982 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756056910264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11568] ppid=11549 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/11552/task/11568/stat : 11568 (java) S 11549 11552 8023 0 -1 4202560 5676 0 0 0 66 2 0 0 20 0 19 0 114592982 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756055857464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11569] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11569/stat : 11569 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756054804856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11570] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11570/stat : 11570 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756053752264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 31631 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 8.29 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 93052 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1675.26 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.25 2.23 2.19 3/213 11679 /proc/meminfo: memFree=28758628/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=1736.1 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 36149 0 1 0 173484 126 0 0 20 0 19 0 114592976 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 86940 2296 9 0 2396937 0 [pid=11552/tid=11554] ppid=11549 vsize=9625040 CPUtime=1711.16 cores=1,3,5,7 /proc/11552/task/11554/stat : 11554 (java) R 11549 11552 8023 0 -1 4202560 2812 0 1 0 171085 31 0 0 20 0 19 0 114592977 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756237184272 139756105911906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11555] ppid=11549 vsize=9625040 CPUtime=2.07 cores=1,3,5,7 /proc/11552/task/11555/stat : 11555 (java) S 11549 11552 8023 0 -1 4202560 2169 0 0 0 193 14 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756226247720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11556] ppid=11549 vsize=9625040 CPUtime=2.15 cores=1,3,5,7 /proc/11552/task/11556/stat : 11556 (java) S 11549 11552 8023 0 -1 4202560 1346 0 0 0 204 11 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756225194920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11557] ppid=11549 vsize=9625040 CPUtime=1.97 cores=1,3,5,7 /proc/11552/task/11557/stat : 11557 (java) S 11549 11552 8023 0 -1 4202560 1053 0 0 0 186 11 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756224142120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11558] ppid=11549 vsize=9625040 CPUtime=2.14 cores=1,3,5,7 /proc/11552/task/11558/stat : 11558 (java) S 11549 11552 8023 0 -1 4202560 1970 0 0 0 201 13 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756077529768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11559] ppid=11549 vsize=9625040 CPUtime=2.1 cores=1,3,5,7 /proc/11552/task/11559/stat : 11559 (java) S 11549 11552 8023 0 -1 4202560 1302 0 0 0 199 11 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756076476968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11560] ppid=11549 vsize=9625040 CPUtime=1.96 cores=1,3,5,7 /proc/11552/task/11560/stat : 11560 (java) S 11549 11552 8023 0 -1 4202560 2165 0 0 0 183 13 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756075424168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11561] ppid=11549 vsize=9625040 CPUtime=2.01 cores=1,3,5,7 /proc/11552/task/11561/stat : 11561 (java) S 11549 11552 8023 0 -1 4202560 873 0 0 0 191 10 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756074371368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11562] ppid=11549 vsize=9625040 CPUtime=1.99 cores=1,3,5,7 /proc/11552/task/11562/stat : 11562 (java) S 11549 11552 8023 0 -1 4202560 1185 0 0 0 186 13 0 0 20 0 19 0 114592978 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756073318568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11563] ppid=11549 vsize=9625040 CPUtime=1.7 cores=1,3,5,7 /proc/11552/task/11563/stat : 11563 (java) S 11549 11552 8023 0 -1 4202560 790 0 0 0 165 5 0 0 20 0 19 0 114592979 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756061121512 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11564] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11564/stat : 11564 (java) S 11549 11552 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756060067576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11565] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11565/stat : 11565 (java) S 11549 11552 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756059014664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11566] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11566/stat : 11566 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756057963152 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11567] ppid=11549 vsize=9625040 CPUtime=1.54 cores=1,3,5,7 /proc/11552/task/11567/stat : 11567 (java) S 11549 11552 8023 0 -1 4202560 13428 0 0 0 152 2 0 0 20 0 19 0 114592982 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756056910264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11568] ppid=11549 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/11552/task/11568/stat : 11568 (java) S 11549 11552 8023 0 -1 4202560 5694 0 0 0 76 2 0 0 20 0 19 0 114592982 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756055857464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11569] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11569/stat : 11569 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756054804856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11570] ppid=11549 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/11552/task/11570/stat : 11570 (java) S 11549 11552 8023 0 -1 4202560 99 0 0 0 15 22 0 0 20 0 19 0 114592982 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756053752264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 86940 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1736.1 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.21 2.21 2.18 3/213 11681 /proc/meminfo: memFree=28635004/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=1797.14 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 39173 0 1 0 179572 142 0 0 20 0 19 0 114592976 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 114345 2296 9 0 2396937 0 [pid=11552/tid=11554] ppid=11549 vsize=9625040 CPUtime=1770.25 cores=1,3,5,7 /proc/11552/task/11554/stat : 11554 (java) R 11549 11552 8023 0 -1 4202560 2838 0 1 0 176994 31 0 0 20 0 19 0 114592977 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756237184272 139756105949616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11555] ppid=11549 vsize=9625040 CPUtime=2.25 cores=1,3,5,7 /proc/11552/task/11555/stat : 11555 (java) S 11549 11552 8023 0 -1 4202560 2656 0 0 0 210 15 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756226247720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11556] ppid=11549 vsize=9625040 CPUtime=2.38 cores=1,3,5,7 /proc/11552/task/11556/stat : 11556 (java) S 11549 11552 8023 0 -1 4202560 1835 0 0 0 225 13 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756225194920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11557] ppid=11549 vsize=9625040 CPUtime=2.18 cores=1,3,5,7 /proc/11552/task/11557/stat : 11557 (java) S 11549 11552 8023 0 -1 4202560 1599 0 0 0 204 14 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756224142120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11558] ppid=11549 vsize=9625040 CPUtime=2.28 cores=1,3,5,7 /proc/11552/task/11558/stat : 11558 (java) S 11549 11552 8023 0 -1 4202560 2020 0 0 0 214 14 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756077529768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11559] ppid=11549 vsize=9625040 CPUtime=2.3 cores=1,3,5,7 /proc/11552/task/11559/stat : 11559 (java) S 11549 11552 8023 0 -1 4202560 1776 0 0 0 218 12 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756076476968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11560] ppid=11549 vsize=9625040 CPUtime=2.14 cores=1,3,5,7 /proc/11552/task/11560/stat : 11560 (java) S 11549 11552 8023 0 -1 4202560 2750 0 0 0 199 15 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756075424168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11561] ppid=11549 vsize=9625040 CPUtime=2.19 cores=1,3,5,7 /proc/11552/task/11561/stat : 11561 (java) S 11549 11552 8023 0 -1 4202560 949 0 0 0 207 12 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756074371368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11562] ppid=11549 vsize=9625040 CPUtime=2.19 cores=1,3,5,7 /proc/11552/task/11562/stat : 11562 (java) S 11549 11552 8023 0 -1 4202560 1339 0 0 0 204 15 0 0 20 0 19 0 114592978 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756073318568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11563] ppid=11549 vsize=9625040 CPUtime=2 cores=1,3,5,7 /proc/11552/task/11563/stat : 11563 (java) S 11549 11552 8023 0 -1 4202560 923 0 0 0 194 6 0 0 20 0 19 0 114592979 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756061121512 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11564] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11564/stat : 11564 (java) S 11549 11552 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756060067576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11565] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11565/stat : 11565 (java) S 11549 11552 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756059014664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11566] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11566/stat : 11566 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756057963152 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11567] ppid=11549 vsize=9625040 CPUtime=1.54 cores=1,3,5,7 /proc/11552/task/11567/stat : 11567 (java) S 11549 11552 8023 0 -1 4202560 13428 0 0 0 152 2 0 0 20 0 19 0 114592982 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756056910264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11568] ppid=11549 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/11552/task/11568/stat : 11568 (java) S 11549 11552 8023 0 -1 4202560 5694 0 0 0 76 2 0 0 20 0 19 0 114592982 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756055857464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11569] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11569/stat : 11569 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756054804856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11570] ppid=11549 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/11552/task/11570/stat : 11570 (java) S 11549 11552 8023 0 -1 4202560 103 0 0 0 16 22 0 0 20 0 19 0 114592982 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756053752264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 114345 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.2 s] /proc/loadavg: 2.21 2.21 2.18 3/213 11681 /proc/meminfo: memFree=28635252/32872528 swapFree=17892/1720544 [pid=11552] ppid=11549 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/11552/stat : 11552 (java) S 11549 11552 8023 0 -1 4202496 39177 0 1 0 179866 142 0 0 20 0 19 0 114592976 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 140736812188784 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11552/statm: 2406260 114348 2296 9 0 2396937 0 [pid=11552/tid=11554] ppid=11549 vsize=9625040 CPUtime=1773.12 cores=1,3,5,7 /proc/11552/task/11554/stat : 11554 (java) R 11549 11552 8023 0 -1 4202560 2839 0 1 0 177281 31 0 0 20 0 19 0 114592977 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756237184272 139756105743735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11555] ppid=11549 vsize=9625040 CPUtime=2.26 cores=1,3,5,7 /proc/11552/task/11555/stat : 11555 (java) S 11549 11552 8023 0 -1 4202560 2656 0 0 0 211 15 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756226247720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11556] ppid=11549 vsize=9625040 CPUtime=2.39 cores=1,3,5,7 /proc/11552/task/11556/stat : 11556 (java) S 11549 11552 8023 0 -1 4202560 1835 0 0 0 226 13 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756225194920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11557] ppid=11549 vsize=9625040 CPUtime=2.19 cores=1,3,5,7 /proc/11552/task/11557/stat : 11557 (java) S 11549 11552 8023 0 -1 4202560 1599 0 0 0 205 14 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756224142120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11558] ppid=11549 vsize=9625040 CPUtime=2.29 cores=1,3,5,7 /proc/11552/task/11558/stat : 11558 (java) S 11549 11552 8023 0 -1 4202560 2020 0 0 0 215 14 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756077529768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11552/tid=11559] ppid=11549 vsize=9625040 CPUtime=2.3 cores=1,3,5,7 /proc/11552/task/11559/stat : 11559 (java) S 11549 11552 8023 0 -1 4202560 1776 0 0 0 218 12 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756076476968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11560] ppid=11549 vsize=9625040 CPUtime=2.14 cores=1,3,5,7 /proc/11552/task/11560/stat : 11560 (java) S 11549 11552 8023 0 -1 4202560 2750 0 0 0 199 15 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756075424168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11561] ppid=11549 vsize=9625040 CPUtime=2.2 cores=1,3,5,7 /proc/11552/task/11561/stat : 11561 (java) S 11549 11552 8023 0 -1 4202560 949 0 0 0 208 12 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756074371368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11562] ppid=11549 vsize=9625040 CPUtime=2.21 cores=1,3,5,7 /proc/11552/task/11562/stat : 11562 (java) S 11549 11552 8023 0 -1 4202560 1339 0 0 0 206 15 0 0 20 0 19 0 114592978 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756073318568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11552/tid=11563] ppid=11549 vsize=9625040 CPUtime=2 cores=1,3,5,7 /proc/11552/task/11563/stat : 11563 (java) S 11549 11552 8023 0 -1 4202560 926 0 0 0 194 6 0 0 20 0 19 0 114592979 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756061121512 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11564] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11564/stat : 11564 (java) S 11549 11552 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756060067576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11565] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11565/stat : 11565 (java) S 11549 11552 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114592980 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756059014664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11566] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11566/stat : 11566 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756057963152 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11567] ppid=11549 vsize=9625040 CPUtime=1.54 cores=1,3,5,7 /proc/11552/task/11567/stat : 11567 (java) S 11549 11552 8023 0 -1 4202560 13428 0 0 0 152 2 0 0 20 0 19 0 114592982 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756056910264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11568] ppid=11549 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/11552/task/11568/stat : 11568 (java) S 11549 11552 8023 0 -1 4202560 5694 0 0 0 76 2 0 0 20 0 19 0 114592982 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756055857464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11569] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11569/stat : 11569 (java) S 11549 11552 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114592982 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756054804856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11552/tid=11570] ppid=11549 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/11552/task/11570/stat : 11570 (java) S 11549 11552 8023 0 -1 4202560 103 0 0 0 16 22 0 0 20 0 19 0 114592982 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756053752264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11552/tid=11571] ppid=11549 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11552/task/11571/stat : 11571 (java) S 11549 11552 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114593025 9856040960 114348 33554432000 1073741824 1073778376 140736812197648 139756052698792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11552 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11552 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=318222 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=873715 # CPU time returned by wait4() is 1796.19 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1785.26 CPU time (s): 1800.08 CPU user time (s): 1798.66 CPU system time (s): 1.42 CPU usage (%): 100.83 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.32 system time used= 1.87371 maximum resident set size= 585900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39215 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48600 involuntary context switches= 38202 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.5671 second user time and 16.6205 second system time The end
Begin job on node117 at 2016-06-07 21:09:58 IDJOB=4085076 IDBENCH=92664 IDSOLVER=2546 FILE ID=node117/4085076-1465326598 RUNJOBID= node117-1465310425-9810 PBS_JOBID= 19848086 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085076-1465326598/watcher-4085076-1465326598 -o /tmp/evaluation-result-4085076-1465326598/solver-4085076-1465326598 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465310425-9810 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085076-1465326598.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c36639357988247c648b63af301f230 RANDOM SEED=55047434 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29574712 kB Buffers: 126716 kB Cached: 315748 kB SwapCached: 29276 kB Active: 444276 kB Inactive: 389392 kB Active(anon): 364952 kB Inactive(anon): 28816 kB Active(file): 79324 kB Inactive(file): 360576 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67071200 kB Dirty: 1628 kB Writeback: 0 kB AnonPages: 2087960 kB Mapped: 15324 kB Shmem: 0 kB Slab: 604560 kB SReclaimable: 48324 kB SUnreclaim: 556236 kB KernelStack: 1576 kB PageTables: 7972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2447736 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2037760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node117 at 2016-06-07 21:39:44