Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 1800 | 1783.07 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb |
MD5SUM | bd1f23f2ad95dce248911d20ecda08b7 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4397958 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9765 |
Total number of constraints | 21293 |
Number of constraints which are clauses | 14520 |
Number of constraints which are cardinality constraints (but not clauses) | 23 |
Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 4005 |
Biggest coefficient in the objective function | 109215352 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 5000695793 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 109215352 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 5000695793 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.2.v20120418 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 501472288 0.05/0.09 c Max memory 7480803328 0.05/0.09 c Total memory 504102912 0.05/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3690029-1337895316.opb 0.09/0.12 c reading problem ... 0.67/0.47 c ... done. Wall clock time 0.358s. 0.67/0.47 c declared #vars 9765 0.67/0.47 c #constraints 21927 0.67/0.47 c constraints type 0.67/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.67/0.47 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.67/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.67/0.47 c ignored satisfied constraints => 4 0.67/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.67/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.67/0.47 c 21931 constraints processed. 0.67/0.47 c objective function length is 4005 literals 1.14/0.68 c SATISFIABLE 1.14/0.68 c OPTIMIZING... 1.14/0.68 c Got one! Elapsed wall clock time (in seconds):0.567 1.14/0.68 o 6093014 1.39/0.76 c Got one! Elapsed wall clock time (in seconds):0.644 1.39/0.76 o 5230371 1.83/0.91 c Got one! Elapsed wall clock time (in seconds):0.797 1.83/0.91 o 5135475 2.77/1.82 c Got one! Elapsed wall clock time (in seconds):1.707 2.77/1.82 o 5119971 2.77/1.84 c Got one! Elapsed wall clock time (in seconds):1.724 2.77/1.84 o 4967693 2.77/1.85 c Got one! Elapsed wall clock time (in seconds):1.738 2.77/1.85 o 4683099 3.82/2.84 c cleaning 3203 clauses out of 6406 with flag 3000/6406 5.50/4.40 c cleaning 4597 clauses out of 9203 with flag 9000/12406 7.20/6.08 c cleaning 5797 clauses out of 11606 with flag 16000/19406 9.12/7.90 c cleaning 6896 clauses out of 13812 with flag 24003/27409 11.39/10.19 c cleaning 7952 clauses out of 15906 with flag 33000/36406 13.90/12.65 c cleaning 8977 clauses out of 17954 with flag 43000/46406 16.62/15.38 c cleaning 9977 clauses out of 19977 with flag 54000/57406 19.42/18.16 c cleaning 10994 clauses out of 22001 with flag 66001/69407 22.42/21.15 c cleaning 11993 clauses out of 24006 with flag 79000/82406 25.73/24.49 c cleaning 13005 clauses out of 26013 with flag 93000/96406 27.14/25.83 c Got one! Elapsed wall clock time (in seconds):25.715 27.14/25.83 o 4630000 28.14/26.82 c cleaning 12025 clauses out of 24057 with flag 5001/107455 28.66/27.36 c Got one! Elapsed wall clock time (in seconds):27.245 28.66/27.36 o 4620065 29.26/27.95 c cleaning 8879 clauses out of 17802 with flag 3000/113225 30.77/29.46 c cleaning 7457 clauses out of 14924 with flag 9001/119226 32.48/31.14 c cleaning 7224 clauses out of 14466 with flag 16000/126225 34.39/33.04 c cleaning 7614 clauses out of 15242 with flag 24000/134225 36.49/35.13 c cleaning 8300 clauses out of 16628 with flag 33000/143225 38.92/37.54 c cleaning 9154 clauses out of 18328 with flag 43000/153225 41.45/40.07 c cleaning 10077 clauses out of 20175 with flag 54001/164226 44.05/42.63 c cleaning 11040 clauses out of 22097 with flag 66000/176225 47.16/45.77 c cleaning 12029 clauses out of 24059 with flag 79002/189227 50.58/49.13 c cleaning 13006 clauses out of 26028 with flag 93000/203225 53.89/52.49 c cleaning 13996 clauses out of 28022 with flag 108000/218225 57.51/56.06 c cleaning 14994 clauses out of 30026 with flag 124000/234225 60.91/59.48 c cleaning 16008 clauses out of 32034 with flag 141002/251227 65.01/63.52 c cleaning 17005 clauses out of 34024 with flag 159000/269225 69.44/67.97 c cleaning 18007 clauses out of 36019 with flag 178000/288225 73.76/72.24 c cleaning 19001 clauses out of 38019 with flag 198007/308232 78.36/76.90 c cleaning 19995 clauses out of 40012 with flag 219001/329226 83.19/81.64 c cleaning 21001 clauses out of 42017 with flag 241001/351226 87.90/86.30 c cleaning 22006 clauses out of 44016 with flag 264001/374226 93.11/91.52 c cleaning 22996 clauses out of 46009 with flag 288000/398225 98.62/97.09 c cleaning 23994 clauses out of 48015 with flag 313002/423227 104.12/102.50 c cleaning 24996 clauses out of 50019 with flag 339000/449225 109.76/108.10 c cleaning 25996 clauses out of 52024 with flag 366001/476226 115.86/114.27 c cleaning 27001 clauses out of 54028 with flag 394001/504226 122.48/120.86 c cleaning 28002 clauses out of 56027 with flag 423001/533226 128.80/127.18 c cleaning 29001 clauses out of 58024 with flag 453000/563225 135.01/133.30 c cleaning 30007 clauses out of 60023 with flag 484000/594225 142.01/140.34 c cleaning 30996 clauses out of 62017 with flag 516001/626226 149.03/147.39 c cleaning 32001 clauses out of 64020 with flag 549000/659225 156.74/155.03 c cleaning 33003 clauses out of 66020 with flag 583001/693226 164.76/163.06 c cleaning 33991 clauses out of 68016 with flag 618000/728225 172.88/171.16 c cleaning 34998 clauses out of 70028 with flag 654003/764228 181.21/179.46 c cleaning 36002 clauses out of 72029 with flag 691002/801227 190.11/188.30 c cleaning 37005 clauses out of 74026 with flag 729001/839226 198.83/197.04 c cleaning 37989 clauses out of 76020 with flag 768000/878225 205.76/203.95 c Got one! Elapsed wall clock time (in seconds):203.839 205.76/203.95 o 4617893 207.06/205.24 c cleaning 35330 clauses out of 70669 with flag 5001/910863 208.70/206.81 c cleaning 20653 clauses out of 41340 with flag 11002/916864 210.40/208.52 c cleaning 13813 clauses out of 27685 with flag 18000/923862 212.20/210.31 c cleaning 10908 clauses out of 21872 with flag 26000/931862 214.21/212.36 c cleaning 9959 clauses out of 19964 with flag 35000/940862 216.21/214.39 c cleaning 9974 clauses out of 20007 with flag 45002/950864 218.23/216.33 c cleaning 10507 clauses out of 21031 with flag 56000/961862 220.33/218.44 c cleaning 11256 clauses out of 22525 with flag 68001/973863 222.77/220.84 c cleaning 12116 clauses out of 24268 with flag 81000/986862 225.68/223.71 c cleaning 13076 clauses out of 26152 with flag 95000/1000862 228.49/226.60 c cleaning 14028 clauses out of 28076 with flag 110000/1015862 231.79/229.88 c cleaning 15017 clauses out of 30048 with flag 126000/1031862 235.30/233.39 c cleaning 16008 clauses out of 32031 with flag 143000/1048862 238.70/236.78 c cleaning 17005 clauses out of 34023 with flag 161000/1066862 242.21/240.20 c cleaning 17994 clauses out of 36018 with flag 180000/1085862 245.93/243.97 c cleaning 19006 clauses out of 38024 with flag 200000/1105862 250.73/248.78 c cleaning 20003 clauses out of 40018 with flag 221000/1126862 255.44/253.41 c cleaning 20999 clauses out of 42016 with flag 243001/1148863 259.64/257.66 c cleaning 21985 clauses out of 44016 with flag 266000/1171862 264.75/262.78 c cleaning 23005 clauses out of 46032 with flag 290001/1195863 270.15/268.18 c cleaning 24010 clauses out of 48026 with flag 315000/1220862 276.48/274.43 c cleaning 24999 clauses out of 50019 with flag 341003/1246865 281.80/279.76 c cleaning 25989 clauses out of 52017 with flag 368000/1273862 287.52/285.49 c cleaning 27007 clauses out of 54028 with flag 396000/1301862 293.83/291.72 c cleaning 28010 clauses out of 56021 with flag 425000/1330862 300.43/298.32 c cleaning 29001 clauses out of 58015 with flag 455004/1360866 307.04/304.98 c cleaning 30005 clauses out of 60013 with flag 486003/1391865 314.05/311.95 c cleaning 31000 clauses out of 62005 with flag 518000/1423862 321.17/319.09 c cleaning 31993 clauses out of 64007 with flag 551002/1456864 329.07/326.98 c cleaning 32998 clauses out of 66013 with flag 585001/1490863 336.48/334.37 c cleaning 34001 clauses out of 68014 with flag 620000/1525862 344.60/342.49 c cleaning 34995 clauses out of 70013 with flag 656000/1561862 352.42/350.24 c cleaning 35991 clauses out of 72020 with flag 693002/1598864 360.44/358.22 c cleaning 37002 clauses out of 74027 with flag 731000/1636862 364.37/362.18 c Got one! Elapsed wall clock time (in seconds):362.06 364.37/362.18 o 4613516 364.47/362.23 c Got one! Elapsed wall clock time (in seconds):362.109 364.47/362.23 o 4514069 364.77/362.51 c Got one! Elapsed wall clock time (in seconds):362.394 364.77/362.51 o 4501406 365.67/363.45 c cleaning 29543 clauses out of 59113 with flag 4001/1658950 367.29/365.01 c cleaning 17759 clauses out of 35569 with flag 10000/1664949 368.79/366.59 c cleaning 12337 clauses out of 24812 with flag 17002/1671951 370.49/368.25 c cleaning 10197 clauses out of 20475 with flag 25002/1679951 372.30/370.09 c cleaning 9595 clauses out of 19277 with flag 34001/1688950 374.42/372.11 c cleaning 9826 clauses out of 19685 with flag 44004/1698953 376.52/374.29 c cleaning 10424 clauses out of 20855 with flag 55000/1709949 379.16/376.88 c cleaning 11194 clauses out of 22431 with flag 67000/1721949 381.87/379.54 c cleaning 12101 clauses out of 24237 with flag 80000/1734949 384.76/382.47 c cleaning 13041 clauses out of 26137 with flag 94001/1748950 387.87/385.56 c cleaning 14013 clauses out of 28095 with flag 109000/1763949 391.68/389.33 c cleaning 15019 clauses out of 30083 with flag 125001/1779950 395.30/392.99 c cleaning 16026 clauses out of 32063 with flag 142000/1796949 399.21/396.84 c cleaning 17005 clauses out of 34037 with flag 160000/1814949 403.51/401.18 c cleaning 18007 clauses out of 36032 with flag 179000/1833949 408.13/405.72 c cleaning 19009 clauses out of 38025 with flag 199000/1853949 412.97/410.54 c cleaning 19998 clauses out of 40016 with flag 220000/1874949 417.88/415.43 c cleaning 20996 clauses out of 42018 with flag 242000/1896949 422.80/420.37 c cleaning 22000 clauses out of 44022 with flag 265000/1919949 427.63/425.16 c cleaning 22995 clauses out of 46022 with flag 289000/1943949 433.33/430.84 c cleaning 23995 clauses out of 48028 with flag 314001/1968950 439.14/436.61 c cleaning 25006 clauses out of 50034 with flag 340002/1994951 445.26/442.78 c cleaning 26009 clauses out of 52027 with flag 367001/2021950 451.16/448.68 c cleaning 27003 clauses out of 54019 with flag 395002/2049951 457.17/454.63 c cleaning 27993 clauses out of 56014 with flag 424000/2078949 463.78/461.28 c cleaning 29001 clauses out of 58022 with flag 454001/2108950 470.79/468.25 c cleaning 29989 clauses out of 60020 with flag 485000/2139949 477.31/474.79 c cleaning 31003 clauses out of 62032 with flag 517001/2171950 485.04/482.44 c cleaning 32002 clauses out of 64028 with flag 550000/2204949 492.56/489.97 c cleaning 33010 clauses out of 66027 with flag 584001/2238950 499.58/496.94 c cleaning 33989 clauses out of 68016 with flag 619000/2273949 507.59/504.98 c cleaning 35000 clauses out of 70028 with flag 655001/2309950 515.88/513.23 c cleaning 35996 clauses out of 72027 with flag 692000/2346949 523.49/520.83 c cleaning 36998 clauses out of 74031 with flag 730000/2384949 531.61/528.96 c cleaning 38000 clauses out of 76033 with flag 769000/2423949 540.82/538.14 c cleaning 38996 clauses out of 78033 with flag 809000/2463949 549.56/546.86 c cleaning 40015 clauses out of 80038 with flag 850001/2504950 558.48/555.70 c cleaning 41009 clauses out of 82023 with flag 892001/2546950 567.12/564.31 c cleaning 41991 clauses out of 84013 with flag 935000/2589949 576.43/573.62 c cleaning 42998 clauses out of 86022 with flag 979000/2633949 585.74/582.97 c cleaning 44002 clauses out of 88025 with flag 1024001/2678950 595.84/593.02 c cleaning 45000 clauses out of 90022 with flag 1070000/2724949 606.06/603.26 c cleaning 46003 clauses out of 92022 with flag 1117000/2771949 616.37/613.57 c cleaning 47003 clauses out of 94021 with flag 1165002/2819951 627.20/624.36 c cleaning 47995 clauses out of 96017 with flag 1214001/2868950 638.31/635.44 c cleaning 49004 clauses out of 98021 with flag 1264000/2918949 650.92/648.00 c cleaning 50005 clauses out of 100018 with flag 1315001/2969950 663.36/660.31 c cleaning 50996 clauses out of 102012 with flag 1367000/3021949 676.28/673.25 c cleaning 52004 clauses out of 104016 with flag 1420000/3074949 688.68/685.68 c cleaning 52980 clauses out of 106012 with flag 1474000/3128949 700.92/697.89 c cleaning 53999 clauses out of 108032 with flag 1529000/3183949 713.63/710.56 c cleaning 55006 clauses out of 110033 with flag 1585000/3239949 726.65/723.53 c cleaning 55992 clauses out of 112027 with flag 1642000/3296949 741.07/737.94 c cleaning 57002 clauses out of 114039 with flag 1700004/3354953 754.79/751.66 c cleaning 57995 clauses out of 116033 with flag 1759000/3413949 771.27/767.94 c cleaning 59011 clauses out of 118042 with flag 1819004/3473953 783.78/780.41 c cleaning 59997 clauses out of 120027 with flag 1880000/3534949 798.19/794.88 c cleaning 61000 clauses out of 122031 with flag 1942001/3596950 812.10/808.79 c cleaning 62009 clauses out of 124030 with flag 2005000/3659949 826.64/823.23 c cleaning 63001 clauses out of 126022 with flag 2069001/3723950 841.25/837.86 c cleaning 63982 clauses out of 128020 with flag 2134000/3788949 855.47/852.00 c cleaning 65000 clauses out of 130038 with flag 2200000/3854949 869.30/865.83 c cleaning 65999 clauses out of 132041 with flag 2267003/3921952 884.44/880.98 c cleaning 67015 clauses out of 134039 with flag 2335000/3989949 901.36/897.86 c cleaning 68010 clauses out of 136026 with flag 2404002/4058951 916.37/912.84 c cleaning 68982 clauses out of 138015 with flag 2474001/4128950 935.62/931.90 c cleaning 69987 clauses out of 140032 with flag 2545000/4199949 954.54/950.75 c cleaning 71006 clauses out of 142046 with flag 2617001/4271950 975.81/971.81 c cleaning 71992 clauses out of 144039 with flag 2690000/4344949 1001.98/996.87 c cleaning 73019 clauses out of 146047 with flag 2764000/4418949 1026.57/1020.82 c cleaning 74010 clauses out of 148028 with flag 2839000/4493949 1046.74/1040.77 c cleaning 75000 clauses out of 150018 with flag 2915000/4569949 1064.74/1058.66 c cleaning 75986 clauses out of 152019 with flag 2992001/4646950 1083.68/1077.54 c cleaning 77001 clauses out of 154033 with flag 3070001/4724950 1102.50/1096.25 c cleaning 78004 clauses out of 156031 with flag 3149000/4803949 1120.73/1114.42 c cleaning 78995 clauses out of 158027 with flag 3229000/4883949 1139.20/1132.81 c cleaning 79997 clauses out of 160032 with flag 3310000/4964949 1158.10/1151.61 c cleaning 80997 clauses out of 162037 with flag 3392002/5046951 1175.62/1169.05 c cleaning 82013 clauses out of 164038 with flag 3475000/5129949 1196.10/1189.24 c cleaning 83001 clauses out of 166025 with flag 3559000/5213949 1217.91/1209.65 c cleaning 83994 clauses out of 168024 with flag 3644000/5298949 1240.51/1231.45 c cleaning 84996 clauses out of 170030 with flag 3730000/5384949 1251.58/1242.27 c Got one! Elapsed wall clock time (in seconds):1242.157 1251.58/1242.27 o 4439354 1253.22/1243.84 c cleaning 67045 clauses out of 134104 with flag 5000/5434019 1254.93/1245.51 c cleaning 36509 clauses out of 73059 with flag 11000/5440019 1256.55/1247.17 c cleaning 21714 clauses out of 43551 with flag 18001/5447020 1258.55/1249.11 c cleaning 14900 clauses out of 29838 with flag 26002/5455021 1260.67/1251.23 c cleaning 11932 clauses out of 23938 with flag 35002/5464021 1262.88/1253.49 c cleaning 10950 clauses out of 22005 with flag 45001/5474020 1265.41/1255.90 c cleaning 10978 clauses out of 22056 with flag 56002/5485021 1268.35/1258.89 c cleaning 11528 clauses out of 23077 with flag 68001/5497020 1271.36/1261.81 c cleaning 12271 clauses out of 24549 with flag 81001/5510020 1274.38/1264.84 c cleaning 13115 clauses out of 26277 with flag 95000/5524019 1278.00/1268.41 c cleaning 14081 clauses out of 28164 with flag 110002/5539021 1281.50/1271.91 c cleaning 15033 clauses out of 30081 with flag 126000/5555019 1284.90/1275.34 c cleaning 16013 clauses out of 32048 with flag 143000/5572019 1288.43/1278.89 c cleaning 17009 clauses out of 34036 with flag 161001/5590020 1292.14/1282.52 c cleaning 18003 clauses out of 36027 with flag 180001/5609020 1296.45/1286.90 c cleaning 19000 clauses out of 38023 with flag 200000/5629019 1300.86/1291.28 c cleaning 19995 clauses out of 40023 with flag 221000/5650019 1305.78/1296.16 c cleaning 20999 clauses out of 42028 with flag 243000/5672019 1310.40/1300.72 c cleaning 21993 clauses out of 44029 with flag 266000/5695019 1315.43/1305.72 c cleaning 23001 clauses out of 46037 with flag 290001/5719020 1320.24/1310.59 c cleaning 24015 clauses out of 48035 with flag 315000/5744019 1325.95/1316.24 c cleaning 25002 clauses out of 50020 with flag 341000/5770019 1331.78/1322.03 c cleaning 25985 clauses out of 52018 with flag 368000/5797019 1338.10/1328.35 c cleaning 27009 clauses out of 54034 with flag 396001/5825020 1344.82/1335.09 c cleaning 28001 clauses out of 56024 with flag 425000/5854019 1351.78/1341.94 c cleaning 28991 clauses out of 58023 with flag 455000/5884019 1358.68/1348.86 c cleaning 30002 clauses out of 60032 with flag 486000/5915019 1365.72/1355.86 c cleaning 30992 clauses out of 62031 with flag 518001/5947020 1373.47/1363.52 c cleaning 32016 clauses out of 64042 with flag 551004/5980023 1382.94/1372.94 c cleaning 32990 clauses out of 66023 with flag 585001/6014020 1391.77/1381.67 c cleaning 34006 clauses out of 68033 with flag 620001/6049020 1400.94/1390.79 c cleaning 34994 clauses out of 70026 with flag 656000/6085019 1412.65/1401.51 c cleaning 36009 clauses out of 72032 with flag 693000/6122019 1421.97/1410.79 c cleaning 36994 clauses out of 74023 with flag 731001/6160020 1431.54/1420.12 c cleaning 38003 clauses out of 76028 with flag 770000/6199019 1441.88/1430.37 c cleaning 39007 clauses out of 78025 with flag 810000/6239019 1451.94/1440.24 c cleaning 39999 clauses out of 80018 with flag 851000/6280019 1461.36/1449.51 c cleaning 41000 clauses out of 82019 with flag 893000/6322019 1470.88/1458.91 c cleaning 41997 clauses out of 84021 with flag 936002/6365021 1481.41/1469.35 c cleaning 42984 clauses out of 86022 with flag 980000/6409019 1492.62/1480.30 c cleaning 43997 clauses out of 88038 with flag 1025000/6454019 1503.93/1491.31 c cleaning 45013 clauses out of 90043 with flag 1071002/6500021 1515.67/1502.88 c cleaning 45988 clauses out of 92028 with flag 1118000/6547019 1526.97/1513.95 c cleaning 46998 clauses out of 94040 with flag 1166000/6595019 1538.78/1525.57 c cleaning 48003 clauses out of 96042 with flag 1215000/6644019 1552.14/1538.69 c cleaning 49007 clauses out of 98039 with flag 1265000/6694019 1564.09/1550.40 c cleaning 50014 clauses out of 100032 with flag 1316000/6745019 1576.86/1563.09 c cleaning 50997 clauses out of 102019 with flag 1368001/6797020 1589.47/1575.49 c cleaning 52001 clauses out of 104023 with flag 1421002/6850021 1603.33/1589.13 c cleaning 53010 clauses out of 106023 with flag 1475003/6904022 1616.00/1601.63 c cleaning 53990 clauses out of 108010 with flag 1530000/6959019 1628.83/1614.28 c cleaning 54997 clauses out of 110021 with flag 1586001/7015020 1642.81/1627.95 c cleaning 56003 clauses out of 112023 with flag 1643000/7072019 1659.52/1644.25 c cleaning 57004 clauses out of 114020 with flag 1701000/7130019 1675.49/1659.83 c cleaning 58001 clauses out of 116016 with flag 1760000/7189019 1692.23/1676.24 c cleaning 58986 clauses out of 118015 with flag 1820000/7249019 1709.03/1692.79 c cleaning 60004 clauses out of 120030 with flag 1881001/7310020 1725.43/1708.93 c cleaning 61002 clauses out of 122027 with flag 1943003/7372022 1741.20/1724.64 c cleaning 61990 clauses out of 124022 with flag 2006000/7435019 1756.34/1739.61 c cleaning 62999 clauses out of 126032 with flag 2070000/7499019 1772.49/1755.72 c cleaning 64001 clauses out of 128034 with flag 2135001/7564020 1788.12/1771.29 c cleaning 65006 clauses out of 130034 with flag 2201002/7630021 1800.00/1783.02 c starts : 309 1800.00/1783.02 c conflicts : 7677136 1800.00/1783.02 c decisions : 18705578 1800.00/1783.02 c propagations : 2295349222 1800.00/1783.02 c inspects : 9655929161 1800.00/1783.02 c shortcuts : 0 1800.00/1783.02 c learnt literals : 9 1800.00/1783.02 c learnt binary clauses : 308 1800.00/1783.02 c learnt ternary clauses : 1488 1800.00/1783.02 c learnt constraints : 7677127 1800.00/1783.02 c ignored constraints : 0 1800.00/1783.02 c root simplifications : 0 1800.00/1783.02 c removed literals (reason simplification) : 0 1800.00/1783.02 c reason swapping (by a shorter reason) : 0 1800.00/1783.02 c Calls to reduceDB : 224 1800.00/1783.02 c number of reductions to clauses (during analyze) : 0 1800.00/1783.02 c number of learned constraints concerned by reduction : 0 1800.00/1783.02 c number of learning phase by resolution : 0 1800.00/1783.02 c number of learning phase by cutting planes : 0 1800.00/1783.02 c speed (assignments/second) : 1287704.1003347521 1800.00/1783.02 c non guided choices 2763 1800.00/1783.04 c learnt constraints type 1800.00/1783.04 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 308 1800.00/1783.04 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111908 1800.00/1783.04 c constraints type 1800.00/1783.04 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.00/1783.04 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.00/1783.04 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.00/1783.04 c ignored satisfied constraints => 4 1800.00/1783.04 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.00/1783.04 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.00/1783.04 c 21932 constraints processed. 1800.00/1783.04 s SATISFIABLE 1800.00/1783.05 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 x9533 x9534 -x9535 -x9536 -x9537 x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 x9592 x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 x9728 x9729 -x9730 -x9731 -x9732 x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 x9742 -x9743 x9744 -x9745 -x9746 -x9747 x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 x9757 x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.00/1783.06 c objective function=4439354 1800.00/1783.06 c Total wall clock time (in seconds): 1782.947
OK 4439354
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690029-1337895316/watcher-3690029-1337895316 -o /tmp/evaluation-result-3690029-1337895316/solver-3690029-1337895316 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690029-1337895316.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.05 0.98 1.59 2/173 28603 /proc/meminfo: memFree=28153888/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/28603/stat : 28603 (java) D 28601 28603 22409 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255658897 9515008 183 33554432000 1073741824 1073778376 140733328269184 140733328260216 213866331829 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2323 183 140 9 0 71 0 [startup+0.0699681 s] /proc/loadavg: 0.05 0.98 1.59 2/173 28603 /proc/meminfo: memFree=28153888/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 3207 0 1 0 4 1 0 0 20 0 18 0 255658897 9787813888 4415 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2389603 4415 1757 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100262 s] /proc/loadavg: 0.05 0.98 1.59 2/173 28603 /proc/meminfo: memFree=28153888/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 4282 0 1 0 8 1 0 0 20 0 18 0 255658897 9787813888 5483 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2389603 5484 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300223 s] /proc/loadavg: 0.05 0.98 1.59 2/173 28603 /proc/meminfo: memFree=28153888/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9558412 CPUtime=0.48 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 5503 0 1 0 47 1 0 0 20 0 18 0 255658897 9787813888 9072 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2389603 9072 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558412 [startup+0.700225 s] /proc/loadavg: 0.05 0.98 1.59 2/173 28603 /proc/meminfo: memFree=28153888/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=1.39 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 9392 0 1 0 136 3 0 0 20 0 19 0 255658897 9855975424 22310 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 22310 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 9624976 [startup+1.50065 s] /proc/loadavg: 0.05 0.98 1.59 3/212 28649 /proc/meminfo: memFree=27896340/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=2.47 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 9538 0 1 0 244 3 0 0 20 0 19 0 255658897 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 23880 2256 9 0 2396937 0 [pid=28603/tid=28605] ppid=28601 vsize=9624976 CPUtime=1.47 cores=0,2,4,6 /proc/28603/task/28605/stat : 28605 (java) R 28601 28603 22409 0 -1 4202560 2483 0 1 0 145 2 0 0 20 0 19 0 255658898 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896730911336 139896564654996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28606] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28606/stat : 28606 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896692402856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28607] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28607/stat : 28607 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896691350312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28608] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28608/stat : 28608 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896690297768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28609] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28609/stat : 28609 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896689245224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28610] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28610/stat : 28610 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896688191656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28611] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28611/stat : 28611 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896687139112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28612] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28612/stat : 28612 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896686086568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28613] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28613/stat : 28613 (java) S 28601 28603 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896685034024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28614] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28614/stat : 28614 (java) S 28601 28603 22409 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255658900 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896554478184 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28615] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28615/stat : 28615 (java) S 28601 28603 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896553424504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28616] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28616/stat : 28616 (java) S 28601 28603 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896552371848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28617] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28617/stat : 28617 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896551320592 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.48 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3056 0 0 0 48 0 0 0 20 0 19 0 255658903 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.48 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2798 0 0 0 48 0 0 0 20 0 19 0 255658903 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 23880 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 9624976 [startup+3.10065 s] /proc/loadavg: 0.05 0.98 1.59 3/213 28650 /proc/meminfo: memFree=27865792/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=4.19 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 9940 0 1 0 414 5 0 0 20 0 19 0 255658897 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 31607 2284 9 0 2396937 0 [pid=28603/tid=28605] ppid=28601 vsize=9624976 CPUtime=3.03 cores=0,2,4,6 /proc/28603/task/28605/stat : 28605 (java) R 28601 28603 22409 0 -1 4202560 2492 0 1 0 301 2 0 0 20 0 19 0 255658898 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896730911096 139896564795910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28606] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28606/stat : 28606 (java) S 28601 28603 22409 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896692402856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28607] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28607/stat : 28607 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896691350312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28608] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28608/stat : 28608 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896690297768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28609] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28609/stat : 28609 (java) S 28601 28603 22409 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896689245224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28610] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28610/stat : 28610 (java) S 28601 28603 22409 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896688191656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28611] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28611/stat : 28611 (java) S 28601 28603 22409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896687139112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28612] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28612/stat : 28612 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896686086568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28613] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28613/stat : 28613 (java) S 28601 28603 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896685034024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28614] ppid=28601 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/28603/task/28614/stat : 28614 (java) S 28601 28603 22409 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255658900 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896554478184 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28615] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28615/stat : 28615 (java) S 28601 28603 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896553424504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28616] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28616/stat : 28616 (java) S 28601 28603 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896552371848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28617] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28617/stat : 28617 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896551320592 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.55 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3387 0 0 0 55 0 0 0 20 0 19 0 255658903 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.51 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2798 0 0 0 51 0 0 0 20 0 19 0 255658903 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 31607 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 9624976 [startup+6.30074 s] /proc/loadavg: 0.21 1.00 1.59 3/213 28650 /proc/meminfo: memFree=27839072/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=7.51 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 10421 0 1 0 746 5 0 0 20 0 19 0 255658897 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 33326 2284 9 0 2396937 0 [pid=28603/tid=28605] ppid=28601 vsize=9624976 CPUtime=6.16 cores=0,2,4,6 /proc/28603/task/28605/stat : 28605 (java) R 28601 28603 22409 0 -1 4202560 2495 0 1 0 614 2 0 0 20 0 19 0 255658898 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896730911008 139896564795008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28606] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28606/stat : 28606 (java) S 28601 28603 22409 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896692402856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28607] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28607/stat : 28607 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896691350312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28608] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28608/stat : 28608 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896690297768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28609] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28609/stat : 28609 (java) S 28601 28603 22409 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896689245224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28610] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28610/stat : 28610 (java) S 28601 28603 22409 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896688191656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28611] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28611/stat : 28611 (java) S 28601 28603 22409 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896687139112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28612] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28612/stat : 28612 (java) S 28601 28603 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896686086568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28613] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28613/stat : 28613 (java) S 28601 28603 22409 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255658899 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896685034024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28614] ppid=28601 vsize=9624976 CPUtime=0.06 cores=0,2,4,6 /proc/28603/task/28614/stat : 28614 (java) S 28601 28603 22409 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 19 0 255658900 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896554478184 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28615] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28615/stat : 28615 (java) S 28601 28603 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896553424504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28616] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28616/stat : 28616 (java) S 28601 28603 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896552371848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28617] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28617/stat : 28617 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896551320592 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3834 0 0 0 62 0 0 0 20 0 19 0 255658903 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.56 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2822 0 0 0 56 0 0 0 20 0 19 0 255658903 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 33326 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3836 0 0 0 63 0 0 0 20 0 19 0 255658903 9855975424 137299 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2839 0 0 0 65 0 0 0 20 0 19 0 255658903 9855975424 137299 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 137299 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0.33 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 95 0 0 0 15 18 0 0 20 0 19 0 255658903 9855975424 137299 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 137299 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1678 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.91 3/213 28698 /proc/meminfo: memFree=27152872/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=1738.9 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 40083 0 1 0 173746 144 0 0 20 0 19 0 255658897 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 150693 2285 9 0 2396937 0 [pid=28603/tid=28605] ppid=28601 vsize=9624976 CPUtime=1702.24 cores=0,2,4,6 /proc/28603/task/28605/stat : 28605 (java) R 28601 28603 22409 0 -1 4202560 3095 0 1 0 170195 29 0 0 20 0 19 0 255658898 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896730910064 139896564795707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28606] ppid=28601 vsize=9624976 CPUtime=2.74 cores=0,2,4,6 /proc/28603/task/28606/stat : 28606 (java) S 28601 28603 22409 0 -1 4202560 3422 0 0 0 259 15 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896692402856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28607] ppid=28601 vsize=9624976 CPUtime=2.86 cores=0,2,4,6 /proc/28603/task/28607/stat : 28607 (java) S 28601 28603 22409 0 -1 4202560 2368 0 0 0 268 18 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896691350312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28608] ppid=28601 vsize=9624976 CPUtime=2.75 cores=0,2,4,6 /proc/28603/task/28608/stat : 28608 (java) S 28601 28603 22409 0 -1 4202560 4044 0 0 0 263 12 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896690297768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28609] ppid=28601 vsize=9624976 CPUtime=2.8 cores=0,2,4,6 /proc/28603/task/28609/stat : 28609 (java) S 28601 28603 22409 0 -1 4202560 3527 0 0 0 264 16 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896689245224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28610] ppid=28601 vsize=9624976 CPUtime=2.74 cores=0,2,4,6 /proc/28603/task/28610/stat : 28610 (java) S 28601 28603 22409 0 -1 4202560 4675 0 0 0 260 14 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896688191656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28611] ppid=28601 vsize=9624976 CPUtime=2.84 cores=0,2,4,6 /proc/28603/task/28611/stat : 28611 (java) S 28601 28603 22409 0 -1 4202560 3108 0 0 0 269 15 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896687139112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28612] ppid=28601 vsize=9624976 CPUtime=2.7 cores=0,2,4,6 /proc/28603/task/28612/stat : 28612 (java) S 28601 28603 22409 0 -1 4202560 3346 0 0 0 256 14 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896686086568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28613] ppid=28601 vsize=9624976 CPUtime=2.69 cores=0,2,4,6 /proc/28603/task/28613/stat : 28613 (java) S 28601 28603 22409 0 -1 4202560 3458 0 0 0 255 14 0 0 20 0 19 0 255658899 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896685034024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28614] ppid=28601 vsize=9624976 CPUtime=8.86 cores=0,2,4,6 /proc/28603/task/28614/stat : 28614 (java) S 28601 28603 22409 0 -1 4202560 1080 0 0 0 879 7 0 0 20 0 19 0 255658900 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896554478184 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28615] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28615/stat : 28615 (java) S 28601 28603 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896553424504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28616] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28616/stat : 28616 (java) S 28601 28603 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896552371848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28617] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28617/stat : 28617 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896551320592 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3836 0 0 0 63 0 0 0 20 0 19 0 255658903 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2839 0 0 0 65 0 0 0 20 0 19 0 255658903 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0.34 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 99 0 0 0 16 18 0 0 20 0 19 0 255658903 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 150693 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1738.9 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 1.91 3/213 28698 /proc/meminfo: memFree=27120668/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=1799.29 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 40290 0 1 0 179782 147 0 0 20 0 19 0 255658897 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 156467 2285 9 0 2396937 0 [pid=28603/tid=28605] ppid=28601 vsize=9624976 CPUtime=1761.71 cores=0,2,4,6 /proc/28603/task/28605/stat : 28605 (java) R 28601 28603 22409 0 -1 4202560 3104 0 1 0 176141 30 0 0 20 0 19 0 255658898 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896730910064 139896564592943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28606] ppid=28601 vsize=9624976 CPUtime=2.82 cores=0,2,4,6 /proc/28603/task/28606/stat : 28606 (java) S 28601 28603 22409 0 -1 4202560 3448 0 0 0 267 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896692402856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28607] ppid=28601 vsize=9624976 CPUtime=2.93 cores=0,2,4,6 /proc/28603/task/28607/stat : 28607 (java) S 28601 28603 22409 0 -1 4202560 2385 0 0 0 275 18 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896691350312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28608] ppid=28601 vsize=9624976 CPUtime=2.81 cores=0,2,4,6 /proc/28603/task/28608/stat : 28608 (java) S 28601 28603 22409 0 -1 4202560 4070 0 0 0 268 13 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896690297768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28609] ppid=28601 vsize=9624976 CPUtime=2.85 cores=0,2,4,6 /proc/28603/task/28609/stat : 28609 (java) S 28601 28603 22409 0 -1 4202560 3549 0 0 0 269 16 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896689245224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28610] ppid=28601 vsize=9624976 CPUtime=2.8 cores=0,2,4,6 /proc/28603/task/28610/stat : 28610 (java) S 28601 28603 22409 0 -1 4202560 4686 0 0 0 265 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896688191656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28611] ppid=28601 vsize=9624976 CPUtime=2.89 cores=0,2,4,6 /proc/28603/task/28611/stat : 28611 (java) S 28601 28603 22409 0 -1 4202560 3119 0 0 0 274 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896687139112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28612] ppid=28601 vsize=9624976 CPUtime=2.82 cores=0,2,4,6 /proc/28603/task/28612/stat : 28612 (java) S 28601 28603 22409 0 -1 4202560 3377 0 0 0 267 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896686086568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28613] ppid=28601 vsize=9624976 CPUtime=2.76 cores=0,2,4,6 /proc/28603/task/28613/stat : 28613 (java) S 28601 28603 22409 0 -1 4202560 3474 0 0 0 262 14 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896685034024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28614] ppid=28601 vsize=9624976 CPUtime=9.07 cores=0,2,4,6 /proc/28603/task/28614/stat : 28614 (java) S 28601 28603 22409 0 -1 4202560 1114 0 0 0 899 8 0 0 20 0 19 0 255658900 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896554478184 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28615] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28615/stat : 28615 (java) S 28601 28603 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896553424504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28616] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28616/stat : 28616 (java) S 28601 28603 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896552371848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28617] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28617/stat : 28617 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896551320592 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3836 0 0 0 63 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2839 0 0 0 65 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0.34 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 103 0 0 0 16 18 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.29 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783 s] /proc/loadavg: 2.06 2.02 1.91 3/213 28698 /proc/meminfo: memFree=27120792/32873648 swapFree=6336/6336 [pid=28603] ppid=28601 vsize=9624976 CPUtime=1800 cores=0,2,4,6 /proc/28603/stat : 28603 (java) S 28601 28603 22409 0 -1 4202496 40290 0 1 0 179853 147 0 0 20 0 19 0 255658897 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 140735299983344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28603/statm: 2406244 156467 2285 9 0 2396937 0 [pid=28603/tid=28605] ppid=28601 vsize=9624976 CPUtime=1762.42 cores=0,2,4,6 /proc/28603/task/28605/stat : 28605 (java) R 28601 28603 22409 0 -1 4202560 3104 0 1 0 176212 30 0 0 20 0 19 0 255658898 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896730910064 139896564797076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28606] ppid=28601 vsize=9624976 CPUtime=2.82 cores=0,2,4,6 /proc/28603/task/28606/stat : 28606 (java) S 28601 28603 22409 0 -1 4202560 3448 0 0 0 267 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896692402856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28603/tid=28607] ppid=28601 vsize=9624976 CPUtime=2.93 cores=0,2,4,6 /proc/28603/task/28607/stat : 28607 (java) S 28601 28603 22409 0 -1 4202560 2385 0 0 0 275 18 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896691350312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28608] ppid=28601 vsize=9624976 CPUtime=2.81 cores=0,2,4,6 /proc/28603/task/28608/stat : 28608 (java) S 28601 28603 22409 0 -1 4202560 4070 0 0 0 268 13 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896690297768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28609] ppid=28601 vsize=9624976 CPUtime=2.85 cores=0,2,4,6 /proc/28603/task/28609/stat : 28609 (java) S 28601 28603 22409 0 -1 4202560 3549 0 0 0 269 16 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896689245224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28610] ppid=28601 vsize=9624976 CPUtime=2.8 cores=0,2,4,6 /proc/28603/task/28610/stat : 28610 (java) S 28601 28603 22409 0 -1 4202560 4686 0 0 0 265 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896688191656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28611] ppid=28601 vsize=9624976 CPUtime=2.89 cores=0,2,4,6 /proc/28603/task/28611/stat : 28611 (java) S 28601 28603 22409 0 -1 4202560 3119 0 0 0 274 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896687139112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28612] ppid=28601 vsize=9624976 CPUtime=2.82 cores=0,2,4,6 /proc/28603/task/28612/stat : 28612 (java) S 28601 28603 22409 0 -1 4202560 3377 0 0 0 267 15 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896686086568 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28613] ppid=28601 vsize=9624976 CPUtime=2.76 cores=0,2,4,6 /proc/28603/task/28613/stat : 28613 (java) S 28601 28603 22409 0 -1 4202560 3474 0 0 0 262 14 0 0 20 0 19 0 255658899 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896685034024 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28614] ppid=28601 vsize=9624976 CPUtime=9.07 cores=0,2,4,6 /proc/28603/task/28614/stat : 28614 (java) S 28601 28603 22409 0 -1 4202560 1114 0 0 0 899 8 0 0 20 0 19 0 255658900 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896554478184 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28615] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28615/stat : 28615 (java) S 28601 28603 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896553424504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28616] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28616/stat : 28616 (java) S 28601 28603 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255658901 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896552371848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28617] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28617/stat : 28617 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896551320592 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28603/tid=28618] ppid=28601 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/28603/task/28618/stat : 28618 (java) S 28601 28603 22409 0 -1 4202560 3836 0 0 0 63 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896550266936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28619] ppid=28601 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/28603/task/28619/stat : 28619 (java) S 28601 28603 22409 0 -1 4202560 2839 0 0 0 65 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139896549214392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28620] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28620/stat : 28620 (java) S 28601 28603 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139895674759672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28603/tid=28621] ppid=28601 vsize=9624976 CPUtime=0.34 cores=0,2,4,6 /proc/28603/task/28621/stat : 28621 (java) S 28601 28603 22409 0 -1 4202560 103 0 0 0 16 18 0 0 20 0 19 0 255658903 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139895673707336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28603/tid=28649] ppid=28601 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/28603/task/28649/stat : 28649 (java) S 28601 28603 22409 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255658948 9855975424 156467 33554432000 1073741824 1073778376 140735299992208 139895672653096 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28603 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=258231 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=921707 # CPU time returned by wait4() is 1796.18 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1783.07 CPU time (s): 1800 CPU user time (s): 1798.53 CPU system time (s): 1.47 CPU usage (%): 100.949 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.26 system time used= 1.92171 maximum resident set size= 824844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40324 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55856 involuntary context switches= 51595 runsolver used 5.75012 second user time and 14.1039 second system time The end
Begin job on node112 at 2012-05-24 23:35:16 IDJOB=3690029 IDBENCH=92657 IDSOLVER=2269 FILE ID=node112/3690029-1337895316 RUNJOBID= node112-1337895316-28585 PBS_JOBID= 14620092 Free space on /tmp= 71696 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690029-1337895316/watcher-3690029-1337895316 -o /tmp/evaluation-result-3690029-1337895316/solver-3690029-1337895316 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690029-1337895316.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7 RANDOM SEED=1994238525 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28154632 kB Buffers: 213764 kB Cached: 3726276 kB SwapCached: 0 kB Active: 497184 kB Inactive: 3455096 kB Active(anon): 14672 kB Inactive(anon): 0 kB Active(file): 482512 kB Inactive(file): 3455096 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1928 kB Writeback: 0 kB AnonPages: 18188 kB Mapped: 13564 kB Shmem: 200 kB Slab: 628824 kB SReclaimable: 73324 kB SUnreclaim: 555500 kB KernelStack: 1376 kB PageTables: 3784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 107784 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node112 at 2012-05-25 00:05:01