Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 26 | 1800.23 | 1798.37 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
| MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.207968 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6148 |
| Total number of constraints | 19000 |
| Number of constraints which are clauses | 19000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2987 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2987 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2987 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 12995394264 0.02/0.09 c Max memory 13063553024 0.02/0.09 c Total memory 13063553024 0.02/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 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 Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3458489-1307156382.opb 0.09/0.11 c reading problem ... 0.70/0.45 c ... done. Wall clock time 0.336s. 0.70/0.45 c #vars 6148 0.70/0.45 c #constraints 19000 0.70/0.45 c constraints type 0.70/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 0.70/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 0.98/0.54 c SATISFIABLE 0.98/0.54 c OPTIMIZING... 0.98/0.54 c Got one! Elapsed wall clock time (in seconds):0.43 0.98/0.54 o 37 1.22/0.60 c Got one! Elapsed wall clock time (in seconds):0.484 1.22/0.60 o 36 1.22/0.69 c Got one! Elapsed wall clock time (in seconds):0.582 1.22/0.69 o 29 1.85/1.07 c Got one! Elapsed wall clock time (in seconds):0.959 1.85/1.07 o 28 3.84/3.07 c cleaning 2981 clauses out of 5965 with flag 5001/5965 5.19/4.39 c Got one! Elapsed wall clock time (in seconds):4.281 5.19/4.39 o 27 5.84/4.99 c cleaning 4467 clauses out of 8935 with flag 2000/11916 8.14/7.24 c cleaning 5230 clauses out of 10468 with flag 8000/17916 10.45/9.54 c cleaning 6107 clauses out of 12238 with flag 15000/24916 13.30/12.32 c cleaning 7063 clauses out of 14132 with flag 23001/32917 16.20/15.25 c cleaning 8027 clauses out of 16069 with flag 32001/41917 19.30/18.33 c cleaning 9020 clauses out of 18041 with flag 42000/51916 22.60/21.67 c cleaning 9998 clauses out of 20021 with flag 53000/62916 26.41/25.49 c cleaning 11003 clauses out of 22023 with flag 65000/74916 28.01/27.08 c Got one! Elapsed wall clock time (in seconds):26.972 28.01/27.08 o 26 28.32/27.36 c cleaning 8453 clauses out of 16918 with flag 1001/80814 30.12/29.18 c cleaning 7222 clauses out of 14464 with flag 7000/86813 32.32/31.31 c cleaning 7119 clauses out of 14243 with flag 14001/93814 34.42/33.48 c cleaning 7549 clauses out of 15123 with flag 22000/101813 38.02/37.04 c cleaning 8282 clauses out of 16575 with flag 31001/110814 41.52/40.55 c cleaning 9145 clauses out of 18293 with flag 41001/120814 45.04/44.08 c cleaning 10066 clauses out of 20147 with flag 52000/131813 49.53/48.50 c cleaning 11033 clauses out of 22081 with flag 64000/143813 53.43/52.46 c cleaning 12017 clauses out of 24048 with flag 77000/156813 58.94/57.91 c cleaning 13007 clauses out of 26032 with flag 91001/170814 64.04/63.00 c cleaning 14008 clauses out of 28025 with flag 106001/185814 68.54/67.54 c cleaning 14999 clauses out of 30017 with flag 122001/201814 74.04/73.05 c cleaning 16001 clauses out of 32018 with flag 139001/218814 79.24/78.22 c cleaning 16998 clauses out of 34016 with flag 157000/236813 85.95/84.98 c cleaning 17997 clauses out of 36018 with flag 176000/255813 92.55/91.54 c cleaning 18509 clauses out of 37022 with flag 195001/274814 99.15/98.16 c cleaning 18746 clauses out of 37512 with flag 214000/293813 105.65/104.60 c cleaning 18875 clauses out of 37766 with flag 233000/312813 111.56/110.56 c cleaning 18935 clauses out of 37891 with flag 252000/331813 117.57/116.55 c cleaning 18971 clauses out of 37956 with flag 271000/350813 124.66/123.69 c cleaning 18987 clauses out of 37986 with flag 290001/369814 131.37/130.37 c cleaning 18994 clauses out of 37999 with flag 309001/388814 137.57/136.54 c cleaning 18995 clauses out of 38004 with flag 328000/407813 143.77/142.72 c cleaning 18986 clauses out of 38009 with flag 347000/426813 150.47/149.48 c cleaning 19008 clauses out of 38025 with flag 366002/445815 156.48/155.46 c cleaning 18999 clauses out of 38015 with flag 385000/464813 162.70/161.65 c cleaning 18999 clauses out of 38016 with flag 404000/483813 169.68/168.62 c cleaning 19002 clauses out of 38018 with flag 423001/502814 176.29/175.27 c cleaning 19002 clauses out of 38017 with flag 442002/521815 182.51/181.46 c cleaning 18997 clauses out of 38014 with flag 461001/540814 188.89/187.88 c cleaning 18999 clauses out of 38016 with flag 480000/559813 195.50/194.40 c cleaning 18998 clauses out of 38018 with flag 499001/578814 201.80/200.77 c cleaning 19003 clauses out of 38019 with flag 518000/597813 207.70/206.60 c cleaning 19004 clauses out of 38017 with flag 537001/616814 213.10/212.07 c cleaning 18997 clauses out of 38012 with flag 556000/635813 219.10/218.00 c cleaning 18998 clauses out of 38015 with flag 575000/654813 224.51/223.47 c cleaning 19003 clauses out of 38019 with flag 594002/673815 230.31/229.23 c cleaning 18999 clauses out of 38014 with flag 613000/692813 236.43/235.35 c cleaning 18996 clauses out of 38015 with flag 632000/711813 242.22/241.12 c cleaning 19005 clauses out of 38019 with flag 651000/730813 247.72/246.61 c cleaning 19002 clauses out of 38015 with flag 670001/749814 253.12/252.01 c cleaning 18994 clauses out of 38013 with flag 689001/768814 258.54/257.48 c cleaning 19006 clauses out of 38019 with flag 708001/787814 265.23/264.13 c cleaning 18997 clauses out of 38012 with flag 727000/806813 272.13/271.06 c cleaning 19003 clauses out of 38017 with flag 746002/825815 278.63/277.52 c cleaning 18998 clauses out of 38013 with flag 765001/844814 285.14/284.02 c cleaning 18997 clauses out of 38014 with flag 784000/863813 291.64/290.59 c cleaning 18995 clauses out of 38017 with flag 803000/882813 297.95/296.83 c cleaning 19006 clauses out of 38024 with flag 822002/901815 304.25/303.11 c cleaning 19003 clauses out of 38017 with flag 841001/920814 310.05/308.98 c cleaning 18995 clauses out of 38014 with flag 860001/939814 315.96/314.86 c cleaning 19002 clauses out of 38018 with flag 879000/958813 322.06/320.99 c cleaning 19002 clauses out of 38016 with flag 898000/977813 328.88/327.74 c cleaning 19002 clauses out of 38015 with flag 917001/996814 335.77/334.66 c cleaning 19000 clauses out of 38012 with flag 936000/1015813 342.00/340.89 c cleaning 18998 clauses out of 38013 with flag 955001/1034814 348.30/347.11 c cleaning 18996 clauses out of 38014 with flag 974000/1053813 354.60/353.45 c cleaning 19006 clauses out of 38018 with flag 993000/1072813 360.82/359.63 c cleaning 19000 clauses out of 38012 with flag 1012000/1091813 366.71/365.51 c cleaning 18999 clauses out of 38012 with flag 1031000/1110813 372.93/371.77 c cleaning 18999 clauses out of 38016 with flag 1050003/1129816 379.01/377.87 c cleaning 18995 clauses out of 38014 with flag 1069000/1148813 385.03/383.86 c cleaning 19000 clauses out of 38019 with flag 1088000/1167813 391.32/390.13 c cleaning 19008 clauses out of 38019 with flag 1107000/1186813 397.24/396.02 c cleaning 19000 clauses out of 38011 with flag 1126000/1205813 403.32/402.12 c cleaning 18999 clauses out of 38012 with flag 1145001/1224814 409.52/408.33 c cleaning 18996 clauses out of 38013 with flag 1164001/1243814 416.43/415.20 c cleaning 18997 clauses out of 38016 with flag 1183000/1262813 422.93/421.73 c cleaning 18994 clauses out of 38019 with flag 1202000/1281813 429.15/427.96 c cleaning 19006 clauses out of 38026 with flag 1221001/1300814 435.24/434.01 c cleaning 19005 clauses out of 38020 with flag 1240001/1319814 440.94/439.73 c cleaning 18987 clauses out of 38014 with flag 1259000/1338813 446.54/445.31 c cleaning 19007 clauses out of 38027 with flag 1278000/1357813 452.74/451.54 c cleaning 19000 clauses out of 38020 with flag 1297000/1376813 458.55/457.39 c cleaning 19004 clauses out of 38021 with flag 1316001/1395814 464.37/463.14 c cleaning 19002 clauses out of 38017 with flag 1335001/1414814 470.97/469.76 c cleaning 19002 clauses out of 38016 with flag 1354002/1433815 477.65/476.42 c cleaning 18991 clauses out of 38012 with flag 1373000/1452813 483.66/482.42 c cleaning 19006 clauses out of 38022 with flag 1392001/1471814 489.26/488.05 c cleaning 19002 clauses out of 38015 with flag 1411000/1490813 494.97/493.75 c cleaning 18997 clauses out of 38013 with flag 1430000/1509813 500.69/499.48 c cleaning 19004 clauses out of 38017 with flag 1449001/1528814 506.67/505.42 c cleaning 18995 clauses out of 38012 with flag 1468000/1547813 512.58/511.41 c cleaning 19000 clauses out of 38019 with flag 1487002/1566815 518.78/517.51 c cleaning 19002 clauses out of 38018 with flag 1506001/1585814 524.90/523.66 c cleaning 19001 clauses out of 38015 with flag 1525000/1604813 530.99/529.76 c cleaning 19002 clauses out of 38014 with flag 1544000/1623813 537.01/535.73 c cleaning 19000 clauses out of 38013 with flag 1563001/1642814 542.79/541.52 c cleaning 18996 clauses out of 38012 with flag 1582000/1661813 548.50/547.28 c cleaning 19002 clauses out of 38018 with flag 1601002/1680815 554.70/553.47 c cleaning 18998 clauses out of 38014 with flag 1620000/1699813 560.81/559.54 c cleaning 18998 clauses out of 38016 with flag 1639000/1718813 566.92/565.67 c cleaning 19000 clauses out of 38022 with flag 1658004/1737817 572.92/571.68 c cleaning 19003 clauses out of 38018 with flag 1677000/1756813 579.22/577.92 c cleaning 19003 clauses out of 38015 with flag 1696000/1775813 585.92/584.69 c cleaning 19000 clauses out of 38012 with flag 1715000/1794813 592.93/591.68 c cleaning 19001 clauses out of 38013 with flag 1734001/1813814 599.53/598.31 c cleaning 18996 clauses out of 38013 with flag 1753002/1832815 606.14/604.91 c cleaning 18992 clauses out of 38016 with flag 1772001/1851814 612.64/611.34 c cleaning 19006 clauses out of 38025 with flag 1791002/1870815 619.05/617.74 c cleaning 18998 clauses out of 38019 with flag 1810002/1889815 625.55/624.29 c cleaning 18999 clauses out of 38020 with flag 1829001/1908814 631.95/630.68 c cleaning 19007 clauses out of 38023 with flag 1848003/1927816 638.95/637.69 c cleaning 18994 clauses out of 38013 with flag 1867000/1946813 645.87/644.60 c cleaning 18994 clauses out of 38019 with flag 1886000/1965813 652.15/650.85 c cleaning 19004 clauses out of 38025 with flag 1905000/1984813 658.07/656.75 c cleaning 19009 clauses out of 38021 with flag 1924000/2003813 663.66/662.38 c cleaning 18999 clauses out of 38013 with flag 1943001/2022814 669.66/668.39 c cleaning 18985 clauses out of 38013 with flag 1962000/2041813 675.77/674.46 c cleaning 19002 clauses out of 38028 with flag 1981000/2060813 682.18/680.82 c cleaning 19003 clauses out of 38026 with flag 2000000/2079813 687.07/685.75 c cleaning 18998 clauses out of 38023 with flag 2019000/2098813 692.09/690.76 c cleaning 19004 clauses out of 38025 with flag 2038000/2117813 697.88/696.51 c cleaning 19003 clauses out of 38021 with flag 2057000/2136813 704.48/703.16 c cleaning 18997 clauses out of 38018 with flag 2076000/2155813 710.80/709.49 c cleaning 19001 clauses out of 38021 with flag 2095000/2174813 717.18/715.83 c cleaning 19005 clauses out of 38021 with flag 2114001/2193814 722.59/721.24 c cleaning 19004 clauses out of 38015 with flag 2133000/2212813 728.20/726.83 c cleaning 18991 clauses out of 38011 with flag 2152000/2231813 734.31/732.95 c cleaning 18997 clauses out of 38020 with flag 2171000/2250813 740.41/739.06 c cleaning 19008 clauses out of 38024 with flag 2190001/2269814 746.61/745.21 c cleaning 19003 clauses out of 38015 with flag 2209000/2288813 753.21/751.85 c cleaning 18993 clauses out of 38012 with flag 2228000/2307813 760.21/758.80 c cleaning 18999 clauses out of 38020 with flag 2247001/2326814 767.03/765.69 c cleaning 18998 clauses out of 38021 with flag 2266001/2345814 773.92/772.51 c cleaning 19007 clauses out of 38022 with flag 2285000/2364813 780.62/779.23 c cleaning 18998 clauses out of 38015 with flag 2304000/2383813 787.12/785.79 c cleaning 19000 clauses out of 38017 with flag 2323000/2402813 793.92/792.50 c cleaning 18994 clauses out of 38017 with flag 2342000/2421813 800.23/798.83 c cleaning 18998 clauses out of 38023 with flag 2361000/2440813 805.73/804.30 c cleaning 19003 clauses out of 38026 with flag 2380001/2459814 811.43/810.01 c cleaning 19002 clauses out of 38024 with flag 2399002/2478815 816.94/815.55 c cleaning 18999 clauses out of 38020 with flag 2418000/2497813 822.44/821.09 c cleaning 19003 clauses out of 38021 with flag 2437000/2516813 827.84/826.45 c cleaning 18998 clauses out of 38019 with flag 2456001/2535814 833.44/832.06 c cleaning 19004 clauses out of 38021 with flag 2475001/2554814 839.14/837.71 c cleaning 18994 clauses out of 38016 with flag 2494000/2573813 844.95/843.57 c cleaning 19004 clauses out of 38023 with flag 2513001/2592814 850.56/849.16 c cleaning 19001 clauses out of 38020 with flag 2532002/2611815 856.35/854.96 c cleaning 18998 clauses out of 38017 with flag 2551000/2630813 861.95/860.51 c cleaning 18992 clauses out of 38019 with flag 2570000/2649813 867.75/866.38 c cleaning 19005 clauses out of 38027 with flag 2589000/2668813 873.96/872.51 c cleaning 19007 clauses out of 38023 with flag 2608001/2687814 880.46/879.09 c cleaning 18986 clauses out of 38015 with flag 2627000/2706813 887.16/885.74 c cleaning 18997 clauses out of 38029 with flag 2646000/2725813 893.76/892.32 c cleaning 19001 clauses out of 38032 with flag 2665000/2744813 900.26/898.86 c cleaning 19007 clauses out of 38031 with flag 2684000/2763813 906.78/905.34 c cleaning 19001 clauses out of 38025 with flag 2703001/2782814 913.38/911.94 c cleaning 19001 clauses out of 38023 with flag 2722000/2801813 919.88/918.45 c cleaning 19001 clauses out of 38024 with flag 2741002/2820815 926.36/924.92 c cleaning 18995 clauses out of 38021 with flag 2760000/2839813 932.87/931.43 c cleaning 18998 clauses out of 38026 with flag 2779000/2858813 939.68/938.24 c cleaning 19001 clauses out of 38028 with flag 2798000/2877813 946.17/944.70 c cleaning 19007 clauses out of 38028 with flag 2817001/2896814 952.67/951.21 c cleaning 18993 clauses out of 38020 with flag 2836000/2915813 958.87/957.41 c cleaning 19006 clauses out of 38029 with flag 2855002/2934815 965.28/963.82 c cleaning 18993 clauses out of 38021 with flag 2874000/2953813 971.48/970.05 c cleaning 19000 clauses out of 38028 with flag 2893000/2972813 977.58/976.18 c cleaning 19006 clauses out of 38028 with flag 2912000/2991813 982.88/981.43 c cleaning 19009 clauses out of 38023 with flag 2931001/3010814 988.28/986.84 c cleaning 19002 clauses out of 38014 with flag 2950001/3029814 994.18/992.78 c cleaning 18988 clauses out of 38011 with flag 2969000/3048813 999.79/998.32 c cleaning 19003 clauses out of 38024 with flag 2988001/3067814 1005.70/1004.22 c cleaning 19007 clauses out of 38021 with flag 3007001/3086814 1011.69/1010.23 c cleaning 18994 clauses out of 38013 with flag 3026000/3105813 1017.50/1016.02 c cleaning 18989 clauses out of 38019 with flag 3045000/3124813 1023.90/1022.46 c cleaning 19006 clauses out of 38030 with flag 3064000/3143813 1029.71/1028.29 c cleaning 19001 clauses out of 38024 with flag 3083000/3162813 1035.61/1034.13 c cleaning 19005 clauses out of 38023 with flag 3102000/3181813 1041.21/1039.76 c cleaning 19000 clauses out of 38018 with flag 3121000/3200813 1047.41/1045.96 c cleaning 18998 clauses out of 38018 with flag 3140000/3219813 1053.51/1052.01 c cleaning 19002 clauses out of 38021 with flag 3159001/3238814 1059.63/1058.18 c cleaning 18998 clauses out of 38018 with flag 3178000/3257813 1065.92/1064.45 c cleaning 19001 clauses out of 38020 with flag 3197000/3276813 1072.02/1070.53 c cleaning 18985 clauses out of 38019 with flag 3216000/3295813 1078.52/1077.00 c cleaning 19012 clauses out of 38035 with flag 3235001/3314814 1084.43/1082.96 c cleaning 19005 clauses out of 38023 with flag 3254001/3333814 1090.23/1088.77 c cleaning 19000 clauses out of 38017 with flag 3273000/3352813 1096.33/1094.85 c cleaning 18988 clauses out of 38017 with flag 3292000/3371813 1102.33/1100.88 c cleaning 19003 clauses out of 38029 with flag 3311000/3390813 1108.24/1106.78 c cleaning 19004 clauses out of 38026 with flag 3330000/3409813 1114.04/1112.55 c cleaning 19004 clauses out of 38022 with flag 3349000/3428813 1120.04/1118.52 c cleaning 18999 clauses out of 38018 with flag 3368000/3447813 1125.76/1124.27 c cleaning 18999 clauses out of 38019 with flag 3387000/3466813 1131.74/1130.25 c cleaning 18996 clauses out of 38020 with flag 3406000/3485813 1138.14/1136.64 c cleaning 19001 clauses out of 38024 with flag 3425000/3504813 1144.36/1142.84 c cleaning 19001 clauses out of 38024 with flag 3444001/3523814 1150.44/1148.91 c cleaning 19001 clauses out of 38023 with flag 3463001/3542814 1156.75/1155.23 c cleaning 18999 clauses out of 38021 with flag 3482000/3561813 1163.16/1161.66 c cleaning 19000 clauses out of 38023 with flag 3501001/3580814 1169.55/1168.03 c cleaning 18998 clauses out of 38022 with flag 3520000/3599813 1175.65/1174.10 c cleaning 18999 clauses out of 38024 with flag 3539000/3618813 1181.87/1180.35 c cleaning 19003 clauses out of 38026 with flag 3558001/3637814 1188.36/1186.90 c cleaning 19005 clauses out of 38022 with flag 3577000/3656813 1194.45/1192.90 c cleaning 19002 clauses out of 38018 with flag 3596001/3675814 1200.47/1198.98 c cleaning 18994 clauses out of 38015 with flag 3615000/3694813 1206.15/1204.69 c cleaning 19002 clauses out of 38021 with flag 3634000/3713813 1211.96/1210.43 c cleaning 18992 clauses out of 38019 with flag 3653000/3732813 1217.96/1216.47 c cleaning 19002 clauses out of 38027 with flag 3672000/3751813 1224.16/1222.60 c cleaning 18993 clauses out of 38025 with flag 3691000/3770813 1230.17/1228.64 c cleaning 19002 clauses out of 38033 with flag 3710001/3789814 1236.06/1234.59 c cleaning 19005 clauses out of 38030 with flag 3729000/3808813 1242.16/1240.67 c cleaning 18999 clauses out of 38025 with flag 3748000/3827813 1248.27/1246.73 c cleaning 19005 clauses out of 38027 with flag 3767001/3846814 1254.17/1252.65 c cleaning 19003 clauses out of 38021 with flag 3786000/3865813 1260.27/1258.78 c cleaning 18994 clauses out of 38018 with flag 3805000/3884813 1266.37/1264.89 c cleaning 18997 clauses out of 38026 with flag 3824002/3903815 1272.58/1271.04 c cleaning 19003 clauses out of 38027 with flag 3843000/3922813 1278.70/1277.13 c cleaning 19001 clauses out of 38024 with flag 3862000/3941813 1284.88/1283.37 c cleaning 18991 clauses out of 38023 with flag 3881000/3960813 1290.98/1289.42 c cleaning 18998 clauses out of 38032 with flag 3900000/3979813 1297.18/1295.62 c cleaning 19008 clauses out of 38034 with flag 3919000/3998813 1303.59/1302.04 c cleaning 19001 clauses out of 38026 with flag 3938000/4017813 1310.19/1308.62 c cleaning 19006 clauses out of 38026 with flag 3957001/4036814 1316.59/1315.08 c cleaning 18998 clauses out of 38022 with flag 3976003/4055816 1323.19/1321.64 c cleaning 19005 clauses out of 38022 with flag 3995001/4074814 1329.70/1328.11 c cleaning 18997 clauses out of 38016 with flag 4014000/4093813 1336.40/1334.83 c cleaning 19002 clauses out of 38020 with flag 4033001/4112814 1342.80/1341.27 c cleaning 18991 clauses out of 38017 with flag 4052000/4131813 1349.20/1347.68 c cleaning 19003 clauses out of 38026 with flag 4071000/4150813 1355.50/1354.00 c cleaning 19006 clauses out of 38026 with flag 4090003/4169816 1361.62/1360.05 c cleaning 19000 clauses out of 38017 with flag 4109000/4188813 1368.22/1366.68 c cleaning 18997 clauses out of 38017 with flag 4128000/4207813 1375.12/1373.54 c cleaning 19003 clauses out of 38024 with flag 4147004/4226817 1381.62/1380.08 c cleaning 18991 clauses out of 38017 with flag 4166000/4245813 1387.73/1386.17 c cleaning 18998 clauses out of 38026 with flag 4185000/4264813 1394.04/1392.47 c cleaning 19004 clauses out of 38029 with flag 4204001/4283814 1400.24/1398.66 c cleaning 18995 clauses out of 38024 with flag 4223000/4302813 1406.44/1404.88 c cleaning 19002 clauses out of 38029 with flag 4242000/4321813 1412.85/1411.22 c cleaning 19004 clauses out of 38028 with flag 4261001/4340814 1418.74/1417.12 c cleaning 18997 clauses out of 38023 with flag 4280000/4359813 1424.84/1423.28 c cleaning 18997 clauses out of 38026 with flag 4299000/4378813 1430.94/1429.39 c cleaning 19004 clauses out of 38029 with flag 4318000/4397813 1437.25/1435.61 c cleaning 19004 clauses out of 38025 with flag 4337000/4416813 1443.25/1441.61 c cleaning 18998 clauses out of 38023 with flag 4356002/4435815 1449.26/1447.68 c cleaning 19006 clauses out of 38023 with flag 4375000/4454813 1455.65/1454.01 c cleaning 18993 clauses out of 38017 with flag 4394000/4473813 1462.05/1460.44 c cleaning 19003 clauses out of 38024 with flag 4413000/4492813 1468.35/1466.78 c cleaning 19006 clauses out of 38022 with flag 4432001/4511814 1474.47/1472.83 c cleaning 18998 clauses out of 38015 with flag 4451000/4530813 1480.16/1478.59 c cleaning 19003 clauses out of 38018 with flag 4470001/4549814 1486.58/1484.97 c cleaning 18983 clauses out of 38014 with flag 4489000/4568813 1492.37/1490.72 c cleaning 19008 clauses out of 38031 with flag 4508000/4587813 1498.69/1497.05 c cleaning 19005 clauses out of 38024 with flag 4527001/4606814 1504.78/1503.15 c cleaning 19000 clauses out of 38018 with flag 4546000/4625813 1510.48/1508.83 c cleaning 18995 clauses out of 38018 with flag 4565000/4644813 1515.98/1514.33 c cleaning 19000 clauses out of 38023 with flag 4584000/4663813 1521.48/1519.86 c cleaning 19008 clauses out of 38023 with flag 4603000/4682813 1527.08/1525.49 c cleaning 18995 clauses out of 38015 with flag 4622000/4701813 1532.69/1531.07 c cleaning 18999 clauses out of 38021 with flag 4641001/4720814 1538.30/1536.62 c cleaning 19005 clauses out of 38021 with flag 4660000/4739813 1544.09/1542.49 c cleaning 19002 clauses out of 38018 with flag 4679002/4758815 1549.69/1548.09 c cleaning 18995 clauses out of 38014 with flag 4698000/4777813 1555.40/1553.75 c cleaning 19001 clauses out of 38019 with flag 4717000/4796813 1561.52/1559.82 c cleaning 19005 clauses out of 38018 with flag 4736000/4815813 1567.70/1566.02 c cleaning 18990 clauses out of 38014 with flag 4755001/4834814 1573.80/1572.14 c cleaning 19006 clauses out of 38024 with flag 4774001/4853814 1579.80/1578.10 c cleaning 18995 clauses out of 38017 with flag 4793000/4872813 1585.73/1584.09 c cleaning 19001 clauses out of 38023 with flag 4812001/4891814 1591.71/1590.09 c cleaning 18990 clauses out of 38021 with flag 4831000/4910813 1597.41/1595.79 c cleaning 19007 clauses out of 38032 with flag 4850001/4929814 1603.72/1602.03 c cleaning 19003 clauses out of 38024 with flag 4869000/4948813 1609.72/1608.09 c cleaning 19000 clauses out of 38021 with flag 4888000/4967813 1616.22/1614.52 c cleaning 19000 clauses out of 38022 with flag 4907001/4986814 1622.32/1620.61 c cleaning 19001 clauses out of 38022 with flag 4926001/5005814 1628.42/1626.77 c cleaning 19006 clauses out of 38020 with flag 4945000/5024813 1634.43/1632.70 c cleaning 18991 clauses out of 38014 with flag 4964000/5043813 1640.54/1638.81 c cleaning 18997 clauses out of 38023 with flag 4983000/5062813 1646.84/1645.10 c cleaning 19008 clauses out of 38026 with flag 5002000/5081813 1653.24/1651.53 c cleaning 19003 clauses out of 38021 with flag 5021003/5100816 1659.36/1657.68 c cleaning 18999 clauses out of 38015 with flag 5040000/5119813 1665.35/1663.66 c cleaning 18999 clauses out of 38016 with flag 5059000/5138813 1671.85/1670.13 c cleaning 19004 clauses out of 38018 with flag 5078001/5157814 1677.75/1676.06 c cleaning 18987 clauses out of 38013 with flag 5097000/5176813 1683.57/1681.88 c cleaning 18997 clauses out of 38027 with flag 5116001/5195814 1690.35/1688.64 c cleaning 19005 clauses out of 38029 with flag 5135000/5214813 1696.55/1694.87 c cleaning 19002 clauses out of 38024 with flag 5154000/5233813 1702.05/1700.38 c cleaning 18999 clauses out of 38022 with flag 5173000/5252813 1707.87/1706.18 c cleaning 19004 clauses out of 38024 with flag 5192001/5271814 1714.66/1712.90 c cleaning 18996 clauses out of 38019 with flag 5211000/5290813 1720.97/1719.28 c cleaning 19008 clauses out of 38024 with flag 5230001/5309814 1727.26/1725.54 c cleaning 18995 clauses out of 38015 with flag 5249000/5328813 1734.28/1732.57 c cleaning 19004 clauses out of 38020 with flag 5268000/5347813 1741.26/1739.50 c cleaning 19000 clauses out of 38016 with flag 5287000/5366813 1748.07/1746.37 c cleaning 18995 clauses out of 38016 with flag 5306000/5385813 1754.97/1753.27 c cleaning 19007 clauses out of 38022 with flag 5325001/5404814 1761.69/1759.95 c cleaning 18998 clauses out of 38014 with flag 5344000/5423813 1768.29/1766.52 c cleaning 18996 clauses out of 38016 with flag 5363000/5442813 1774.78/1773.09 c cleaning 19005 clauses out of 38021 with flag 5382001/5461814 1780.98/1779.21 c cleaning 19002 clauses out of 38015 with flag 5401000/5480813 1786.88/1785.15 c cleaning 18999 clauses out of 38015 with flag 5420002/5499815 1792.68/1790.98 c cleaning 19001 clauses out of 38015 with flag 5439001/5518814 1798.98/1797.21 c cleaning 18990 clauses out of 38013 with flag 5458000/5537813 1800.10/1798.32 c starts : 281 1800.10/1798.32 c conflicts : 5541163 1800.10/1798.32 c decisions : 22175028 1800.10/1798.32 c propagations : 7524390418 1800.10/1798.32 c inspects : 8256727404 1800.10/1798.32 c shortcuts : 0 1800.10/1798.32 c learnt literals : 0 1800.10/1798.32 c learnt binary clauses : 0 1800.10/1798.32 c learnt ternary clauses : 1 1800.10/1798.32 c learnt constraints : 5541163 1800.10/1798.32 c ignored constraints : 0 1800.10/1798.32 c root simplifications : 0 1800.10/1798.32 c removed literals (reason simplification) : 5938094 1800.10/1798.32 c reason swapping (by a shorter reason) : 0 1800.10/1798.32 c Calls to reduceDB : 302 1800.10/1798.32 c number of reductions to clauses (during analyze) : 0 1800.10/1798.32 c number of learned constraints concerned by reduction : 0 1800.10/1798.32 c number of learning phase by resolution : 0 1800.10/1798.32 c number of learning phase by cutting planes : 0 1800.10/1798.32 c speed (assignments/second) : 4248103.960231138 1800.10/1798.32 c non guided choices 25787 1800.10/1798.33 c learnt constraints type 1800.10/1798.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22404 1800.10/1798.33 c constraints type 1800.10/1798.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1800.10/1798.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/1798.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1800.10/1798.33 s SATISFIABLE 1800.10/1798.35 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 1800.10/1798.36 c objective function=26 1800.10/1798.36 c Total wall clock time (in seconds): 1798.249
OK 26
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458489-1307156382/watcher-3458489-1307156382 -o /tmp/evaluation-result-3458489-1307156382/solver-3458489-1307156382 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458489-1307156382.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.14 1.12 1.44 3/473 31313 /proc/meminfo: memFree=20389908/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 6227 0 1 0 0 0 0 0 24 0 2 0 827237849 13850947584 5930 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3381579 5943 917 9 0 3372735 0 [pid=31313/tid=31314] ppid=31311 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 6872 0 1 0 0 0 0 0 25 0 2 0 827237850 13850947584 7688 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0242511 s] /proc/loadavg: 1.14 1.12 1.44 3/473 31313 /proc/meminfo: memFree=20389908/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13526316 CPUtime=0.02 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 12181 0 1 0 1 1 0 0 24 0 2 0 827237849 13850947584 11884 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3381579 11884 917 9 0 3372735 0 [pid=31313/tid=31314] ppid=31311 vsize=13526316 CPUtime=0.01 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 11068 0 1 0 1 0 0 0 25 0 2 0 827237850 13850947584 11884 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13526316 [startup+0.100231 s] /proc/loadavg: 1.14 1.12 1.44 3/473 31313 /proc/meminfo: memFree=20389908/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13622260 CPUtime=0.09 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 15453 0 1 0 8 1 0 0 24 0 18 0 827237849 13949194240 15151 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3405565 15151 2093 9 0 3396299 0 [pid=31313/tid=31314] ppid=31311 vsize=13622260 CPUtime=0.08 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 13558 0 1 0 7 1 0 0 25 0 18 0 827237850 13949194240 15151 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 47918768358936 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13622260 [startup+0.300198 s] /proc/loadavg: 1.14 1.12 1.44 3/473 31313 /proc/meminfo: memFree=20389908/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13625332 CPUtime=0.5 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 18842 0 1 0 48 2 0 0 24 0 18 0 827237849 13952339968 18344 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3406333 18344 2201 9 0 3397067 0 [pid=31313/tid=31314] ppid=31311 vsize=13625332 CPUtime=0.27 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 15677 0 1 0 26 1 0 0 25 0 18 0 827237850 13952339968 18345 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505586892 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13625332 [startup+0.701128 s] /proc/loadavg: 1.14 1.12 1.44 3/473 31313 /proc/meminfo: memFree=20389908/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=1.47 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 30092 0 1 0 143 4 0 0 24 0 19 0 827237849 13956538368 28131 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 28131 2236 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=0.67 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 23825 0 1 0 65 2 0 0 25 0 19 0 827237850 13956538368 28131 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505179440 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 13629432 [startup+1.50106 s] /proc/loadavg: 1.14 1.12 1.44 3/510 31350 /proc/meminfo: memFree=20193632/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=2.34 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 30567 0 1 0 230 4 0 0 24 0 19 0 827237849 13956538368 28585 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 28585 2238 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=1.48 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 24265 0 1 0 145 3 0 0 25 0 19 0 827237850 13956538368 28585 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505849528 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31313/tid=31325] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31325/stat : 31325 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28585 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31326] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31326/stat : 31326 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28585 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31327] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31327/stat : 31327 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31328] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31328/stat : 31328 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31329] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31329/stat : 31329 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237852 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827237853 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) S 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827237853 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237853 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.41 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) S 31311 31313 27375 0 -1 4202560 2796 0 0 0 41 0 0 0 20 0 19 0 827237855 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.43 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2347 0 0 0 43 0 0 0 25 0 19 0 827237855 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31347] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31347/stat : 31347 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31348] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31348/stat : 31348 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827237855 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31350] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31350/stat : 31350 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237898 13956538368 28586 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 13629432 [startup+3.10124 s] /proc/loadavg: 1.14 1.12 1.44 3/510 31350 /proc/meminfo: memFree=20188980/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=3.97 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 32751 0 1 0 393 4 0 0 24 0 19 0 827237849 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 30719 2263 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=3.05 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 24530 0 1 0 302 3 0 0 25 0 19 0 827237850 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31313/tid=31325] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31325/stat : 31325 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31326] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31326/stat : 31326 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31327] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31327/stat : 31327 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31328] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31328/stat : 31328 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31329] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31329/stat : 31329 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 234 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 398 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=0.01 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 937 0 0 0 1 0 0 0 15 0 19 0 827237853 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) R 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237853 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.42 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) R 31311 31313 27375 0 -1 4202560 2847 0 0 0 42 0 0 0 17 0 19 0 827237855 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274473660112 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.44 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2352 0 0 0 44 0 0 0 18 0 19 0 827237855 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31347] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31347/stat : 31347 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31348] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31348/stat : 31348 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827237855 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31350] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31350/stat : 31350 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237898 13956538368 30719 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 13629432 [startup+6.3012 s] /proc/loadavg: 1.29 1.15 1.45 3/510 31350 /proc/meminfo: memFree=20171916/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=7.24 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 33355 0 1 0 720 4 0 0 24 0 19 0 827237849 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 31285 2264 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=6.23 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 24532 0 1 0 620 3 0 0 25 0 19 0 827237850 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505991726 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31313/tid=31325] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31325/stat : 31325 (java) S 31311 31313 27375 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31326] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31326/stat : 31326 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31327] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31327/stat : 31327 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31328] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31328/stat : 31328 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31329] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31329/stat : 31329 (java) S 31311 31313 27375 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 402 0 0 0 0 0 0 0 16 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 398 0 0 0 0 0 0 0 15 0 19 0 827237852 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=0.03 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 1122 0 0 0 3 0 0 0 15 0 19 0 827237853 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) S 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.46 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) S 31311 31313 27375 0 -1 4202560 2872 0 0 0 46 0 0 0 16 0 19 0 827237855 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.47 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2356 0 0 0 47 0 0 0 15 0 19 0 827237855 13956538368 31285 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 520 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0.15 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 494 0 0 0 15 0 0 0 15 0 19 0 827237852 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 493 0 0 0 17 0 0 0 16 0 19 0 827237852 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=7.72 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 3739 0 0 0 769 3 0 0 15 0 19 0 827237853 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) S 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.54 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) S 31311 31313 27375 0 -1 4202560 2965 0 0 0 54 0 0 0 15 0 19 0 827237855 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.48 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2356 0 0 0 48 0 0 0 16 0 19 0 827237855 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31347] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31347/stat : 31347 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31348] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31348/stat : 31348 (java) S 31311 31313 27375 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827237855 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31350] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31350/stat : 31350 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237898 13956538368 34641 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1724.06 Current children cumulated vsize (KiB) 13629432 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 1.92 3/510 31410 /proc/meminfo: memFree=20140028/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=1784.08 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 37281 0 1 0 178397 11 0 0 24 0 19 0 827237849 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 34656 2265 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=1773.67 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 24828 0 1 0 177364 3 0 0 25 0 19 0 827237850 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505900944 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31313/tid=31325] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31325/stat : 31325 (java) S 31311 31313 27375 0 -1 4202560 278 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31326] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31326/stat : 31326 (java) S 31311 31313 27375 0 -1 4202560 117 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0 [pid=31313/tid=31327] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31327/stat : 31327 (java) S 31311 31313 27375 0 -1 4202560 50 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31328] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31328/stat : 31328 (java) S 31311 31313 27375 0 -1 4202560 78 0 0 0 16 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31329] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31329/stat : 31329 (java) S 31311 31313 27375 0 -1 4202560 101 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0.18 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 520 0 0 0 18 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 499 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 493 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=7.97 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 3745 0 0 0 794 3 0 0 15 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) S 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.54 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) S 31311 31313 27375 0 -1 4202560 2965 0 0 0 54 0 0 0 15 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.48 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2356 0 0 0 48 0 0 0 16 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31347] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31347/stat : 31347 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31348] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31348/stat : 31348 (java) S 31311 31313 27375 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31350] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31350/stat : 31350 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237898 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1784.08 Current children cumulated vsize (KiB) 13629432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.3 s] /proc/loadavg: 2.02 2.03 1.92 2/490 31413 /proc/meminfo: memFree=20250524/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=1800.1 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 37288 0 1 0 179999 11 0 0 24 0 19 0 827237849 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 34656 2265 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=1789.59 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 24831 0 1 0 178956 3 0 0 25 0 19 0 827237850 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505841077 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31313/tid=31325] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31325/stat : 31325 (java) S 31311 31313 27375 0 -1 4202560 278 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31326] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31326/stat : 31326 (java) S 31311 31313 27375 0 -1 4202560 117 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0 [pid=31313/tid=31327] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31327/stat : 31327 (java) S 31311 31313 27375 0 -1 4202560 50 0 0 0 16 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31328] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31328/stat : 31328 (java) S 31311 31313 27375 0 -1 4202560 78 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31329] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31329/stat : 31329 (java) S 31311 31313 27375 0 -1 4202560 101 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0.18 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 520 0 0 0 18 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 499 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 493 0 0 0 17 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=8.05 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 3747 0 0 0 802 3 0 0 15 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) S 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.54 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) S 31311 31313 27375 0 -1 4202560 2965 0 0 0 54 0 0 0 15 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.48 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2356 0 0 0 48 0 0 0 16 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31347] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31347/stat : 31347 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31348] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31348/stat : 31348 (java) S 31311 31313 27375 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31350] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31350/stat : 31350 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237898 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 13629432 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798.3 s] /proc/loadavg: 2.02 2.03 1.92 2/490 31413 /proc/meminfo: memFree=20250524/32950928 swapFree=61858088/67111528 [pid=31313] ppid=31311 vsize=13629432 CPUtime=1800.1 cores=1,3,5,7 /proc/31313/stat : 31313 (java) S 31311 31313 27375 0 -1 4202496 37288 0 1 0 179999 11 0 0 24 0 19 0 827237849 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/31313/statm: 3407358 34656 2265 9 0 3398092 0 [pid=31313/tid=31314] ppid=31311 vsize=13629432 CPUtime=1789.59 cores=1,3,5,7 /proc/31313/task/31314/stat : 31314 (java) R 31311 31313 27375 0 -1 4202560 24831 0 1 0 178956 3 0 0 25 0 19 0 827237850 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 46912505841077 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31313/tid=31325] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31325/stat : 31325 (java) S 31311 31313 27375 0 -1 4202560 278 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31326] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31326/stat : 31326 (java) S 31311 31313 27375 0 -1 4202560 117 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0 [pid=31313/tid=31327] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31327/stat : 31327 (java) S 31311 31313 27375 0 -1 4202560 50 0 0 0 16 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31328] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31328/stat : 31328 (java) S 31311 31313 27375 0 -1 4202560 78 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31329] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31329/stat : 31329 (java) S 31311 31313 27375 0 -1 4202560 101 0 0 0 17 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31330] ppid=31311 vsize=13629432 CPUtime=0.18 cores=1,3,5,7 /proc/31313/task/31330/stat : 31330 (java) S 31311 31313 27375 0 -1 4202560 520 0 0 0 18 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0 [pid=31313/tid=31331] ppid=31311 vsize=13629432 CPUtime=0.16 cores=1,3,5,7 /proc/31313/task/31331/stat : 31331 (java) S 31311 31313 27375 0 -1 4202560 499 0 0 0 16 0 0 0 15 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31332] ppid=31311 vsize=13629432 CPUtime=0.17 cores=1,3,5,7 /proc/31313/task/31332/stat : 31332 (java) S 31311 31313 27375 0 -1 4202560 493 0 0 0 17 0 0 0 16 0 19 0 827237852 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31336] ppid=31311 vsize=13629432 CPUtime=8.05 cores=1,3,5,7 /proc/31313/task/31336/stat : 31336 (java) S 31311 31313 27375 0 -1 4202560 3747 0 0 0 802 3 0 0 15 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31337] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31337/stat : 31337 (java) S 31311 31313 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31338] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31338/stat : 31338 (java) S 31311 31313 27375 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827237853 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31344] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31344/stat : 31344 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31345] ppid=31311 vsize=13629432 CPUtime=0.54 cores=1,3,5,7 /proc/31313/task/31345/stat : 31345 (java) S 31311 31313 27375 0 -1 4202560 2965 0 0 0 54 0 0 0 15 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0 [pid=31313/tid=31346] ppid=31311 vsize=13629432 CPUtime=0.48 cores=1,3,5,7 /proc/31313/task/31346/stat : 31346 (java) S 31311 31313 27375 0 -1 4202560 2356 0 0 0 48 0 0 0 16 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31347] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31347/stat : 31347 (java) S 31311 31313 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 [pid=31313/tid=31348] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31348/stat : 31348 (java) S 31311 31313 27375 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827237855 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0 [pid=31313/tid=31350] ppid=31311 vsize=13629432 CPUtime=0 cores=1,3,5,7 /proc/31313/task/31350/stat : 31350 (java) S 31311 31313 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827237898 13956538368 34656 33554432000 1073741824 1073778376 140734034500608 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 13629432 Child status: 143 Real time (s): 1798.37 CPU time (s): 1800.23 CPU user time (s): 1800.1 CPU system time (s): 0.122981 CPU usage (%): 100.103 Max. virtual memory (cumulated for all children) (KiB): 13629432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.122981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37410 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44886 involuntary context switches= 18819 runsolver used 8.43772 second user time and 19.42 second system time The end
Begin job on node125 at 2011-06-04 04:59:42 IDJOB=3458489 IDBENCH=24991 IDSOLVER=1952 FILE ID=node125/3458489-1307156382 RUNJOBID= node125-1307156382-31294 PBS_JOBID= 13508791 Free space on /tmp= 73792 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458489-1307156382/watcher-3458489-1307156382 -o /tmp/evaluation-result-3458489-1307156382/solver-3458489-1307156382 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458489-1307156382.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=1355960220 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20390188 kB Buffers: 351272 kB Cached: 3496036 kB SwapCached: 3616 kB Active: 8854532 kB Inactive: 3363292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20390188 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 1648 kB Writeback: 4 kB AnonPages: 8368140 kB Mapped: 35820 kB Slab: 214096 kB PageTables: 61460 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130014156 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node125 at 2011-06-04 05:29:42