Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.42 | 918.015 |
Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_8.opb |
MD5SUM | 4bf433c60343e128a7fab53c33d88c45 |
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 | 3841241 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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 | 157464000 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 48028849250 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 157464000 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 48028849250 |
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.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3744306-1338800382.opb 0.07/0.13 c reading problem ... 1.38/0.64 c ... done. Wall clock time 0.502s. 1.38/0.64 c #vars 5100 1.38/0.64 c #constraints 12610 1.38/0.64 c constraints type 1.38/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1.38/0.64 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.38/0.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.38/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1.38/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 1.38/0.64 c constraints type 1.38/0.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1.38/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1.38/0.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.38/0.64 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.38/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375 2.53/0.93 c And the winner is Resolution 2.99/1.16 c SATISFIABLE 2.99/1.16 c OPTIMIZING... 2.99/1.16 c Got one! Elapsed wall clock time (in seconds):1.021 2.99/1.16 o 3841241 9.06/3.91 c cleaning 2508 clauses out of 5015 with flag 5000/5015 15.42/6.87 c cleaning 4250 clauses out of 8508 with flag 11001/11016 21.60/9.95 c cleaning 5620 clauses out of 11256 with flag 18000/18015 28.96/13.69 c cleaning 6819 clauses out of 13637 with flag 26001/26016 35.77/17.06 c cleaning 7902 clauses out of 15816 with flag 35000/35015 41.34/19.89 c cleaning 8950 clauses out of 17914 with flag 45000/45015 47.96/23.13 c cleaning 9973 clauses out of 19964 with flag 56001/56016 55.11/26.73 c cleaning 10984 clauses out of 21990 with flag 68001/68016 60.95/29.68 c cleaning 11995 clauses out of 24005 with flag 81000/81015 65.69/32.02 c cleaning 12487 clauses out of 25010 with flag 94000/94015 71.05/34.72 c cleaning 12754 clauses out of 25523 with flag 107000/107015 76.00/37.25 c cleaning 12882 clauses out of 25771 with flag 120002/120017 83.93/41.26 c cleaning 12933 clauses out of 25887 with flag 133000/133015 89.89/44.27 c cleaning 12968 clauses out of 25955 with flag 146001/146016 95.63/47.19 c cleaning 12986 clauses out of 25988 with flag 159002/159017 101.99/50.31 c cleaning 12995 clauses out of 26001 with flag 172001/172016 108.93/53.81 c cleaning 12988 clauses out of 26005 with flag 185000/185015 115.25/57.08 c cleaning 13005 clauses out of 26018 with flag 198001/198016 120.58/59.71 c cleaning 12996 clauses out of 26012 with flag 211000/211015 126.12/62.51 c cleaning 13002 clauses out of 26017 with flag 224001/224016 131.42/65.28 c cleaning 13001 clauses out of 26015 with flag 237001/237016 137.36/68.25 c cleaning 12999 clauses out of 26014 with flag 250001/250016 143.69/71.45 c cleaning 13003 clauses out of 26015 with flag 263001/263016 149.60/74.41 c cleaning 12997 clauses out of 26011 with flag 276000/276015 155.31/77.35 c cleaning 12996 clauses out of 26014 with flag 289000/289015 160.83/80.17 c cleaning 13004 clauses out of 26018 with flag 302000/302015 165.75/82.61 c cleaning 12997 clauses out of 26014 with flag 315000/315015 171.28/85.43 c cleaning 13002 clauses out of 26018 with flag 328001/328016 178.76/89.20 c cleaning 13000 clauses out of 26014 with flag 341000/341015 184.47/92.12 c cleaning 13001 clauses out of 26013 with flag 354000/354015 192.99/96.49 c cleaning 13001 clauses out of 26012 with flag 367000/367015 198.91/99.44 c cleaning 12998 clauses out of 26011 with flag 380000/380015 203.40/101.78 c cleaning 13002 clauses out of 26015 with flag 393002/393017 207.91/104.08 c cleaning 12996 clauses out of 26011 with flag 406000/406015 213.43/106.84 c cleaning 13002 clauses out of 26016 with flag 419001/419016 221.55/110.92 c cleaning 12998 clauses out of 26013 with flag 432000/432015 228.24/114.34 c cleaning 12990 clauses out of 26015 with flag 445000/445015 235.94/118.29 c cleaning 13004 clauses out of 26026 with flag 458001/458016 240.84/120.78 c cleaning 13003 clauses out of 26021 with flag 471000/471015 247.16/123.93 c cleaning 12998 clauses out of 26017 with flag 484000/484015 253.81/127.34 c cleaning 12999 clauses out of 26020 with flag 497001/497016 261.32/131.17 c cleaning 12996 clauses out of 26021 with flag 510001/510016 266.43/133.74 c cleaning 12998 clauses out of 26024 with flag 523000/523015 271.75/136.41 c cleaning 13000 clauses out of 26026 with flag 536000/536015 277.80/139.54 c cleaning 13008 clauses out of 26025 with flag 549000/549015 284.11/142.73 c cleaning 12994 clauses out of 26017 with flag 562001/562016 289.22/145.37 c cleaning 13002 clauses out of 26023 with flag 575001/575016 294.51/148.03 c cleaning 12994 clauses out of 26020 with flag 588000/588015 299.95/150.80 c cleaning 13004 clauses out of 26027 with flag 601001/601016 305.26/153.54 c cleaning 12996 clauses out of 26022 with flag 614000/614015 311.16/156.53 c cleaning 13002 clauses out of 26027 with flag 627001/627016 317.45/159.71 c cleaning 12999 clauses out of 26024 with flag 640000/640015 321.90/162.09 c cleaning 13001 clauses out of 26025 with flag 653000/653015 326.80/164.51 c cleaning 13003 clauses out of 26024 with flag 666000/666015 331.91/167.12 c cleaning 12997 clauses out of 26022 with flag 679001/679016 337.18/169.85 c cleaning 12997 clauses out of 26024 with flag 692000/692015 342.43/172.58 c cleaning 13003 clauses out of 26028 with flag 705001/705016 348.71/175.79 c cleaning 13002 clauses out of 26025 with flag 718001/718016 354.39/178.68 c cleaning 12999 clauses out of 26023 with flag 731001/731016 360.09/181.51 c cleaning 13001 clauses out of 26023 with flag 744000/744015 366.53/184.82 c cleaning 12992 clauses out of 26023 with flag 757001/757016 373.03/188.17 c cleaning 12997 clauses out of 26031 with flag 770001/770016 378.93/191.12 c cleaning 13002 clauses out of 26034 with flag 783001/783016 384.42/193.96 c cleaning 13000 clauses out of 26031 with flag 796000/796015 390.06/196.85 c cleaning 12999 clauses out of 26031 with flag 809000/809015 395.13/199.49 c cleaning 13014 clauses out of 26035 with flag 822003/822018 399.82/201.89 c cleaning 12993 clauses out of 26018 with flag 835000/835015 404.12/204.00 c cleaning 13005 clauses out of 26026 with flag 848001/848016 408.34/206.21 c cleaning 13002 clauses out of 26020 with flag 861000/861015 412.65/208.47 c cleaning 13003 clauses out of 26019 with flag 874001/874016 417.13/210.73 c cleaning 12996 clauses out of 26017 with flag 887002/887017 421.40/212.94 c cleaning 13000 clauses out of 26020 with flag 900001/900016 425.82/215.27 c cleaning 12995 clauses out of 26019 with flag 913000/913015 431.89/218.30 c cleaning 13006 clauses out of 26024 with flag 926000/926015 441.39/223.16 c cleaning 12998 clauses out of 26018 with flag 939000/939015 446.48/225.72 c cleaning 13003 clauses out of 26020 with flag 952000/952015 451.29/228.20 c cleaning 12998 clauses out of 26017 with flag 965000/965015 456.16/230.74 c cleaning 12994 clauses out of 26019 with flag 978000/978015 460.63/233.05 c cleaning 12999 clauses out of 26025 with flag 991000/991015 465.32/235.41 c cleaning 13006 clauses out of 26026 with flag 1004000/1004015 470.72/238.29 c cleaning 13003 clauses out of 26020 with flag 1017000/1017015 476.19/241.07 c cleaning 13001 clauses out of 26018 with flag 1030001/1030016 481.66/243.80 c cleaning 13002 clauses out of 26017 with flag 1043001/1043016 489.13/247.65 c cleaning 12986 clauses out of 26014 with flag 1056000/1056015 497.75/252.01 c cleaning 13003 clauses out of 26028 with flag 1069000/1069015 506.05/256.30 c cleaning 12998 clauses out of 26026 with flag 1082001/1082016 514.51/260.60 c cleaning 13001 clauses out of 26027 with flag 1095000/1095015 521.40/264.02 c cleaning 12990 clauses out of 26026 with flag 1108000/1108015 528.60/267.75 c cleaning 13009 clauses out of 26036 with flag 1121000/1121015 534.28/270.68 c cleaning 13007 clauses out of 26027 with flag 1134000/1134015 539.13/273.19 c cleaning 13001 clauses out of 26021 with flag 1147001/1147016 544.01/275.66 c cleaning 13000 clauses out of 26019 with flag 1160000/1160015 549.02/278.20 c cleaning 13004 clauses out of 26020 with flag 1173001/1173016 553.68/280.66 c cleaning 12998 clauses out of 26015 with flag 1186000/1186015 558.35/283.07 c cleaning 13000 clauses out of 26018 with flag 1199001/1199016 563.02/285.44 c cleaning 13002 clauses out of 26017 with flag 1212000/1212015 567.24/287.69 c cleaning 12998 clauses out of 26015 with flag 1225000/1225015 571.71/289.93 c cleaning 12999 clauses out of 26017 with flag 1238000/1238015 576.18/292.22 c cleaning 12997 clauses out of 26019 with flag 1251001/1251016 580.45/294.45 c cleaning 12999 clauses out of 26021 with flag 1264000/1264015 585.26/296.94 c cleaning 13002 clauses out of 26023 with flag 1277001/1277016 590.12/299.40 c cleaning 12999 clauses out of 26020 with flag 1290000/1290015 594.80/301.80 c cleaning 13004 clauses out of 26022 with flag 1303001/1303016 599.07/304.08 c cleaning 12996 clauses out of 26017 with flag 1316000/1316015 603.68/306.46 c cleaning 13002 clauses out of 26021 with flag 1329000/1329015 608.15/308.76 c cleaning 12998 clauses out of 26020 with flag 1342001/1342016 612.62/311.05 c cleaning 13002 clauses out of 26022 with flag 1355001/1355016 618.09/313.84 c cleaning 13000 clauses out of 26019 with flag 1368000/1368015 623.09/316.40 c cleaning 13001 clauses out of 26019 with flag 1381000/1381015 627.76/318.80 c cleaning 12999 clauses out of 26019 with flag 1394001/1394016 633.43/321.77 c cleaning 13000 clauses out of 26020 with flag 1407001/1407016 638.92/324.57 c cleaning 13005 clauses out of 26019 with flag 1420000/1420015 643.72/327.04 c cleaning 12999 clauses out of 26014 with flag 1433000/1433015 648.59/329.52 c cleaning 12997 clauses out of 26015 with flag 1446000/1446015 654.26/332.47 c cleaning 12999 clauses out of 26018 with flag 1459000/1459015 660.15/335.50 c cleaning 12999 clauses out of 26019 with flag 1472000/1472015 666.35/338.65 c cleaning 13002 clauses out of 26020 with flag 1485000/1485015 671.42/341.21 c cleaning 13002 clauses out of 26018 with flag 1498000/1498015 676.09/343.62 c cleaning 13003 clauses out of 26017 with flag 1511001/1511016 680.96/346.11 c cleaning 13000 clauses out of 26014 with flag 1524001/1524016 685.78/348.61 c cleaning 12998 clauses out of 26014 with flag 1537001/1537016 690.44/351.03 c cleaning 13002 clauses out of 26015 with flag 1550000/1550015 695.51/353.64 c cleaning 12998 clauses out of 26013 with flag 1563000/1563015 701.18/356.54 c cleaning 12998 clauses out of 26016 with flag 1576001/1576016 706.99/359.52 c cleaning 12999 clauses out of 26017 with flag 1589000/1589015 713.05/362.64 c cleaning 12992 clauses out of 26018 with flag 1602000/1602015 719.12/365.70 c cleaning 13003 clauses out of 26026 with flag 1615000/1615015 724.98/368.76 c cleaning 13005 clauses out of 26023 with flag 1628000/1628015 731.01/371.89 c cleaning 12995 clauses out of 26019 with flag 1641001/1641016 736.86/374.85 c cleaning 13002 clauses out of 26024 with flag 1654001/1654016 741.13/377.03 c cleaning 12993 clauses out of 26021 with flag 1667000/1667015 745.38/379.27 c cleaning 13002 clauses out of 26030 with flag 1680002/1680017 749.99/381.67 c cleaning 12999 clauses out of 26026 with flag 1693000/1693015 755.05/384.28 c cleaning 13003 clauses out of 26027 with flag 1706000/1706015 759.91/386.74 c cleaning 12994 clauses out of 26025 with flag 1719001/1719016 764.40/389.02 c cleaning 13000 clauses out of 26030 with flag 1732000/1732015 769.01/391.43 c cleaning 12999 clauses out of 26031 with flag 1745001/1745016 773.49/393.73 c cleaning 13001 clauses out of 26032 with flag 1758001/1758016 777.96/396.07 c cleaning 13000 clauses out of 26031 with flag 1771001/1771016 783.01/398.62 c cleaning 12997 clauses out of 26030 with flag 1784000/1784015 788.00/401.21 c cleaning 12995 clauses out of 26034 with flag 1797001/1797016 792.46/403.60 c cleaning 13009 clauses out of 26039 with flag 1810001/1810016 797.53/406.17 c cleaning 13006 clauses out of 26029 with flag 1823000/1823015 804.40/409.64 c cleaning 12999 clauses out of 26023 with flag 1836000/1836015 810.00/412.58 c cleaning 13004 clauses out of 26024 with flag 1849000/1849015 816.27/415.73 c cleaning 12999 clauses out of 26020 with flag 1862000/1862015 820.55/417.98 c cleaning 13000 clauses out of 26021 with flag 1875000/1875015 825.01/420.27 c cleaning 13001 clauses out of 26022 with flag 1888001/1888016 829.22/422.47 c cleaning 12995 clauses out of 26020 with flag 1901000/1901015 833.68/424.76 c cleaning 13008 clauses out of 26025 with flag 1914000/1914015 850.76/433.36 c cleaning 12999 clauses out of 26016 with flag 1927000/1927015 877.81/446.91 c cleaning 12996 clauses out of 26017 with flag 1940000/1940015 904.81/460.58 c cleaning 12996 clauses out of 26022 with flag 1953001/1953016 932.08/474.23 c cleaning 13009 clauses out of 26026 with flag 1966001/1966016 959.56/488.06 c cleaning 12994 clauses out of 26016 with flag 1979000/1979015 987.26/501.91 c cleaning 13003 clauses out of 26022 with flag 1992000/1992015 1014.67/515.77 c cleaning 12993 clauses out of 26021 with flag 2005002/2005017 1042.14/529.52 c cleaning 13000 clauses out of 26026 with flag 2018000/2018015 1069.42/543.27 c cleaning 13004 clauses out of 26026 with flag 2031000/2031015 1096.90/557.08 c cleaning 12994 clauses out of 26022 with flag 2044000/2044015 1124.54/570.98 c cleaning 13003 clauses out of 26028 with flag 2057000/2057015 1152.20/584.84 c cleaning 13009 clauses out of 26026 with flag 2070001/2070016 1180.68/599.16 c cleaning 12993 clauses out of 26017 with flag 2083001/2083016 1209.16/613.50 c cleaning 13000 clauses out of 26024 with flag 2096001/2096016 1237.94/627.92 c cleaning 12998 clauses out of 26023 with flag 2109000/2109015 1267.20/642.60 c cleaning 13003 clauses out of 26025 with flag 2122000/2122015 1294.66/656.43 c cleaning 12999 clauses out of 26022 with flag 2135000/2135015 1313.10/665.77 c cleaning 13008 clauses out of 26024 with flag 2148001/2148016 1322.70/670.68 c cleaning 12997 clauses out of 26015 with flag 2161000/2161015 1327.95/673.35 c cleaning 12999 clauses out of 26018 with flag 2174000/2174015 1332.82/675.83 c cleaning 13005 clauses out of 26020 with flag 2187001/2187016 1337.48/678.24 c cleaning 12998 clauses out of 26014 with flag 2200000/2200015 1342.07/680.66 c cleaning 12989 clauses out of 26017 with flag 2213001/2213016 1346.53/682.97 c cleaning 13002 clauses out of 26028 with flag 2226001/2226016 1351.20/685.39 c cleaning 12998 clauses out of 26026 with flag 2239001/2239016 1355.85/687.70 c cleaning 12998 clauses out of 26028 with flag 2252001/2252016 1360.83/690.39 c cleaning 12995 clauses out of 26029 with flag 2265000/2265015 1365.91/692.90 c cleaning 13005 clauses out of 26034 with flag 2278000/2278015 1371.36/695.76 c cleaning 13004 clauses out of 26029 with flag 2291000/2291015 1376.40/698.31 c cleaning 13005 clauses out of 26025 with flag 2304000/2304015 1381.01/700.71 c cleaning 13001 clauses out of 26020 with flag 2317000/2317015 1386.65/703.64 c cleaning 13007 clauses out of 26020 with flag 2330001/2330016 1391.91/706.39 c cleaning 12990 clauses out of 26013 with flag 2343001/2343016 1396.98/708.90 c cleaning 12999 clauses out of 26023 with flag 2356001/2356016 1401.98/711.51 c cleaning 13001 clauses out of 26024 with flag 2369001/2369016 1406.67/713.96 c cleaning 12998 clauses out of 26023 with flag 2382001/2382016 1411.52/716.40 c cleaning 13001 clauses out of 26024 with flag 2395000/2395015 1416.16/718.89 c cleaning 12999 clauses out of 26024 with flag 2408001/2408016 1421.16/721.43 c cleaning 13001 clauses out of 26024 with flag 2421000/2421015 1426.01/723.92 c cleaning 12998 clauses out of 26023 with flag 2434000/2434015 1430.86/726.49 c cleaning 13004 clauses out of 26026 with flag 2447001/2447016 1436.10/729.18 c cleaning 12998 clauses out of 26021 with flag 2460000/2460015 1441.29/731.88 c cleaning 12999 clauses out of 26024 with flag 2473001/2473016 1446.94/734.77 c cleaning 12991 clauses out of 26025 with flag 2486001/2486016 1452.58/737.69 c cleaning 13009 clauses out of 26034 with flag 2499001/2499016 1458.21/740.50 c cleaning 13000 clauses out of 26025 with flag 2512001/2512016 1462.99/743.03 c cleaning 12998 clauses out of 26025 with flag 2525001/2525016 1468.03/745.60 c cleaning 12997 clauses out of 26026 with flag 2538000/2538015 1472.89/748.17 c cleaning 13007 clauses out of 26029 with flag 2551000/2551015 1477.33/750.49 c cleaning 12993 clauses out of 26022 with flag 2564000/2564015 1482.10/752.97 c cleaning 12994 clauses out of 26030 with flag 2577001/2577016 1487.34/755.65 c cleaning 13012 clauses out of 26036 with flag 2590001/2590016 1492.36/758.24 c cleaning 13006 clauses out of 26024 with flag 2603001/2603016 1497.20/760.77 c cleaning 13001 clauses out of 26018 with flag 2616001/2616016 1502.36/763.43 c cleaning 13002 clauses out of 26017 with flag 2629001/2629016 1507.20/765.92 c cleaning 12998 clauses out of 26015 with flag 2642001/2642016 1512.03/768.49 c cleaning 13001 clauses out of 26017 with flag 2655001/2655016 1517.10/771.09 c cleaning 13000 clauses out of 26016 with flag 2668001/2668016 1522.43/773.83 c cleaning 13000 clauses out of 26016 with flag 2681001/2681016 1527.69/776.58 c cleaning 12996 clauses out of 26015 with flag 2694000/2694015 1533.12/779.35 c cleaning 13002 clauses out of 26020 with flag 2707001/2707016 1538.15/781.99 c cleaning 13003 clauses out of 26017 with flag 2720000/2720015 1543.31/784.67 c cleaning 12998 clauses out of 26014 with flag 2733000/2733015 1548.37/787.24 c cleaning 12998 clauses out of 26017 with flag 2746001/2746016 1553.40/789.81 c cleaning 13002 clauses out of 26019 with flag 2759001/2759016 1558.81/792.64 c cleaning 12998 clauses out of 26016 with flag 2772000/2772015 1564.18/795.48 c cleaning 13001 clauses out of 26019 with flag 2785001/2785016 1569.44/798.14 c cleaning 12999 clauses out of 26018 with flag 2798001/2798016 1574.89/800.93 c cleaning 13003 clauses out of 26018 with flag 2811001/2811016 1579.72/803.47 c cleaning 12997 clauses out of 26014 with flag 2824000/2824015 1584.68/806.09 c cleaning 13000 clauses out of 26017 with flag 2837000/2837015 1589.71/808.65 c cleaning 13002 clauses out of 26017 with flag 2850000/2850015 1594.74/811.25 c cleaning 12998 clauses out of 26015 with flag 2863000/2863015 1600.00/813.92 c cleaning 13002 clauses out of 26018 with flag 2876001/2876016 1604.56/816.32 c cleaning 12999 clauses out of 26016 with flag 2889001/2889016 1608.80/818.58 c cleaning 13000 clauses out of 26016 with flag 2902000/2902015 1613.03/820.77 c cleaning 13002 clauses out of 26017 with flag 2915001/2915016 1617.64/823.17 c cleaning 12996 clauses out of 26014 with flag 2928000/2928015 1622.59/825.71 c cleaning 12997 clauses out of 26019 with flag 2941001/2941016 1627.18/828.18 c cleaning 12998 clauses out of 26022 with flag 2954001/2954016 1632.00/830.65 c cleaning 13001 clauses out of 26023 with flag 2967000/2967015 1636.62/833.04 c cleaning 12999 clauses out of 26023 with flag 2980001/2980016 1641.35/835.54 c cleaning 12998 clauses out of 26023 with flag 2993000/2993015 1645.97/837.96 c cleaning 13001 clauses out of 26025 with flag 3006000/3006015 1650.62/840.40 c cleaning 12998 clauses out of 26024 with flag 3019000/3019015 1655.42/842.81 c cleaning 13000 clauses out of 26027 with flag 3032001/3032016 1660.16/845.31 c cleaning 13002 clauses out of 26027 with flag 3045001/3045016 1664.78/847.72 c cleaning 12997 clauses out of 26024 with flag 3058000/3058015 1669.21/850.07 c cleaning 13002 clauses out of 26028 with flag 3071001/3071016 1673.83/852.45 c cleaning 13001 clauses out of 26026 with flag 3084001/3084016 1678.55/854.93 c cleaning 13000 clauses out of 26025 with flag 3097001/3097016 1683.17/857.31 c cleaning 12997 clauses out of 26024 with flag 3110000/3110015 1687.79/859.76 c cleaning 13002 clauses out of 26027 with flag 3123000/3123015 1692.60/862.24 c cleaning 13002 clauses out of 26025 with flag 3136000/3136015 1699.15/865.65 c cleaning 12998 clauses out of 26023 with flag 3149000/3149015 1704.37/868.31 c cleaning 12999 clauses out of 26025 with flag 3162000/3162015 1711.19/871.81 c cleaning 13003 clauses out of 26027 with flag 3175001/3175016 1716.62/874.68 c cleaning 13001 clauses out of 26023 with flag 3188001/3188016 1722.35/877.68 c cleaning 12996 clauses out of 26022 with flag 3201001/3201016 1728.56/880.87 c cleaning 12999 clauses out of 26025 with flag 3214000/3214015 1734.78/884.06 c cleaning 13001 clauses out of 26026 with flag 3227000/3227015 1746.59/890.03 c cleaning 12999 clauses out of 26025 with flag 3240000/3240015 1756.92/895.38 c cleaning 13000 clauses out of 26026 with flag 3253000/3253015 1762.51/898.29 c cleaning 13002 clauses out of 26026 with flag 3266000/3266015 1767.90/901.03 c cleaning 13004 clauses out of 26025 with flag 3279001/3279016 1772.92/903.68 c cleaning 13001 clauses out of 26021 with flag 3292001/3292016 1778.25/906.42 c cleaning 12996 clauses out of 26020 with flag 3305001/3305016 1783.05/908.90 c cleaning 13005 clauses out of 26024 with flag 3318001/3318016 1787.86/911.40 c cleaning 13001 clauses out of 26018 with flag 3331000/3331015 1794.26/914.76 c cleaning 13001 clauses out of 26017 with flag 3344000/3344015 1799.96/917.73 c cleaning 12995 clauses out of 26016 with flag 3357000/3357015 1800.22/917.96 c starts : 250 1800.22/917.96 c conflicts : 3357022 1800.22/917.96 c decisions : 3889129 1800.22/917.96 c propagations : 66908654 1800.22/917.96 c inspects : 833936283 1800.22/917.96 c shortcuts : 0 1800.22/917.96 c learnt literals : 12 1800.22/917.96 c learnt binary clauses : 581 1800.22/917.96 c learnt ternary clauses : 9300 1800.22/917.96 c learnt constraints : 3357010 1800.22/917.96 c ignored constraints : 0 1800.22/917.96 c root simplifications : 0 1800.22/917.96 c removed literals (reason simplification) : 257950945 1800.22/917.96 c reason swapping (by a shorter reason) : 0 1800.22/917.96 c Calls to reduceDB : 261 1800.22/917.96 c number of reductions to clauses (during analyze) : 0 1800.22/917.96 c number of learned constraints concerned by reduction : 0 1800.22/917.96 c number of learning phase by resolution : 0 1800.22/917.96 c number of learning phase by cutting planes : 0 1800.22/917.96 c speed (assignments/second) : 72980.89980660932 1800.22/917.96 c non guided choices 1372 1800.22/917.97 c learnt constraints type 1800.22/917.97 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 581 1800.22/917.97 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12464 1800.22/917.97 c constraints type 1800.22/917.97 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.22/917.97 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.22/917.97 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.22/917.97 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.22/917.97 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.22/917.97 c constraints type 1800.22/917.97 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 1800.22/917.97 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 1800.22/917.97 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.22/917.97 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1800.22/917.97 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376 1800.22/917.97 s SATISFIABLE 1800.22/917.98 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.22/917.99 c objective function=3841241 1800.22/917.99 c Total wall clock time (in seconds): 917.852
OK 3841241
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-3744306-1338800382/watcher-3744306-1338800382 -o /tmp/evaluation-result-3744306-1338800382/solver-3744306-1338800382 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744306-1338800382.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.92 3.90 3.89 4/195 22193 /proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22193/stat : 22193 (java) R 22191 22193 19330 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 346166663 9515008 183 33554432000 1073741824 1073778376 140735852967424 140735852958456 226329706165 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/22193/statm: 2323 183 140 9 0 71 0 [startup+0.048459 s] /proc/loadavg: 3.92 3.90 3.89 4/195 22193 /proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11120388 CPUtime=0.02 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 4214 0 1 0 1 1 0 0 20 0 11 0 346166663 11387277312 11557 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2780097 11557 1632 9 0 2770798 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11120388 [startup+0.100292 s] /proc/loadavg: 3.92 3.90 3.89 4/195 22193 /proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 4530 0 1 0 5 2 0 0 20 0 18 0 346166663 11864465408 12382 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2896598 12382 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.30023 s] /proc/loadavg: 3.92 3.90 3.89 4/195 22193 /proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11586796 CPUtime=0.47 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 6661 0 1 0 45 2 0 0 20 0 18 0 346166663 11864879104 16580 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2896699 16592 2222 9 0 2887386 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 11586796 [startup+0.700181 s] /proc/loadavg: 3.92 3.90 3.89 4/195 22193 /proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11719520 CPUtime=1.73 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 22413 0 1 0 168 5 0 0 20 0 20 0 346166663 12000788480 32346 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2929880 32346 2247 9 0 2920567 0 Current children cumulated CPU time (s) 1.73 Current children cumulated vsize (KiB) 11719520 [startup+1.50062 s] /proc/loadavg: 4.01 3.92 3.90 5/214 22215 /proc/meminfo: memFree=24524984/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11852648 CPUtime=4.18 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 29399 0 1 0 409 9 0 0 20 0 22 0 346166663 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2963162 51397 2265 9 0 2953849 0 [pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6 /proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3482 0 1 0 61 2 0 0 20 0 22 0 346166664 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346166667 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.09 cores=0,2,4,6 /proc/22193/task/22208/stat : 22208 (java) R 22191 22193 19330 0 -1 4202560 12692 0 0 0 107 2 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648578128184 140648771569119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.14 cores=0,2,4,6 /proc/22193/task/22209/stat : 22209 (java) R 22191 22193 19330 0 -1 4202560 11879 0 0 0 112 2 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648577075640 140648766922400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.18 Current children cumulated vsize (KiB) 11852648 [startup+3.10078 s] /proc/loadavg: 4.01 3.92 3.90 5/217 22218 /proc/meminfo: memFree=24034388/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11852648 CPUtime=7.41 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 29914 0 1 0 715 26 0 0 20 0 22 0 346166663 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2963162 307921 2267 9 0 2953849 0 [pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6 /proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3482 0 1 0 61 2 0 0 20 0 22 0 346166664 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346166667 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.12 cores=0,2,4,6 /proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12699 0 0 0 110 2 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 11883 0 0 0 113 2 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22216] ppid=22191 vsize=11852648 CPUtime=1.91 cores=0,2,4,6 /proc/22193/task/22216/stat : 22216 (java) R 22191 22193 19330 0 -1 4202560 6 0 0 0 191 0 0 0 20 0 22 0 346166780 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648572861224 140648705750292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22217] ppid=22191 vsize=11852648 CPUtime=1.9 cores=0,2,4,6 /proc/22193/task/22217/stat : 22217 (java) R 22191 22193 19330 0 -1 4202560 537 0 0 0 173 17 0 0 20 0 22 0 346166780 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648573915152 140648706002232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22218] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346166780 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.41 Current children cumulated vsize (KiB) 11852648 [startup+6.30079 s] /proc/loadavg: 4.01 3.92 3.90 5/217 22218 /proc/meminfo: memFree=22831284/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11852648 CPUtime=14.38 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 34410 0 1 0 1400 38 0 0 20 0 22 0 346166663 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2963162 454848 2291 9 0 2953849 0 [pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6 /proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3482 0 1 0 61 2 0 0 20 0 22 0 346166664 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=0.02 cores=0,2,4,6 /proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 22 0 346166667 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12735 0 0 0 121 2 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.65 cores=0,2,4,6 /proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 15991 0 0 0 162 3 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=22193] ppid=22191 vsize=11852648 CPUtime=1731.37 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 36218 0 1 0 173033 104 0 0 20 0 22 0 346166663 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2963162 908965 2293 9 0 2953849 0 [pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3546 0 1 0 64 3 0 0 20 0 22 0 346166664 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6 /proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 66 0 0 0 61 3 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6 /proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 63 0 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6 /proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 54 0 0 0 64 0 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0.71 cores=0,2,4,6 /proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 72 0 0 0 68 3 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6 /proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 83 0 0 0 62 2 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0.62 cores=0,2,4,6 /proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 60 0 0 0 59 3 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0.57 cores=0,2,4,6 /proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 78 0 0 0 57 0 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6 /proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 73 0 0 0 62 2 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=36.68 cores=0,2,4,6 /proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 152 0 0 0 3662 6 0 0 20 0 22 0 346166667 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.4 cores=0,2,4,6 /proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12742 0 0 0 138 2 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.89 cores=0,2,4,6 /proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 16002 0 0 0 186 3 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 51 0 0 0 15 12 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22216] ppid=22191 vsize=11852648 CPUtime=840.28 cores=0,2,4,6 /proc/22193/task/22216/stat : 22216 (java) R 22191 22193 19330 0 -1 4202560 202 0 0 0 84013 15 0 0 20 0 22 0 346166780 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648572862800 140648705444933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22217] ppid=22191 vsize=11852648 CPUtime=840.2 cores=0,2,4,6 /proc/22193/task/22217/stat : 22217 (java) R 22191 22193 19330 0 -1 4202560 1680 0 0 0 83946 74 0 0 20 0 22 0 346166780 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648573913360 140648705942496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22218] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346166780 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1731.37 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+917.801 s] /proc/loadavg: 3.91 3.85 3.86 4/216 22327 /proc/meminfo: memFree=21222936/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11852648 CPUtime=1800.12 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 36248 0 1 0 179906 106 0 0 20 0 22 0 346166663 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2963162 910514 2293 9 0 2953849 0 [pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3549 0 1 0 64 3 0 0 20 0 22 0 346166664 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 70 0 0 0 66 3 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 66 0 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 54 0 0 0 69 0 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 74 0 0 0 72 3 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0.68 cores=0,2,4,6 /proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 84 0 0 0 66 2 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 63 3 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0.62 cores=0,2,4,6 /proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 80 0 0 0 62 0 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 73 0 0 0 64 2 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=39.06 cores=0,2,4,6 /proc/22193/task/22204/stat : 22204 (java) R 22191 22193 19330 0 -1 4202560 157 0 0 0 3900 6 0 0 20 0 22 0 346166667 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648582338288 140648767308344 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.4 cores=0,2,4,6 /proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12742 0 0 0 138 2 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.89 cores=0,2,4,6 /proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 16002 0 0 0 186 3 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 53 0 0 0 16 13 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22216] ppid=22191 vsize=11852648 CPUtime=873.19 cores=0,2,4,6 /proc/22193/task/22216/stat : 22216 (java) S 22191 22193 19330 0 -1 4202560 208 0 0 0 87303 16 0 0 20 0 22 0 346166780 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648572862920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22217] ppid=22191 vsize=11852648 CPUtime=873.12 cores=0,2,4,6 /proc/22193/task/22217/stat : 22217 (java) S 22191 22193 19330 0 -1 4202560 1681 0 0 0 87237 75 0 0 20 0 22 0 346166780 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648573913800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22218] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346166780 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 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+918.001 s] /proc/loadavg: 3.91 3.85 3.86 4/216 22327 /proc/meminfo: memFree=21222936/32873844 swapFree=6088/6088 [pid=22193] ppid=22191 vsize=11985776 CPUtime=1800.42 cores=0,2,4,6 /proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 36283 0 1 0 179933 109 0 0 20 0 23 0 346166663 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22193/statm: 2996444 911055 2294 9 0 2987131 0 [pid=22193/tid=22195] ppid=22191 vsize=11985776 CPUtime=0.67 cores=0,2,4,6 /proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3549 0 1 0 64 3 0 0 20 0 23 0 346166664 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22196] ppid=22191 vsize=11985776 CPUtime=0.69 cores=0,2,4,6 /proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 70 0 0 0 66 3 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22197] ppid=22191 vsize=11985776 CPUtime=0.66 cores=0,2,4,6 /proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 66 0 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22198] ppid=22191 vsize=11985776 CPUtime=0.69 cores=0,2,4,6 /proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 54 0 0 0 69 0 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22199] ppid=22191 vsize=11985776 CPUtime=0.75 cores=0,2,4,6 /proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 74 0 0 0 72 3 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22200] ppid=22191 vsize=11985776 CPUtime=0.68 cores=0,2,4,6 /proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 84 0 0 0 66 2 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22201] ppid=22191 vsize=11985776 CPUtime=0.66 cores=0,2,4,6 /proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 63 3 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22202] ppid=22191 vsize=11985776 CPUtime=0.62 cores=0,2,4,6 /proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 80 0 0 0 62 0 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22203] ppid=22191 vsize=11985776 CPUtime=0.66 cores=0,2,4,6 /proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 73 0 0 0 64 2 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22204] ppid=22191 vsize=11985776 CPUtime=39.22 cores=0,2,4,6 /proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 158 0 0 0 3915 7 0 0 20 0 23 0 346166667 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648582338984 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22193/tid=22205] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 346166668 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22206] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 23 0 346166668 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22207] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648579179000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22208] ppid=22191 vsize=11985776 CPUtime=1.41 cores=0,2,4,6 /proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12743 0 0 0 139 2 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648578114424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22193/tid=22209] ppid=22191 vsize=11985776 CPUtime=1.9 cores=0,2,4,6 /proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 16005 0 0 0 187 3 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648577075320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22210] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22214] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 346166733 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22216] ppid=22191 vsize=11985776 CPUtime=873.22 cores=0,2,4,6 /proc/22193/task/22216/stat : 22216 (java) S 22191 22193 19330 0 -1 4202560 208 0 0 0 87306 16 0 0 20 0 23 0 346166780 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648572860936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22193/tid=22217] ppid=22191 vsize=11985776 CPUtime=873.14 cores=0,2,4,6 /proc/22193/task/22217/stat : 22217 (java) S 22191 22193 19330 0 -1 4202560 1681 0 0 0 87239 75 0 0 20 0 23 0 346166780 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648573913800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22193/tid=22218] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6 /proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 346166780 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (KiB) 11985776 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22193 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=698164 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=513769 # CPU time returned by wait4() is 1796.21 # while last known CPU time is 1800.42 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 918.015 CPU time (s): 1800.42 CPU user time (s): 1799.33 CPU system time (s): 1.09 CPU usage (%): 196.121 Max. virtual memory (cumulated for all children) (KiB): 11985776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.7 system time used= 1.51377 maximum resident set size= 3644220 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36283 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30249 involuntary context switches= 30029 runsolver used 3.33049 second user time and 7.92479 second system time The end
Begin job on node110 at 2012-06-04 10:59:42 IDJOB=3744306 IDBENCH=92722 IDSOLVER=2328 FILE ID=node110/3744306-1338800382 RUNJOBID= node110-1338783928-19346 PBS_JOBID= 14636844 Free space on /tmp= 71056 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744306-1338800382/watcher-3744306-1338800382 -o /tmp/evaluation-result-3744306-1338800382/solver-3744306-1338800382 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744306-1338800382.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4bf433c60343e128a7fab53c33d88c45 RANDOM SEED=653436861 node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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: 24648888 kB Buffers: 911176 kB Cached: 2632028 kB SwapCached: 604 kB Active: 5698984 kB Inactive: 1654672 kB Active(anon): 3798708 kB Inactive(anon): 12316 kB Active(file): 1900276 kB Inactive(file): 1642356 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67107364 kB Dirty: 1056 kB Writeback: 0 kB AnonPages: 3832524 kB Mapped: 19880 kB Shmem: 40 kB Slab: 709184 kB SReclaimable: 150992 kB SUnreclaim: 558192 kB KernelStack: 1600 kB PageTables: 11240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10464756 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3766272 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= 71076 MiB End job on node110 at 2012-06-04 11:15:02