Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.14 | 929.264 |
Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_6.opb |
MD5SUM | 5083e4e53b2d6b5d7b03dffa57422dcf |
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 | 5473551 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
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 | 5100 |
Total number of constraints | 7606 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 6 |
Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1225 |
Number of terms in the objective function | 4950 |
Biggest coefficient in the objective function | 160103007 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 54947189218 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 160103007 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 54947189218 |
Number of bits of the biggest sum of numbers | 36 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.1.v20110525 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 9996466904 0.08/0.10 c Max memory 10048897024 0.08/0.10 c Total memory 10048897024 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3744426-1338806306.opb 0.08/0.12 c reading problem ... 1.40/0.63 c ... done. Wall clock time 0.501s. 1.40/0.63 c #vars 5100 1.40/0.63 c #constraints 12610 1.40/0.63 c constraints type 1.40/0.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1.40/0.63 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.40/0.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.40/0.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1.40/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 1.40/0.63 c constraints type 1.40/0.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1.40/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1.40/0.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.40/0.63 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.40/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375 2.97/1.08 c And the winner is Resolution 3.36/1.14 c SATISFIABLE 3.36/1.14 c OPTIMIZING... 3.36/1.14 c Got one! Elapsed wall clock time (in seconds):1.019 3.36/1.14 o 5926973 3.36/1.17 c And the winner is Resolution 3.53/1.67 c Got one! Elapsed wall clock time (in seconds):1.544 3.53/1.67 o 5921953 3.60/1.74 c And the winner is Resolution 3.79/2.19 c Got one! Elapsed wall clock time (in seconds):2.069 3.79/2.19 o 5912661 9.58/4.94 c cleaning 2570 clauses out of 5139 with flag 5001/5139 14.47/7.33 c cleaning 4278 clauses out of 8568 with flag 11000/11138 19.03/9.67 c cleaning 5640 clauses out of 11290 with flag 18000/18138 27.04/13.62 c cleaning 6820 clauses out of 13650 with flag 26000/26138 31.46/15.88 c And the winner is CuttingPlanes 31.56/16.23 c Got one! Elapsed wall clock time (in seconds):16.108 31.56/16.23 o 5908501 31.56/16.28 c And the winner is Resolution 32.01/16.75 c Got one! Elapsed wall clock time (in seconds):16.628 32.01/16.75 o 5498789 32.01/16.77 c And the winner is Resolution 32.06/17.27 c Got one! Elapsed wall clock time (in seconds):17.148 32.06/17.27 o 5473551 35.70/19.16 c cleaning 6196 clauses out of 12391 with flag 4000/31699 39.86/21.29 c cleaning 6090 clauses out of 12195 with flag 10000/37699 44.45/23.52 c cleaning 6543 clauses out of 13105 with flag 17000/44699 50.62/26.69 c cleaning 7271 clauses out of 14562 with flag 25000/52699 55.56/29.14 c cleaning 8142 clauses out of 16291 with flag 34000/61699 61.30/32.01 c cleaning 9067 clauses out of 18149 with flag 44000/71699 66.05/34.43 c cleaning 10035 clauses out of 20082 with flag 55000/82699 74.01/38.43 c cleaning 11016 clauses out of 22047 with flag 67000/94699 81.91/42.43 c cleaning 12011 clauses out of 24032 with flag 80001/107700 87.65/45.32 c cleaning 12504 clauses out of 25020 with flag 93000/120699 94.19/48.62 c cleaning 12753 clauses out of 25516 with flag 106000/133699 100.53/51.82 c cleaning 12879 clauses out of 25763 with flag 119000/146699 106.65/54.90 c cleaning 12928 clauses out of 25884 with flag 132000/159699 111.57/57.41 c cleaning 12975 clauses out of 25957 with flag 145001/172700 116.90/60.16 c cleaning 12983 clauses out of 25981 with flag 158000/185699 123.63/63.55 c cleaning 12989 clauses out of 25998 with flag 171000/198699 132.11/67.82 c cleaning 13000 clauses out of 26010 with flag 184001/211700 141.64/72.63 c cleaning 12995 clauses out of 26010 with flag 197001/224700 146.56/75.14 c cleaning 12989 clauses out of 26014 with flag 210000/237699 151.68/77.76 c cleaning 13002 clauses out of 26025 with flag 223000/250699 156.96/80.44 c cleaning 13005 clauses out of 26023 with flag 236000/263699 162.87/83.44 c cleaning 13004 clauses out of 26019 with flag 249001/276700 169.20/86.63 c cleaning 13002 clauses out of 26015 with flag 262001/289700 176.71/90.48 c cleaning 12996 clauses out of 26013 with flag 275001/302700 182.80/93.53 c cleaning 13001 clauses out of 26018 with flag 288002/315701 187.91/96.14 c cleaning 13000 clauses out of 26016 with flag 301001/328700 193.03/98.71 c cleaning 12998 clauses out of 26016 with flag 314001/341700 199.34/101.94 c cleaning 13002 clauses out of 26017 with flag 327000/354699 204.81/104.74 c cleaning 12997 clauses out of 26015 with flag 340000/367699 209.72/107.29 c cleaning 12995 clauses out of 26018 with flag 353000/380699 214.83/109.82 c cleaning 12988 clauses out of 26023 with flag 366000/393699 220.15/112.52 c cleaning 13005 clauses out of 26038 with flag 379003/406702 226.41/115.70 c cleaning 13009 clauses out of 26030 with flag 392000/419699 232.53/118.89 c cleaning 13006 clauses out of 26021 with flag 405000/432699 238.03/121.69 c cleaning 12998 clauses out of 26015 with flag 418000/445699 243.15/124.25 c cleaning 13003 clauses out of 26017 with flag 431000/458699 248.00/126.78 c cleaning 12999 clauses out of 26014 with flag 444000/471699 252.54/129.08 c cleaning 12999 clauses out of 26015 with flag 457000/484699 257.24/131.46 c cleaning 12996 clauses out of 26016 with flag 470000/497699 262.77/134.26 c cleaning 13001 clauses out of 26020 with flag 483000/510699 269.23/137.53 c cleaning 12996 clauses out of 26020 with flag 496001/523700 275.54/140.80 c cleaning 12995 clauses out of 26023 with flag 509000/536699 282.05/144.03 c cleaning 12996 clauses out of 26028 with flag 522000/549699 286.75/146.45 c cleaning 12999 clauses out of 26032 with flag 535000/562699 291.61/148.92 c cleaning 12997 clauses out of 26033 with flag 548000/575699 299.12/152.72 c cleaning 13003 clauses out of 26037 with flag 561001/588700 304.23/155.38 c cleaning 12999 clauses out of 26034 with flag 574001/601700 309.54/158.00 c cleaning 12995 clauses out of 26034 with flag 587000/614699 315.59/161.13 c cleaning 13014 clauses out of 26040 with flag 600001/627700 322.90/164.81 c cleaning 13000 clauses out of 26025 with flag 613000/640699 327.79/167.36 c cleaning 13008 clauses out of 26025 with flag 626000/653699 333.09/170.02 c cleaning 13002 clauses out of 26018 with flag 639001/666700 338.35/172.71 c cleaning 12998 clauses out of 26015 with flag 652000/679699 343.42/175.32 c cleaning 13000 clauses out of 26017 with flag 665000/692699 348.52/177.97 c cleaning 12999 clauses out of 26017 with flag 678000/705699 353.82/180.63 c cleaning 13002 clauses out of 26019 with flag 691001/718700 358.87/183.25 c cleaning 12998 clauses out of 26016 with flag 704000/731699 363.77/185.75 c cleaning 12998 clauses out of 26018 with flag 717000/744699 368.66/188.21 c cleaning 12991 clauses out of 26020 with flag 730000/757699 373.55/190.70 c cleaning 13000 clauses out of 26030 with flag 743001/770700 378.39/193.27 c cleaning 13000 clauses out of 26029 with flag 756000/783699 383.29/195.77 c cleaning 12997 clauses out of 26029 with flag 769000/796699 388.16/198.28 c cleaning 13000 clauses out of 26033 with flag 782001/809700 393.25/200.81 c cleaning 12999 clauses out of 26033 with flag 795001/822700 397.90/203.25 c cleaning 13005 clauses out of 26035 with flag 808002/835701 402.39/205.59 c cleaning 13001 clauses out of 26028 with flag 821000/848699 407.09/207.96 c cleaning 13007 clauses out of 26027 with flag 834000/861699 411.77/210.32 c cleaning 12998 clauses out of 26021 with flag 847001/874700 416.62/212.81 c cleaning 12997 clauses out of 26022 with flag 860000/887699 421.29/215.25 c cleaning 12999 clauses out of 26025 with flag 873000/900699 427.58/218.43 c cleaning 13010 clauses out of 26027 with flag 886001/913700 433.46/221.44 c cleaning 13004 clauses out of 26017 with flag 899001/926700 442.70/226.19 c cleaning 12992 clauses out of 26012 with flag 912001/939700 456.61/233.16 c cleaning 13003 clauses out of 26020 with flag 925001/952700 461.10/235.42 c cleaning 12999 clauses out of 26017 with flag 938001/965700 465.58/237.72 c cleaning 13001 clauses out of 26017 with flag 951000/978699 470.41/240.20 c cleaning 13000 clauses out of 26016 with flag 964000/991699 476.09/243.11 c cleaning 12999 clauses out of 26017 with flag 977001/1004700 481.16/245.73 c cleaning 13000 clauses out of 26018 with flag 990001/1017700 486.45/248.44 c cleaning 12997 clauses out of 26017 with flag 1003000/1030699 491.45/251.10 c cleaning 13001 clauses out of 26020 with flag 1016000/1043699 496.13/253.44 c cleaning 12998 clauses out of 26019 with flag 1029000/1056699 500.80/255.80 c cleaning 12999 clauses out of 26022 with flag 1042001/1069700 505.27/258.13 c cleaning 13001 clauses out of 26022 with flag 1055000/1082699 509.89/260.52 c cleaning 12998 clauses out of 26022 with flag 1068001/1095700 514.56/262.90 c cleaning 13003 clauses out of 26024 with flag 1081001/1108700 519.81/265.65 c cleaning 12995 clauses out of 26020 with flag 1094000/1121699 525.11/268.37 c cleaning 13003 clauses out of 26025 with flag 1107000/1134699 530.50/271.10 c cleaning 13002 clauses out of 26022 with flag 1120000/1147699 535.58/273.76 c cleaning 12999 clauses out of 26020 with flag 1133000/1160699 540.84/276.50 c cleaning 12997 clauses out of 26022 with flag 1146001/1173700 546.31/279.20 c cleaning 12999 clauses out of 26024 with flag 1159000/1186699 551.51/281.95 c cleaning 12999 clauses out of 26025 with flag 1172000/1199699 557.99/285.29 c cleaning 13005 clauses out of 26026 with flag 1185000/1212699 565.05/288.88 c cleaning 13005 clauses out of 26022 with flag 1198001/1225700 571.72/292.26 c cleaning 13001 clauses out of 26017 with flag 1211001/1238700 577.54/295.21 c cleaning 12999 clauses out of 26015 with flag 1224000/1251699 582.41/297.78 c cleaning 13000 clauses out of 26016 with flag 1237000/1264699 587.48/300.34 c cleaning 12998 clauses out of 26016 with flag 1250000/1277699 592.53/302.91 c cleaning 13001 clauses out of 26018 with flag 1263000/1290699 597.54/305.54 c cleaning 13002 clauses out of 26018 with flag 1276001/1303700 602.61/308.15 c cleaning 12995 clauses out of 26015 with flag 1289000/1316699 607.48/310.69 c cleaning 13004 clauses out of 26021 with flag 1302001/1329700 612.55/313.21 c cleaning 12999 clauses out of 26016 with flag 1315000/1342699 618.54/316.39 c cleaning 13003 clauses out of 26018 with flag 1328001/1355700 624.81/319.57 c cleaning 12989 clauses out of 26014 with flag 1341000/1368699 630.48/322.45 c cleaning 13009 clauses out of 26026 with flag 1354001/1381700 636.55/325.57 c cleaning 12996 clauses out of 26017 with flag 1367001/1394700 641.93/328.32 c cleaning 13003 clauses out of 26020 with flag 1380000/1407699 646.39/330.67 c cleaning 13000 clauses out of 26017 with flag 1393000/1420699 651.05/333.00 c cleaning 12999 clauses out of 26018 with flag 1406001/1433700 656.10/335.61 c cleaning 12991 clauses out of 26018 with flag 1419000/1446699 660.69/338.03 c cleaning 12998 clauses out of 26028 with flag 1432001/1459700 665.33/340.46 c cleaning 12994 clauses out of 26030 with flag 1445001/1472700 670.40/343.04 c cleaning 13012 clauses out of 26036 with flag 1458001/1485700 675.65/345.73 c cleaning 13006 clauses out of 26023 with flag 1471000/1498699 681.45/348.74 c cleaning 12999 clauses out of 26018 with flag 1484001/1511700 686.88/351.59 c cleaning 13001 clauses out of 26019 with flag 1497001/1524700 692.54/354.42 c cleaning 12998 clauses out of 26017 with flag 1510000/1537699 698.20/357.34 c cleaning 13006 clauses out of 26020 with flag 1523001/1550700 704.59/360.69 c cleaning 12999 clauses out of 26013 with flag 1536000/1563699 710.86/363.81 c cleaning 13001 clauses out of 26014 with flag 1549000/1576699 717.31/367.11 c cleaning 13001 clauses out of 26013 with flag 1562000/1589699 724.18/370.66 c cleaning 13000 clauses out of 26012 with flag 1575000/1602699 730.93/374.15 c cleaning 13000 clauses out of 26012 with flag 1588000/1615699 737.79/377.60 c cleaning 12998 clauses out of 26012 with flag 1601000/1628699 744.45/381.08 c cleaning 13001 clauses out of 26014 with flag 1614000/1641699 750.50/384.11 c cleaning 13006 clauses out of 26015 with flag 1627002/1654701 755.68/386.80 c cleaning 12998 clauses out of 26008 with flag 1640001/1667700 760.55/389.39 c cleaning 12999 clauses out of 26010 with flag 1653001/1680700 765.78/392.05 c cleaning 12999 clauses out of 26011 with flag 1666001/1693700 771.04/394.70 c cleaning 13000 clauses out of 26012 with flag 1679001/1706700 776.00/397.34 c cleaning 13001 clauses out of 26012 with flag 1692001/1719700 781.06/399.95 c cleaning 12998 clauses out of 26010 with flag 1705000/1732699 786.12/402.56 c cleaning 12998 clauses out of 26013 with flag 1718001/1745700 791.36/405.22 c cleaning 13000 clauses out of 26014 with flag 1731000/1758699 796.34/407.89 c cleaning 13002 clauses out of 26015 with flag 1744001/1771700 801.38/410.47 c cleaning 12999 clauses out of 26012 with flag 1757000/1784699 806.43/413.06 c cleaning 13002 clauses out of 26014 with flag 1770001/1797700 810.87/415.35 c cleaning 12993 clauses out of 26012 with flag 1783001/1810700 815.66/417.84 c cleaning 12995 clauses out of 26018 with flag 1796000/1823699 820.11/420.16 c cleaning 12993 clauses out of 26024 with flag 1809001/1836700 824.55/422.46 c cleaning 12998 clauses out of 26031 with flag 1822001/1849700 828.98/424.79 c cleaning 13000 clauses out of 26032 with flag 1835000/1862699 833.75/427.29 c cleaning 13001 clauses out of 26032 with flag 1848000/1875699 838.41/429.67 c cleaning 12999 clauses out of 26032 with flag 1861001/1888700 843.05/432.09 c cleaning 13002 clauses out of 26033 with flag 1874001/1901700 847.91/434.51 c cleaning 12993 clauses out of 26030 with flag 1887000/1914699 852.49/436.97 c cleaning 13003 clauses out of 26037 with flag 1900000/1927699 857.13/439.37 c cleaning 12997 clauses out of 26034 with flag 1913000/1940699 861.79/441.78 c cleaning 13003 clauses out of 26037 with flag 1926000/1953699 866.44/444.19 c cleaning 12999 clauses out of 26034 with flag 1939000/1966699 871.23/446.67 c cleaning 13002 clauses out of 26036 with flag 1952001/1979700 875.86/449.06 c cleaning 12997 clauses out of 26034 with flag 1965001/1992700 880.50/451.43 c cleaning 13000 clauses out of 26037 with flag 1978001/2005700 885.14/453.85 c cleaning 13018 clauses out of 26036 with flag 1991000/2018699 891.49/457.17 c cleaning 12999 clauses out of 26018 with flag 2004000/2031699 897.55/460.25 c cleaning 13000 clauses out of 26019 with flag 2017000/2044699 904.59/463.82 c cleaning 13010 clauses out of 26019 with flag 2030000/2057699 911.22/467.27 c cleaning 13000 clauses out of 26010 with flag 2043001/2070700 918.58/471.03 c cleaning 12993 clauses out of 26009 with flag 2056000/2083699 925.81/474.75 c cleaning 13000 clauses out of 26016 with flag 2069000/2096699 933.07/478.41 c cleaning 12997 clauses out of 26017 with flag 2082001/2109700 937.68/480.85 c cleaning 12995 clauses out of 26020 with flag 2095001/2122700 942.43/483.34 c cleaning 12997 clauses out of 26024 with flag 2108000/2135699 946.86/485.61 c cleaning 13004 clauses out of 26028 with flag 2121001/2148700 952.11/488.36 c cleaning 13003 clauses out of 26023 with flag 2134000/2161699 956.92/490.85 c cleaning 13002 clauses out of 26021 with flag 2147001/2174700 961.65/493.38 c cleaning 12999 clauses out of 26018 with flag 2160000/2187699 966.47/495.80 c cleaning 13003 clauses out of 26020 with flag 2173001/2200700 972.50/498.91 c cleaning 12997 clauses out of 26016 with flag 2186000/2213699 977.73/501.61 c cleaning 12999 clauses out of 26020 with flag 2199001/2226700 982.63/504.25 c cleaning 12996 clauses out of 26020 with flag 2212000/2239699 987.45/506.79 c cleaning 13002 clauses out of 26025 with flag 2225001/2252700 992.48/509.34 c cleaning 13000 clauses out of 26022 with flag 2238000/2265699 997.49/511.90 c cleaning 13003 clauses out of 26023 with flag 2251001/2278700 1002.43/514.56 c cleaning 12994 clauses out of 26019 with flag 2264000/2291699 1007.46/517.18 c cleaning 12998 clauses out of 26026 with flag 2277001/2304700 1012.67/519.89 c cleaning 13007 clauses out of 26027 with flag 2290000/2317699 1018.29/522.73 c cleaning 13001 clauses out of 26021 with flag 2303001/2330700 1023.21/525.36 c cleaning 12998 clauses out of 26019 with flag 2316000/2343699 1028.44/528.06 c cleaning 13003 clauses out of 26022 with flag 2329001/2356700 1033.64/530.78 c cleaning 13000 clauses out of 26019 with flag 2342001/2369700 1039.25/533.61 c cleaning 12999 clauses out of 26019 with flag 2355001/2382700 1044.39/536.39 c cleaning 13001 clauses out of 26020 with flag 2368001/2395700 1049.61/539.01 c cleaning 12998 clauses out of 26019 with flag 2381001/2408700 1054.61/541.68 c cleaning 12997 clauses out of 26020 with flag 2394000/2421699 1059.62/544.26 c cleaning 13002 clauses out of 26024 with flag 2407001/2434700 1064.55/546.89 c cleaning 12999 clauses out of 26022 with flag 2420001/2447700 1069.35/549.39 c cleaning 12998 clauses out of 26022 with flag 2433000/2460699 1074.35/551.97 c cleaning 13000 clauses out of 26024 with flag 2446000/2473699 1081.95/555.83 c cleaning 12988 clauses out of 26024 with flag 2459000/2486699 1091.67/560.83 c cleaning 12999 clauses out of 26036 with flag 2472000/2499699 1101.07/565.64 c cleaning 12997 clauses out of 26037 with flag 2485000/2512699 1110.68/570.56 c cleaning 12996 clauses out of 26040 with flag 2498000/2525699 1120.89/575.72 c cleaning 13000 clauses out of 26044 with flag 2511000/2538699 1131.00/580.94 c cleaning 13001 clauses out of 26044 with flag 2524000/2551699 1140.99/586.08 c cleaning 12999 clauses out of 26043 with flag 2537000/2564699 1151.00/591.16 c cleaning 13001 clauses out of 26044 with flag 2550000/2577699 1160.82/596.16 c cleaning 13000 clauses out of 26043 with flag 2563000/2590699 1170.69/601.28 c cleaning 13001 clauses out of 26043 with flag 2576000/2603699 1180.30/606.16 c cleaning 13001 clauses out of 26043 with flag 2589001/2616700 1190.27/611.28 c cleaning 12996 clauses out of 26041 with flag 2602000/2629699 1200.45/616.46 c cleaning 13001 clauses out of 26046 with flag 2615001/2642700 1210.73/621.73 c cleaning 13003 clauses out of 26044 with flag 2628000/2655699 1220.12/626.55 c cleaning 12999 clauses out of 26042 with flag 2641001/2668700 1229.52/631.37 c cleaning 13000 clauses out of 26043 with flag 2654001/2681700 1235.30/634.32 c cleaning 13017 clauses out of 26044 with flag 2667002/2694701 1239.99/636.83 c cleaning 13000 clauses out of 26025 with flag 2680000/2707699 1245.36/639.60 c cleaning 13003 clauses out of 26025 with flag 2693000/2720699 1251.14/642.66 c cleaning 13000 clauses out of 26023 with flag 2706001/2733700 1256.72/645.53 c cleaning 13001 clauses out of 26022 with flag 2719000/2746699 1261.60/648.10 c cleaning 12999 clauses out of 26021 with flag 2732000/2759699 1266.18/650.50 c cleaning 13000 clauses out of 26023 with flag 2745001/2772700 1270.74/652.92 c cleaning 13003 clauses out of 26022 with flag 2758000/2785699 1275.32/655.33 c cleaning 12998 clauses out of 26019 with flag 2771000/2798699 1279.98/657.89 c cleaning 13002 clauses out of 26023 with flag 2784002/2811701 1284.75/660.31 c cleaning 13000 clauses out of 26020 with flag 2797001/2824700 1289.53/662.82 c cleaning 13002 clauses out of 26019 with flag 2810000/2837699 1294.11/665.25 c cleaning 13003 clauses out of 26017 with flag 2823000/2850699 1298.77/667.79 c cleaning 12997 clauses out of 26014 with flag 2836000/2863699 1303.33/670.18 c cleaning 13001 clauses out of 26018 with flag 2849001/2876700 1308.30/672.75 c cleaning 13002 clauses out of 26016 with flag 2862000/2889699 1313.28/675.30 c cleaning 12995 clauses out of 26014 with flag 2875000/2902699 1317.94/677.85 c cleaning 13005 clauses out of 26019 with flag 2888000/2915699 1322.74/680.37 c cleaning 12998 clauses out of 26014 with flag 2901000/2928699 1327.94/683.05 c cleaning 12996 clauses out of 26017 with flag 2914001/2941700 1335.10/686.70 c cleaning 13001 clauses out of 26021 with flag 2927001/2954700 1342.56/690.66 c cleaning 12999 clauses out of 26020 with flag 2940001/2967700 1350.12/694.50 c cleaning 13002 clauses out of 26021 with flag 2953001/2980700 1357.32/698.21 c cleaning 12999 clauses out of 26019 with flag 2966001/2993700 1364.69/702.03 c cleaning 12998 clauses out of 26019 with flag 2979000/3006699 1372.35/706.04 c cleaning 12998 clauses out of 26022 with flag 2992001/3019700 1378.54/709.23 c cleaning 12994 clauses out of 26023 with flag 3005000/3032699 1383.91/712.01 c cleaning 13006 clauses out of 26030 with flag 3018001/3045700 1388.91/714.65 c cleaning 13004 clauses out of 26023 with flag 3031000/3058699 1393.79/717.29 c cleaning 12998 clauses out of 26020 with flag 3044001/3071700 1400.36/720.63 c cleaning 12991 clauses out of 26021 with flag 3057000/3084699 1405.53/723.32 c cleaning 12999 clauses out of 26031 with flag 3070001/3097700 1410.31/725.88 c cleaning 13008 clauses out of 26031 with flag 3083000/3110699 1415.56/728.66 c cleaning 13002 clauses out of 26024 with flag 3096001/3123700 1420.75/731.34 c cleaning 13003 clauses out of 26023 with flag 3109002/3136701 1425.74/733.99 c cleaning 13008 clauses out of 26019 with flag 3122001/3149700 1430.32/736.33 c cleaning 12997 clauses out of 26010 with flag 3135000/3162699 1434.95/738.87 c cleaning 13000 clauses out of 26014 with flag 3148001/3175700 1439.52/741.28 c cleaning 12999 clauses out of 26013 with flag 3161000/3188699 1444.28/743.77 c cleaning 12999 clauses out of 26015 with flag 3174001/3201700 1449.26/746.35 c cleaning 13005 clauses out of 26016 with flag 3187001/3214700 1454.34/749.05 c cleaning 12998 clauses out of 26010 with flag 3200000/3227699 1459.10/751.56 c cleaning 13003 clauses out of 26013 with flag 3213001/3240700 1463.85/754.08 c cleaning 12994 clauses out of 26009 with flag 3226000/3253699 1468.41/756.45 c cleaning 12999 clauses out of 26015 with flag 3239000/3266699 1473.08/758.92 c cleaning 13000 clauses out of 26016 with flag 3252000/3279699 1477.65/761.31 c cleaning 12996 clauses out of 26016 with flag 3265000/3292699 1482.82/764.09 c cleaning 13001 clauses out of 26021 with flag 3278001/3305700 1491.19/768.35 c cleaning 13000 clauses out of 26020 with flag 3291001/3318700 1497.42/771.63 c cleaning 12998 clauses out of 26020 with flag 3304001/3331700 1502.39/774.22 c cleaning 13000 clauses out of 26022 with flag 3317001/3344700 1507.37/776.80 c cleaning 12999 clauses out of 26021 with flag 3330000/3357699 1511.74/779.18 c cleaning 13000 clauses out of 26023 with flag 3343001/3370700 1516.60/781.71 c cleaning 13002 clauses out of 26023 with flag 3356001/3383700 1521.18/784.16 c cleaning 13001 clauses out of 26021 with flag 3369001/3396700 1526.14/786.71 c cleaning 12997 clauses out of 26020 with flag 3382001/3409700 1530.90/789.25 c cleaning 13000 clauses out of 26022 with flag 3395000/3422699 1536.15/792.03 c cleaning 12998 clauses out of 26022 with flag 3408000/3435699 1540.90/794.54 c cleaning 13004 clauses out of 26024 with flag 3421000/3448699 1545.66/797.04 c cleaning 13002 clauses out of 26021 with flag 3434001/3461700 1553.24/800.95 c cleaning 12999 clauses out of 26018 with flag 3447000/3474699 1561.33/805.17 c cleaning 13002 clauses out of 26019 with flag 3460000/3487699 1569.11/809.11 c cleaning 12999 clauses out of 26017 with flag 3473000/3500699 1576.67/813.08 c cleaning 13001 clauses out of 26018 with flag 3486000/3513699 1584.43/817.01 c cleaning 13001 clauses out of 26018 with flag 3499001/3526700 1592.07/821.08 c cleaning 12996 clauses out of 26016 with flag 3512000/3539699 1600.04/825.12 c cleaning 13001 clauses out of 26020 with flag 3525000/3552699 1608.20/829.40 c cleaning 12998 clauses out of 26019 with flag 3538000/3565699 1616.54/833.69 c cleaning 13004 clauses out of 26022 with flag 3551001/3578700 1625.11/838.09 c cleaning 12999 clauses out of 26017 with flag 3564000/3591699 1633.28/842.26 c cleaning 13000 clauses out of 26020 with flag 3577002/3604701 1641.26/846.39 c cleaning 13001 clauses out of 26018 with flag 3590000/3617699 1649.42/850.59 c cleaning 12998 clauses out of 26017 with flag 3603000/3630699 1657.70/854.84 c cleaning 13001 clauses out of 26020 with flag 3616001/3643700 1665.66/858.93 c cleaning 13001 clauses out of 26019 with flag 3629001/3656700 1673.42/862.92 c cleaning 12999 clauses out of 26018 with flag 3642001/3669700 1680.79/866.76 c cleaning 13006 clauses out of 26019 with flag 3655001/3682700 1685.41/869.26 c cleaning 12996 clauses out of 26012 with flag 3668000/3695699 1690.56/871.96 c cleaning 13000 clauses out of 26016 with flag 3681000/3708699 1696.32/874.95 c cleaning 13003 clauses out of 26017 with flag 3694001/3721700 1702.07/877.93 c cleaning 13001 clauses out of 26014 with flag 3707001/3734700 1707.72/880.97 c cleaning 12999 clauses out of 26013 with flag 3720001/3747700 1713.48/883.97 c cleaning 12998 clauses out of 26014 with flag 3733001/3760700 1719.44/887.01 c cleaning 13002 clauses out of 26015 with flag 3746000/3773699 1725.02/889.97 c cleaning 12998 clauses out of 26013 with flag 3759000/3786699 1730.89/893.04 c cleaning 13001 clauses out of 26015 with flag 3772000/3799699 1736.64/896.08 c cleaning 12998 clauses out of 26015 with flag 3785001/3812700 1742.41/899.07 c cleaning 13003 clauses out of 26017 with flag 3798001/3825700 1748.36/902.16 c cleaning 13000 clauses out of 26014 with flag 3811001/3838700 1754.40/905.31 c cleaning 12999 clauses out of 26014 with flag 3824001/3851700 1759.95/908.26 c cleaning 13000 clauses out of 26014 with flag 3837000/3864699 1765.92/911.38 c cleaning 12999 clauses out of 26015 with flag 3850001/3877700 1771.88/914.47 c cleaning 13001 clauses out of 26015 with flag 3863000/3890699 1777.93/917.65 c cleaning 12999 clauses out of 26015 with flag 3876001/3903700 1783.71/920.65 c cleaning 13001 clauses out of 26015 with flag 3889000/3916699 1789.46/923.69 c cleaning 13000 clauses out of 26015 with flag 3902001/3929700 1795.22/926.64 c cleaning 13000 clauses out of 26014 with flag 3915000/3942699 1800.14/929.21 c starts : 311 1800.14/929.21 c conflicts : 3953311 1800.14/929.21 c decisions : 4499398 1800.14/929.21 c propagations : 71191057 1800.14/929.21 c inspects : 905982986 1800.14/929.21 c shortcuts : 0 1800.14/929.21 c learnt literals : 1 1800.14/929.21 c learnt binary clauses : 356 1800.14/929.21 c learnt ternary clauses : 8563 1800.14/929.21 c learnt constraints : 3953310 1800.14/929.21 c ignored constraints : 0 1800.14/929.21 c root simplifications : 0 1800.14/929.21 c removed literals (reason simplification) : 325463222 1800.14/929.21 c reason swapping (by a shorter reason) : 0 1800.14/929.21 c Calls to reduceDB : 308 1800.14/929.21 c number of reductions to clauses (during analyze) : 0 1800.14/929.21 c number of learned constraints concerned by reduction : 0 1800.14/929.21 c number of learning phase by resolution : 0 1800.14/929.21 c number of learning phase by cutting planes : 0 1800.14/929.21 c speed (assignments/second) : 78066.28900651474 1800.14/929.21 c non guided choices 1136 1800.14/929.22 c learnt constraints type 1800.14/929.22 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 356 1800.14/929.22 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 23299 1800.14/929.22 c constraints type 1800.14/929.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.14/929.22 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.14/929.22 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.14/929.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.14/929.22 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.14/929.22 c constraints type 1800.14/929.22 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1800.14/929.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1800.14/929.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.14/929.22 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.14/929.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376 1800.14/929.22 s SATISFIABLE 1800.14/929.23 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 1800.14/929.24 c objective function=5473551 1800.14/929.24 c Total wall clock time (in seconds): 929.117
OK 5473551
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-3744426-1338806306/watcher-3744426-1338806306 -o /tmp/evaluation-result-3744426-1338806306/solver-3744426-1338806306 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744426-1338806306.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: 3.68 3.82 3.17 5/193 29712 /proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/29712/stat : 29712 (java) R 29710 29712 20391 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 346754947 23793664 523 33554432000 1073741824 1073778376 140737119852320 140737119841384 251035433537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 5809 536 405 9 0 128 0 [startup+0.053552 s] /proc/loadavg: 3.68 3.82 3.17 5/193 29712 /proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11253516 CPUtime=0.03 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 4290 0 1 0 2 1 0 0 20 0 13 0 346754947 11523600384 12142 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2813379 12142 1699 9 0 2804080 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11253516 [startup+0.100254 s] /proc/loadavg: 3.68 3.82 3.17 5/193 29712 /proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11586392 CPUtime=0.08 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 5187 0 1 0 7 1 0 0 20 0 18 0 346754947 11864465408 13541 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2896598 13541 2087 9 0 2887285 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11586392 [startup+0.300224 s] /proc/loadavg: 3.68 3.82 3.17 5/193 29712 /proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11586392 CPUtime=0.5 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 7628 0 1 0 48 2 0 0 20 0 18 0 346754947 11864465408 17623 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2896598 17623 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 11586392 [startup+0.700171 s] /proc/loadavg: 3.68 3.82 3.17 5/193 29712 /proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11721576 CPUtime=1.76 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 22124 0 1 0 171 5 0 0 20 0 22 0 346754947 12002893824 32686 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2930394 32686 2248 9 0 2921081 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 11721576 [startup+1.50067 s] /proc/loadavg: 3.68 3.82 3.17 5/216 29741 /proc/meminfo: memFree=23977584/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11852648 CPUtime=3.53 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 27099 0 1 0 343 10 0 0 20 0 19 0 346754947 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2963162 35720 2265 9 0 2953849 0 [pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.63 cores=0,2,4,6 /proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3408 0 1 0 60 3 0 0 20 0 19 0 346754948 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400725755032 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346754951 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346754951 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346754951 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=0.94 cores=0,2,4,6 /proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 9725 0 0 0 92 2 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 12651 0 0 0 93 3 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29737] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29737/stat : 29737 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346755016 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140399524951464 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 11852648 [startup+3.10063 s] /proc/loadavg: 3.68 3.82 3.17 3/216 29750 /proc/meminfo: memFree=23829656/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11852648 CPUtime=5.97 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 29102 0 1 0 581 16 0 0 20 0 22 0 346754947 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2963162 100243 2268 9 0 2953849 0 [pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.68 cores=0,2,4,6 /proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3411 0 1 0 65 3 0 0 20 0 22 0 346754948 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400725755048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11585 0 0 0 121 2 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 12653 0 0 0 114 3 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29737] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29737/stat : 29737 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346755016 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140399524951464 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 11852648 [startup+6.3008 s] /proc/loadavg: 3.70 3.82 3.17 5/219 29753 /proc/meminfo: memFree=21923496/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11852648 CPUtime=12.4 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 29772 0 1 0 1203 37 0 0 20 0 22 0 346754947 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2963162 408219 2292 9 0 2953849 0 [pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.68 cores=0,2,4,6 /proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3411 0 1 0 65 3 0 0 20 0 22 0 346754948 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400725755048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.01 cores=0,2,4,6 /proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=0.05 cores=0,2,4,6 /proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 346754951 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.27 cores=0,2,4,6 /proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11585 0 0 0 125 2 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.2 cores=0,2,4,6 /proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 12658 0 0 0 117 3 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29737] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29737/stat : 29737 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346755016 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399524951464 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29751] ppid=29710 vsize=11852648 CPUtime=3.96 cores=0,2,4,6 /proc/29712/task/29751/stat : 29751 (java) R 29710 29712 20391 0 -1 4202560 11 0 0 0 396 0 0 0 20 0 22 0 346755168 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399526003496 140400552489497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29752] ppid=29710 vsize=11852648 CPUtime=3.98 cores=0,2,4,6 /proc/29712/task/29752/stat : 29752 (java) R 29710 29712 20391 0 -1 4202560 706 0 0 0 376 22 0 0 20 0 22 0 346755168 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399527053744 140400552740482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ /proc/29712/statm: 2963162 914120 2293 9 0 2953849 0 [pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3507 0 1 0 73 4 0 0 20 0 22 0 346754948 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400725755016 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 73 0 0 0 65 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 64 0 0 0 65 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 104 0 0 0 73 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 80 0 0 0 73 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 81 0 0 0 68 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 83 0 0 0 76 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 55 0 0 0 69 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0.72 cores=0,2,4,6 /proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 75 0 0 0 72 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=49.78 cores=0,2,4,6 /proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 159 0 0 0 4971 7 0 0 20 0 22 0 346754951 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.58 cores=0,2,4,6 /proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11592 0 0 0 156 2 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 14694 0 0 0 146 3 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 47 0 0 0 16 14 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29756] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29756/stat : 29756 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756572 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399524950824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29760] ppid=29710 vsize=11852648 CPUtime=751.4 cores=0,2,4,6 /proc/29712/task/29760/stat : 29760 (java) R 29710 29712 20391 0 -1 4202560 172 0 0 0 75127 13 0 0 20 0 22 0 346756675 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399526003280 140400552945792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29761] ppid=29710 vsize=11852648 CPUtime=751.49 cores=0,2,4,6 /proc/29712/task/29761/stat : 29761 (java) R 29710 29712 20391 0 -1 4202560 486 0 0 0 75119 30 0 0 20 0 22 0 346756675 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399523895600 140400551998420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29762] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29762/stat : 29762 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756676 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399527056424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1594.44 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.86 3.88 3.59 5/219 29771 /proc/meminfo: memFree=16957644/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11852648 CPUtime=1710.28 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 33843 0 1 0 170913 115 0 0 20 0 22 0 346754947 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2963162 914659 2293 9 0 2953849 0 [pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3514 0 1 0 73 4 0 0 20 0 22 0 346754948 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400725755016 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0.71 cores=0,2,4,6 /proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 78 0 0 0 69 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 67 0 0 0 68 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 112 0 0 0 76 0 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 80 0 0 0 76 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 81 0 0 0 71 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0.81 cores=0,2,4,6 /proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 92 0 0 0 79 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 57 0 0 0 73 0 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 75 0 0 0 76 0 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=54.01 cores=0,2,4,6 /proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 164 0 0 0 5394 7 0 0 20 0 22 0 346754951 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.58 cores=0,2,4,6 /proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11592 0 0 0 156 2 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 14694 0 0 0 146 3 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0.32 cores=0,2,4,6 /proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 51 0 0 0 18 14 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29756] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29756/stat : 29756 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756572 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399524950824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29760] ppid=29710 vsize=11852648 CPUtime=806.92 cores=0,2,4,6 /proc/29712/task/29760/stat : 29760 (java) R 29710 29712 20391 0 -1 4202560 181 0 0 0 80678 14 0 0 20 0 22 0 346756675 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399526003280 140400552558902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29761] ppid=29710 vsize=11852648 CPUtime=807.01 cores=0,2,4,6 /proc/29712/task/29761/stat : 29761 (java) R 29710 29712 20391 0 -1 4202560 486 0 0 0 80670 31 0 0 20 0 22 0 346756675 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399523895600 140400552728062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29762] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29762/stat : 29762 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756676 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399527056424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1710.28 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+929.201 s] /proc/loadavg: 3.72 3.84 3.59 4/217 29848 /proc/meminfo: memFree=18484432/32873844 swapFree=7628/7628 [pid=29712] ppid=29710 vsize=11852648 CPUtime=1800.14 cores=0,2,4,6 /proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 33928 0 1 0 179897 117 0 0 20 0 22 0 346754947 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29712/statm: 2963162 914685 2293 9 0 2953849 0 [pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3525 0 1 0 74 4 0 0 20 0 22 0 346754948 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400725755016 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 78 0 0 0 71 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0.72 cores=0,2,4,6 /proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 67 0 0 0 70 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 112 0 0 0 78 0 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.8 cores=0,2,4,6 /proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 82 0 0 0 78 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 81 0 0 0 73 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0.83 cores=0,2,4,6 /proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 97 0 0 0 81 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 59 0 0 0 75 0 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 75 0 0 0 77 0 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=57.97 cores=0,2,4,6 /proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 223 0 0 0 5789 8 0 0 20 0 22 0 346754951 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.58 cores=0,2,4,6 /proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11592 0 0 0 156 2 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 14694 0 0 0 146 3 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 53 0 0 0 19 16 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29756] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29756/stat : 29756 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756572 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399524950824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29760] ppid=29710 vsize=11852648 CPUtime=849.69 cores=0,2,4,6 /proc/29712/task/29760/stat : 29760 (java) R 29710 29712 20391 0 -1 4202560 185 0 0 0 84955 14 0 0 20 0 22 0 346756675 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399526003280 140400552194166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29712/tid=29761] ppid=29710 vsize=11852648 CPUtime=849.77 cores=0,2,4,6 /proc/29712/task/29761/stat : 29761 (java) R 29710 29712 20391 0 -1 4202560 486 0 0 0 84945 32 0 0 20 0 22 0 346756675 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399523895584 140400551997357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29712/tid=29762] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29712/task/29762/stat : 29762 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756676 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399527056424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 11852648 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 29712 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=618176 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=591758 # CPU time returned by wait4() is 1796.21 # while last known CPU time is 1800.14 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 929.264 CPU time (s): 1800.14 CPU user time (s): 1798.97 CPU system time (s): 1.17 CPU usage (%): 193.717 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.62 system time used= 1.59176 maximum resident set size= 3658860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33961 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30830 involuntary context switches= 26559 runsolver used 3.13152 second user time and 8.33373 second system time The end
Begin job on node143 at 2012-06-04 12:38:26 IDJOB=3744426 IDBENCH=92750 IDSOLVER=2328 FILE ID=node143/3744426-1338806306 RUNJOBID= node143-1338805400-29518 PBS_JOBID= 14636856 Free space on /tmp= 68468 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744426-1338806306/watcher-3744426-1338806306 -o /tmp/evaluation-result-3744426-1338806306/solver-3744426-1338806306 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744426-1338806306.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf RANDOM SEED=67723151 node143.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.787 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.57 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.787 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.787 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.91 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.787 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.787 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.90 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.787 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 : 5298.57 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.787 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.787 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: 32873844 kB MemFree: 24192528 kB Buffers: 3531344 kB Cached: 4013456 kB SwapCached: 188 kB Active: 5422640 kB Inactive: 2217140 kB Active(anon): 75980 kB Inactive(anon): 10988 kB Active(file): 5346660 kB Inactive(file): 2206152 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108444 kB Dirty: 1488 kB Writeback: 0 kB AnonPages: 53076 kB Mapped: 18172 kB Shmem: 160 kB Slab: 875452 kB SReclaimable: 316924 kB SUnreclaim: 558528 kB KernelStack: 1456 kB PageTables: 4436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10453552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 68468 MiB End job on node143 at 2012-06-04 12:53:57