Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 24 | 1800.04 | 945.651 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
| MD5SUM | b63b2d912c01ff826a63051b401330db |
| 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 | 23 |
| Best CPU time to get the best result obtained on this benchmark | 1.09583 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | YES |
| Number of variables | 4427 |
| Total number of constraints | 12661 |
| Number of constraints which are clauses | 12661 |
| 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 | 2136 |
| 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 | 2136 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2136 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.2.0.v20100531 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 1349517296 0.00/0.09 c Max memory 1356595200 0.00/0.09 c Total memory 1356595200 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 0.08/0.12 c solving HOME/instance-3735660-1338749370.opb 0.08/0.12 c reading problem ... 1.05/0.51 c ... done. Wall clock time 0.385s. 1.05/0.51 c #vars 4427 1.05/0.51 c #constraints 12656 1.05/0.51 c constraints type 1.05/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296 1.05/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193 1.05/0.51 c constraints type 1.05/0.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193 1.05/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296 1.45/0.65 c And the winner is Resolution 1.83/1.52 c SATISFIABLE 1.83/1.52 c OPTIMIZING... 1.83/1.52 c Got one! Elapsed wall clock time (in seconds):1.395 1.83/1.52 o 34 1.83/1.55 c And the winner is Resolution 2.74/2.53 c Got one! Elapsed wall clock time (in seconds):2.41 2.74/2.53 o 32 2.74/2.58 c And the winner is Resolution 3.06/3.55 c Got one! Elapsed wall clock time (in seconds):3.423 3.06/3.55 o 29 3.26/3.65 c And the winner is Resolution 3.53/4.56 c Got one! Elapsed wall clock time (in seconds):4.433 3.53/4.56 o 28 5.41/5.43 c And the winner is Resolution 5.64/6.56 c Got one! Elapsed wall clock time (in seconds):6.441 5.64/6.56 o 27 6.33/6.97 c cleaning 2496 clauses out of 5000 with flag 5000/5000 9.85/8.62 c cleaning 4245 clauses out of 8504 with flag 11000/11000 13.85/10.61 c cleaning 5622 clauses out of 11260 with flag 18001/18001 17.84/12.67 c cleaning 6813 clauses out of 13637 with flag 26000/26000 22.52/14.98 c cleaning 7907 clauses out of 15824 with flag 35000/35000 27.56/17.47 c And the winner is Resolution 28.37/18.57 c Got one! Elapsed wall clock time (in seconds):18.448 28.37/18.57 o 26 28.37/18.59 c cleaning 8958 clauses out of 17918 with flag 45001/45001 32.83/20.84 c cleaning 9974 clauses out of 19959 with flag 56000/56000 38.81/23.82 c cleaning 10991 clauses out of 21986 with flag 68001/68001 44.96/26.94 c cleaning 11995 clauses out of 23995 with flag 81001/81001 51.74/30.40 c cleaning 12496 clauses out of 24999 with flag 94000/94000 58.73/33.82 c cleaning 12747 clauses out of 25503 with flag 107000/107000 63.72/36.38 c And the winner is Resolution 64.02/37.58 c Got one! Elapsed wall clock time (in seconds):37.455 64.02/37.58 o 25 64.88/38.09 c cleaning 12869 clauses out of 25757 with flag 120001/120001 71.05/41.17 c cleaning 12938 clauses out of 25887 with flag 133000/133000 77.21/44.25 c cleaning 12971 clauses out of 25952 with flag 146003/146003 82.78/47.08 c cleaning 12979 clauses out of 25978 with flag 159000/159000 88.97/50.15 c cleaning 12988 clauses out of 25999 with flag 172000/172000 95.34/53.37 c cleaning 13004 clauses out of 26012 with flag 185001/185001 102.32/56.81 c cleaning 12996 clauses out of 26008 with flag 198001/198001 109.69/60.52 c cleaning 12990 clauses out of 26011 with flag 211000/211000 116.34/63.85 c cleaning 13003 clauses out of 26022 with flag 224001/224001 123.68/67.54 c cleaning 13007 clauses out of 26021 with flag 237003/237003 131.03/71.26 c cleaning 12992 clauses out of 26012 with flag 250001/250001 138.66/75.06 c cleaning 13007 clauses out of 26019 with flag 263000/263000 145.00/78.28 c cleaning 12998 clauses out of 26012 with flag 276000/276000 150.89/81.22 c cleaning 13005 clauses out of 26018 with flag 289004/289004 157.22/84.46 c cleaning 12999 clauses out of 26010 with flag 302001/302001 163.15/87.43 c cleaning 12996 clauses out of 26011 with flag 315001/315001 169.09/90.49 c cleaning 13003 clauses out of 26014 with flag 328000/328000 176.19/94.03 c cleaning 13002 clauses out of 26013 with flag 341002/341002 182.31/97.19 c cleaning 12998 clauses out of 26011 with flag 354002/354002 189.25/100.61 c cleaning 12997 clauses out of 26011 with flag 367000/367000 196.59/104.34 c cleaning 13000 clauses out of 26014 with flag 380000/380000 203.31/107.73 c cleaning 13005 clauses out of 26014 with flag 393000/393000 209.46/110.82 c cleaning 12996 clauses out of 26011 with flag 406002/406002 215.62/113.98 c cleaning 13001 clauses out of 26014 with flag 419001/419001 221.96/117.16 c cleaning 12999 clauses out of 26012 with flag 432000/432000 228.03/120.27 c cleaning 13001 clauses out of 26014 with flag 445001/445001 234.55/123.53 c cleaning 12999 clauses out of 26012 with flag 458000/458000 241.06/126.89 c cleaning 13000 clauses out of 26014 with flag 471001/471001 247.39/130.02 c cleaning 12996 clauses out of 26013 with flag 484000/484000 253.86/133.32 c cleaning 12998 clauses out of 26017 with flag 497000/497000 260.58/136.73 c cleaning 13000 clauses out of 26019 with flag 510000/510000 267.51/140.25 c cleaning 13004 clauses out of 26019 with flag 523000/523000 274.27/143.63 c cleaning 12997 clauses out of 26015 with flag 536000/536000 280.93/147.09 c cleaning 12997 clauses out of 26018 with flag 549000/549000 288.25/150.79 c cleaning 13001 clauses out of 26022 with flag 562001/562001 295.40/154.37 c cleaning 13004 clauses out of 26020 with flag 575000/575000 302.89/158.10 c cleaning 12991 clauses out of 26016 with flag 588000/588000 309.30/161.48 c cleaning 13005 clauses out of 26026 with flag 601001/601001 316.01/164.85 c cleaning 13004 clauses out of 26020 with flag 614000/614000 322.71/168.25 c cleaning 12995 clauses out of 26016 with flag 627000/627000 329.59/171.78 c cleaning 13003 clauses out of 26021 with flag 640000/640000 336.58/175.39 c cleaning 12999 clauses out of 26018 with flag 653000/653000 343.07/178.67 c cleaning 13003 clauses out of 26020 with flag 666001/666001 349.56/181.97 c cleaning 13001 clauses out of 26016 with flag 679000/679000 357.09/185.70 c cleaning 12996 clauses out of 26015 with flag 692000/692000 363.67/189.14 c cleaning 13001 clauses out of 26019 with flag 705000/705000 370.76/192.74 c cleaning 12997 clauses out of 26018 with flag 718000/718000 377.83/196.31 c cleaning 12995 clauses out of 26021 with flag 731000/731000 384.91/199.98 c cleaning 13005 clauses out of 26026 with flag 744000/744000 392.48/203.89 c cleaning 13000 clauses out of 26021 with flag 757000/757000 399.76/207.54 c cleaning 13001 clauses out of 26021 with flag 770000/770000 407.24/211.38 c cleaning 13001 clauses out of 26021 with flag 783001/783001 414.10/214.87 c cleaning 13003 clauses out of 26020 with flag 796001/796001 421.05/218.42 c cleaning 13002 clauses out of 26017 with flag 809001/809001 428.11/222.02 c cleaning 12996 clauses out of 26014 with flag 822000/822000 434.98/225.55 c cleaning 13000 clauses out of 26018 with flag 835000/835000 442.26/229.24 c cleaning 13005 clauses out of 26019 with flag 848001/848001 449.64/233.00 c cleaning 12997 clauses out of 26013 with flag 861000/861000 456.52/236.59 c cleaning 12994 clauses out of 26016 with flag 874000/874000 463.57/240.11 c cleaning 13009 clauses out of 26023 with flag 887001/887001 470.25/243.54 c cleaning 12999 clauses out of 26013 with flag 900000/900000 476.98/247.09 c cleaning 13002 clauses out of 26016 with flag 913002/913002 483.86/250.53 c cleaning 12997 clauses out of 26012 with flag 926000/926000 489.92/253.64 c cleaning 13002 clauses out of 26016 with flag 939001/939001 496.57/257.05 c cleaning 12997 clauses out of 26013 with flag 952000/952000 503.13/260.44 c cleaning 12994 clauses out of 26016 with flag 965000/965000 509.60/263.75 c cleaning 13000 clauses out of 26022 with flag 978000/978000 516.25/267.19 c cleaning 13000 clauses out of 26022 with flag 991000/991000 523.13/270.67 c cleaning 13003 clauses out of 26022 with flag 1004000/1004000 530.05/274.24 c cleaning 12997 clauses out of 26020 with flag 1017001/1017001 536.14/277.37 c cleaning 13003 clauses out of 26023 with flag 1030001/1030001 542.58/280.63 c cleaning 13002 clauses out of 26019 with flag 1043000/1043000 549.03/283.98 c cleaning 13004 clauses out of 26017 with flag 1056000/1056000 555.74/287.44 c cleaning 12998 clauses out of 26016 with flag 1069003/1069003 561.98/290.68 c cleaning 12997 clauses out of 26015 with flag 1082000/1082000 569.43/294.49 c cleaning 12996 clauses out of 26018 with flag 1095000/1095000 576.68/298.17 c cleaning 13002 clauses out of 26022 with flag 1108000/1108000 584.17/302.03 c cleaning 13005 clauses out of 26020 with flag 1121000/1121000 591.17/305.67 c cleaning 13001 clauses out of 26016 with flag 1134001/1134001 598.17/309.26 c cleaning 13001 clauses out of 26014 with flag 1147000/1147000 605.37/312.99 c cleaning 12993 clauses out of 26013 with flag 1160000/1160000 613.02/316.90 c cleaning 13006 clauses out of 26022 with flag 1173002/1173002 619.65/320.35 c cleaning 13001 clauses out of 26014 with flag 1186000/1186000 625.85/323.51 c cleaning 12997 clauses out of 26013 with flag 1199000/1199000 632.06/326.73 c cleaning 12995 clauses out of 26016 with flag 1212000/1212000 638.92/330.32 c cleaning 13005 clauses out of 26022 with flag 1225001/1225001 645.71/333.86 c cleaning 12990 clauses out of 26016 with flag 1238000/1238000 652.34/337.22 c cleaning 13002 clauses out of 26026 with flag 1251000/1251000 658.95/340.67 c cleaning 13004 clauses out of 26025 with flag 1264001/1264001 665.81/344.27 c cleaning 12999 clauses out of 26020 with flag 1277000/1277000 672.20/347.57 c cleaning 12994 clauses out of 26021 with flag 1290000/1290000 678.81/350.93 c cleaning 13001 clauses out of 26027 with flag 1303000/1303000 685.35/354.32 c cleaning 13005 clauses out of 26026 with flag 1316000/1316000 692.00/357.86 c cleaning 13008 clauses out of 26022 with flag 1329001/1329001 698.76/361.39 c cleaning 13000 clauses out of 26014 with flag 1342001/1342001 705.14/364.68 c cleaning 12998 clauses out of 26013 with flag 1355000/1355000 711.48/367.99 c cleaning 12999 clauses out of 26015 with flag 1368000/1368000 717.89/371.34 c cleaning 12996 clauses out of 26016 with flag 1381000/1381000 724.47/374.79 c cleaning 13002 clauses out of 26021 with flag 1394001/1394001 731.64/378.42 c cleaning 13001 clauses out of 26019 with flag 1407001/1407001 738.20/381.85 c cleaning 13000 clauses out of 26017 with flag 1420000/1420000 744.38/385.19 c cleaning 13004 clauses out of 26019 with flag 1433002/1433002 750.93/388.54 c cleaning 13000 clauses out of 26014 with flag 1446001/1446001 757.49/391.93 c cleaning 13003 clauses out of 26014 with flag 1459001/1459001 764.03/395.39 c cleaning 13000 clauses out of 26011 with flag 1472001/1472001 771.08/399.06 c cleaning 12994 clauses out of 26010 with flag 1485000/1485000 777.66/402.46 c cleaning 13000 clauses out of 26017 with flag 1498001/1498001 784.02/405.74 c cleaning 12997 clauses out of 26016 with flag 1511000/1511000 790.55/409.17 c cleaning 12999 clauses out of 26019 with flag 1524000/1524000 797.33/412.72 c cleaning 13003 clauses out of 26021 with flag 1537001/1537001 803.70/416.06 c cleaning 13004 clauses out of 26018 with flag 1550001/1550001 810.22/419.45 c cleaning 12999 clauses out of 26013 with flag 1563000/1563000 816.97/422.91 c cleaning 12998 clauses out of 26014 with flag 1576000/1576000 823.73/426.58 c cleaning 13000 clauses out of 26016 with flag 1589000/1589000 830.51/430.04 c cleaning 13002 clauses out of 26016 with flag 1602000/1602000 837.23/433.54 c cleaning 12999 clauses out of 26015 with flag 1615001/1615001 844.19/437.14 c cleaning 13001 clauses out of 26016 with flag 1628001/1628001 851.34/440.93 c cleaning 12993 clauses out of 26014 with flag 1641000/1641000 858.12/444.45 c cleaning 13003 clauses out of 26022 with flag 1654001/1654001 865.68/448.36 c cleaning 12995 clauses out of 26018 with flag 1667000/1667000 872.85/452.01 c cleaning 12997 clauses out of 26023 with flag 1680000/1680000 879.99/455.83 c cleaning 13005 clauses out of 26026 with flag 1693000/1693000 886.92/459.48 c cleaning 12993 clauses out of 26021 with flag 1706000/1706000 894.05/463.17 c cleaning 13007 clauses out of 26028 with flag 1719000/1719000 901.00/466.78 c cleaning 13001 clauses out of 26021 with flag 1732000/1732000 908.74/470.85 c cleaning 13003 clauses out of 26020 with flag 1745000/1745000 917.10/475.13 c cleaning 12993 clauses out of 26018 with flag 1758001/1758001 924.87/479.13 c cleaning 13007 clauses out of 26024 with flag 1771000/1771000 931.23/482.47 c cleaning 13005 clauses out of 26019 with flag 1784002/1784002 937.75/485.96 c cleaning 13002 clauses out of 26012 with flag 1797000/1797000 944.29/489.31 c cleaning 12995 clauses out of 26010 with flag 1810000/1810000 951.04/492.89 c cleaning 13001 clauses out of 26016 with flag 1823001/1823001 957.52/496.27 c cleaning 13000 clauses out of 26014 with flag 1836000/1836000 964.45/499.91 c cleaning 12998 clauses out of 26014 with flag 1849000/1849000 971.15/503.45 c cleaning 13002 clauses out of 26017 with flag 1862001/1862001 977.44/506.77 c cleaning 12997 clauses out of 26014 with flag 1875000/1875000 983.89/510.13 c cleaning 12994 clauses out of 26017 with flag 1888000/1888000 990.32/513.67 c cleaning 13001 clauses out of 26023 with flag 1901000/1901000 996.79/517.10 c cleaning 13007 clauses out of 26024 with flag 1914002/1914002 1003.39/520.59 c cleaning 13002 clauses out of 26015 with flag 1927000/1927000 1010.47/524.25 c cleaning 12997 clauses out of 26018 with flag 1940005/1940005 1017.52/528.04 c cleaning 13000 clauses out of 26016 with flag 1953000/1953000 1023.78/531.35 c cleaning 12998 clauses out of 26016 with flag 1966000/1966000 1030.21/534.76 c cleaning 12992 clauses out of 26018 with flag 1979000/1979000 1036.72/538.11 c cleaning 13007 clauses out of 26029 with flag 1992003/1992003 1043.62/541.83 c cleaning 13005 clauses out of 26020 with flag 2005001/2005001 1050.51/545.45 c cleaning 12999 clauses out of 26015 with flag 2018001/2018001 1056.80/548.76 c cleaning 12998 clauses out of 26015 with flag 2031000/2031000 1064.10/552.53 c cleaning 12998 clauses out of 26017 with flag 2044000/2044000 1070.93/556.21 c cleaning 13005 clauses out of 26020 with flag 2057001/2057001 1077.41/559.69 c cleaning 13002 clauses out of 26014 with flag 2070000/2070000 1084.31/563.22 c cleaning 12992 clauses out of 26012 with flag 2083000/2083000 1091.59/567.07 c cleaning 12999 clauses out of 26021 with flag 2096001/2096001 1099.44/571.24 c cleaning 12998 clauses out of 26021 with flag 2109000/2109000 1106.71/575.06 c cleaning 13000 clauses out of 26024 with flag 2122001/2122001 1113.41/578.50 c cleaning 12997 clauses out of 26023 with flag 2135000/2135000 1119.25/581.69 c cleaning 13005 clauses out of 26026 with flag 2148000/2148000 1125.66/585.16 c cleaning 13007 clauses out of 26023 with flag 2161002/2161002 1132.14/588.54 c cleaning 12999 clauses out of 26014 with flag 2174000/2174000 1138.17/591.79 c cleaning 12993 clauses out of 26015 with flag 2187000/2187000 1144.79/595.24 c cleaning 13003 clauses out of 26023 with flag 2200001/2200001 1152.22/599.22 c cleaning 12997 clauses out of 26019 with flag 2213000/2213000 1159.23/602.93 c cleaning 13000 clauses out of 26022 with flag 2226000/2226000 1166.66/606.84 c cleaning 13003 clauses out of 26022 with flag 2239000/2239000 1173.69/610.59 c cleaning 12994 clauses out of 26019 with flag 2252000/2252000 1181.56/614.71 c cleaning 13004 clauses out of 26026 with flag 2265001/2265001 1189.61/618.92 c cleaning 13002 clauses out of 26021 with flag 2278000/2278000 1196.86/622.76 c cleaning 13003 clauses out of 26021 with flag 2291002/2291002 1203.75/626.32 c cleaning 12990 clauses out of 26016 with flag 2304000/2304000 1210.14/629.86 c cleaning 13005 clauses out of 26026 with flag 2317000/2317000 1217.22/633.56 c cleaning 12989 clauses out of 26021 with flag 2330000/2330000 1224.67/637.42 c cleaning 13006 clauses out of 26033 with flag 2343001/2343001 1232.13/641.37 c cleaning 12999 clauses out of 26027 with flag 2356001/2356001 1239.77/645.40 c cleaning 12998 clauses out of 26027 with flag 2369000/2369000 1246.84/649.10 c cleaning 13004 clauses out of 26029 with flag 2382000/2382000 1253.68/652.79 c cleaning 13004 clauses out of 26025 with flag 2395000/2395000 1260.94/656.51 c cleaning 12999 clauses out of 26021 with flag 2408000/2408000 1268.33/660.54 c cleaning 12995 clauses out of 26023 with flag 2421001/2421001 1275.83/664.42 c cleaning 12986 clauses out of 26027 with flag 2434000/2434000 1282.85/668.12 c cleaning 13013 clauses out of 26041 with flag 2447000/2447000 1290.33/672.05 c cleaning 13000 clauses out of 26028 with flag 2460000/2460000 1297.69/676.06 c cleaning 13006 clauses out of 26030 with flag 2473002/2473002 1304.50/679.65 c cleaning 13003 clauses out of 26023 with flag 2486001/2486001 1310.92/683.05 c cleaning 12996 clauses out of 26019 with flag 2499000/2499000 1318.40/686.91 c cleaning 12999 clauses out of 26023 with flag 2512000/2512000 1325.40/690.79 c cleaning 13000 clauses out of 26024 with flag 2525000/2525000 1332.48/694.46 c cleaning 13004 clauses out of 26025 with flag 2538001/2538001 1339.73/698.27 c cleaning 12998 clauses out of 26021 with flag 2551001/2551001 1347.19/702.14 c cleaning 13000 clauses out of 26022 with flag 2564000/2564000 1354.73/706.20 c cleaning 12998 clauses out of 26022 with flag 2577000/2577000 1361.74/709.94 c cleaning 12995 clauses out of 26024 with flag 2590000/2590000 1369.22/713.84 c cleaning 13003 clauses out of 26029 with flag 2603000/2603000 1376.66/717.79 c cleaning 12997 clauses out of 26027 with flag 2616001/2616001 1384.05/721.73 c cleaning 13008 clauses out of 26029 with flag 2629000/2629000 1386.00/722.90 c And the winner is CuttingPlanes 1383.22/723.50 c Got one! Elapsed wall clock time (in seconds):723.382 1383.22/723.50 o 24 1387.08/725.47 c cleaning 13006 clauses out of 26022 with flag 2642001/2642001 1393.51/728.86 c cleaning 13001 clauses out of 26018 with flag 2655003/2655003 1399.71/732.11 c cleaning 12994 clauses out of 26014 with flag 2668000/2668000 1406.01/735.68 c cleaning 12996 clauses out of 26020 with flag 2681000/2681000 1412.63/739.13 c cleaning 13002 clauses out of 26024 with flag 2694000/2694000 1419.08/742.58 c cleaning 13001 clauses out of 26022 with flag 2707000/2707000 1425.63/746.09 c cleaning 12997 clauses out of 26021 with flag 2720000/2720000 1432.98/750.03 c cleaning 13002 clauses out of 26024 with flag 2733000/2733000 1438.97/753.27 c cleaning 13003 clauses out of 26022 with flag 2746000/2746000 1445.40/756.67 c cleaning 13002 clauses out of 26019 with flag 2759000/2759000 1451.62/759.95 c cleaning 13001 clauses out of 26017 with flag 2772000/2772000 1458.38/763.67 c cleaning 13001 clauses out of 26016 with flag 2785000/2785000 1464.77/767.00 c cleaning 12999 clauses out of 26016 with flag 2798001/2798001 1470.99/770.37 c cleaning 12993 clauses out of 26016 with flag 2811000/2811000 1477.61/773.83 c cleaning 13003 clauses out of 26023 with flag 2824000/2824000 1484.74/777.71 c cleaning 13001 clauses out of 26021 with flag 2837001/2837001 1491.77/781.47 c cleaning 13000 clauses out of 26019 with flag 2850000/2850000 1498.39/784.91 c cleaning 13003 clauses out of 26019 with flag 2863000/2863000 1504.73/788.35 c cleaning 12995 clauses out of 26017 with flag 2876001/2876001 1511.67/792.18 c cleaning 13000 clauses out of 26022 with flag 2889001/2889001 1518.26/795.64 c cleaning 13004 clauses out of 26022 with flag 2902001/2902001 1524.23/798.88 c cleaning 12994 clauses out of 26017 with flag 2915000/2915000 1530.84/802.34 c cleaning 12997 clauses out of 26024 with flag 2928001/2928001 1537.32/805.95 c cleaning 13003 clauses out of 26026 with flag 2941000/2941000 1543.90/809.50 c cleaning 12999 clauses out of 26024 with flag 2954001/2954001 1550.67/813.07 c cleaning 13001 clauses out of 26024 with flag 2967000/2967000 1557.47/816.61 c cleaning 12995 clauses out of 26023 with flag 2980000/2980000 1564.16/820.39 c cleaning 13011 clauses out of 26028 with flag 2993000/2993000 1570.53/823.77 c cleaning 12997 clauses out of 26017 with flag 3006000/3006000 1577.93/827.63 c cleaning 13002 clauses out of 26021 with flag 3019001/3019001 1584.93/831.33 c cleaning 12996 clauses out of 26019 with flag 3032001/3032001 1592.19/835.38 c cleaning 13003 clauses out of 26022 with flag 3045000/3045000 1598.97/838.93 c cleaning 13001 clauses out of 26021 with flag 3058002/3058002 1605.55/842.49 c cleaning 13002 clauses out of 26020 with flag 3071002/3071002 1612.15/845.99 c cleaning 12993 clauses out of 26016 with flag 3084000/3084000 1619.46/849.97 c cleaning 12993 clauses out of 26023 with flag 3097000/3097000 1626.67/853.75 c cleaning 13003 clauses out of 26030 with flag 3110000/3110000 1633.83/857.56 c cleaning 12993 clauses out of 26027 with flag 3123000/3123000 1641.20/861.41 c cleaning 12997 clauses out of 26034 with flag 3136000/3136000 1649.49/865.93 c cleaning 12996 clauses out of 26037 with flag 3149000/3149000 1657.31/870.01 c cleaning 13009 clauses out of 26041 with flag 3162000/3162000 1663.66/873.46 c cleaning 13010 clauses out of 26032 with flag 3175000/3175000 1669.86/876.76 c cleaning 13007 clauses out of 26024 with flag 3188002/3188002 1676.10/880.29 c cleaning 13000 clauses out of 26016 with flag 3201001/3201001 1682.49/883.68 c cleaning 13000 clauses out of 26015 with flag 3214000/3214000 1689.25/887.20 c cleaning 12999 clauses out of 26016 with flag 3227001/3227001 1695.18/890.48 c cleaning 12997 clauses out of 26016 with flag 3240000/3240000 1702.43/894.43 c cleaning 13003 clauses out of 26019 with flag 3253000/3253000 1709.20/898.07 c cleaning 13001 clauses out of 26016 with flag 3266000/3266000 1716.14/901.70 c cleaning 12991 clauses out of 26015 with flag 3279000/3279000 1723.09/905.47 c cleaning 13002 clauses out of 26024 with flag 3292000/3292000 1730.67/909.63 c cleaning 13007 clauses out of 26023 with flag 3305001/3305001 1737.99/913.51 c cleaning 12993 clauses out of 26015 with flag 3318000/3318000 1745.10/917.33 c cleaning 13003 clauses out of 26022 with flag 3331000/3331000 1752.64/921.33 c cleaning 13002 clauses out of 26020 with flag 3344001/3344001 1760.28/925.55 c cleaning 13005 clauses out of 26019 with flag 3357002/3357002 1767.61/929.44 c cleaning 13002 clauses out of 26017 with flag 3370005/3370005 1774.54/933.18 c cleaning 12982 clauses out of 26010 with flag 3383000/3383000 1781.89/937.04 c cleaning 13004 clauses out of 26028 with flag 3396000/3396000 1789.06/941.09 c cleaning 13008 clauses out of 26025 with flag 3409001/3409001 1795.77/944.65 c cleaning 12995 clauses out of 26017 with flag 3422001/3422001 1797.26/945.61 c starts : 20 1797.26/945.61 c conflicts : 2784 1797.26/945.61 c decisions : 225329 1797.26/945.61 c propagations : 1367672 1797.26/945.61 c inspects : 33832398 1797.26/945.61 c learnt literals : 0 1797.26/945.61 c learnt binary clauses : 0 1797.26/945.61 c learnt ternary clauses : 0 1797.26/945.61 c learnt clauses : 2783 1797.26/945.61 c ignored clauses : 0 1797.26/945.61 c root simplifications : 0 1797.26/945.61 c removed literals (reason simplification) : 0 1797.26/945.61 c reason swapping (by a shorter reason) : 0 1797.26/945.61 c Calls to reduceDB : 0 1797.26/945.61 c number of reductions to clauses (during analyze) : 0 1797.26/945.61 c number of learned constraints concerned by reduction : 0 1797.26/945.61 c number of learning phase by resolution : 0 1797.26/945.61 c number of learning phase by cutting planes : 0 1797.26/945.61 c speed (assignments/second) : 6157.910850968033 1797.26/945.61 c non guided choices 0 1797.26/945.61 c learnt constraints type 1797.26/945.61 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 80 1797.26/945.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6 1797.26/945.61 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2697 1797.26/945.61 c constraints type 1797.26/945.61 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296 1797.26/945.61 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1797.26/945.61 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193 1797.26/945.61 c constraints type 1797.26/945.61 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193 1797.26/945.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296 1797.26/945.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1797.26/945.61 s SATISFIABLE 1797.26/945.62 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 x4415 -x4416 -x4417 x4418 x4419 x4420 x4421 -x4422 -x4423 x4424 x4425 -x4426 -x4427 1797.26/945.63 c objective function=24 1797.26/945.63 c Total wall clock time (in seconds): 945.507
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735660-1338749370/watcher-3735660-1338749370 -o /tmp/evaluation-result-3735660-1338749370/solver-3735660-1338749370 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735660-1338749370.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.42 3.74 3.59 4/199 20560 /proc/meminfo: memFree=28443544/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20560/stat : 20560 (java6) D 20558 20560 19811 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341061830 9515008 182 33554432000 1073741824 1073778376 140736245446752 140736245437784 215124623029 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0 /proc/20560/statm: 2323 182 140 9 0 71 0 [startup+0.020528 s] /proc/loadavg: 3.42 3.74 3.59 4/199 20560 /proc/meminfo: memFree=28443544/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=102664 CPUtime=0 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 1430 0 1 0 0 0 0 0 20 0 2 0 341061830 105127936 1111 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 25666 1111 858 9 0 16775 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 102664 [startup+0.100222 s] /proc/loadavg: 3.42 3.74 3.59 4/199 20560 /proc/meminfo: memFree=28443544/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2699928 CPUtime=0.08 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 4124 0 1 0 7 1 0 0 20 0 18 0 341061830 2764726272 5844 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 674982 5847 1932 9 0 665676 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2699928 [startup+0.300209 s] /proc/loadavg: 3.42 3.74 3.59 4/199 20560 /proc/meminfo: memFree=28443544/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2699928 CPUtime=0.47 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 6110 0 1 0 46 1 0 0 20 0 18 0 341061830 2764726272 9163 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 674982 9163 2218 9 0 665676 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 2699928 [startup+0.700279 s] /proc/loadavg: 3.42 3.74 3.59 4/199 20560 /proc/meminfo: memFree=28443544/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2966184 CPUtime=1.78 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 15895 0 1 0 172 6 0 0 20 0 20 0 341061830 3037372416 24017 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 741546 24017 2253 9 0 732240 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 2966184 [startup+1.50069 s] /proc/loadavg: 3.42 3.74 3.59 3/219 20582 /proc/meminfo: memFree=28356404/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2966184 CPUtime=1.83 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 15898 0 1 0 177 6 0 0 20 0 20 0 341061830 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 741546 24020 2256 9 0 732240 0 [pid=20560/tid=20562] ppid=20558 vsize=2966184 CPUtime=0.47 cores=0,2,4,6 /proc/20560/task/20562/stat : 20562 (java) S 20558 20560 19811 0 -1 4202560 2807 0 1 0 46 1 0 0 20 0 20 0 341061831 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014544331928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20563] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20563/stat : 20563 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014528613416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20564] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20564/stat : 20564 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014527560616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20565] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20565/stat : 20565 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014526507816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20566] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20566/stat : 20566 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014407117480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20567] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20567/stat : 20567 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014406064680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20568] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20568/stat : 20568 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014405011880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20569] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20569/stat : 20569 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014403959080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20570] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20570/stat : 20570 (java) S 20558 20560 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140014402906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20571] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20571/stat : 20571 (java) S 20558 20560 19811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013920578536 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20572] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20572/stat : 20572 (java) S 20558 20560 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013919524600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20573] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20573/stat : 20573 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013918471688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20574] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20574/stat : 20574 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013917420176 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20575] ppid=20558 vsize=2966184 CPUtime=0.5 cores=0,2,4,6 /proc/20560/task/20575/stat : 20575 (java) S 20558 20560 19811 0 -1 4202560 5894 0 0 0 48 2 0 0 20 0 20 0 341061837 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013916367288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20576] ppid=20558 vsize=2966184 CPUtime=0.52 cores=0,2,4,6 /proc/20560/task/20576/stat : 20576 (java) S 20558 20560 19811 0 -1 4202560 5898 0 0 0 52 0 0 0 20 0 20 0 341061837 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013915314488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20577] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20577/stat : 20577 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013914261880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20578] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20578/stat : 20578 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013913209288 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20581] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20581/stat : 20581 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061891 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013910050216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20582] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20582/stat : 20582 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061891 3037372416 24020 33554432000 1073741824 1073778376 140734183902160 140013908997416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 2966184 [startup+3.10069 s] /proc/loadavg: 3.42 3.74 3.59 3/219 20584 /proc/meminfo: memFree=28346840/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2966184 CPUtime=3.06 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 18942 0 1 0 296 10 0 0 20 0 20 0 341061830 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 741546 28710 2262 9 0 732240 0 [pid=20560/tid=20562] ppid=20558 vsize=2966184 CPUtime=0.5 cores=0,2,4,6 /proc/20560/task/20562/stat : 20562 (java) S 20558 20560 19811 0 -1 4202560 2808 0 1 0 49 1 0 0 20 0 20 0 341061831 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014544331928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20563] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20563/stat : 20563 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014528613416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20564] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20564/stat : 20564 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014527560616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20565] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20565/stat : 20565 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014526507816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20566] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20566/stat : 20566 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014407117480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20567] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20567/stat : 20567 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014406064680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20568] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20568/stat : 20568 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014405011880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20569] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20569/stat : 20569 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014403959080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20570] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20570/stat : 20570 (java) S 20558 20560 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140014402906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20571] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20571/stat : 20571 (java) S 20558 20560 19811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013920578536 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20572] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20572/stat : 20572 (java) S 20558 20560 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013919524600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20573] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20573/stat : 20573 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013918471688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20574] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20574/stat : 20574 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013917420176 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20575] ppid=20558 vsize=2966184 CPUtime=0.81 cores=0,2,4,6 /proc/20560/task/20575/stat : 20575 (java) S 20558 20560 19811 0 -1 4202560 5901 0 0 0 79 2 0 0 20 0 20 0 341061837 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013916367288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20576] ppid=20558 vsize=2966184 CPUtime=1.05 cores=0,2,4,6 /proc/20560/task/20576/stat : 20576 (java) S 20558 20560 19811 0 -1 4202560 8894 0 0 0 104 1 0 0 20 0 20 0 341061837 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013915314488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20577] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20577/stat : 20577 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013914261880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20578] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20578/stat : 20578 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013913209288 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20581] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20581/stat : 20581 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061891 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013910050216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20582] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20582/stat : 20582 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061891 3037372416 28710 33554432000 1073741824 1073778376 140734183902160 140013908997416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 2966184 [startup+6.30069 s] /proc/loadavg: 3.39 3.73 3.59 5/221 20590 /proc/meminfo: memFree=28067568/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2966184 CPUtime=5.64 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 19132 0 1 0 545 19 0 0 20 0 20 0 341061830 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 741546 101397 2276 9 0 732240 0 [pid=20560/tid=20562] ppid=20558 vsize=2966184 CPUtime=0.53 cores=0,2,4,6 /proc/20560/task/20562/stat : 20562 (java) S 20558 20560 19811 0 -1 4202560 2810 0 1 0 51 2 0 0 20 0 20 0 341061831 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014544331944 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20563] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20563/stat : 20563 (java) S 20558 20560 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014528613416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20564] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20564/stat : 20564 (java) S 20558 20560 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014527560616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20565] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20565/stat : 20565 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014526507816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20566] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20566/stat : 20566 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014407117480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20567] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20567/stat : 20567 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014406064680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20568] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20568/stat : 20568 (java) S 20558 20560 19811 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014405011880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20569] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20569/stat : 20569 (java) S 20558 20560 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014403959080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20570] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20570/stat : 20570 (java) S 20558 20560 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341061832 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140014402906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20571] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20571/stat : 20571 (java) S 20558 20560 19811 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013920578536 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20572] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20572/stat : 20572 (java) S 20558 20560 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013919524600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20573] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20573/stat : 20573 (java) S 20558 20560 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341061834 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013918471688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20574] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20574/stat : 20574 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013917420176 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20575] ppid=20558 vsize=2966184 CPUtime=0.96 cores=0,2,4,6 /proc/20560/task/20575/stat : 20575 (java) S 20558 20560 19811 0 -1 4202560 5902 0 0 0 94 2 0 0 20 0 20 0 341061837 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013916367288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20576] ppid=20558 vsize=2966184 CPUtime=1.3 cores=0,2,4,6 /proc/20560/task/20576/stat : 20576 (java) S 20558 20560 19811 0 -1 4202560 8894 0 0 0 128 2 0 0 20 0 20 0 341061837 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013915314488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20577] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20577/stat : 20577 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013914261880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20578] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20578/stat : 20578 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341061837 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013913209288 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20581] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20581/stat : 20581 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341061891 3037372416 101397 33554432000 1073741824 1073778376 140734183902160 140013910050216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=20560/tid=20566] ppid=20558 vsize=2966184 CPUtime=4.98 cores=0,2,4,6 /proc/20560/task/20566/stat : 20566 (java) S 20558 20560 19811 0 -1 4202560 196 0 0 0 490 8 0 0 20 0 22 0 341061832 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140014407117480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20567] ppid=20558 vsize=2966184 CPUtime=4.93 cores=0,2,4,6 /proc/20560/task/20567/stat : 20567 (java) S 20558 20560 19811 0 -1 4202560 191 0 0 0 484 9 0 0 20 0 22 0 341061832 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140014406064680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20568] ppid=20558 vsize=2966184 CPUtime=5.04 cores=0,2,4,6 /proc/20560/task/20568/stat : 20568 (java) S 20558 20560 19811 0 -1 4202560 211 0 0 0 497 7 0 0 20 0 22 0 341061832 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140014405011880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20569] ppid=20558 vsize=2966184 CPUtime=5 cores=0,2,4,6 /proc/20560/task/20569/stat : 20569 (java) S 20558 20560 19811 0 -1 4202560 193 0 0 0 492 8 0 0 20 0 22 0 341061832 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140014403959080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20570] ppid=20558 vsize=2966184 CPUtime=4.86 cores=0,2,4,6 /proc/20560/task/20570/stat : 20570 (java) S 20558 20560 19811 0 -1 4202560 207 0 0 0 478 8 0 0 20 0 22 0 341061832 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140014402906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20571] ppid=20558 vsize=2966184 CPUtime=84.93 cores=0,2,4,6 /proc/20560/task/20571/stat : 20571 (java) S 20558 20560 19811 0 -1 4202560 111 0 0 0 8439 54 0 0 20 0 22 0 341061834 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013920578536 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20572] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20572/stat : 20572 (java) S 20558 20560 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341061834 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013919524600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20573] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20573/stat : 20573 (java) S 20558 20560 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341061834 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013918471688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20574] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20574/stat : 20574 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341061837 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013917420176 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20575] ppid=20558 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/20560/task/20575/stat : 20575 (java) S 20558 20560 19811 0 -1 4202560 5914 0 0 0 119 2 0 0 20 0 22 0 341061837 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013916367288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20576] ppid=20558 vsize=2966184 CPUtime=1.7 cores=0,2,4,6 /proc/20560/task/20576/stat : 20576 (java) S 20558 20560 19811 0 -1 4202560 8905 0 0 0 168 2 0 0 20 0 22 0 341061837 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013915314488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20577] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20577/stat : 20577 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341061837 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013914261880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20578] ppid=20558 vsize=2966184 CPUtime=0.31 cores=0,2,4,6 /proc/20560/task/20578/stat : 20578 (java) S 20558 20560 19811 0 -1 4202560 51 0 0 0 16 15 0 0 20 0 22 0 341061837 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013913209288 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20581] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20581/stat : 20581 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341061891 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013910050216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20582] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20582/stat : 20582 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341061891 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013908997416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20701] ppid=20558 vsize=2966184 CPUtime=130.93 cores=0,2,4,6 /proc/20560/task/20701/stat : 20701 (java) R 20558 20560 19811 0 -1 4202560 96 0 0 0 13092 1 0 0 20 0 22 0 341134181 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013911101336 140014408358156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20702] ppid=20558 vsize=2966184 CPUtime=130.89 cores=0,2,4,6 /proc/20560/task/20702/stat : 20702 (java) R 20558 20560 19811 0 -1 4202560 86 0 0 0 13088 1 0 0 20 0 22 0 341134181 3037372416 220865 33554432000 1073741824 1073778376 140734183902160 140013912152528 140014408168298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1679.86 Current children cumulated vsize (KiB) 2966184 [startup+942.301 s] /proc/loadavg: 3.81 3.78 3.72 4/221 20705 /proc/meminfo: memFree=27553664/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2966184 CPUtime=1791.09 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 22280 0 1 0 178922 187 0 0 20 0 22 0 341061830 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 741546 226067 2289 9 0 732240 0 [pid=20560/tid=20562] ppid=20558 vsize=2966184 CPUtime=0.58 cores=0,2,4,6 /proc/20560/task/20562/stat : 20562 (java) S 20558 20560 19811 0 -1 4202560 2885 0 1 0 55 3 0 0 20 0 22 0 341061831 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014544331928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20563] ppid=20558 vsize=2966184 CPUtime=5.41 cores=0,2,4,6 /proc/20560/task/20563/stat : 20563 (java) S 20558 20560 19811 0 -1 4202560 211 0 0 0 533 8 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014528613416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20564] ppid=20558 vsize=2966184 CPUtime=5.3 cores=0,2,4,6 /proc/20560/task/20564/stat : 20564 (java) S 20558 20560 19811 0 -1 4202560 199 0 0 0 523 7 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014527560616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20565] ppid=20558 vsize=2966184 CPUtime=5.2 cores=0,2,4,6 /proc/20560/task/20565/stat : 20565 (java) S 20558 20560 19811 0 -1 4202560 202 0 0 0 512 8 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014526507816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20566] ppid=20558 vsize=2966184 CPUtime=5.37 cores=0,2,4,6 /proc/20560/task/20566/stat : 20566 (java) S 20558 20560 19811 0 -1 4202560 207 0 0 0 528 9 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014407117480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20567] ppid=20558 vsize=2966184 CPUtime=5.34 cores=0,2,4,6 /proc/20560/task/20567/stat : 20567 (java) S 20558 20560 19811 0 -1 4202560 201 0 0 0 525 9 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014406064680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20568] ppid=20558 vsize=2966184 CPUtime=5.44 cores=0,2,4,6 /proc/20560/task/20568/stat : 20568 (java) S 20558 20560 19811 0 -1 4202560 223 0 0 0 536 8 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014405011880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20569] ppid=20558 vsize=2966184 CPUtime=5.39 cores=0,2,4,6 /proc/20560/task/20569/stat : 20569 (java) S 20558 20560 19811 0 -1 4202560 202 0 0 0 531 8 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014403959080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20570] ppid=20558 vsize=2966184 CPUtime=5.21 cores=0,2,4,6 /proc/20560/task/20570/stat : 20570 (java) S 20558 20560 19811 0 -1 4202560 215 0 0 0 513 8 0 0 20 0 22 0 341061832 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140014402906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20571] ppid=20558 vsize=2966184 CPUtime=94.91 cores=0,2,4,6 /proc/20560/task/20571/stat : 20571 (java) S 20558 20560 19811 0 -1 4202560 116 0 0 0 9435 56 0 0 20 0 22 0 341061834 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013920578536 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20572] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20572/stat : 20572 (java) S 20558 20560 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341061834 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013919524600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20573] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20573/stat : 20573 (java) S 20558 20560 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341061834 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013918471688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20574] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20574/stat : 20574 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341061837 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013917420176 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20575] ppid=20558 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/20560/task/20575/stat : 20575 (java) S 20558 20560 19811 0 -1 4202560 5914 0 0 0 119 2 0 0 20 0 22 0 341061837 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013916367288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20576] ppid=20558 vsize=2966184 CPUtime=1.7 cores=0,2,4,6 /proc/20560/task/20576/stat : 20576 (java) S 20558 20560 19811 0 -1 4202560 8905 0 0 0 168 2 0 0 20 0 22 0 341061837 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013915314488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20577] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20577/stat : 20577 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341061837 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013914261880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20578] ppid=20558 vsize=2966184 CPUtime=0.33 cores=0,2,4,6 /proc/20560/task/20578/stat : 20578 (java) S 20558 20560 19811 0 -1 4202560 55 0 0 0 17 16 0 0 20 0 22 0 341061837 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013913209288 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20581] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20581/stat : 20581 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341061891 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013910050216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20582] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20582/stat : 20582 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341061891 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013908997416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20701] ppid=20558 vsize=2966184 CPUtime=179.87 cores=0,2,4,6 /proc/20560/task/20701/stat : 20701 (java) R 20558 20560 19811 0 -1 4202560 133 0 0 0 17984 3 0 0 20 0 22 0 341134181 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013911102280 140014407991252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20702] ppid=20558 vsize=2966184 CPUtime=179.85 cores=0,2,4,6 /proc/20560/task/20702/stat : 20702 (java) R 20558 20560 19811 0 -1 4202560 118 0 0 0 17983 2 0 0 20 0 22 0 341134181 3037372416 226067 33554432000 1073741824 1073778376 140734183902160 140013912152528 140014408246505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1791.09 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+945.601 s] /proc/loadavg: 3.83 3.78 3.72 5/221 20705 /proc/meminfo: memFree=27549568/32873844 swapFree=7620/7620 [pid=20560] ppid=20558 vsize=2966184 CPUtime=1797.26 cores=0,2,4,6 /proc/20560/stat : 20560 (java) S 20558 20560 19811 0 -1 4202496 22285 0 1 0 179538 188 0 0 20 0 22 0 341061830 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140734183893296 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20560/statm: 741546 226068 2289 9 0 732240 0 [pid=20560/tid=20562] ppid=20558 vsize=2966184 CPUtime=0.58 cores=0,2,4,6 /proc/20560/task/20562/stat : 20562 (java) S 20558 20560 19811 0 -1 4202560 2886 0 1 0 55 3 0 0 20 0 22 0 341061831 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014544331928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20563] ppid=20558 vsize=2966184 CPUtime=5.44 cores=0,2,4,6 /proc/20560/task/20563/stat : 20563 (java) S 20558 20560 19811 0 -1 4202560 211 0 0 0 536 8 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014528613416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20564] ppid=20558 vsize=2966184 CPUtime=5.35 cores=0,2,4,6 /proc/20560/task/20564/stat : 20564 (java) S 20558 20560 19811 0 -1 4202560 199 0 0 0 528 7 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014527560616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20565] ppid=20558 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/20560/task/20565/stat : 20565 (java) S 20558 20560 19811 0 -1 4202560 202 0 0 0 516 8 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014526507816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20566] ppid=20558 vsize=2966184 CPUtime=5.39 cores=0,2,4,6 /proc/20560/task/20566/stat : 20566 (java) S 20558 20560 19811 0 -1 4202560 208 0 0 0 530 9 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014407117480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20567] ppid=20558 vsize=2966184 CPUtime=5.37 cores=0,2,4,6 /proc/20560/task/20567/stat : 20567 (java) S 20558 20560 19811 0 -1 4202560 201 0 0 0 528 9 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014406064680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20568] ppid=20558 vsize=2966184 CPUtime=5.46 cores=0,2,4,6 /proc/20560/task/20568/stat : 20568 (java) S 20558 20560 19811 0 -1 4202560 223 0 0 0 538 8 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014405011880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20569] ppid=20558 vsize=2966184 CPUtime=5.43 cores=0,2,4,6 /proc/20560/task/20569/stat : 20569 (java) S 20558 20560 19811 0 -1 4202560 202 0 0 0 535 8 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014403959080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20570] ppid=20558 vsize=2966184 CPUtime=5.24 cores=0,2,4,6 /proc/20560/task/20570/stat : 20570 (java) S 20558 20560 19811 0 -1 4202560 215 0 0 0 516 8 0 0 20 0 22 0 341061832 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140014402906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20571] ppid=20558 vsize=2966184 CPUtime=95.46 cores=0,2,4,6 /proc/20560/task/20571/stat : 20571 (java) S 20558 20560 19811 0 -1 4202560 116 0 0 0 9489 57 0 0 20 0 22 0 341061834 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013920578536 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20572] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20572/stat : 20572 (java) S 20558 20560 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341061834 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013919524600 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20573] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20573/stat : 20573 (java) S 20558 20560 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341061834 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013918471688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20574] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20574/stat : 20574 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341061837 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013917420176 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20575] ppid=20558 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/20560/task/20575/stat : 20575 (java) S 20558 20560 19811 0 -1 4202560 5914 0 0 0 119 2 0 0 20 0 22 0 341061837 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013916367288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20576] ppid=20558 vsize=2966184 CPUtime=1.7 cores=0,2,4,6 /proc/20560/task/20576/stat : 20576 (java) S 20558 20560 19811 0 -1 4202560 8905 0 0 0 168 2 0 0 20 0 22 0 341061837 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013915314488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20577] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20577/stat : 20577 (java) S 20558 20560 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341061837 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013914261880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20560/tid=20578] ppid=20558 vsize=2966184 CPUtime=0.33 cores=0,2,4,6 /proc/20560/task/20578/stat : 20578 (java) S 20558 20560 19811 0 -1 4202560 55 0 0 0 17 16 0 0 20 0 22 0 341061837 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013913209288 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20581] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20581/stat : 20581 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341061891 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013910050216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20560/tid=20582] ppid=20558 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/20560/task/20582/stat : 20582 (java) S 20558 20560 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341061891 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013908997416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20560/tid=20701] ppid=20558 vsize=2966184 CPUtime=182.53 cores=0,2,4,6 /proc/20560/task/20701/stat : 20701 (java) R 20558 20560 19811 0 -1 4202560 135 0 0 0 18250 3 0 0 20 0 22 0 341134181 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013911102160 140014407991153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20560/tid=20702] ppid=20558 vsize=2966184 CPUtime=182.52 cores=0,2,4,6 /proc/20560/task/20702/stat : 20702 (java) R 20558 20560 19811 0 -1 4202560 119 0 0 0 18250 2 0 0 20 0 22 0 341134181 3037372416 226068 33554432000 1073741824 1073778376 140734183902160 140013912152528 140014407674730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20560 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=630174 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=112678 # CPU time returned by wait4() is 1796.74 # while last known CPU time is 1797.26 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.77991 # lost CPU user time (s): 2.96997 # lost CPU system time (s): -0.19 Real time (s): 945.651 CPU time (s): 1800.04 CPU user time (s): 1798.35 CPU system time (s): 1.69 CPU usage (%): 190.349 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.63 system time used= 2.11268 maximum resident set size= 904388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22316 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57575 involuntary context switches= 90618 runsolver used 4.84126 second user time and 7.27389 second system time The end
Begin job on node135 at 2012-06-03 20:49:30 IDJOB=3735660 IDBENCH=24983 IDSOLVER=2324 FILE ID=node135/3735660-1338749370 RUNJOBID= node135-1338747255-19827 PBS_JOBID= 14636778 Free space on /tmp= 70980 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735660-1338749370/watcher-3735660-1338749370 -o /tmp/evaluation-result-3735660-1338749370/solver-3735660-1338749370 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735660-1338749370.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=58584289 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28444336 kB Buffers: 377444 kB Cached: 2522100 kB SwapCached: 1672 kB Active: 1849672 kB Inactive: 1729820 kB Active(anon): 669872 kB Inactive(anon): 12036 kB Active(file): 1179800 kB Inactive(file): 1717784 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 685236 kB Mapped: 18672 kB Shmem: 132 kB Slab: 708832 kB SReclaimable: 150572 kB SUnreclaim: 558260 kB KernelStack: 1640 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1574372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 632832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70980 MiB End job on node135 at 2012-06-03 21:05:18