Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.13 | 933.168 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_1.opb |
| MD5SUM | 8a23e88f34ee33e636d3b24522832f27 |
| 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 | 3948307 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| 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 | 143877824 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 43040121046 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 143877824 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 43040121046 |
| 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.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.12 c version 2.3.1.v20110525 0.06/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.12 c java.vm.version 19.1-b02 0.06/0.12 c java.vm.vendor Sun Microsystems Inc. 0.06/0.12 c sun.arch.data.model 64 0.06/0.12 c java.version 1.6.0_24 0.06/0.12 c os.name Linux 0.06/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.12 c os.arch amd64 0.06/0.12 c Free memory 9996466904 0.06/0.12 c Max memory 10048897024 0.06/0.12 c Total memory 10048897024 0.06/0.12 c Number of processors 8 0.06/0.14 c Pseudo Boolean Optimization 0.06/0.14 c ManyCore solver with 2 solvers running in parallel 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.14 c Expensive reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.14 c No reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c solving HOME/instance-3744414-1338806219.opb 0.06/0.14 c reading problem ... 1.35/0.64 c ... done. Wall clock time 0.498s. 1.35/0.64 c #vars 5100 1.35/0.64 c #constraints 12610 1.35/0.64 c constraints type 1.35/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1.35/0.64 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.35/0.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.35/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1.35/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 1.35/0.64 c constraints type 1.35/0.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1.35/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1.35/0.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.35/0.64 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.35/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375 3.69/1.27 c And the winner is Resolution 4.02/1.66 c SATISFIABLE 4.02/1.66 c OPTIMIZING... 4.02/1.66 c Got one! Elapsed wall clock time (in seconds):1.516 4.02/1.66 o 4768555 10.14/4.50 c cleaning 2630 clauses out of 5266 with flag 5000/5266 17.45/8.03 c cleaning 4309 clauses out of 8636 with flag 11000/11266 23.61/11.16 c cleaning 5663 clauses out of 11327 with flag 18000/18266 27.57/13.11 c And the winner is Resolution 27.59/13.25 c Got one! Elapsed wall clock time (in seconds):13.107 27.59/13.25 o 4767255 28.65/13.63 c cleaning 5666 clauses out of 11368 with flag 1001/23970 32.80/15.60 c cleaning 5843 clauses out of 11702 with flag 7001/29970 36.93/17.76 c cleaning 6422 clauses out of 12858 with flag 14000/36969 40.87/19.77 c cleaning 7216 clauses out of 14437 with flag 22001/44970 47.19/22.92 c cleaning 8105 clauses out of 16221 with flag 31001/53970 51.49/25.15 c cleaning 9050 clauses out of 18116 with flag 41001/63970 52.41/25.69 c And the winner is Resolution 52.90/26.07 c Got one! Elapsed wall clock time (in seconds):25.925 52.90/26.07 o 4611743 54.22/26.75 c cleaning 7259 clauses out of 14552 with flag 3001/69456 56.76/28.05 c cleaning 6640 clauses out of 13292 with flag 9000/75455 60.88/30.16 c cleaning 6809 clauses out of 13652 with flag 16000/82455 67.17/33.34 c cleaning 7421 clauses out of 14843 with flag 24000/90455 73.11/36.32 c cleaning 8194 clauses out of 16423 with flag 33001/99456 77.02/38.40 c cleaning 9105 clauses out of 18228 with flag 43000/109455 79.74/39.72 c And the winner is Resolution 80.15/40.15 c Got one! Elapsed wall clock time (in seconds):40.007 80.15/40.15 o 4307507 84.08/42.13 c cleaning 9669 clauses out of 19347 with flag 5001/119679 87.36/43.90 c cleaning 7834 clauses out of 15678 with flag 11001/125679 94.90/47.67 c cleaning 7412 clauses out of 14844 with flag 18001/132679 98.22/49.37 c cleaning 7710 clauses out of 15432 with flag 26001/140679 103.96/52.28 c cleaning 8354 clauses out of 16722 with flag 35001/149679 111.23/55.96 c cleaning 9178 clauses out of 18368 with flag 45001/159679 115.54/58.18 c cleaning 10090 clauses out of 20190 with flag 56001/170679 123.25/62.03 c cleaning 11043 clauses out of 22100 with flag 68001/182679 129.16/65.05 c cleaning 12023 clauses out of 24056 with flag 81000/195678 135.05/68.09 c cleaning 12502 clauses out of 25033 with flag 94000/208678 140.37/70.78 c cleaning 12757 clauses out of 25531 with flag 107000/221678 145.67/73.42 c cleaning 12879 clauses out of 25775 with flag 120001/234679 150.77/76.09 c cleaning 12940 clauses out of 25895 with flag 133000/247678 156.84/79.20 c cleaning 12974 clauses out of 25957 with flag 146002/260680 163.74/82.64 c cleaning 12978 clauses out of 25981 with flag 159000/273678 169.86/85.73 c cleaning 12999 clauses out of 26004 with flag 172001/286679 175.35/88.55 c cleaning 12991 clauses out of 26004 with flag 185000/299678 180.41/91.17 c cleaning 12996 clauses out of 26013 with flag 198000/312678 186.30/94.17 c cleaning 13002 clauses out of 26018 with flag 211001/325679 193.01/97.53 c cleaning 13001 clauses out of 26016 with flag 224001/338679 201.31/101.71 c cleaning 13001 clauses out of 26014 with flag 237000/351678 208.98/105.66 c cleaning 12997 clauses out of 26014 with flag 250001/364679 214.25/108.37 c cleaning 13000 clauses out of 26018 with flag 263002/377680 219.55/111.05 c cleaning 13008 clauses out of 26016 with flag 276000/390678 226.83/114.79 c cleaning 12998 clauses out of 26009 with flag 289001/403679 233.86/118.34 c cleaning 13002 clauses out of 26010 with flag 302000/416678 240.55/121.71 c cleaning 13004 clauses out of 26008 with flag 315000/429678 247.66/125.38 c cleaning 12985 clauses out of 26004 with flag 328000/442678 252.73/127.99 c cleaning 12983 clauses out of 26019 with flag 341000/455678 257.16/130.29 c cleaning 12997 clauses out of 26036 with flag 354000/468678 262.26/132.85 c cleaning 13012 clauses out of 26040 with flag 367001/481679 267.54/135.57 c cleaning 12987 clauses out of 26028 with flag 380001/494679 272.63/138.16 c cleaning 12998 clauses out of 26040 with flag 393000/507678 277.88/140.86 c cleaning 12997 clauses out of 26042 with flag 406000/520678 283.35/143.68 c cleaning 13012 clauses out of 26046 with flag 419001/533679 287.83/145.95 c cleaning 13009 clauses out of 26034 with flag 432001/546679 292.31/148.28 c cleaning 13000 clauses out of 26024 with flag 445000/559678 297.13/150.71 c cleaning 13003 clauses out of 26025 with flag 458001/572679 302.00/153.26 c cleaning 13001 clauses out of 26021 with flag 471000/585678 308.88/156.75 c cleaning 12993 clauses out of 26020 with flag 484000/598678 314.17/159.42 c cleaning 12995 clauses out of 26027 with flag 497000/611678 318.97/161.97 c cleaning 13007 clauses out of 26032 with flag 510000/624678 324.25/164.69 c cleaning 13001 clauses out of 26025 with flag 523000/637678 331.34/168.28 c cleaning 13008 clauses out of 26025 with flag 536001/650679 337.40/171.31 c cleaning 12998 clauses out of 26016 with flag 549000/663678 343.19/174.36 c cleaning 12996 clauses out of 26018 with flag 562000/676678 348.47/177.07 c cleaning 12996 clauses out of 26023 with flag 575001/689679 353.72/179.78 c cleaning 13001 clauses out of 26026 with flag 588000/702678 359.05/182.50 c cleaning 13002 clauses out of 26025 with flag 601000/715678 364.05/185.06 c cleaning 13002 clauses out of 26023 with flag 614000/728678 368.72/187.50 c cleaning 12997 clauses out of 26022 with flag 627001/741679 373.60/189.91 c cleaning 12998 clauses out of 26024 with flag 640000/754678 378.27/192.35 c cleaning 13002 clauses out of 26026 with flag 653000/767678 383.07/194.89 c cleaning 12999 clauses out of 26025 with flag 666001/780679 388.15/197.48 c cleaning 12996 clauses out of 26025 with flag 679000/793678 393.42/200.19 c cleaning 13001 clauses out of 26030 with flag 692001/806679 398.87/202.96 c cleaning 13004 clauses out of 26029 with flag 705001/819679 404.27/205.79 c cleaning 12993 clauses out of 26024 with flag 718000/832678 409.91/208.60 c cleaning 13003 clauses out of 26032 with flag 731001/845679 415.38/211.40 c cleaning 12998 clauses out of 26028 with flag 744000/858678 420.84/214.22 c cleaning 13001 clauses out of 26030 with flag 757000/871678 427.02/217.43 c cleaning 13005 clauses out of 26030 with flag 770001/884679 434.47/221.28 c cleaning 13006 clauses out of 26024 with flag 783000/897678 439.73/223.94 c cleaning 12997 clauses out of 26018 with flag 796000/910678 445.78/227.03 c cleaning 12999 clauses out of 26021 with flag 809000/923678 452.35/230.48 c cleaning 13000 clauses out of 26023 with flag 822001/936679 458.79/233.79 c cleaning 12998 clauses out of 26022 with flag 835000/949678 463.84/236.36 c cleaning 12998 clauses out of 26024 with flag 848000/962678 469.30/239.19 c cleaning 13004 clauses out of 26026 with flag 861000/975678 475.49/242.32 c cleaning 13000 clauses out of 26022 with flag 874000/988678 481.54/245.44 c cleaning 12998 clauses out of 26022 with flag 887000/1001678 487.38/248.49 c cleaning 13001 clauses out of 26024 with flag 900000/1014678 493.64/251.60 c cleaning 12994 clauses out of 26023 with flag 913000/1027678 499.80/254.81 c cleaning 13002 clauses out of 26030 with flag 926001/1040679 505.85/257.94 c cleaning 12998 clauses out of 26027 with flag 939000/1053678 511.89/261.09 c cleaning 13000 clauses out of 26031 with flag 952002/1066680 518.14/264.23 c cleaning 13000 clauses out of 26030 with flag 965001/1079679 523.70/267.17 c cleaning 13008 clauses out of 26029 with flag 978000/1092678 528.93/269.87 c cleaning 12996 clauses out of 26021 with flag 991000/1105678 534.18/272.53 c cleaning 13002 clauses out of 26025 with flag 1004000/1118678 539.42/275.21 c cleaning 13004 clauses out of 26024 with flag 1017001/1131679 544.58/277.94 c cleaning 12992 clauses out of 26019 with flag 1030000/1144678 549.83/280.64 c cleaning 13002 clauses out of 26027 with flag 1043000/1157678 555.07/283.35 c cleaning 13002 clauses out of 26026 with flag 1056001/1170679 560.11/286.00 c cleaning 13004 clauses out of 26024 with flag 1069001/1183679 565.64/288.87 c cleaning 13000 clauses out of 26019 with flag 1082000/1196678 571.27/291.76 c cleaning 12999 clauses out of 26019 with flag 1095000/1209678 576.70/294.50 c cleaning 13000 clauses out of 26020 with flag 1108000/1222678 581.56/297.09 c cleaning 13002 clauses out of 26021 with flag 1121001/1235679 586.69/299.77 c cleaning 13000 clauses out of 26019 with flag 1134001/1248679 592.32/302.66 c cleaning 12998 clauses out of 26018 with flag 1147000/1261678 597.35/305.28 c cleaning 13003 clauses out of 26021 with flag 1160001/1274679 602.58/307.98 c cleaning 12999 clauses out of 26018 with flag 1173001/1287679 607.50/310.55 c cleaning 12999 clauses out of 26018 with flag 1186000/1300678 612.12/312.90 c cleaning 12999 clauses out of 26019 with flag 1199000/1313678 616.75/315.35 c cleaning 13005 clauses out of 26020 with flag 1212000/1326678 623.58/318.80 c cleaning 12997 clauses out of 26015 with flag 1225000/1339678 629.72/322.08 c cleaning 13003 clauses out of 26018 with flag 1238000/1352678 635.16/324.87 c cleaning 12996 clauses out of 26016 with flag 1251001/1365679 640.58/327.64 c cleaning 12998 clauses out of 26020 with flag 1264001/1378679 646.41/330.60 c cleaning 12970 clauses out of 26022 with flag 1277001/1391679 652.14/333.64 c cleaning 12997 clauses out of 26051 with flag 1290000/1404678 657.56/336.46 c cleaning 13016 clauses out of 26054 with flag 1303000/1417678 662.58/339.03 c cleaning 13007 clauses out of 26039 with flag 1316001/1430679 668.79/342.23 c cleaning 13009 clauses out of 26031 with flag 1329000/1443678 674.52/345.29 c cleaning 13004 clauses out of 26022 with flag 1342000/1456678 683.77/349.92 c cleaning 12996 clauses out of 26018 with flag 1355001/1469679 692.59/354.40 c cleaning 12999 clauses out of 26021 with flag 1368000/1482678 700.81/358.66 c cleaning 13003 clauses out of 26023 with flag 1381001/1495679 709.11/362.96 c cleaning 12997 clauses out of 26020 with flag 1394001/1508679 717.11/367.09 c cleaning 13000 clauses out of 26023 with flag 1407001/1521679 722.69/369.93 c cleaning 13002 clauses out of 26022 with flag 1420000/1534678 727.90/372.60 c cleaning 13002 clauses out of 26021 with flag 1433001/1547679 732.80/375.28 c cleaning 13002 clauses out of 26019 with flag 1446001/1560679 737.61/377.80 c cleaning 12999 clauses out of 26016 with flag 1459000/1573678 742.39/380.24 c cleaning 13001 clauses out of 26018 with flag 1472001/1586679 747.20/382.79 c cleaning 12999 clauses out of 26016 with flag 1485000/1599678 752.48/385.50 c cleaning 13001 clauses out of 26018 with flag 1498001/1612679 757.47/388.14 c cleaning 12996 clauses out of 26017 with flag 1511001/1625679 763.06/391.02 c cleaning 12997 clauses out of 26021 with flag 1524001/1638679 768.47/393.88 c cleaning 12999 clauses out of 26023 with flag 1537000/1651678 774.14/396.84 c cleaning 13000 clauses out of 26024 with flag 1550000/1664678 779.53/399.68 c cleaning 12999 clauses out of 26024 with flag 1563000/1677678 785.13/402.54 c cleaning 13004 clauses out of 26026 with flag 1576001/1690679 790.51/405.37 c cleaning 12997 clauses out of 26021 with flag 1589000/1703678 796.00/408.25 c cleaning 13000 clauses out of 26024 with flag 1602000/1716678 801.38/411.01 c cleaning 13000 clauses out of 26024 with flag 1615000/1729678 806.77/413.87 c cleaning 13004 clauses out of 26024 with flag 1628000/1742678 812.36/416.78 c cleaning 12993 clauses out of 26020 with flag 1641000/1755678 818.04/419.73 c cleaning 12994 clauses out of 26027 with flag 1654000/1768678 823.63/422.67 c cleaning 13006 clauses out of 26034 with flag 1667001/1781679 829.44/425.64 c cleaning 13003 clauses out of 26027 with flag 1680000/1794678 835.21/428.67 c cleaning 13001 clauses out of 26024 with flag 1693000/1807678 841.10/431.79 c cleaning 13002 clauses out of 26024 with flag 1706001/1820679 846.68/434.68 c cleaning 12999 clauses out of 26021 with flag 1719000/1833678 852.48/437.65 c cleaning 13001 clauses out of 26023 with flag 1732001/1846679 857.86/440.40 c cleaning 13000 clauses out of 26021 with flag 1745000/1859678 863.55/443.41 c cleaning 12999 clauses out of 26022 with flag 1758001/1872679 869.33/446.43 c cleaning 13001 clauses out of 26023 with flag 1771001/1885679 875.32/449.52 c cleaning 13001 clauses out of 26022 with flag 1784001/1898679 881.11/452.51 c cleaning 13000 clauses out of 26021 with flag 1797001/1911679 885.81/455.01 c cleaning 12998 clauses out of 26020 with flag 1810000/1924678 890.20/457.35 c cleaning 13001 clauses out of 26023 with flag 1823001/1937679 894.59/459.69 c cleaning 12996 clauses out of 26021 with flag 1836000/1950678 899.57/462.22 c cleaning 13007 clauses out of 26025 with flag 1849000/1963678 904.25/464.71 c cleaning 12997 clauses out of 26018 with flag 1862000/1976678 908.83/467.12 c cleaning 13001 clauses out of 26021 with flag 1875000/1989678 914.43/470.03 c cleaning 12998 clauses out of 26018 with flag 1888000/2002678 919.82/472.88 c cleaning 12995 clauses out of 26020 with flag 1901000/2015678 926.70/476.46 c cleaning 13003 clauses out of 26025 with flag 1914000/2028678 933.70/480.07 c cleaning 13002 clauses out of 26022 with flag 1927000/2041678 941.30/484.00 c cleaning 13001 clauses out of 26021 with flag 1940001/2054679 949.08/487.91 c cleaning 12999 clauses out of 26021 with flag 1953002/2067680 956.36/491.75 c cleaning 13000 clauses out of 26019 with flag 1966000/2080678 962.35/494.80 c cleaning 13000 clauses out of 26020 with flag 1979001/2093679 968.16/497.81 c cleaning 13001 clauses out of 26020 with flag 1992001/2106679 973.95/500.86 c cleaning 12999 clauses out of 26019 with flag 2005001/2119679 981.64/504.82 c cleaning 12999 clauses out of 26019 with flag 2018000/2132678 987.81/508.07 c cleaning 12999 clauses out of 26020 with flag 2031000/2145678 994.21/511.38 c cleaning 12999 clauses out of 26021 with flag 2044000/2158678 1000.58/514.65 c cleaning 12997 clauses out of 26022 with flag 2057000/2171678 1006.85/517.94 c cleaning 13003 clauses out of 26025 with flag 2070000/2184678 1013.04/521.12 c cleaning 13000 clauses out of 26022 with flag 2083000/2197678 1018.43/523.94 c cleaning 13002 clauses out of 26022 with flag 2096000/2210678 1024.03/526.81 c cleaning 12997 clauses out of 26020 with flag 2109000/2223678 1029.48/529.75 c cleaning 13002 clauses out of 26023 with flag 2122000/2236678 1035.05/532.62 c cleaning 12997 clauses out of 26021 with flag 2135000/2249678 1040.42/535.47 c cleaning 13001 clauses out of 26024 with flag 2148000/2262678 1045.79/538.30 c cleaning 13004 clauses out of 26024 with flag 2161001/2275679 1051.85/541.40 c cleaning 13000 clauses out of 26019 with flag 2174000/2288678 1059.04/545.13 c cleaning 13002 clauses out of 26020 with flag 2187001/2301679 1066.43/548.90 c cleaning 12998 clauses out of 26017 with flag 2200000/2314678 1073.61/552.67 c cleaning 12999 clauses out of 26019 with flag 2213000/2327678 1081.09/556.59 c cleaning 12997 clauses out of 26020 with flag 2226000/2340678 1088.45/560.37 c cleaning 13003 clauses out of 26023 with flag 2239000/2353678 1095.83/564.16 c cleaning 13004 clauses out of 26020 with flag 2252000/2366678 1103.20/567.97 c cleaning 12997 clauses out of 26016 with flag 2265000/2379678 1111.06/572.00 c cleaning 13001 clauses out of 26019 with flag 2278000/2392678 1118.21/575.78 c cleaning 13002 clauses out of 26019 with flag 2291001/2405679 1125.80/579.61 c cleaning 12998 clauses out of 26016 with flag 2304000/2418678 1132.95/583.39 c cleaning 13001 clauses out of 26019 with flag 2317001/2431679 1139.59/586.87 c cleaning 12998 clauses out of 26018 with flag 2330001/2444679 1145.96/590.19 c cleaning 12998 clauses out of 26019 with flag 2343000/2457678 1153.33/593.97 c cleaning 13002 clauses out of 26021 with flag 2356000/2470678 1159.68/597.26 c cleaning 13000 clauses out of 26019 with flag 2369000/2483678 1166.11/600.62 c cleaning 13000 clauses out of 26019 with flag 2382000/2496678 1171.06/603.27 c cleaning 12997 clauses out of 26019 with flag 2395000/2509678 1175.64/605.66 c cleaning 13002 clauses out of 26022 with flag 2408000/2522678 1180.99/608.41 c cleaning 13004 clauses out of 26021 with flag 2421001/2535679 1188.00/612.18 c cleaning 12996 clauses out of 26016 with flag 2434000/2548678 1195.14/615.84 c cleaning 12999 clauses out of 26020 with flag 2447000/2561678 1201.29/619.08 c cleaning 13000 clauses out of 26021 with flag 2460000/2574678 1207.04/622.04 c cleaning 12985 clauses out of 26021 with flag 2473000/2587678 1212.47/624.99 c cleaning 13004 clauses out of 26037 with flag 2486001/2600679 1217.43/627.57 c cleaning 13003 clauses out of 26033 with flag 2499001/2613679 1222.61/630.27 c cleaning 12998 clauses out of 26029 with flag 2512000/2626678 1227.94/633.00 c cleaning 12993 clauses out of 26032 with flag 2525001/2639679 1233.17/635.86 c cleaning 13001 clauses out of 26038 with flag 2538000/2652678 1238.31/638.57 c cleaning 13009 clauses out of 26038 with flag 2551001/2665679 1243.46/641.27 c cleaning 13006 clauses out of 26030 with flag 2564002/2678680 1248.61/643.94 c cleaning 13000 clauses out of 26022 with flag 2577000/2691678 1253.62/646.63 c cleaning 13000 clauses out of 26023 with flag 2590001/2704679 1258.36/649.17 c cleaning 13003 clauses out of 26023 with flag 2603001/2717679 1263.71/651.95 c cleaning 12998 clauses out of 26019 with flag 2616000/2730678 1268.28/654.40 c cleaning 12999 clauses out of 26021 with flag 2629000/2743678 1273.08/656.97 c cleaning 13003 clauses out of 26022 with flag 2642000/2756678 1278.04/659.50 c cleaning 13002 clauses out of 26020 with flag 2655001/2769679 1282.59/661.97 c cleaning 12998 clauses out of 26018 with flag 2668001/2782679 1287.33/664.46 c cleaning 13002 clauses out of 26019 with flag 2681000/2795678 1292.54/667.25 c cleaning 13001 clauses out of 26018 with flag 2694001/2808679 1297.29/669.79 c cleaning 12998 clauses out of 26016 with flag 2707000/2821678 1301.84/672.10 c cleaning 13001 clauses out of 26019 with flag 2720001/2834679 1306.38/674.51 c cleaning 12998 clauses out of 26018 with flag 2733001/2847679 1311.38/677.21 c cleaning 12999 clauses out of 26019 with flag 2746000/2860678 1316.15/679.72 c cleaning 13001 clauses out of 26021 with flag 2759001/2873679 1321.07/682.34 c cleaning 13005 clauses out of 26020 with flag 2772001/2886679 1325.81/684.85 c cleaning 13000 clauses out of 26015 with flag 2785001/2899679 1330.62/687.44 c cleaning 12994 clauses out of 26014 with flag 2798000/2912678 1335.35/689.90 c cleaning 13003 clauses out of 26021 with flag 2811001/2925679 1340.09/692.49 c cleaning 12998 clauses out of 26017 with flag 2824000/2938678 1345.02/695.03 c cleaning 13001 clauses out of 26019 with flag 2837000/2951678 1350.04/697.74 c cleaning 13001 clauses out of 26018 with flag 2850000/2964678 1354.97/700.30 c cleaning 13000 clauses out of 26017 with flag 2863000/2977678 1360.70/703.34 c cleaning 12997 clauses out of 26017 with flag 2876000/2990678 1367.44/706.88 c cleaning 13001 clauses out of 26020 with flag 2889000/3003678 1373.84/710.29 c cleaning 12984 clauses out of 26019 with flag 2902000/3016678 1380.37/713.69 c cleaning 13007 clauses out of 26034 with flag 2915000/3029678 1385.52/716.31 c cleaning 12997 clauses out of 26027 with flag 2928000/3042678 1395.67/721.54 c cleaning 13007 clauses out of 26036 with flag 2941006/3055684 1407.42/727.67 c cleaning 13004 clauses out of 26024 with flag 2954001/3068679 1416.15/732.16 c cleaning 12998 clauses out of 26020 with flag 2967001/3081679 1421.89/735.11 c cleaning 12997 clauses out of 26021 with flag 2980000/3094678 1427.63/738.18 c cleaning 13001 clauses out of 26025 with flag 2993001/3107679 1433.61/741.33 c cleaning 13006 clauses out of 26024 with flag 3006001/3120679 1442.93/746.12 c cleaning 13001 clauses out of 26018 with flag 3019001/3133679 1451.45/750.55 c cleaning 13003 clauses out of 26017 with flag 3032001/3146679 1458.98/754.42 c cleaning 12997 clauses out of 26014 with flag 3045001/3159679 1465.54/757.98 c cleaning 12999 clauses out of 26016 with flag 3058000/3172678 1472.06/761.37 c cleaning 13004 clauses out of 26017 with flag 3071001/3185679 1480.40/765.64 c cleaning 13001 clauses out of 26013 with flag 3084001/3198679 1488.92/770.08 c cleaning 12998 clauses out of 26012 with flag 3097001/3211679 1497.46/774.57 c cleaning 13000 clauses out of 26014 with flag 3110001/3224679 1505.80/778.89 c cleaning 12999 clauses out of 26013 with flag 3123000/3237678 1514.31/783.24 c cleaning 12998 clauses out of 26014 with flag 3136000/3250678 1522.82/787.62 c cleaning 13002 clauses out of 26017 with flag 3149001/3263679 1531.17/792.01 c cleaning 12999 clauses out of 26015 with flag 3162001/3276679 1543.47/798.32 c cleaning 12995 clauses out of 26015 with flag 3175000/3289678 1551.18/802.35 c cleaning 13000 clauses out of 26021 with flag 3188001/3302679 1558.91/806.31 c cleaning 13007 clauses out of 26021 with flag 3201001/3315679 1566.63/810.42 c cleaning 12993 clauses out of 26014 with flag 3214001/3328679 1573.94/814.27 c cleaning 12999 clauses out of 26020 with flag 3227000/3341678 1581.24/818.06 c cleaning 12999 clauses out of 26021 with flag 3240000/3354678 1589.36/822.29 c cleaning 13004 clauses out of 26023 with flag 3253001/3367679 1597.69/826.70 c cleaning 12999 clauses out of 26019 with flag 3266001/3380679 1605.98/830.96 c cleaning 12996 clauses out of 26019 with flag 3279000/3393678 1614.47/835.32 c cleaning 13003 clauses out of 26024 with flag 3292001/3406679 1622.56/839.57 c cleaning 13006 clauses out of 26021 with flag 3305001/3419679 1630.50/843.74 c cleaning 13001 clauses out of 26015 with flag 3318001/3432679 1635.98/846.60 c cleaning 13000 clauses out of 26014 with flag 3331001/3445679 1641.26/849.47 c cleaning 12996 clauses out of 26013 with flag 3344000/3458678 1646.97/852.49 c cleaning 13005 clauses out of 26018 with flag 3357001/3471679 1653.46/855.94 c cleaning 12995 clauses out of 26012 with flag 3370000/3484678 1659.16/859.00 c cleaning 13000 clauses out of 26018 with flag 3383001/3497679 1665.25/862.12 c cleaning 13000 clauses out of 26017 with flag 3396000/3510678 1671.54/865.42 c cleaning 13001 clauses out of 26017 with flag 3409000/3523678 1677.68/868.74 c cleaning 12999 clauses out of 26016 with flag 3422000/3536678 1683.77/871.97 c cleaning 13004 clauses out of 26018 with flag 3435001/3549679 1689.86/875.12 c cleaning 12995 clauses out of 26013 with flag 3448000/3562678 1695.55/878.14 c cleaning 13000 clauses out of 26019 with flag 3461001/3575679 1700.27/880.71 c cleaning 13003 clauses out of 26018 with flag 3474000/3588678 1704.56/883.05 c cleaning 13000 clauses out of 26016 with flag 3487001/3601679 1708.85/885.36 c cleaning 12999 clauses out of 26016 with flag 3500001/3614679 1713.14/887.62 c cleaning 13000 clauses out of 26017 with flag 3513001/3627679 1717.44/890.06 c cleaning 13001 clauses out of 26017 with flag 3526001/3640679 1721.93/892.47 c cleaning 13003 clauses out of 26016 with flag 3539001/3653679 1731.62/897.45 c cleaning 12995 clauses out of 26012 with flag 3552000/3666678 1741.50/902.53 c cleaning 13000 clauses out of 26018 with flag 3565001/3679679 1751.04/907.53 c cleaning 13003 clauses out of 26017 with flag 3578000/3692678 1760.13/912.27 c cleaning 13000 clauses out of 26015 with flag 3591001/3705679 1769.80/917.21 c cleaning 13000 clauses out of 26015 with flag 3604001/3718679 1778.68/921.84 c cleaning 13001 clauses out of 26015 with flag 3617001/3731679 1788.17/926.82 c cleaning 12997 clauses out of 26014 with flag 3630001/3744679 1797.66/931.75 c cleaning 12997 clauses out of 26016 with flag 3643000/3757678 1800.13/933.11 c starts : 256 1800.13/933.11 c conflicts : 3760636 1800.13/933.11 c decisions : 4272624 1800.13/933.11 c propagations : 72275440 1800.13/933.11 c inspects : 986598190 1800.13/933.11 c shortcuts : 0 1800.13/933.11 c learnt literals : 6 1800.13/933.11 c learnt binary clauses : 386 1800.13/933.11 c learnt ternary clauses : 7743 1800.13/933.11 c learnt constraints : 3760629 1800.13/933.11 c ignored constraints : 0 1800.13/933.11 c root simplifications : 0 1800.13/933.11 c removed literals (reason simplification) : 322687713 1800.13/933.11 c reason swapping (by a shorter reason) : 0 1800.13/933.11 c Calls to reduceDB : 298 1800.13/933.11 c number of reductions to clauses (during analyze) : 0 1800.13/933.11 c number of learned constraints concerned by reduction : 0 1800.13/933.11 c number of learning phase by resolution : 0 1800.13/933.11 c number of learning phase by cutting planes : 0 1800.13/933.11 c speed (assignments/second) : 80940.17799448794 1800.13/933.11 c non guided choices 1657 1800.13/933.12 c learnt constraints type 1800.13/933.12 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 386 1800.13/933.12 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15608 1800.13/933.12 c constraints type 1800.13/933.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.13/933.12 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.13/933.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.13/933.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.13/933.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.13/933.12 c constraints type 1800.13/933.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1800.13/933.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1800.13/933.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.13/933.12 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.13/933.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376 1800.13/933.12 s SATISFIABLE 1800.13/933.13 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.13/933.14 c objective function=4307507 1800.13/933.14 c Total wall clock time (in seconds): 932.992
OK 4307507
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-3744414-1338806219/watcher-3744414-1338806219 -o /tmp/evaluation-result-3744414-1338806219/solver-3744414-1338806219 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744414-1338806219.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.74 3.36 2.92 4/197 1907 /proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/1907/stat : 1907 (java) D 1905 1907 32548 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 346746932 2560000 46 33554432000 1073741824 1073778376 140737417866080 140737417863208 227132140839 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/1907/statm: 625 46 37 9 0 29 0 [startup+0.076678 s] /proc/loadavg: 3.74 3.36 2.92 4/197 1907 /proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11253516 CPUtime=0.04 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 4347 0 1 0 3 1 0 0 20 0 13 0 346746932 11523600384 11688 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2813379 11688 1705 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.100288 s] /proc/loadavg: 3.74 3.36 2.92 4/197 1907 /proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11586392 CPUtime=0.06 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 4475 0 1 0 5 1 0 0 20 0 18 0 346746932 11864465408 12327 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2896598 12327 1765 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300252 s] /proc/loadavg: 3.74 3.36 2.92 4/197 1907 /proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11586392 CPUtime=0.44 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 6418 0 1 0 43 1 0 0 20 0 18 0 346746932 11864465408 15610 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2896598 15610 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 11586392 [startup+0.700205 s] /proc/loadavg: 3.74 3.36 2.92 4/197 1907 /proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11719520 CPUtime=1.7 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 22587 0 1 0 164 6 0 0 20 0 20 0 346746932 12000788480 32029 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2929880 32029 2247 9 0 2920567 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 11719520 [startup+1.50062 s] /proc/loadavg: 3.74 3.36 2.92 7/219 1929 /proc/meminfo: memFree=23507336/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11852648 CPUtime=4.02 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 29005 0 1 0 392 10 0 0 20 0 19 0 346746932 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2963162 34941 2265 9 0 2953849 0 [pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.6 cores=1,3,5,7 /proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3454 0 1 0 58 2 0 0 20 0 19 0 346746933 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140514084005016 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346746938 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346746938 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346746938 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12319 0 0 0 104 3 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=1.03 cores=1,3,5,7 /proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 11931 0 0 0 100 3 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346747003 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.02 Current children cumulated vsize (KiB) 11852648 [startup+3.10076 s] /proc/loadavg: 3.74 3.36 2.92 7/219 1932 /proc/meminfo: memFree=23429520/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11852648 CPUtime=7.31 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 29608 0 1 0 716 15 0 0 20 0 22 0 346746932 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2963162 92883 2268 9 0 2953849 0 [pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3455 0 1 0 60 3 0 0 20 0 22 0 346746933 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140514084005016 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.29 cores=1,3,5,7 /proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12349 0 0 0 126 3 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=1.25 cores=1,3,5,7 /proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 12379 0 0 0 122 3 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1930] ppid=1905 vsize=11852648 CPUtime=1.4 cores=1,3,5,7 /proc/1907/task/1930/stat : 1930 (java) R 1905 1907 32548 0 -1 4202560 7 0 0 0 140 0 0 0 20 0 22 0 346747099 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513892048696 140513957896284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1931] ppid=1905 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/1907/task/1931/stat : 1931 (java) R 1905 1907 32548 0 -1 4202560 114 0 0 0 135 4 0 0 20 0 22 0 346747099 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513893101448 140513956681879 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1932] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1932/stat : 1932 (java) S 1905 1907 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346747100 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513890997288 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.31 Current children cumulated vsize (KiB) 11852648 [startup+6.30085 s] /proc/loadavg: 3.76 3.37 2.92 5/219 1932 /proc/meminfo: memFree=22888840/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11852648 CPUtime=13.91 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 30003 0 1 0 1362 29 0 0 20 0 22 0 346746932 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2963162 249604 2292 9 0 2953849 0 [pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3455 0 1 0 60 3 0 0 20 0 22 0 346746933 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140514084005016 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0.01 cores=1,3,5,7 /proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=0.06 cores=1,3,5,7 /proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 22 0 346746938 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.33 cores=1,3,5,7 /proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12353 0 0 0 130 3 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=1.45 cores=1,3,5,7 /proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 12393 0 0 0 142 3 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ /proc/1907/statm: 2963162 936972 2293 9 0 2953849 0 [pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.74 cores=1,3,5,7 /proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3596 0 1 0 70 4 0 0 20 0 22 0 346746933 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140514084005032 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 115 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 86 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0.88 cores=1,3,5,7 /proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 47 0 0 0 86 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0.99 cores=1,3,5,7 /proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 93 0 0 0 97 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0.96 cores=1,3,5,7 /proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 98 0 0 0 96 0 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0.99 cores=1,3,5,7 /proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 109 0 0 0 97 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 90 0 0 0 99 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 87 0 0 0 96 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=65.29 cores=1,3,5,7 /proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 222 0 0 0 6520 9 0 0 20 0 22 0 346746938 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.56 cores=1,3,5,7 /proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12358 0 0 0 153 3 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=2.27 cores=1,3,5,7 /proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 21433 0 0 0 222 5 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0.4 cores=1,3,5,7 /proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 51 0 0 0 24 16 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0 [pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1939] ppid=1905 vsize=11852648 CPUtime=773.54 cores=1,3,5,7 /proc/1907/task/1939/stat : 1939 (java) R 1905 1907 32548 0 -1 4202560 131 0 0 0 77341 13 0 0 20 0 22 0 346750948 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513893101760 140513957568182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1940] ppid=1905 vsize=11852648 CPUtime=773.36 cores=1,3,5,7 /proc/1907/task/1940/stat : 1940 (java) R 1905 1907 32548 0 -1 4202560 637 0 0 0 77306 30 0 0 20 0 22 0 346750948 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513892047072 140513957759774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1941] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1941/stat : 1941 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346750949 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513890997416 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1703.16 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+933.101 s] /proc/loadavg: 4.00 3.90 3.53 6/219 2036 /proc/meminfo: memFree=19826464/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 41553 0 1 0 179895 118 0 0 20 0 22 0 346746932 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2963162 939051 2293 9 0 2953849 0 [pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.75 cores=1,3,5,7 /proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3605 0 1 0 71 4 0 0 20 0 22 0 346746933 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140514084005032 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 118 0 0 0 100 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 89 0 0 0 102 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 54 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 94 0 0 0 103 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 110 0 0 0 104 0 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=1.03 cores=1,3,5,7 /proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 114 0 0 0 101 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 90 0 0 0 105 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=1.06 cores=1,3,5,7 /proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 87 0 0 0 104 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=70.15 cores=1,3,5,7 /proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 230 0 0 0 7004 11 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.56 cores=1,3,5,7 /proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12358 0 0 0 153 3 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=2.27 cores=1,3,5,7 /proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 21433 0 0 0 222 5 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 55 0 0 0 25 18 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0 [pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1939] ppid=1905 vsize=11852648 CPUtime=819.2 cores=1,3,5,7 /proc/1907/task/1939/stat : 1939 (java) R 1905 1907 32548 0 -1 4202560 133 0 0 0 81906 14 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513893101760 140513957211616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1940] ppid=1905 vsize=11852648 CPUtime=819.01 cores=1,3,5,7 /proc/1907/task/1940/stat : 1940 (java) R 1905 1907 32548 0 -1 4202560 639 0 0 0 81870 31 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513892046960 140513957741285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1941] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1941/stat : 1941 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346750949 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513890997416 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 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 [startup+933.101 s] /proc/loadavg: 4.00 3.90 3.53 6/219 2036 /proc/meminfo: memFree=19826464/32873844 swapFree=7116/7116 [pid=1907] ppid=1905 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7 /proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 41553 0 1 0 179895 118 0 0 20 0 22 0 346746932 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1907/statm: 2963162 939051 2293 9 0 2953849 0 [pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.75 cores=1,3,5,7 /proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3605 0 1 0 71 4 0 0 20 0 22 0 346746933 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140514084005032 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 118 0 0 0 100 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 89 0 0 0 102 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7 /proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 54 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 94 0 0 0 103 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 110 0 0 0 104 0 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=1.03 cores=1,3,5,7 /proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 114 0 0 0 101 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 90 0 0 0 105 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=1.06 cores=1,3,5,7 /proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 87 0 0 0 104 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=70.15 cores=1,3,5,7 /proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 230 0 0 0 7004 11 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.56 cores=1,3,5,7 /proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12358 0 0 0 153 3 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=2.27 cores=1,3,5,7 /proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 21433 0 0 0 222 5 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 55 0 0 0 25 18 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0 [pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1939] ppid=1905 vsize=11852648 CPUtime=819.2 cores=1,3,5,7 /proc/1907/task/1939/stat : 1939 (java) R 1905 1907 32548 0 -1 4202560 133 0 0 0 81906 14 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513893101760 140513957211616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1907/tid=1940] ppid=1905 vsize=11852648 CPUtime=819.01 cores=1,3,5,7 /proc/1907/task/1940/stat : 1940 (java) R 1905 1907 32548 0 -1 4202560 639 0 0 0 81870 31 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513892046960 140513957741285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1907/tid=1941] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1907/task/1941/stat : 1941 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346750949 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513890997416 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1907 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=631751 # CPU time returned by wait4() is 1796.25 # while last known CPU time is 1800.13 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 933.168 CPU time (s): 1800.13 CPU user time (s): 1798.95 CPU system time (s): 1.18 CPU usage (%): 192.905 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.62 system time used= 1.63175 maximum resident set size= 3756332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41587 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30708 involuntary context switches= 29967 runsolver used 3.39148 second user time and 9.1956 second system time The end
Begin job on node138 at 2012-06-04 12:36:59 IDJOB=3744414 IDBENCH=92748 IDSOLVER=2328 FILE ID=node138/3744414-1338806219 RUNJOBID= node138-1338804380-1576 PBS_JOBID= 14636830 Free space on /tmp= 70768 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744414-1338806219/watcher-3744414-1338806219 -o /tmp/evaluation-result-3744414-1338806219/solver-3744414-1338806219 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744414-1338806219.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8a23e88f34ee33e636d3b24522832f27 RANDOM SEED=1407750103 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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 : 2667.347 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 : 2667.347 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 : 2667.347 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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: 23628520 kB Buffers: 730988 kB Cached: 4036972 kB SwapCached: 208 kB Active: 5960620 kB Inactive: 2365100 kB Active(anon): 3541836 kB Inactive(anon): 11376 kB Active(file): 2418784 kB Inactive(file): 2353724 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 504 kB Writeback: 0 kB AnonPages: 3557860 kB Mapped: 22552 kB Shmem: 200 kB Slab: 772496 kB SReclaimable: 214544 kB SUnreclaim: 557952 kB KernelStack: 1632 kB PageTables: 11168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10458664 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3493888 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= 70768 MiB End job on node138 at 2012-06-04 12:52:34