Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 28 | 1800.19 | 1797.01 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 4.06038 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1906 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.08/0.20 c Pseudo Boolean Optimization 0.08/0.20 c --- Begin Solver configuration --- 0.08/0.20 c Stops conflict analysis at the first Unique Implication Point 0.08/0.20 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@64dc11 0.08/0.20 c Learn all clauses as in MiniSAT 0.08/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.20 c Expensive reason simplification 0.08/0.20 c Armin Biere (Picosat) restarts strategy 0.08/0.20 c Glucose learned constraints deletion strategy 0.08/0.20 c timeout=2147483s 0.08/0.20 c DB Simplification allowed=false 0.08/0.20 c --- End Solver configuration --- 0.08/0.20 c solving HOME/instance-2658694-1276634144.opb 0.08/0.20 c reading problem ... 1.55/0.98 c ... done. Wall clock time 0.781s. 1.55/0.98 c #vars 3973 1.55/0.98 c #constraints 11082 1.55/0.98 c constraints type 1.55/0.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 1.55/0.98 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8902 2.73/1.52 c SATISFIABLE 2.73/1.52 c OPTIMIZING... 2.73/1.52 c Got one! Elapsed wall clock time (in seconds):1.316 2.73/1.52 o 40 2.93/1.70 c Got one! Elapsed wall clock time (in seconds):1.492 2.93/1.70 o 39 4.14/2.23 c Got one! Elapsed wall clock time (in seconds):2.024 4.14/2.23 o 33 4.53/2.44 c Got one! Elapsed wall clock time (in seconds):2.239 4.53/2.44 o 32 4.92/2.64 c Got one! Elapsed wall clock time (in seconds):2.433 4.92/2.64 o 31 6.05/3.55 c Got one! Elapsed wall clock time (in seconds):3.349 6.05/3.55 o 30 7.28/4.71 c cleaning 2494 clauses out of 5001 with flag 5001/5001 10.09/7.41 c cleaning 4249 clauses out of 8507 with flag 11001/11001 12.69/10.02 c Got one! Elapsed wall clock time (in seconds):9.815 12.69/10.02 o 29 12.94/10.28 c cleaning 5625 clauses out of 11257 with flag 18000/18000 16.18/13.44 c cleaning 6810 clauses out of 13633 with flag 26001/26001 19.89/17.16 c cleaning 7907 clauses out of 15822 with flag 35000/35000 24.18/21.48 c cleaning 8948 clauses out of 17915 with flag 45000/45000 28.59/25.88 c cleaning 9978 clauses out of 19967 with flag 56000/56000 33.10/30.31 c cleaning 10488 clauses out of 20990 with flag 67001/67001 37.41/34.62 c cleaning 10746 clauses out of 21502 with flag 78001/78001 41.91/39.16 c cleaning 10872 clauses out of 21756 with flag 89001/89001 46.92/44.16 c cleaning 10930 clauses out of 21883 with flag 100000/100000 51.82/49.04 c cleaning 10969 clauses out of 21953 with flag 111000/111000 56.63/53.89 c cleaning 10988 clauses out of 21984 with flag 122000/122000 61.14/58.37 c cleaning 10994 clauses out of 21996 with flag 133000/133000 65.63/62.82 c cleaning 10997 clauses out of 22005 with flag 144003/144003 70.13/67.36 c cleaning 10997 clauses out of 22006 with flag 155001/155001 75.13/72.32 c cleaning 10998 clauses out of 22009 with flag 166001/166001 79.74/76.92 c cleaning 10996 clauses out of 22010 with flag 177000/177000 84.24/81.47 c cleaning 10998 clauses out of 22014 with flag 188000/188000 88.64/85.89 c cleaning 11000 clauses out of 22016 with flag 199000/199000 93.54/90.73 c cleaning 10998 clauses out of 22016 with flag 210000/210000 98.05/95.24 c cleaning 11008 clauses out of 22021 with flag 221003/221003 102.55/99.78 c cleaning 10999 clauses out of 22010 with flag 232000/232000 106.25/103.46 c cleaning 10999 clauses out of 22013 with flag 243002/243002 110.45/107.64 c cleaning 10999 clauses out of 22012 with flag 254000/254000 114.65/111.88 c cleaning 11001 clauses out of 22013 with flag 265000/265000 119.36/116.53 c cleaning 11001 clauses out of 22012 with flag 276000/276000 123.96/121.17 c cleaning 10991 clauses out of 22011 with flag 287000/287000 128.56/125.72 c cleaning 11001 clauses out of 22020 with flag 298000/298000 133.06/130.21 c cleaning 11007 clauses out of 22019 with flag 309000/309000 137.86/135.08 c cleaning 10996 clauses out of 22012 with flag 320000/320000 143.26/140.42 c cleaning 11000 clauses out of 22016 with flag 331000/331000 148.26/145.49 c cleaning 11002 clauses out of 22016 with flag 342000/342000 152.57/149.77 c cleaning 11000 clauses out of 22014 with flag 353000/353000 156.88/154.03 c cleaning 11002 clauses out of 22016 with flag 364002/364002 160.87/158.10 c cleaning 10997 clauses out of 22014 with flag 375002/375002 164.97/162.13 c cleaning 11001 clauses out of 22015 with flag 386000/386000 169.27/166.49 c cleaning 10999 clauses out of 22014 with flag 397000/397000 174.08/171.20 c cleaning 10998 clauses out of 22017 with flag 408002/408002 178.68/175.88 c cleaning 11002 clauses out of 22017 with flag 419000/419000 183.78/180.96 c cleaning 11005 clauses out of 22016 with flag 430001/430001 187.89/185.03 c cleaning 10998 clauses out of 22010 with flag 441000/441000 191.78/188.97 c cleaning 11003 clauses out of 22013 with flag 452001/452001 196.58/193.76 c cleaning 10995 clauses out of 22009 with flag 463000/463000 201.68/198.82 c cleaning 11001 clauses out of 22015 with flag 474001/474001 205.99/203.18 c cleaning 11001 clauses out of 22013 with flag 485000/485000 209.79/206.97 c cleaning 10995 clauses out of 22012 with flag 496000/496000 213.70/210.88 c cleaning 11002 clauses out of 22018 with flag 507001/507001 217.59/214.70 c cleaning 11002 clauses out of 22015 with flag 518000/518000 221.89/219.09 c cleaning 11001 clauses out of 22013 with flag 529000/529000 227.31/224.41 c cleaning 10996 clauses out of 22012 with flag 540000/540000 232.71/229.83 c cleaning 11003 clauses out of 22017 with flag 551001/551001 238.21/235.33 c cleaning 10997 clauses out of 22014 with flag 562001/562001 243.81/240.94 c cleaning 11000 clauses out of 22016 with flag 573000/573000 249.31/246.42 c cleaning 10992 clauses out of 22017 with flag 584001/584001 254.20/251.30 c cleaning 11005 clauses out of 22024 with flag 595000/595000 258.50/255.66 c cleaning 11004 clauses out of 22020 with flag 606001/606001 263.01/260.19 c cleaning 11002 clauses out of 22015 with flag 617000/617000 268.11/265.21 c cleaning 11002 clauses out of 22016 with flag 628003/628003 273.11/270.28 c cleaning 11001 clauses out of 22011 with flag 639000/639000 278.31/275.46 c cleaning 10995 clauses out of 22010 with flag 650000/650000 283.42/280.51 c cleaning 10998 clauses out of 22015 with flag 661000/661000 289.42/286.59 c cleaning 10998 clauses out of 22017 with flag 672000/672000 294.12/291.22 c cleaning 11005 clauses out of 22019 with flag 683000/683000 298.73/295.88 c cleaning 11002 clauses out of 22016 with flag 694002/694002 303.62/300.70 c cleaning 10992 clauses out of 22012 with flag 705000/705000 308.42/305.53 c cleaning 11003 clauses out of 22021 with flag 716001/716001 313.05/310.16 c cleaning 11002 clauses out of 22019 with flag 727002/727002 317.75/314.80 c cleaning 11002 clauses out of 22015 with flag 738000/738000 322.46/319.58 c cleaning 11000 clauses out of 22014 with flag 749001/749001 327.46/324.60 c cleaning 10992 clauses out of 22013 with flag 760000/760000 332.35/329.49 c cleaning 11004 clauses out of 22023 with flag 771002/771002 337.34/334.49 c cleaning 10998 clauses out of 22018 with flag 782001/782001 342.23/339.32 c cleaning 11001 clauses out of 22020 with flag 793001/793001 347.04/344.19 c cleaning 10998 clauses out of 22018 with flag 804000/804000 352.04/349.19 c cleaning 10999 clauses out of 22020 with flag 815000/815000 357.04/354.12 c cleaning 11006 clauses out of 22021 with flag 826000/826000 362.14/359.23 c cleaning 11000 clauses out of 22015 with flag 837000/837000 367.44/364.50 c cleaning 11005 clauses out of 22016 with flag 848001/848001 372.84/369.94 c cleaning 10989 clauses out of 22010 with flag 859000/859000 378.24/375.39 c cleaning 10998 clauses out of 22021 with flag 870000/870000 383.44/380.55 c cleaning 11004 clauses out of 22023 with flag 881000/881000 388.23/385.32 c cleaning 11006 clauses out of 22020 with flag 892001/892001 392.84/389.91 c cleaning 11003 clauses out of 22014 with flag 903001/903001 397.55/394.61 c cleaning 10998 clauses out of 22010 with flag 914000/914000 402.35/399.45 c cleaning 11003 clauses out of 22017 with flag 925005/925005 407.15/404.20 c cleaning 10999 clauses out of 22011 with flag 936002/936002 412.16/409.23 c cleaning 10996 clauses out of 22010 with flag 947000/947000 417.55/414.68 c cleaning 11003 clauses out of 22015 with flag 958001/958001 422.85/419.97 c cleaning 10997 clauses out of 22011 with flag 969000/969000 427.95/425.05 c cleaning 10997 clauses out of 22015 with flag 980001/980001 433.15/430.26 c cleaning 11003 clauses out of 22018 with flag 991001/991001 438.25/435.32 c cleaning 10999 clauses out of 22016 with flag 1002002/1002002 443.36/440.42 c cleaning 11000 clauses out of 22019 with flag 1013004/1013004 448.06/445.17 c cleaning 11001 clauses out of 22015 with flag 1024000/1024000 452.66/449.78 c cleaning 11001 clauses out of 22015 with flag 1035001/1035001 457.46/454.57 c cleaning 10999 clauses out of 22013 with flag 1046000/1046000 462.36/459.44 c cleaning 11000 clauses out of 22016 with flag 1057002/1057002 467.26/464.38 c cleaning 11004 clauses out of 22017 with flag 1068003/1068003 472.46/469.50 c cleaning 10996 clauses out of 22010 with flag 1079000/1079000 477.46/474.55 c cleaning 10998 clauses out of 22014 with flag 1090000/1090000 482.46/479.50 c cleaning 11002 clauses out of 22016 with flag 1101000/1101000 487.46/484.52 c cleaning 11001 clauses out of 22017 with flag 1112003/1112003 492.47/489.56 c cleaning 10996 clauses out of 22014 with flag 1123001/1123001 497.56/494.62 c cleaning 11001 clauses out of 22018 with flag 1134001/1134001 502.68/499.78 c cleaning 10999 clauses out of 22016 with flag 1145000/1145000 507.98/505.03 c cleaning 11002 clauses out of 22017 with flag 1156000/1156000 513.08/510.17 c cleaning 11000 clauses out of 22015 with flag 1167000/1167000 518.28/515.30 c cleaning 11001 clauses out of 22018 with flag 1178003/1178003 522.88/519.97 c cleaning 11000 clauses out of 22014 with flag 1189000/1189000 528.09/525.10 c cleaning 11004 clauses out of 22015 with flag 1200001/1200001 533.29/530.39 c cleaning 10999 clauses out of 22012 with flag 1211002/1211002 538.19/535.29 c cleaning 11002 clauses out of 22011 with flag 1222000/1222000 542.89/539.97 c cleaning 10992 clauses out of 22009 with flag 1233000/1233000 547.68/544.73 c cleaning 10998 clauses out of 22017 with flag 1244000/1244000 552.58/549.67 c cleaning 10996 clauses out of 22019 with flag 1255000/1255000 557.68/554.76 c cleaning 10999 clauses out of 22023 with flag 1266000/1266000 562.79/559.84 c cleaning 11004 clauses out of 22024 with flag 1277000/1277000 567.49/564.58 c cleaning 11003 clauses out of 22021 with flag 1288001/1288001 572.58/569.61 c cleaning 11004 clauses out of 22020 with flag 1299003/1299003 577.38/574.48 c cleaning 11001 clauses out of 22014 with flag 1310001/1310001 582.39/579.42 c cleaning 10997 clauses out of 22012 with flag 1321000/1321000 587.09/584.17 c cleaning 11005 clauses out of 22016 with flag 1332001/1332001 591.69/588.75 c cleaning 10997 clauses out of 22010 with flag 1343000/1343000 596.09/593.18 c cleaning 11000 clauses out of 22014 with flag 1354001/1354001 598.79/595.84 c Got one! Elapsed wall clock time (in seconds):595.636 598.79/595.84 o 28 600.80/597.84 c cleaning 11002 clauses out of 22014 with flag 1365001/1365001 604.80/601.84 c cleaning 11000 clauses out of 22012 with flag 1376001/1376001 609.01/606.00 c cleaning 10995 clauses out of 22011 with flag 1387000/1387000 613.30/610.36 c cleaning 11003 clauses out of 22017 with flag 1398001/1398001 617.70/614.74 c cleaning 10998 clauses out of 22014 with flag 1409001/1409001 623.11/620.18 c cleaning 11002 clauses out of 22016 with flag 1420001/1420001 627.51/624.58 c cleaning 10999 clauses out of 22014 with flag 1431001/1431001 632.01/629.01 c cleaning 10998 clauses out of 22015 with flag 1442001/1442001 636.71/633.72 c cleaning 10997 clauses out of 22017 with flag 1453001/1453001 641.41/638.42 c cleaning 10998 clauses out of 22019 with flag 1464000/1464000 646.61/643.62 c cleaning 11008 clauses out of 22022 with flag 1475001/1475001 651.11/648.19 c cleaning 10996 clauses out of 22013 with flag 1486000/1486000 656.02/653.02 c cleaning 10999 clauses out of 22017 with flag 1497000/1497000 661.32/658.38 c cleaning 11001 clauses out of 22018 with flag 1508000/1508000 667.82/664.81 c cleaning 10995 clauses out of 22017 with flag 1519000/1519000 674.03/671.05 c cleaning 10997 clauses out of 22022 with flag 1530000/1530000 678.43/675.49 c cleaning 11006 clauses out of 22026 with flag 1541001/1541001 682.92/679.98 c cleaning 11001 clauses out of 22019 with flag 1552000/1552000 687.32/684.34 c cleaning 11004 clauses out of 22019 with flag 1563001/1563001 691.82/688.86 c cleaning 11001 clauses out of 22014 with flag 1574000/1574000 696.22/693.24 c cleaning 10998 clauses out of 22014 with flag 1585001/1585001 700.72/697.70 c cleaning 10998 clauses out of 22015 with flag 1596000/1596000 705.22/702.21 c cleaning 11003 clauses out of 22017 with flag 1607000/1607000 709.72/706.74 c cleaning 11002 clauses out of 22014 with flag 1618000/1618000 714.33/711.38 c cleaning 11000 clauses out of 22014 with flag 1629002/1629002 719.14/716.18 c cleaning 10996 clauses out of 22014 with flag 1640002/1640002 723.93/720.92 c cleaning 11003 clauses out of 22016 with flag 1651000/1651000 728.63/725.70 c cleaning 10997 clauses out of 22014 with flag 1662001/1662001 733.14/730.14 c cleaning 11003 clauses out of 22016 with flag 1673000/1673000 737.44/734.45 c cleaning 11001 clauses out of 22013 with flag 1684000/1684000 741.84/738.82 c cleaning 10996 clauses out of 22013 with flag 1695001/1695001 746.44/743.41 c cleaning 11004 clauses out of 22017 with flag 1706001/1706001 751.15/748.10 c cleaning 11001 clauses out of 22012 with flag 1717000/1717000 755.85/752.83 c cleaning 10990 clauses out of 22011 with flag 1728000/1728000 760.55/757.53 c cleaning 11005 clauses out of 22021 with flag 1739000/1739000 765.35/762.32 c cleaning 11001 clauses out of 22018 with flag 1750002/1750002 770.04/767.01 c cleaning 11000 clauses out of 22016 with flag 1761001/1761001 774.65/771.65 c cleaning 11004 clauses out of 22017 with flag 1772002/1772002 779.05/776.08 c cleaning 10999 clauses out of 22012 with flag 1783001/1783001 783.66/780.62 c cleaning 11000 clauses out of 22012 with flag 1794000/1794000 788.15/785.12 c cleaning 11003 clauses out of 22013 with flag 1805001/1805001 792.45/789.42 c cleaning 10994 clauses out of 22009 with flag 1816000/1816000 797.04/794.01 c cleaning 10998 clauses out of 22015 with flag 1827000/1827000 801.85/798.86 c cleaning 10989 clauses out of 22017 with flag 1838000/1838000 806.84/803.83 c cleaning 11003 clauses out of 22029 with flag 1849001/1849001 811.45/808.45 c cleaning 11006 clauses out of 22027 with flag 1860002/1860002 816.24/813.26 c cleaning 11000 clauses out of 22020 with flag 1871001/1871001 820.94/817.92 c cleaning 11000 clauses out of 22019 with flag 1882000/1882000 825.44/822.48 c cleaning 11004 clauses out of 22019 with flag 1893000/1893000 830.25/827.21 c cleaning 10997 clauses out of 22017 with flag 1904002/1904002 834.84/831.87 c cleaning 11000 clauses out of 22018 with flag 1915000/1915000 839.63/836.65 c cleaning 10993 clauses out of 22018 with flag 1926000/1926000 844.63/841.65 c cleaning 11001 clauses out of 22025 with flag 1937000/1937000 849.54/846.50 c cleaning 11002 clauses out of 22026 with flag 1948002/1948002 854.35/851.32 c cleaning 11001 clauses out of 22022 with flag 1959000/1959000 859.24/856.27 c cleaning 10992 clauses out of 22021 with flag 1970000/1970000 864.03/861.08 c cleaning 11010 clauses out of 22030 with flag 1981001/1981001 868.74/865.79 c cleaning 10997 clauses out of 22019 with flag 1992000/1992000 873.53/870.52 c cleaning 11000 clauses out of 22022 with flag 2003000/2003000 878.43/875.40 c cleaning 10999 clauses out of 22022 with flag 2014000/2014000 883.63/880.68 c cleaning 11009 clauses out of 22025 with flag 2025002/2025002 888.32/885.38 c cleaning 10999 clauses out of 22014 with flag 2036000/2036000 893.12/890.11 c cleaning 11001 clauses out of 22016 with flag 2047001/2047001 898.03/895.05 c cleaning 10998 clauses out of 22014 with flag 2058000/2058000 902.53/899.50 c cleaning 10999 clauses out of 22016 with flag 2069000/2069000 907.14/904.13 c cleaning 11000 clauses out of 22017 with flag 2080000/2080000 911.93/908.95 c cleaning 10997 clauses out of 22017 with flag 2091000/2091000 916.93/913.98 c cleaning 10997 clauses out of 22020 with flag 2102000/2102000 921.93/918.93 c cleaning 10997 clauses out of 22024 with flag 2113001/2113001 926.54/923.58 c cleaning 10994 clauses out of 22026 with flag 2124000/2124000 931.23/928.25 c cleaning 11010 clauses out of 22033 with flag 2135001/2135001 935.63/932.65 c cleaning 11005 clauses out of 22023 with flag 2146001/2146001 940.14/937.19 c cleaning 11000 clauses out of 22017 with flag 2157000/2157000 944.54/941.58 c cleaning 10997 clauses out of 22017 with flag 2168000/2168000 949.13/946.19 c cleaning 11003 clauses out of 22022 with flag 2179002/2179002 953.63/950.65 c cleaning 11002 clauses out of 22017 with flag 2190000/2190000 958.03/955.09 c cleaning 11001 clauses out of 22015 with flag 2201000/2201000 962.64/959.68 c cleaning 10999 clauses out of 22014 with flag 2212000/2212000 967.33/964.34 c cleaning 11000 clauses out of 22015 with flag 2223000/2223000 972.33/969.34 c cleaning 11001 clauses out of 22016 with flag 2234001/2234001 977.33/974.36 c cleaning 11000 clauses out of 22015 with flag 2245001/2245001 982.43/979.44 c cleaning 11000 clauses out of 22015 with flag 2256001/2256001 987.23/984.22 c cleaning 11002 clauses out of 22015 with flag 2267001/2267001 992.03/989.00 c cleaning 10992 clauses out of 22012 with flag 2278000/2278000 997.13/994.18 c cleaning 11003 clauses out of 22021 with flag 2289001/2289001 1002.33/999.34 c cleaning 11004 clauses out of 22017 with flag 2300000/2300000 1007.74/1004.75 c cleaning 10998 clauses out of 22014 with flag 2311001/2311001 1012.74/1009.78 c cleaning 10998 clauses out of 22015 with flag 2322000/2322000 1018.24/1015.27 c cleaning 11000 clauses out of 22018 with flag 2333001/2333001 1023.84/1020.82 c cleaning 10989 clauses out of 22017 with flag 2344000/2344000 1029.03/1026.09 c cleaning 11007 clauses out of 22028 with flag 2355000/2355000 1034.43/1031.40 c cleaning 11002 clauses out of 22021 with flag 2366000/2366000 1039.74/1036.77 c cleaning 10999 clauses out of 22019 with flag 2377000/2377000 1044.64/1041.64 c cleaning 11004 clauses out of 22021 with flag 2388001/2388001 1049.83/1046.82 c cleaning 11000 clauses out of 22016 with flag 2399000/2399000 1055.13/1052.17 c cleaning 11003 clauses out of 22016 with flag 2410000/2410000 1061.03/1058.02 c cleaning 10998 clauses out of 22013 with flag 2421000/2421000 1066.93/1063.92 c cleaning 10996 clauses out of 22015 with flag 2432000/2432000 1072.43/1069.44 c cleaning 11001 clauses out of 22019 with flag 2443000/2443000 1076.83/1073.85 c cleaning 11001 clauses out of 22018 with flag 2454000/2454000 1081.33/1078.31 c cleaning 11004 clauses out of 22020 with flag 2465003/2465003 1085.64/1082.65 c cleaning 10995 clauses out of 22013 with flag 2476000/2476000 1090.05/1087.01 c cleaning 11001 clauses out of 22018 with flag 2487000/2487000 1094.85/1091.89 c cleaning 10999 clauses out of 22017 with flag 2498000/2498000 1099.44/1096.42 c cleaning 11002 clauses out of 22018 with flag 2509000/2509000 1103.94/1100.98 c cleaning 10991 clauses out of 22016 with flag 2520000/2520000 1108.45/1105.43 c cleaning 10995 clauses out of 22025 with flag 2531000/2531000 1113.05/1110.03 c cleaning 11008 clauses out of 22030 with flag 2542000/2542000 1117.44/1114.47 c cleaning 11001 clauses out of 22022 with flag 2553000/2553000 1122.24/1119.21 c cleaning 11001 clauses out of 22021 with flag 2564000/2564000 1126.55/1123.52 c cleaning 10995 clauses out of 22020 with flag 2575000/2575000 1131.15/1128.15 c cleaning 11003 clauses out of 22028 with flag 2586003/2586003 1135.85/1132.86 c cleaning 11000 clauses out of 22022 with flag 2597000/2597000 1140.46/1137.41 c cleaning 10996 clauses out of 22022 with flag 2608000/2608000 1145.14/1142.13 c cleaning 11005 clauses out of 22026 with flag 2619000/2619000 1149.64/1146.65 c cleaning 11007 clauses out of 22022 with flag 2630001/2630001 1154.14/1151.16 c cleaning 10995 clauses out of 22016 with flag 2641002/2641002 1158.64/1155.66 c cleaning 11001 clauses out of 22019 with flag 2652000/2652000 1163.14/1160.11 c cleaning 11003 clauses out of 22019 with flag 2663001/2663001 1167.74/1164.80 c cleaning 11006 clauses out of 22015 with flag 2674000/2674000 1172.54/1169.52 c cleaning 10998 clauses out of 22010 with flag 2685001/2685001 1177.44/1174.47 c cleaning 10996 clauses out of 22013 with flag 2696002/2696002 1182.15/1179.17 c cleaning 10999 clauses out of 22016 with flag 2707001/2707001 1187.44/1184.48 c cleaning 11000 clauses out of 22018 with flag 2718002/2718002 1192.95/1189.99 c cleaning 10997 clauses out of 22016 with flag 2729000/2729000 1198.66/1195.64 c cleaning 11000 clauses out of 22019 with flag 2740000/2740000 1204.26/1201.21 c cleaning 11003 clauses out of 22020 with flag 2751001/2751001 1209.76/1206.76 c cleaning 10999 clauses out of 22016 with flag 2762000/2762000 1215.35/1212.31 c cleaning 11003 clauses out of 22017 with flag 2773000/2773000 1220.95/1217.93 c cleaning 10999 clauses out of 22014 with flag 2784000/2784000 1226.35/1223.36 c cleaning 10998 clauses out of 22016 with flag 2795001/2795001 1232.05/1229.09 c cleaning 10993 clauses out of 22017 with flag 2806000/2806000 1237.45/1234.43 c cleaning 11003 clauses out of 22026 with flag 2817002/2817002 1242.55/1239.50 c cleaning 11001 clauses out of 22021 with flag 2828000/2828000 1247.45/1244.46 c cleaning 10993 clauses out of 22020 with flag 2839000/2839000 1252.24/1249.27 c cleaning 11004 clauses out of 22028 with flag 2850001/2850001 1257.24/1254.28 c cleaning 11004 clauses out of 22023 with flag 2861000/2861000 1262.04/1259.08 c cleaning 10994 clauses out of 22019 with flag 2872000/2872000 1267.15/1264.18 c cleaning 10997 clauses out of 22027 with flag 2883002/2883002 1272.35/1269.34 c cleaning 11000 clauses out of 22028 with flag 2894000/2894000 1277.36/1274.32 c cleaning 11001 clauses out of 22029 with flag 2905001/2905001 1282.46/1279.46 c cleaning 11003 clauses out of 22027 with flag 2916000/2916000 1287.25/1284.27 c cleaning 11000 clauses out of 22026 with flag 2927002/2927002 1292.16/1289.18 c cleaning 10999 clauses out of 22024 with flag 2938000/2938000 1296.66/1293.69 c cleaning 11002 clauses out of 22026 with flag 2949001/2949001 1301.46/1298.41 c cleaning 11006 clauses out of 22023 with flag 2960000/2960000 1306.16/1303.18 c cleaning 10997 clauses out of 22017 with flag 2971000/2971000 1311.36/1308.32 c cleaning 11003 clauses out of 22023 with flag 2982003/2982003 1316.15/1313.18 c cleaning 10996 clauses out of 22017 with flag 2993000/2993000 1321.16/1318.14 c cleaning 11006 clauses out of 22022 with flag 3004001/3004001 1326.06/1323.01 c cleaning 11002 clauses out of 22015 with flag 3015000/3015000 1331.15/1328.14 c cleaning 10999 clauses out of 22013 with flag 3026000/3026000 1336.06/1333.06 c cleaning 11001 clauses out of 22016 with flag 3037002/3037002 1340.86/1337.81 c cleaning 10996 clauses out of 22013 with flag 3048000/3048000 1345.65/1342.68 c cleaning 11002 clauses out of 22017 with flag 3059000/3059000 1351.05/1348.00 c cleaning 10999 clauses out of 22015 with flag 3070000/3070000 1356.15/1353.14 c cleaning 10998 clauses out of 22016 with flag 3081000/3081000 1360.45/1357.43 c cleaning 10999 clauses out of 22018 with flag 3092000/3092000 1364.54/1361.56 c cleaning 10998 clauses out of 22019 with flag 3103000/3103000 1368.45/1365.49 c cleaning 10999 clauses out of 22021 with flag 3114000/3114000 1372.65/1369.60 c cleaning 11002 clauses out of 22024 with flag 3125002/3125002 1377.05/1374.08 c cleaning 11000 clauses out of 22020 with flag 3136000/3136000 1381.26/1378.29 c cleaning 11002 clauses out of 22021 with flag 3147001/3147001 1385.76/1382.75 c cleaning 10999 clauses out of 22018 with flag 3158000/3158000 1390.46/1387.40 c cleaning 11003 clauses out of 22019 with flag 3169000/3169000 1394.66/1391.68 c cleaning 11000 clauses out of 22018 with flag 3180002/3180002 1399.05/1396.08 c cleaning 10997 clauses out of 22016 with flag 3191000/3191000 1403.47/1400.45 c cleaning 11003 clauses out of 22019 with flag 3202000/3202000 1407.86/1404.86 c cleaning 11002 clauses out of 22016 with flag 3213000/3213000 1411.76/1408.77 c cleaning 11002 clauses out of 22015 with flag 3224001/3224001 1416.25/1413.27 c cleaning 10997 clauses out of 22012 with flag 3235000/3235000 1421.05/1418.02 c cleaning 10998 clauses out of 22015 with flag 3246000/3246000 1425.46/1422.49 c cleaning 10996 clauses out of 22017 with flag 3257000/3257000 1430.16/1427.12 c cleaning 10999 clauses out of 22022 with flag 3268001/3268001 1434.96/1431.95 c cleaning 11004 clauses out of 22022 with flag 3279000/3279000 1439.76/1436.76 c cleaning 11001 clauses out of 22018 with flag 3290000/3290000 1443.87/1440.82 c cleaning 10992 clauses out of 22020 with flag 3301003/3301003 1447.86/1444.82 c cleaning 11010 clauses out of 22028 with flag 3312003/3312003 1451.77/1448.75 c cleaning 10999 clauses out of 22015 with flag 3323000/3323000 1455.77/1452.77 c cleaning 11003 clauses out of 22016 with flag 3334000/3334000 1460.07/1457.05 c cleaning 10998 clauses out of 22014 with flag 3345001/3345001 1464.17/1461.17 c cleaning 10998 clauses out of 22016 with flag 3356001/3356001 1468.37/1465.30 c cleaning 10999 clauses out of 22017 with flag 3367000/3367000 1472.38/1469.38 c cleaning 11003 clauses out of 22018 with flag 3378000/3378000 1476.58/1473.59 c cleaning 10994 clauses out of 22015 with flag 3389000/3389000 1480.78/1477.79 c cleaning 11003 clauses out of 22021 with flag 3400000/3400000 1485.08/1482.06 c cleaning 10996 clauses out of 22018 with flag 3411000/3411000 1489.28/1486.23 c cleaning 11001 clauses out of 22022 with flag 3422000/3422000 1493.18/1490.19 c cleaning 11003 clauses out of 22021 with flag 3433000/3433000 1497.18/1494.19 c cleaning 11004 clauses out of 22018 with flag 3444000/3444000 1501.49/1498.48 c cleaning 10999 clauses out of 22014 with flag 3455000/3455000 1505.70/1502.64 c cleaning 10998 clauses out of 22015 with flag 3466000/3466000 1509.89/1506.85 c cleaning 11000 clauses out of 22018 with flag 3477001/3477001 1514.09/1511.00 c cleaning 11000 clauses out of 22017 with flag 3488000/3488000 1518.19/1515.15 c cleaning 11000 clauses out of 22018 with flag 3499001/3499001 1522.58/1519.50 c cleaning 11001 clauses out of 22017 with flag 3510000/3510000 1526.87/1523.88 c cleaning 11005 clauses out of 22019 with flag 3521003/3521003 1531.37/1528.33 c cleaning 10996 clauses out of 22011 with flag 3532000/3532000 1535.77/1532.79 c cleaning 10998 clauses out of 22016 with flag 3543001/3543001 1540.68/1537.61 c cleaning 10998 clauses out of 22017 with flag 3554000/3554000 1545.18/1542.20 c cleaning 10998 clauses out of 22019 with flag 3565000/3565000 1549.77/1546.75 c cleaning 11002 clauses out of 22022 with flag 3576001/3576001 1554.17/1551.18 c cleaning 10993 clauses out of 22019 with flag 3587000/3587000 1558.87/1555.86 c cleaning 11002 clauses out of 22026 with flag 3598000/3598000 1563.27/1560.20 c cleaning 11010 clauses out of 22027 with flag 3609003/3609003 1567.47/1564.48 c cleaning 11000 clauses out of 22014 with flag 3620000/3620000 1571.68/1568.64 c cleaning 10998 clauses out of 22015 with flag 3631001/3631001 1575.98/1572.98 c cleaning 10999 clauses out of 22016 with flag 3642000/3642000 1580.39/1577.35 c cleaning 10991 clauses out of 22018 with flag 3653001/3653001 1584.68/1581.67 c cleaning 11007 clauses out of 22027 with flag 3664001/3664001 1589.19/1586.17 c cleaning 11004 clauses out of 22019 with flag 3675000/3675000 1593.48/1590.47 c cleaning 10998 clauses out of 22015 with flag 3686000/3686000 1597.68/1594.63 c cleaning 11001 clauses out of 22017 with flag 3697000/3697000 1601.98/1598.93 c cleaning 11002 clauses out of 22017 with flag 3708001/3708001 1606.38/1603.37 c cleaning 11002 clauses out of 22015 with flag 3719001/3719001 1610.78/1607.79 c cleaning 11002 clauses out of 22013 with flag 3730001/3730001 1615.28/1612.28 c cleaning 10997 clauses out of 22010 with flag 3741000/3741000 1619.99/1616.90 c cleaning 10996 clauses out of 22014 with flag 3752001/3752001 1624.40/1621.37 c cleaning 11002 clauses out of 22018 with flag 3763001/3763001 1628.99/1625.95 c cleaning 10995 clauses out of 22015 with flag 3774000/3774000 1633.69/1630.60 c cleaning 10995 clauses out of 22020 with flag 3785000/3785000 1637.89/1634.87 c cleaning 10994 clauses out of 22026 with flag 3796001/3796001 1642.20/1639.18 c cleaning 11001 clauses out of 22031 with flag 3807000/3807000 1646.70/1643.65 c cleaning 10995 clauses out of 22030 with flag 3818000/3818000 1651.19/1648.13 c cleaning 11009 clauses out of 22036 with flag 3829001/3829001 1655.59/1652.54 c cleaning 11000 clauses out of 22026 with flag 3840000/3840000 1660.00/1656.97 c cleaning 11004 clauses out of 22026 with flag 3851000/3851000 1664.60/1661.59 c cleaning 11004 clauses out of 22024 with flag 3862002/3862002 1669.30/1666.20 c cleaning 10999 clauses out of 22018 with flag 3873000/3873000 1673.91/1670.89 c cleaning 10998 clauses out of 22019 with flag 3884000/3884000 1678.51/1675.48 c cleaning 10991 clauses out of 22021 with flag 3895000/3895000 1682.90/1679.84 c cleaning 11006 clauses out of 22030 with flag 3906000/3906000 1687.40/1684.31 c cleaning 11002 clauses out of 22027 with flag 3917003/3917003 1691.81/1688.71 c cleaning 11004 clauses out of 22024 with flag 3928002/3928002 1696.51/1693.48 c cleaning 11002 clauses out of 22018 with flag 3939000/3939000 1701.11/1698.08 c cleaning 11002 clauses out of 22018 with flag 3950002/3950002 1705.61/1702.57 c cleaning 11000 clauses out of 22015 with flag 3961001/3961001 1710.22/1707.18 c cleaning 10990 clauses out of 22014 with flag 3972000/3972000 1714.62/1711.60 c cleaning 11005 clauses out of 22025 with flag 3983001/3983001 1719.41/1716.33 c cleaning 10999 clauses out of 22019 with flag 3994000/3994000 1724.12/1721.05 c cleaning 10992 clauses out of 22020 with flag 4005000/4005000 1729.02/1725.98 c cleaning 11003 clauses out of 22028 with flag 4016000/4016000 1734.30/1731.21 c cleaning 11007 clauses out of 22025 with flag 4027000/4027000 1739.40/1736.30 c cleaning 11005 clauses out of 22018 with flag 4038000/4038000 1744.42/1741.33 c cleaning 11001 clauses out of 22013 with flag 4049000/4049000 1749.31/1746.27 c cleaning 11000 clauses out of 22012 with flag 4060000/4060000 1754.01/1750.99 c cleaning 11000 clauses out of 22012 with flag 4071000/4071000 1758.61/1755.53 c cleaning 10999 clauses out of 22015 with flag 4082003/4082003 1763.02/1759.92 c cleaning 10999 clauses out of 22015 with flag 4093002/4093002 1767.61/1764.51 c cleaning 11000 clauses out of 22014 with flag 4104000/4104000 1772.21/1769.13 c cleaning 10999 clauses out of 22014 with flag 4115000/4115000 1776.91/1773.88 c cleaning 11001 clauses out of 22015 with flag 4126000/4126000 1782.21/1779.19 c cleaning 10994 clauses out of 22015 with flag 4137001/4137001 1787.71/1784.68 c cleaning 10995 clauses out of 22020 with flag 4148000/4148000 1793.52/1790.43 c cleaning 11001 clauses out of 22026 with flag 4159001/4159001 1799.52/1796.43 c cleaning 10999 clauses out of 22024 with flag 4170000/4170000 1800.03/1796.91 c starts : 261 1800.03/1796.91 c conflicts : 4170857 1800.03/1796.91 c decisions : 16139372 1800.03/1796.91 c propagations : 3770222606 1800.03/1796.91 c inspects : 4202540828 1800.03/1796.91 c learnt literals : 0 1800.03/1796.91 c learnt binary clauses : 0 1800.03/1796.91 c learnt ternary clauses : 1 1800.03/1796.91 c learnt clauses : 4170857 1800.03/1796.91 c ignored clauses : 0 1800.03/1796.91 c root simplifications : 0 1800.03/1796.91 c removed literals (reason simplification) : 4946799 1800.03/1796.91 c reason swapping (by a shorter reason) : 0 1800.03/1796.91 c Calls to reduceDB : 381 1800.03/1796.92 c number of reductions to clauses (during analyze) : 0 1800.03/1796.92 c number of learned constraints concerned by reduction : 0 1800.03/1796.92 c number of learning phase by resolution : 0 1800.03/1796.92 c number of learning phase by cutting planes : 0 1800.03/1796.92 c speed (assignments/second) : 3139061.148961715 1800.03/1796.92 c non guided choices 26793 1800.03/1796.94 c learnt constraints type 1800.03/1796.94 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11917 1800.03/1796.94 c constraints type 1800.03/1796.94 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 1800.03/1796.94 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.03/1796.94 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8902 1800.03/1796.94 s SATISFIABLE 1800.03/1796.97 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 1800.03/1796.98 c objective function=28 1800.03/1796.98 c Total wall clock time (in seconds): 1796.776
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658694-1276634144/watcher-2658694-1276634144 -o /tmp/evaluation-result-2658694-1276634144/solver-2658694-1276634144 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658694-1276634144.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7860 /proc/meminfo: memFree=1759640/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=248 CPUtime=0 /proc/7860/stat : 7860 (java) R 7858 7860 7277 0 -1 4194304 281 0 0 0 0 0 0 0 19 0 1 0 39015927 253952 28 1992294400 134512640 134550932 4291450720 18446744073709551615 7619156 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7860/statm: 62 28 21 10 0 23 0 [startup+0.047669 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7860 /proc/meminfo: memFree=1759640/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1521016 CPUtime=0.03 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 3465 0 1 0 2 1 0 0 18 0 5 0 39015927 1557520384 2909 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 380254 2909 980 10 0 377564 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1521016 [startup+0.101677 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7860 /proc/meminfo: memFree=1759640/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1524184 CPUtime=0.08 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 3965 0 1 0 6 2 0 0 18 0 12 0 39015927 1560764416 3405 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 381046 3405 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.300787 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7860 /proc/meminfo: memFree=1759640/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1526436 CPUtime=0.37 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 5353 0 1 0 34 3 0 0 18 0 12 0 39015927 1563070464 4791 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 381609 4791 1361 10 0 378911 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1526436 [startup+0.701779 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7860 /proc/meminfo: memFree=1759640/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531080 CPUtime=1.15 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 8377 0 1 0 110 5 0 0 18 0 12 0 39015927 1567825920 7435 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382770 7436 1401 10 0 380072 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 1531080 [startup+1.50077 s] /proc/loadavg: 0.92 0.98 0.99 5/118 7872 /proc/meminfo: memFree=1721540/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1532840 CPUtime=2.73 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 13265 0 1 0 265 8 0 0 18 0 13 0 39015927 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 383210 11549 1419 10 0 380512 0 [pid=7860/tid=7862] ppid=7858 vsize=1532840 CPUtime=1.47 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 8675 0 1 0 142 5 0 0 19 0 13 0 39015929 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4108987170 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 39015930 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 39015930 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 39015932 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 39015932 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 39015932 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1532840 CPUtime=0.61 /proc/7860/task/7869/stat : 7869 (java) R 7858 7860 7277 0 -1 4202560 2356 0 0 0 60 1 0 0 25 0 13 0 39015937 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 103152289 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1532840 CPUtime=0.63 /proc/7860/task/7870/stat : 7870 (java) R 7858 7860 7277 0 -1 4202560 1165 0 0 0 63 0 0 0 25 0 13 0 39015937 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 104163913 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1532840 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39015937 1569628160 11549 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 1532840 [startup+3.10174 s] /proc/loadavg: 0.92 0.98 0.99 5/119 7873 /proc/meminfo: memFree=1714092/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531816 CPUtime=5.63 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 16696 0 1 0 553 10 0 0 18 0 13 0 39015927 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382954 14417 1433 10 0 380256 0 [pid=7860/tid=7862] ppid=7858 vsize=1531816 CPUtime=3.07 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 11685 0 1 0 301 6 0 0 24 0 13 0 39015929 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4109825357 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 39015930 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 39015930 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 13 0 39015932 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 39015932 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 39015932 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531816 CPUtime=1.24 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 2728 0 0 0 123 1 0 0 25 0 13 0 39015937 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531816 CPUtime=1.28 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1214 0 0 0 128 0 0 0 25 0 13 0 39015937 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39015937 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531816 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1568579584 14417 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.63 Current children cumulated vsize (KiB) 1531816 [startup+6.30068 s] /proc/loadavg: 0.93 0.98 0.99 2/119 7873 /proc/meminfo: memFree=1698344/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531024 CPUtime=8.94 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 18859 0 1 0 883 11 0 0 18 0 13 0 39015927 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 16256 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=6.22 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12489 0 1 0 615 7 0 0 25 0 13 0 39015929 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4109884276 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 195 0 0 0 0 0 0 0 18 0 13 0 39015930 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=0.01 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 384 0 0 0 1 0 0 0 17 0 13 0 39015930 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=0.02 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 638 0 0 0 2 0 0 0 15 0 13 0 39015932 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.34 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 2872 0 0 0 133 1 0 0 16 0 13 0 39015937 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.29 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1214 0 0 0 129 0 0 0 17 0 13 0 39015937 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 16256 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.94 Current children cumulated vsize (KiB) 1531024 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/119 7873 /proc/meminfo: memFree=1696484/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531024 CPUtime=15.48 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 19516 0 1 0 1536 12 0 0 18 0 13 0 39015927 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 16893 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=12.55 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12492 0 1 0 1248 7 0 0 25 0 13 0 39015929 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4109650831 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=0.01 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 349 0 0 0 1 0 0 0 16 0 13 0 39015930 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=0.01 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 535 0 0 0 1 0 0 0 15 0 13 0 39015930 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=0.08 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 962 0 0 0 8 0 0 0 15 0 13 0 39015932 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.38 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 2891 0 0 0 137 1 0 0 15 0 13 0 39015937 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.39 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1220 0 0 0 138 1 0 0 15 0 13 0 39015937 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 16893 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.48 Current children cumulated vsize (KiB) 1531024 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/119 7873 /proc/meminfo: memFree=1694872/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1532048 CPUtime=28.29 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 19954 0 1 0 2817 12 0 0 18 0 13 0 39015927 1568817152 17328 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 383012 17328 1447 10 0 380314 0 [pid=7860/tid=7862] ppid=7858 vsize=1532048 CPUtime=25.2 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12495 0 1 0 2513 7 0 0 25 0 13 0 39015929 1568817152 17328 1992294400 134512640 134550932 4291450720 18446744073709551615 4109847703 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1532048 CPUtime=0.02 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 449 0 0 0 2 0 0 0 15 0 13 0 39015930 1568817152 17328 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1532048 CPUtime=0.02 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 590 0 0 0 2 0 0 0 16 0 13 0 39015930 1568817152 17328 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1532048 CPUtime=0.18 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 1173 0 0 0 18 0 0 0 15 0 13 0 39015932 1568817152 17328 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1532048 CPUtime=0 ################ # More data... # ################ [pid=7860] ppid=7858 vsize=1531024 CPUtime=1665.4 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 23379 0 1 0 166492 48 0 0 18 0 13 0 39015927 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 19981 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=1644.61 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12841 0 1 0 164434 27 0 0 25 0 13 0 39015929 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4109806380 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=1.43 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 502 0 0 0 138 5 0 0 15 0 13 0 39015930 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=1.38 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 656 0 0 0 133 5 0 0 16 0 13 0 39015930 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=15.03 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 3819 0 0 0 1499 4 0 0 16 0 13 0 39015932 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.46 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 3176 0 0 0 145 1 0 0 15 0 13 0 39015937 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.41 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1222 0 0 0 140 1 0 0 15 0 13 0 39015937 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 19981 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1665.4 Current children cumulated vsize (KiB) 1531024 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 7928 /proc/meminfo: memFree=1680736/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531024 CPUtime=1725.42 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 23426 0 1 0 172491 51 0 0 18 0 13 0 39015927 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 20007 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=1703.95 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12854 0 1 0 170365 30 0 0 25 0 13 0 39015929 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4109824982 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=1.47 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 502 0 0 0 142 5 0 0 16 0 13 0 39015930 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=1.44 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 656 0 0 0 138 6 0 0 15 0 13 0 39015930 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=15.61 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 3849 0 0 0 1557 4 0 0 15 0 13 0 39015932 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.46 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 3176 0 0 0 145 1 0 0 15 0 13 0 39015937 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.41 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1222 0 0 0 140 1 0 0 15 0 13 0 39015937 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 20007 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1725.42 Current children cumulated vsize (KiB) 1531024 [startup+1782.3 s] /proc/loadavg: 1.15 1.03 1.01 2/119 7930 /proc/meminfo: memFree=1680612/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531024 CPUtime=1785.41 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 23468 0 1 0 178489 52 0 0 18 0 13 0 39015927 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 20033 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=1763.32 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12866 0 1 0 176301 31 0 0 25 0 13 0 39015929 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4109825471 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=1.51 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 502 0 0 0 146 5 0 0 16 0 13 0 39015930 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=1.49 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 656 0 0 0 143 6 0 0 15 0 13 0 39015930 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=16.15 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 3877 0 0 0 1611 4 0 0 15 0 13 0 39015932 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.46 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 3176 0 0 0 145 1 0 0 15 0 13 0 39015937 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.41 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1222 0 0 0 140 1 0 0 15 0 13 0 39015937 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 20033 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (KiB) 1531024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.9 s] /proc/loadavg: 1.11 1.03 1.01 2/119 7930 /proc/meminfo: memFree=1680612/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531024 CPUtime=1800.03 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 23478 0 1 0 179950 53 0 0 18 0 13 0 39015927 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 20036 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=1777.77 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12869 0 1 0 177746 31 0 0 25 0 13 0 39015929 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4109129139 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=1.52 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 502 0 0 0 147 5 0 0 16 0 13 0 39015930 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=1.49 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 656 0 0 0 143 6 0 0 15 0 13 0 39015930 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=16.3 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 3882 0 0 0 1626 4 0 0 16 0 13 0 39015932 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.46 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 3176 0 0 0 145 1 0 0 15 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.41 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1222 0 0 0 140 1 0 0 15 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1531024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.9 s] /proc/loadavg: 1.11 1.03 1.01 2/119 7930 /proc/meminfo: memFree=1680612/2059040 swapFree=4136752/4192956 [pid=7860] ppid=7858 vsize=1531024 CPUtime=1800.03 /proc/7860/stat : 7860 (java) S 7858 7860 7277 0 -1 4202496 23478 0 1 0 179950 53 0 0 18 0 13 0 39015927 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7860/statm: 382756 20036 1447 10 0 380058 0 [pid=7860/tid=7862] ppid=7858 vsize=1531024 CPUtime=1777.77 /proc/7860/task/7862/stat : 7862 (java) R 7858 7860 7277 0 -1 4202560 12869 0 1 0 177746 31 0 0 25 0 13 0 39015929 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4109129139 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7860/tid=7863] ppid=7858 vsize=1531024 CPUtime=1.52 /proc/7860/task/7863/stat : 7863 (java) S 7858 7860 7277 0 -1 4202560 502 0 0 0 147 5 0 0 16 0 13 0 39015930 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7864] ppid=7858 vsize=1531024 CPUtime=1.49 /proc/7860/task/7864/stat : 7864 (java) S 7858 7860 7277 0 -1 4202560 656 0 0 0 143 6 0 0 15 0 13 0 39015930 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7865] ppid=7858 vsize=1531024 CPUtime=16.3 /proc/7860/task/7865/stat : 7865 (java) S 7858 7860 7277 0 -1 4202560 3882 0 0 0 1626 4 0 0 16 0 13 0 39015932 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 0 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7866] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7866/stat : 7866 (java) S 7858 7860 7277 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7867] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7867/stat : 7867 (java) S 7858 7860 7277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 39015932 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7868] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7868/stat : 7868 (java) S 7858 7860 7277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7869] ppid=7858 vsize=1531024 CPUtime=1.46 /proc/7860/task/7869/stat : 7869 (java) S 7858 7860 7277 0 -1 4202560 3176 0 0 0 145 1 0 0 15 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7870] ppid=7858 vsize=1531024 CPUtime=1.41 /proc/7860/task/7870/stat : 7870 (java) S 7858 7860 7277 0 -1 4202560 1222 0 0 0 140 1 0 0 15 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7871] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7871/stat : 7871 (java) S 7858 7860 7277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 [pid=7860/tid=7872] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7872/stat : 7872 (java) S 7858 7860 7277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 39015937 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 1 0 0 0 [pid=7860/tid=7873] ppid=7858 vsize=1531024 CPUtime=0 /proc/7860/task/7873/stat : 7873 (java) S 7858 7860 7277 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 39016037 1567768576 20036 1992294400 134512640 134550932 4291450720 18446744073709551615 4294960144 0 4 0 16800975 18446604437838453504 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1531024 Child status: 143 Real time (s): 1797.01 CPU time (s): 1800.19 CPU user time (s): 1799.65 CPU system time (s): 0.540917 CPU usage (%): 100.177 Max. virtual memory (cumulated for all children) (KiB): 1533072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.540917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23500 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40702 involuntary context switches= 21792 runsolver used 3.56446 second user time and 9.78751 second system time The end
Begin job on node012 at 2010-06-15 22:35:44 IDJOB=2658694 IDBENCH=24990 IDSOLVER=1164 FILE ID=node012/2658694-1276634144 PBS_JOBID= 11172347 Free space on /tmp= 62588 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658694-1276634144/watcher-2658694-1276634144 -o /tmp/evaluation-result-2658694-1276634144/solver-2658694-1276634144 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658694-1276634144.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1143909882 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1759912 kB Buffers: 101092 kB Cached: 115928 kB SwapCached: 9788 kB Active: 103432 kB Inactive: 127168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1759912 kB SwapTotal: 4192956 kB SwapFree: 4136752 kB Dirty: 564 kB Writeback: 0 kB AnonPages: 11720 kB Mapped: 9464 kB Slab: 46572 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181536 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62588 MiB End job on node012 at 2010-06-15 23:05:43