Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 15 | 1801.27 | 935.639 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb |
MD5SUM | 05a03b946ede4da21fcf30fd621632f5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 0.294954 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15 |
Optimality of the best value was proved | YES |
Number of variables | 1731 |
Total number of constraints | 1254 |
Number of constraints which are clauses | 1254 |
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 | 2 |
Maximum length of a constraint | 694 |
Number of terms in the objective function | 1731 |
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 | 1731 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1731 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.0.v20100531 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1349517296 0.00/0.08 c Max memory 1356595200 0.00/0.08 c Total memory 1356595200 0.00/0.08 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization 0.08/0.11 c ManyCore solver with 2 solvers running in parallel 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c Stops conflict analysis at the first Unique Implication Point 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c Expensive reason simplification 0.08/0.11 c Armin Biere (Picosat) restarts strategy 0.08/0.11 c Glucose learned constraints deletion strategy 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c Stops conflict analysis at the first Unique Implication Point 0.08/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Armin Biere (Picosat) restarts strategy 0.08/0.11 c Glucose learned constraints deletion strategy 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 0.08/0.11 c solving HOME/instance-3732301-1338739662.opb 0.08/0.11 c reading problem ... 0.57/0.31 c ... done. Wall clock time 0.203s. 0.57/0.31 c #vars 1731 0.57/0.31 c #constraints 1254 0.57/0.31 c constraints type 0.57/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1056 0.57/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 198 0.57/0.31 c constraints type 0.57/0.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 198 0.57/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1056 0.57/0.38 c And the winner is Resolution 0.87/1.32 c SATISFIABLE 0.87/1.32 c OPTIMIZING... 0.87/1.32 c Got one! Elapsed wall clock time (in seconds):1.21 0.87/1.32 o 26 1.16/1.49 c And the winner is CuttingPlanes 1.66/2.33 c Got one! Elapsed wall clock time (in seconds):2.22 1.66/2.33 o 25 1.66/2.37 c And the winner is Resolution 1.80/3.34 c Got one! Elapsed wall clock time (in seconds):3.228 1.80/3.34 o 22 1.99/3.40 c And the winner is Resolution 2.05/4.35 c Got one! Elapsed wall clock time (in seconds):4.235 2.05/4.35 o 21 4.06/5.21 c cleaning 2499 clauses out of 5000 with flag 5000/5000 6.27/6.31 c And the winner is CuttingPlanes 6.27/6.35 c Got one! Elapsed wall clock time (in seconds):6.239 6.27/6.35 o 20 6.67/6.52 c cleaning 4249 clauses out of 8502 with flag 11001/11001 7.24/6.84 c And the winner is CuttingPlanes 7.34/7.35 c Got one! Elapsed wall clock time (in seconds):7.244 7.34/7.35 o 19 9.55/8.48 c cleaning 5619 clauses out of 11253 with flag 18001/18001 13.14/10.21 c cleaning 6815 clauses out of 13633 with flag 26000/26000 17.39/12.33 c cleaning 7907 clauses out of 15820 with flag 35002/35002 21.21/14.27 c And the winner is CuttingPlanes 21.36/14.37 c Got one! Elapsed wall clock time (in seconds):14.258 21.36/14.37 o 18 22.03/14.79 c cleaning 8953 clauses out of 17911 with flag 45000/45000 22.42/14.98 c And the winner is CuttingPlanes 22.59/15.37 c Got one! Elapsed wall clock time (in seconds):15.262 22.59/15.37 o 17 24.24/16.29 c And the winner is CuttingPlanes 24.44/16.38 c Got one! Elapsed wall clock time (in seconds):16.265 24.44/16.38 o 16 26.49/17.46 c cleaning 9472 clauses out of 18958 with flag 55000/55000 32.80/20.56 c cleaning 9738 clauses out of 19486 with flag 65000/65000 40.01/24.20 c cleaning 9865 clauses out of 19748 with flag 75000/75000 46.20/27.21 c cleaning 9928 clauses out of 19883 with flag 85000/85000 51.40/29.85 c cleaning 9969 clauses out of 19955 with flag 95000/95000 55.80/32.07 c cleaning 9983 clauses out of 19986 with flag 105000/105000 60.94/34.61 c cleaning 9989 clauses out of 20003 with flag 115000/115000 68.75/38.57 c cleaning 9998 clauses out of 20014 with flag 125000/125000 75.14/41.70 c cleaning 10005 clauses out of 20017 with flag 135001/135001 79.69/44.09 c cleaning 9994 clauses out of 20011 with flag 145000/145000 85.80/47.20 c cleaning 9999 clauses out of 20017 with flag 155000/155000 93.16/50.83 c cleaning 10003 clauses out of 20018 with flag 165000/165000 102.17/55.31 c cleaning 10005 clauses out of 20016 with flag 175001/175001 109.00/58.71 c cleaning 10004 clauses out of 20013 with flag 185003/185003 114.28/61.40 c cleaning 10003 clauses out of 20011 with flag 195005/195005 124.44/66.53 c cleaning 9987 clauses out of 20003 with flag 205000/205000 128.59/68.64 c cleaning 9994 clauses out of 20017 with flag 215001/215001 129.73/69.23 c And the winner is CuttingPlanes 129.85/69.39 c Got one! Elapsed wall clock time (in seconds):69.284 129.85/69.39 o 15 133.28/71.12 c cleaning 10009 clauses out of 20027 with flag 225005/225005 138.77/73.90 c cleaning 9996 clauses out of 20013 with flag 235000/235000 143.09/76.18 c cleaning 9998 clauses out of 20023 with flag 245006/245006 148.05/78.60 c cleaning 9983 clauses out of 20019 with flag 255000/255000 155.45/82.38 c cleaning 10010 clauses out of 20036 with flag 265000/265000 164.40/86.85 c cleaning 10009 clauses out of 20028 with flag 275002/275002 171.15/90.24 c cleaning 10003 clauses out of 20019 with flag 285002/285002 181.74/95.51 c cleaning 10000 clauses out of 20016 with flag 295002/295002 191.44/100.43 c cleaning 9998 clauses out of 20014 with flag 305000/305000 196.30/102.99 c cleaning 10006 clauses out of 20017 with flag 315001/315001 200.83/105.24 c cleaning 9994 clauses out of 20011 with flag 325001/325001 205.54/107.62 c cleaning 10001 clauses out of 20018 with flag 335002/335002 212.27/111.08 c cleaning 10001 clauses out of 20017 with flag 345002/345002 220.99/115.50 c cleaning 10000 clauses out of 20014 with flag 355000/355000 228.47/119.24 c cleaning 9983 clauses out of 20014 with flag 365000/365000 235.81/122.99 c cleaning 10008 clauses out of 20031 with flag 375000/375000 241.75/125.91 c cleaning 10000 clauses out of 20024 with flag 385001/385001 248.00/129.18 c cleaning 10000 clauses out of 20024 with flag 395001/395001 254.11/132.21 c cleaning 9983 clauses out of 20023 with flag 405000/405000 263.06/136.74 c cleaning 10011 clauses out of 20040 with flag 415000/415000 268.56/139.54 c cleaning 10009 clauses out of 20029 with flag 425000/425000 274.20/142.43 c cleaning 10001 clauses out of 20020 with flag 435000/435000 280.92/145.82 c cleaning 9976 clauses out of 20019 with flag 445000/445000 288.05/149.41 c cleaning 10007 clauses out of 20043 with flag 455000/455000 296.01/153.45 c cleaning 10013 clauses out of 20037 with flag 465001/465001 301.05/156.05 c cleaning 10010 clauses out of 20033 with flag 475010/475010 306.16/158.63 c cleaning 10005 clauses out of 20017 with flag 485004/485004 311.24/161.23 c cleaning 9995 clauses out of 20008 with flag 495000/495000 316.15/163.76 c cleaning 10002 clauses out of 20013 with flag 505000/505000 323.01/167.26 c cleaning 10000 clauses out of 20014 with flag 515003/515003 330.86/171.21 c cleaning 10000 clauses out of 20011 with flag 525000/525000 338.56/175.17 c cleaning 9997 clauses out of 20011 with flag 535000/535000 344.24/178.01 c cleaning 10002 clauses out of 20015 with flag 545001/545001 351.25/181.68 c cleaning 9999 clauses out of 20012 with flag 555000/555000 358.14/185.17 c cleaning 9996 clauses out of 20013 with flag 565000/565000 362.23/187.23 c cleaning 10002 clauses out of 20017 with flag 575000/575000 370.37/191.33 c cleaning 9991 clauses out of 20016 with flag 585001/585001 377.02/194.72 c cleaning 9996 clauses out of 20024 with flag 595000/595000 383.91/198.29 c cleaning 10008 clauses out of 20028 with flag 605000/605000 388.21/200.43 c cleaning 10001 clauses out of 20020 with flag 615000/615000 394.93/203.82 c cleaning 9994 clauses out of 20019 with flag 625000/625000 400.94/206.96 c cleaning 10004 clauses out of 20025 with flag 635000/635000 405.01/209.00 c cleaning 10005 clauses out of 20021 with flag 645000/645000 408.65/210.94 c cleaning 10002 clauses out of 20016 with flag 655000/655000 414.36/213.80 c cleaning 9978 clauses out of 20014 with flag 665000/665000 423.22/218.38 c cleaning 10014 clauses out of 20038 with flag 675002/675002 443.02/228.23 c cleaning 10004 clauses out of 20022 with flag 685000/685000 477.48/245.54 c cleaning 9999 clauses out of 20019 with flag 695001/695001 502.00/257.81 c cleaning 9977 clauses out of 20020 with flag 705001/705001 506.33/260.19 c cleaning 10011 clauses out of 20042 with flag 715000/715000 510.36/262.25 c cleaning 10003 clauses out of 20032 with flag 725001/725001 513.98/264.17 c cleaning 10006 clauses out of 20032 with flag 735004/735004 517.59/266.05 c cleaning 10002 clauses out of 20023 with flag 745001/745001 521.11/267.92 c cleaning 10001 clauses out of 20020 with flag 755000/755000 524.72/269.81 c cleaning 9996 clauses out of 20019 with flag 765000/765000 529.15/272.13 c cleaning 9985 clauses out of 20023 with flag 775000/775000 543.82/279.55 c cleaning 10012 clauses out of 20039 with flag 785001/785001 550.20/282.88 c cleaning 10001 clauses out of 20026 with flag 795000/795000 557.09/286.36 c cleaning 10001 clauses out of 20025 with flag 805000/805000 564.40/290.04 c cleaning 10006 clauses out of 20025 with flag 815001/815001 572.67/294.22 c cleaning 9993 clauses out of 20018 with flag 825000/825000 578.82/297.44 c cleaning 10006 clauses out of 20025 with flag 835000/835000 583.07/299.65 c cleaning 10004 clauses out of 20020 with flag 845001/845001 588.10/302.27 c cleaning 10002 clauses out of 20016 with flag 855001/855001 594.34/305.44 c cleaning 9998 clauses out of 20013 with flag 865000/865000 600.09/308.45 c cleaning 10002 clauses out of 20015 with flag 875000/875000 604.94/310.98 c cleaning 9999 clauses out of 20014 with flag 885001/885001 611.00/314.04 c cleaning 9998 clauses out of 20014 with flag 895000/895000 617.26/317.23 c cleaning 10004 clauses out of 20019 with flag 905003/905003 622.20/319.82 c cleaning 9983 clauses out of 20012 with flag 915000/915000 626.24/321.96 c cleaning 10010 clauses out of 20034 with flag 925005/925005 632.28/325.07 c cleaning 9991 clauses out of 20019 with flag 935000/935000 640.32/329.10 c cleaning 10002 clauses out of 20028 with flag 945000/945000 648.27/333.23 c cleaning 10001 clauses out of 20026 with flag 955000/955000 653.30/335.88 c cleaning 10009 clauses out of 20025 with flag 965000/965000 659.35/338.98 c cleaning 9995 clauses out of 20016 with flag 975000/975000 664.56/341.61 c cleaning 10001 clauses out of 20021 with flag 985000/985000 672.71/345.81 c cleaning 10000 clauses out of 20021 with flag 995001/995001 678.38/348.71 c cleaning 9989 clauses out of 20020 with flag 1005000/1005000 683.40/351.36 c cleaning 9998 clauses out of 20031 with flag 1015000/1015000 687.60/353.55 c cleaning 10013 clauses out of 20037 with flag 1025004/1025004 692.73/356.26 c cleaning 10003 clauses out of 20020 with flag 1035000/1035000 698.16/359.07 c cleaning 9998 clauses out of 20018 with flag 1045001/1045001 702.18/361.18 c cleaning 9999 clauses out of 20019 with flag 1055000/1055000 707.20/363.72 c cleaning 10001 clauses out of 20020 with flag 1065000/1065000 714.52/367.58 c cleaning 10002 clauses out of 20019 with flag 1075000/1075000 722.16/371.41 c cleaning 9998 clauses out of 20017 with flag 1085000/1085000 731.06/375.93 c cleaning 10001 clauses out of 20020 with flag 1095001/1095001 740.40/380.70 c cleaning 9984 clauses out of 20020 with flag 1105002/1105002 747.48/384.31 c cleaning 10008 clauses out of 20036 with flag 1115002/1115002 754.10/387.74 c cleaning 9991 clauses out of 20026 with flag 1125000/1125000 759.72/390.69 c cleaning 10010 clauses out of 20037 with flag 1135002/1135002 766.56/394.20 c cleaning 9995 clauses out of 20026 with flag 1145001/1145001 772.90/397.43 c cleaning 10004 clauses out of 20031 with flag 1155001/1155001 780.14/401.16 c cleaning 10003 clauses out of 20026 with flag 1165000/1165000 784.55/403.45 c cleaning 10005 clauses out of 20025 with flag 1175002/1175002 790.19/406.37 c cleaning 9998 clauses out of 20020 with flag 1185002/1185002 796.30/409.54 c cleaning 10003 clauses out of 20021 with flag 1195001/1195001 800.29/411.68 c cleaning 10004 clauses out of 20018 with flag 1205001/1205001 805.07/414.18 c cleaning 9993 clauses out of 20013 with flag 1215000/1215000 809.68/416.52 c cleaning 9999 clauses out of 20021 with flag 1225001/1225001 814.14/418.95 c cleaning 9988 clauses out of 20021 with flag 1235000/1235000 818.34/421.17 c cleaning 10000 clauses out of 20033 with flag 1245000/1245000 823.75/423.97 c cleaning 10010 clauses out of 20033 with flag 1255000/1255000 826.94/425.64 c cleaning 10004 clauses out of 20023 with flag 1265000/1265000 830.41/427.56 c cleaning 10002 clauses out of 20020 with flag 1275001/1275001 833.38/429.15 c cleaning 10001 clauses out of 20017 with flag 1285000/1285000 836.56/430.88 c cleaning 10000 clauses out of 20016 with flag 1295000/1295000 840.16/432.74 c cleaning 9998 clauses out of 20019 with flag 1305003/1305003 844.05/434.84 c cleaning 10004 clauses out of 20018 with flag 1315000/1315000 849.51/437.63 c cleaning 10001 clauses out of 20015 with flag 1325001/1325001 855.10/440.50 c cleaning 9995 clauses out of 20013 with flag 1335000/1335000 861.11/443.64 c cleaning 10001 clauses out of 20019 with flag 1345001/1345001 869.82/448.11 c cleaning 10004 clauses out of 20017 with flag 1355000/1355000 873.02/449.86 c cleaning 10001 clauses out of 20014 with flag 1365001/1365001 876.62/451.77 c cleaning 10002 clauses out of 20012 with flag 1375000/1375000 881.66/454.34 c cleaning 9996 clauses out of 20011 with flag 1385001/1385001 885.53/456.45 c cleaning 10001 clauses out of 20016 with flag 1395002/1395002 889.50/458.57 c cleaning 9998 clauses out of 20013 with flag 1405000/1405000 895.71/461.72 c cleaning 10000 clauses out of 20015 with flag 1415000/1415000 900.91/464.44 c cleaning 9998 clauses out of 20017 with flag 1425002/1425002 908.65/468.46 c cleaning 9998 clauses out of 20017 with flag 1435000/1435000 914.27/471.39 c cleaning 10002 clauses out of 20020 with flag 1445001/1445001 921.91/475.22 c cleaning 9998 clauses out of 20017 with flag 1455000/1455000 930.74/479.77 c cleaning 9984 clauses out of 20019 with flag 1465000/1465000 935.58/482.36 c cleaning 9997 clauses out of 20036 with flag 1475001/1475001 940.18/484.77 c cleaning 9997 clauses out of 20038 with flag 1485000/1485000 945.57/487.53 c cleaning 10005 clauses out of 20042 with flag 1495001/1495001 950.77/490.25 c cleaning 9993 clauses out of 20036 with flag 1505000/1505000 958.25/494.12 c cleaning 10003 clauses out of 20043 with flag 1515000/1515000 964.05/497.19 c cleaning 10016 clauses out of 20041 with flag 1525001/1525001 969.62/500.06 c cleaning 10004 clauses out of 20024 with flag 1535000/1535000 974.40/502.54 c cleaning 10007 clauses out of 20020 with flag 1545000/1545000 978.67/504.85 c cleaning 10000 clauses out of 20013 with flag 1555000/1555000 983.40/507.35 c cleaning 9987 clauses out of 20013 with flag 1565000/1565000 989.40/510.48 c cleaning 9996 clauses out of 20026 with flag 1575000/1575000 994.58/513.18 c cleaning 10006 clauses out of 20030 with flag 1585000/1585000 1000.44/516.26 c cleaning 10003 clauses out of 20024 with flag 1595000/1595000 1005.81/519.04 c cleaning 9997 clauses out of 20021 with flag 1605000/1605000 1013.62/523.00 c cleaning 9998 clauses out of 20024 with flag 1615000/1615000 1020.65/526.64 c cleaning 10004 clauses out of 20028 with flag 1625002/1625002 1027.51/530.24 c cleaning 10005 clauses out of 20023 with flag 1635001/1635001 1033.30/533.23 c cleaning 9997 clauses out of 20019 with flag 1645002/1645002 1040.66/537.02 c cleaning 9996 clauses out of 20023 with flag 1655003/1655003 1047.44/540.57 c cleaning 10003 clauses out of 20025 with flag 1665001/1665001 1054.66/544.30 c cleaning 9995 clauses out of 20022 with flag 1675001/1675001 1060.85/547.56 c cleaning 9999 clauses out of 20026 with flag 1685000/1685000 1068.04/551.24 c cleaning 9995 clauses out of 20028 with flag 1695001/1695001 1073.82/554.27 c cleaning 10001 clauses out of 20032 with flag 1705000/1705000 1079.45/557.23 c cleaning 9980 clauses out of 20031 with flag 1715000/1715000 1087.62/561.41 c cleaning 10007 clauses out of 20051 with flag 1725000/1725000 1093.25/564.40 c cleaning 10010 clauses out of 20044 with flag 1735000/1735000 1099.81/567.72 c cleaning 10001 clauses out of 20036 with flag 1745002/1745002 1107.06/571.53 c cleaning 10001 clauses out of 20033 with flag 1755000/1755000 1112.45/574.30 c cleaning 10011 clauses out of 20032 with flag 1765000/1765000 1116.24/576.39 c cleaning 10002 clauses out of 20021 with flag 1775000/1775000 1121.19/578.99 c cleaning 9972 clauses out of 20019 with flag 1785000/1785000 1126.65/581.83 c cleaning 10015 clauses out of 20047 with flag 1795000/1795000 1132.45/584.83 c cleaning 10006 clauses out of 20032 with flag 1805000/1805000 1137.25/587.36 c cleaning 10005 clauses out of 20026 with flag 1815000/1815000 1141.20/589.42 c cleaning 10008 clauses out of 20023 with flag 1825002/1825002 1145.20/591.63 c cleaning 9998 clauses out of 20014 with flag 1835001/1835001 1149.18/593.78 c cleaning 9997 clauses out of 20018 with flag 1845003/1845003 1152.94/595.71 c cleaning 9998 clauses out of 20018 with flag 1855000/1855000 1156.89/597.84 c cleaning 9997 clauses out of 20020 with flag 1865000/1865000 1162.11/600.61 c cleaning 10001 clauses out of 20024 with flag 1875001/1875001 1165.45/602.46 c cleaning 10002 clauses out of 20022 with flag 1885000/1885000 1168.81/604.23 c cleaning 10002 clauses out of 20020 with flag 1895000/1895000 1171.97/605.97 c cleaning 10002 clauses out of 20020 with flag 1905002/1905002 1174.99/607.65 c cleaning 9999 clauses out of 20018 with flag 1915002/1915002 1177.76/609.17 c cleaning 9999 clauses out of 20017 with flag 1925000/1925000 1182.12/611.42 c cleaning 9996 clauses out of 20018 with flag 1935000/1935000 1186.10/613.51 c cleaning 10002 clauses out of 20023 with flag 1945001/1945001 1190.30/615.85 c cleaning 10001 clauses out of 20020 with flag 1955000/1955000 1193.86/617.70 c cleaning 10002 clauses out of 20019 with flag 1965000/1965000 1197.82/619.89 c cleaning 9994 clauses out of 20018 with flag 1975001/1975001 1203.23/622.62 c cleaning 10004 clauses out of 20023 with flag 1985000/1985000 1209.66/626.06 c cleaning 10003 clauses out of 20020 with flag 1995001/1995001 1215.03/628.84 c cleaning 9996 clauses out of 20016 with flag 2005000/2005000 1224.12/633.49 c cleaning 9998 clauses out of 20020 with flag 2015000/2015000 1228.69/635.85 c cleaning 10007 clauses out of 20024 with flag 2025002/2025002 1232.29/637.86 c cleaning 10005 clauses out of 20016 with flag 2035001/2035001 1237.87/640.78 c cleaning 10001 clauses out of 20013 with flag 2045003/2045003 1244.23/644.05 c cleaning 9999 clauses out of 20009 with flag 2055000/2055000 1251.03/647.58 c cleaning 9999 clauses out of 20012 with flag 2065002/2065002 1255.64/650.03 c cleaning 9997 clauses out of 20011 with flag 2075000/2075000 1259.18/651.96 c cleaning 10000 clauses out of 20014 with flag 2085000/2085000 1263.33/654.19 c cleaning 10002 clauses out of 20015 with flag 2095001/2095001 1267.09/656.14 c cleaning 9997 clauses out of 20013 with flag 2105001/2105001 1273.11/659.32 c cleaning 10003 clauses out of 20015 with flag 2115000/2115000 1281.91/663.83 c cleaning 9998 clauses out of 20012 with flag 2125000/2125000 1290.27/668.14 c cleaning 9999 clauses out of 20015 with flag 2135001/2135001 1298.20/672.20 c cleaning 9999 clauses out of 20016 with flag 2145001/2145001 1305.18/675.90 c cleaning 10006 clauses out of 20018 with flag 2155002/2155002 1312.18/679.57 c cleaning 10000 clauses out of 20011 with flag 2165001/2165001 1318.12/682.66 c cleaning 10002 clauses out of 20010 with flag 2175000/2175000 1325.90/686.66 c cleaning 9997 clauses out of 20009 with flag 2185001/2185001 1334.32/691.01 c cleaning 10001 clauses out of 20013 with flag 2195002/2195002 1341.49/694.79 c cleaning 9999 clauses out of 20010 with flag 2205000/2205000 1348.88/698.54 c cleaning 10001 clauses out of 20013 with flag 2215002/2215002 1355.65/702.04 c cleaning 9995 clauses out of 20010 with flag 2225000/2225000 1362.06/705.44 c cleaning 9995 clauses out of 20015 with flag 2235000/2235000 1368.05/708.52 c cleaning 9980 clauses out of 20020 with flag 2245000/2245000 1375.64/712.47 c cleaning 10015 clauses out of 20042 with flag 2255002/2255002 1381.80/715.61 c cleaning 10006 clauses out of 20025 with flag 2265000/2265000 1388.81/719.33 c cleaning 10001 clauses out of 20020 with flag 2275001/2275001 1392.54/721.36 c cleaning 9999 clauses out of 20018 with flag 2285000/2285000 1396.75/723.58 c cleaning 10000 clauses out of 20019 with flag 2295000/2295000 1401.05/725.87 c cleaning 9998 clauses out of 20019 with flag 2305000/2305000 1405.64/728.32 c cleaning 10001 clauses out of 20025 with flag 2315004/2315004 1409.42/730.32 c cleaning 10000 clauses out of 20022 with flag 2325002/2325002 1413.14/732.35 c cleaning 9999 clauses out of 20020 with flag 2335000/2335000 1416.47/734.13 c cleaning 9999 clauses out of 20022 with flag 2345001/2345001 1419.43/735.88 c cleaning 10004 clauses out of 20022 with flag 2355000/2355000 1423.14/737.89 c cleaning 9995 clauses out of 20019 with flag 2365001/2365001 1427.08/739.99 c cleaning 9995 clauses out of 20024 with flag 2375001/2375001 1431.07/742.06 c cleaning 10004 clauses out of 20028 with flag 2385000/2385000 1435.42/744.47 c cleaning 10002 clauses out of 20024 with flag 2395000/2395000 1439.76/746.73 c cleaning 9995 clauses out of 20022 with flag 2405000/2405000 1442.85/748.46 c cleaning 10008 clauses out of 20028 with flag 2415001/2415001 1448.01/751.13 c cleaning 9950 clauses out of 20019 with flag 2425000/2425000 1457.25/755.97 c cleaning 10023 clauses out of 20069 with flag 2435000/2435000 1465.03/759.95 c cleaning 10009 clauses out of 20046 with flag 2445000/2445000 1473.01/764.05 c cleaning 10004 clauses out of 20037 with flag 2455000/2455000 1480.39/767.86 c cleaning 10006 clauses out of 20033 with flag 2465000/2465000 1489.02/772.31 c cleaning 10010 clauses out of 20028 with flag 2475001/2475001 1496.79/776.38 c cleaning 9981 clauses out of 20019 with flag 2485002/2485002 1511.25/783.67 c cleaning 10010 clauses out of 20037 with flag 2495001/2495001 1521.86/789.08 c cleaning 10003 clauses out of 20026 with flag 2505000/2505000 1533.08/794.86 c cleaning 10003 clauses out of 20023 with flag 2515000/2515000 1540.28/798.55 c cleaning 9991 clauses out of 20020 with flag 2525000/2525000 1549.83/803.46 c cleaning 9949 clauses out of 20029 with flag 2535000/2535000 1557.19/807.21 c cleaning 9992 clauses out of 20081 with flag 2545001/2545001 1565.81/811.80 c cleaning 10029 clauses out of 20091 with flag 2555003/2555003 1573.55/815.77 c cleaning 10006 clauses out of 20059 with flag 2565000/2565000 1582.52/820.38 c cleaning 10008 clauses out of 20054 with flag 2575001/2575001 1590.31/824.37 c cleaning 10015 clauses out of 20045 with flag 2585000/2585000 1599.11/828.99 c cleaning 9953 clauses out of 20032 with flag 2595002/2595002 1606.87/832.99 c cleaning 10027 clauses out of 20082 with flag 2605005/2605005 1616.25/837.78 c cleaning 10005 clauses out of 20050 with flag 2615000/2615000 1625.20/842.33 c cleaning 9988 clauses out of 20045 with flag 2625000/2625000 1634.58/847.26 c cleaning 10022 clauses out of 20057 with flag 2635000/2635000 1644.35/852.21 c cleaning 10011 clauses out of 20038 with flag 2645003/2645003 1648.48/854.48 c cleaning 10009 clauses out of 20027 with flag 2655003/2655003 1652.79/856.70 c cleaning 9997 clauses out of 20015 with flag 2665000/2665000 1656.96/859.06 c cleaning 10003 clauses out of 20022 with flag 2675004/2675004 1660.88/861.16 c cleaning 9998 clauses out of 20016 with flag 2685001/2685001 1665.62/863.62 c cleaning 10003 clauses out of 20017 with flag 2695000/2695000 1670.76/866.35 c cleaning 10000 clauses out of 20014 with flag 2705000/2705000 1675.71/869.02 c cleaning 9994 clauses out of 20014 with flag 2715000/2715000 1680.85/871.72 c cleaning 10000 clauses out of 20021 with flag 2725001/2725001 1685.57/874.21 c cleaning 9999 clauses out of 20020 with flag 2735000/2735000 1689.91/876.55 c cleaning 10002 clauses out of 20023 with flag 2745002/2745002 1694.45/879.08 c cleaning 10003 clauses out of 20020 with flag 2755001/2755001 1699.39/881.61 c cleaning 10005 clauses out of 20022 with flag 2765006/2765006 1704.75/884.42 c cleaning 9996 clauses out of 20011 with flag 2775000/2775000 1709.45/886.95 c cleaning 10002 clauses out of 20022 with flag 2785007/2785007 1714.79/889.87 c cleaning 9998 clauses out of 20013 with flag 2795000/2795000 1719.52/892.40 c cleaning 9997 clauses out of 20015 with flag 2805000/2805000 1724.42/894.94 c cleaning 10000 clauses out of 20018 with flag 2815000/2815000 1729.35/897.50 c cleaning 10003 clauses out of 20018 with flag 2825000/2825000 1734.47/900.32 c cleaning 10001 clauses out of 20015 with flag 2835000/2835000 1739.42/902.95 c cleaning 9977 clauses out of 20014 with flag 2845000/2845000 1745.14/905.90 c cleaning 10010 clauses out of 20039 with flag 2855002/2855002 1749.65/908.38 c cleaning 10005 clauses out of 20028 with flag 2865001/2865001 1754.58/911.04 c cleaning 9992 clauses out of 20022 with flag 2875000/2875000 1759.47/913.62 c cleaning 10002 clauses out of 20030 with flag 2885000/2885000 1763.78/915.97 c cleaning 10007 clauses out of 20029 with flag 2895001/2895001 1767.67/918.08 c cleaning 9996 clauses out of 20021 with flag 2905000/2905000 1772.22/920.55 c cleaning 10005 clauses out of 20025 with flag 2915000/2915000 1776.56/922.89 c cleaning 9997 clauses out of 20020 with flag 2925000/2925000 1780.85/925.12 c cleaning 10003 clauses out of 20023 with flag 2935000/2935000 1784.74/927.28 c cleaning 9993 clauses out of 20020 with flag 2945000/2945000 1789.46/929.90 c cleaning 10007 clauses out of 20028 with flag 2955001/2955001 1793.95/932.30 c cleaning 10003 clauses out of 20020 with flag 2965000/2965000 1798.48/934.69 c cleaning 10000 clauses out of 20019 with flag 2975002/2975002 1800.17/935.61 c starts : 22 1800.17/935.61 c conflicts : 2962 1800.17/935.61 c decisions : 117823 1800.17/935.61 c propagations : 422121 1800.17/935.61 c inspects : 53324190 1800.17/935.61 c learnt literals : 0 1800.17/935.61 c learnt binary clauses : 0 1800.17/935.61 c learnt ternary clauses : 0 1800.17/935.61 c learnt clauses : 2961 1800.17/935.61 c ignored clauses : 0 1800.17/935.61 c root simplifications : 0 1800.17/935.61 c removed literals (reason simplification) : 0 1800.17/935.61 c reason swapping (by a shorter reason) : 0 1800.17/935.61 c Calls to reduceDB : 0 1800.17/935.61 c number of reductions to clauses (during analyze) : 0 1800.17/935.61 c number of learned constraints concerned by reduction : 0 1800.17/935.61 c number of learning phase by resolution : 0 1800.17/935.61 c number of learning phase by cutting planes : 0 1800.17/935.61 c speed (assignments/second) : 487.31722184125397 1800.17/935.61 c non guided choices 0 1800.17/935.61 c learnt constraints type 1800.17/935.61 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 23 1800.17/935.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 348 1800.17/935.61 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2590 1800.17/935.61 c constraints type 1800.17/935.61 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1056 1800.17/935.61 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.17/935.61 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 198 1800.17/935.61 c constraints type 1800.17/935.61 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 198 1800.17/935.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1056 1800.17/935.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/935.61 s SATISFIABLE 1800.17/935.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 1800.17/935.62 c objective function=15 1800.17/935.62 c Total wall clock time (in seconds): 935.509
OK 15
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-3732301-1338739662/watcher-3732301-1338739662 -o /tmp/evaluation-result-3732301-1338739662/solver-3732301-1338739662 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732301-1338739662.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.57 3.74 3.66 4/197 7079 /proc/meminfo: memFree=29340560/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/7079/stat : 7079 (java6) D 7077 7079 31325 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340090726 9515008 183 33554432000 1073741824 1073778376 140736577852320 140736577843352 225444708021 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/7079/statm: 2323 183 140 9 0 71 0 [startup+0.0252721 s] /proc/loadavg: 3.57 3.74 3.66 4/197 7079 /proc/meminfo: memFree=29340560/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2156296 CPUtime=0 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 2830 0 1 0 0 0 0 0 20 0 10 0 340090726 2208047104 3020 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 539074 3022 1001 9 0 530183 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2156296 [startup+0.100313 s] /proc/loadavg: 3.57 3.74 3.66 4/197 7079 /proc/meminfo: memFree=29340560/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2699928 CPUtime=0.08 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 4705 0 1 0 7 1 0 0 20 0 18 0 340090726 2764726272 6392 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 674982 6392 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2699928 [startup+0.300318 s] /proc/loadavg: 3.57 3.74 3.66 4/197 7079 /proc/meminfo: memFree=29340560/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2699928 CPUtime=0.57 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 7814 0 1 0 55 2 0 0 20 0 18 0 340090726 2764726272 11324 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 674982 11324 2224 9 0 665676 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 2699928 [startup+0.700254 s] /proc/loadavg: 3.57 3.74 3.66 4/197 7079 /proc/meminfo: memFree=29340560/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2900648 CPUtime=0.87 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 8852 0 1 0 83 4 0 0 20 0 20 0 340090726 2970263552 14489 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 725162 14489 2243 9 0 715856 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 2900648 [startup+1.50083 s] /proc/loadavg: 3.57 3.74 3.66 3/217 7101 /proc/meminfo: memFree=29291188/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2966184 CPUtime=1.55 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 9700 0 1 0 148 7 0 0 20 0 20 0 340090726 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 741546 16591 2254 9 0 732240 0 [pid=7079/tid=7081] ppid=7077 vsize=2966184 CPUtime=0.3 cores=1,3,5,7 /proc/7079/task/7081/stat : 7081 (java) S 7077 7079 31325 0 -1 4202560 2804 0 1 0 28 2 0 0 20 0 20 0 340090727 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864782554264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7082] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7082/stat : 7082 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864766834856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7083] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7083/stat : 7083 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864765782312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7084] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7084/stat : 7084 (java) S 7077 7079 31325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864764729768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7085] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7085/stat : 7085 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864763677224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7086] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7086/stat : 7086 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864762624680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7087] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7087/stat : 7087 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864761572136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7088] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7088/stat : 7088 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864760519592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7089] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7089/stat : 7089 (java) S 7077 7079 31325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864759467048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7090] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7090/stat : 7090 (java) S 7077 7079 31325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340090729 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864747055208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7091] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7091/stat : 7091 (java) S 7077 7079 31325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340090730 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864746001528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7092] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7092/stat : 7092 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340090730 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864744948872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7093] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7093/stat : 7093 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090732 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864743897616 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7094] ppid=7077 vsize=2966184 CPUtime=0.37 cores=1,3,5,7 /proc/7079/task/7094/stat : 7094 (java) R 7077 7079 31325 0 -1 4202560 3276 0 0 0 37 0 0 0 20 0 20 0 340090732 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864742822232 139864785188611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7095] ppid=7077 vsize=2966184 CPUtime=0.39 cores=1,3,5,7 /proc/7079/task/7095/stat : 7095 (java) R 7077 7079 31325 0 -1 4202560 2292 0 0 0 39 0 0 0 20 0 20 0 340090732 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864741779728 139864789008212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7096] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7096/stat : 7096 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090732 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864740740088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7097] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7097/stat : 7097 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090732 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864739687752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7100] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7100/stat : 7100 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340090763 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864619078696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7101] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7101/stat : 7101 (java) S 7077 7079 31325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340090763 3037372416 16591 33554432000 1073741824 1073778376 140735448236208 139864618026152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 2966184 [startup+3.10068 s] /proc/loadavg: 3.57 3.74 3.66 3/217 7103 /proc/meminfo: memFree=29281732/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2966184 CPUtime=1.8 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 10382 0 1 0 171 9 0 0 20 0 20 0 340090726 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 741546 18639 2254 9 0 732240 0 [pid=7079/tid=7081] ppid=7077 vsize=2966184 CPUtime=0.3 cores=1,3,5,7 /proc/7079/task/7081/stat : 7081 (java) S 7077 7079 31325 0 -1 4202560 2805 0 1 0 28 2 0 0 20 0 20 0 340090727 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864782554264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7082] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7082/stat : 7082 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864766834856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7083] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7083/stat : 7083 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864765782312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7084] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7084/stat : 7084 (java) S 7077 7079 31325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864764729768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7085] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7085/stat : 7085 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864763677224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7086] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7086/stat : 7086 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864762624680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7087] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7087/stat : 7087 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864761572136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7088] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7088/stat : 7088 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864760519592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7089] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7089/stat : 7089 (java) S 7077 7079 31325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340090728 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864759467048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7090] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7090/stat : 7090 (java) S 7077 7079 31325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340090729 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864747055208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7091] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7091/stat : 7091 (java) S 7077 7079 31325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340090730 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864746001528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7092] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7092/stat : 7092 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340090730 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864744948872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7093] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7093/stat : 7093 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090732 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864743897616 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7094] ppid=7077 vsize=2966184 CPUtime=0.45 cores=1,3,5,7 /proc/7079/task/7094/stat : 7094 (java) S 7077 7079 31325 0 -1 4202560 3949 0 0 0 45 0 0 0 20 0 20 0 340090732 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864742844984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7095] ppid=7077 vsize=2966184 CPUtime=0.47 cores=1,3,5,7 /proc/7079/task/7095/stat : 7095 (java) S 7077 7079 31325 0 -1 4202560 2292 0 0 0 47 0 0 0 20 0 20 0 340090732 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864741792440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7096] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7096/stat : 7096 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090732 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864740740088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7097] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7097/stat : 7097 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340090732 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864739687752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7100] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7100/stat : 7100 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340090763 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864619078696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7101] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7101/stat : 7101 (java) S 7077 7079 31325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340090763 3037372416 18639 33554432000 1073741824 1073778376 140735448236208 139864618026152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.8 Current children cumulated vsize (KiB) 2966184 heavy processes: [startup+6.30086 s] /proc/loadavg: 3.45 3.71 3.65 3/196 7112 /proc/meminfo: memFree=30425272/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2966184 CPUtime=6.27 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 11658 0 1 0 614 13 0 0 20 0 22 0 340090726 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 741546 37100 2282 9 0 732240 0 [pid=7079/tid=7081] ppid=7077 vsize=2966184 CPUtime=0.31 cores=1,3,5,7 /proc/7079/task/7081/stat : 7081 (java) S 7077 7079 31325 0 -1 4202560 2808 0 1 0 29 2 0 0 20 0 22 0 340090727 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864782554264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7082] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7082/stat : 7082 (java) S 7077 7079 31325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864766834856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7083] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7083/stat : 7083 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864765782312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7084] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7084/stat : 7084 (java) S 7077 7079 31325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864764729768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7085] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7085/stat : 7085 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864763677224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7086] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7086/stat : 7086 (java) S 7077 7079 31325 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864762624680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7087] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7087/stat : 7087 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864761572136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7088] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7088/stat : 7088 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864760519592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7089] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7089/stat : 7089 (java) S 7077 7079 31325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340090728 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864759467048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7090] ppid=7077 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/7079/task/7090/stat : 7090 (java) S 7077 7079 31325 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 340090729 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864747055208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7091] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7091/stat : 7091 (java) S 7077 7079 31325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864746001528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7092] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7092/stat : 7092 (java) S 7077 7079 31325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864744948872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7093] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7093/stat : 7093 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864743897616 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7094] ppid=7077 vsize=2966184 CPUtime=0.71 cores=1,3,5,7 /proc/7079/task/7094/stat : 7094 (java) S 7077 7079 31325 0 -1 4202560 3996 0 0 0 71 0 0 0 20 0 22 0 340090732 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864742844984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7095] ppid=7077 vsize=2966184 CPUtime=0.68 cores=1,3,5,7 /proc/7079/task/7095/stat : 7095 (java) S 7077 7079 31325 0 -1 4202560 3397 0 0 0 68 0 0 0 20 0 22 0 340090732 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864741792440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7096] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7096/stat : 7096 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864740740088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7097] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7097/stat : 7097 (java) S 7077 7079 31325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 37100 33554432000 1073741824 1073778376 140735448236208 139864739687752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7100] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=7079/tid=7101] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7101/stat : 7101 (java) S 7077 7079 31325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 184150 33554432000 1073741824 1073778376 140735448236208 139864618026152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7200] ppid=7077 vsize=2966184 CPUtime=623.26 cores=1,3,5,7 /proc/7079/task/7200/stat : 7200 (java) R 7077 7079 31325 0 -1 4202560 708 0 0 0 62312 14 0 0 20 0 22 0 340097666 3037372416 184150 33554432000 1073741824 1073778376 140735448236208 139864620130328 139864620844923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7201] ppid=7077 vsize=2966184 CPUtime=623.44 cores=1,3,5,7 /proc/7079/task/7201/stat : 7201 (java) R 7077 7079 31325 0 -1 4202560 354 0 0 0 62330 14 0 0 20 0 22 0 340097666 3037372416 184150 33554432000 1073741824 1073778376 140735448236208 139864738630464 139864620862701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1469.59 Current children cumulated vsize (KiB) 2966184 [startup+822.301 s] /proc/loadavg: 3.46 3.49 3.54 5/219 7209 /proc/meminfo: memFree=29030640/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2966184 CPUtime=1586.27 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 16867 0 1 0 158434 193 0 0 20 0 22 0 340090726 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 741546 190360 2284 9 0 732240 0 [pid=7079/tid=7081] ppid=7077 vsize=2966184 CPUtime=0.36 cores=1,3,5,7 /proc/7079/task/7081/stat : 7081 (java) S 7077 7079 31325 0 -1 4202560 2862 0 1 0 33 3 0 0 20 0 22 0 340090727 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864782554264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7082] ppid=7077 vsize=2966184 CPUtime=4.82 cores=1,3,5,7 /proc/7079/task/7082/stat : 7082 (java) S 7077 7079 31325 0 -1 4202560 185 0 0 0 472 10 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864766834856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7083] ppid=7077 vsize=2966184 CPUtime=5.12 cores=1,3,5,7 /proc/7079/task/7083/stat : 7083 (java) S 7077 7079 31325 0 -1 4202560 192 0 0 0 504 8 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864765782312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7084] ppid=7077 vsize=2966184 CPUtime=5.18 cores=1,3,5,7 /proc/7079/task/7084/stat : 7084 (java) S 7077 7079 31325 0 -1 4202560 188 0 0 0 510 8 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864764729768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7085] ppid=7077 vsize=2966184 CPUtime=5.28 cores=1,3,5,7 /proc/7079/task/7085/stat : 7085 (java) S 7077 7079 31325 0 -1 4202560 204 0 0 0 519 9 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864763677224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7086] ppid=7077 vsize=2966184 CPUtime=5.28 cores=1,3,5,7 /proc/7079/task/7086/stat : 7086 (java) S 7077 7079 31325 0 -1 4202560 192 0 0 0 520 8 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864762624680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7087] ppid=7077 vsize=2966184 CPUtime=5 cores=1,3,5,7 /proc/7079/task/7087/stat : 7087 (java) S 7077 7079 31325 0 -1 4202560 179 0 0 0 491 9 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864761572136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7088] ppid=7077 vsize=2966184 CPUtime=5.09 cores=1,3,5,7 /proc/7079/task/7088/stat : 7088 (java) S 7077 7079 31325 0 -1 4202560 164 0 0 0 501 8 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864760519592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7089] ppid=7077 vsize=2966184 CPUtime=5.23 cores=1,3,5,7 /proc/7079/task/7089/stat : 7089 (java) S 7077 7079 31325 0 -1 4202560 202 0 0 0 513 10 0 0 20 0 22 0 340090728 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864759467048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7090] ppid=7077 vsize=2966184 CPUtime=64.62 cores=1,3,5,7 /proc/7079/task/7090/stat : 7090 (java) S 7077 7079 31325 0 -1 4202560 113 0 0 0 6397 65 0 0 20 0 22 0 340090729 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864747055208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7091] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7091/stat : 7091 (java) S 7077 7079 31325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864746001528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7092] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7092/stat : 7092 (java) S 7077 7079 31325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864744948872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7093] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7093/stat : 7093 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864743897616 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7094] ppid=7077 vsize=2966184 CPUtime=0.96 cores=1,3,5,7 /proc/7079/task/7094/stat : 7094 (java) S 7077 7079 31325 0 -1 4202560 4882 0 0 0 94 2 0 0 20 0 22 0 340090732 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864742844984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7095] ppid=7077 vsize=2966184 CPUtime=1.09 cores=1,3,5,7 /proc/7079/task/7095/stat : 7095 (java) S 7077 7079 31325 0 -1 4202560 4644 0 0 0 109 0 0 0 20 0 22 0 340090732 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864741792440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7096] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7096/stat : 7096 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864740740088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7097] ppid=7077 vsize=2966184 CPUtime=0.38 cores=1,3,5,7 /proc/7079/task/7097/stat : 7097 (java) S 7077 7079 31325 0 -1 4202560 45 0 0 0 17 21 0 0 20 0 22 0 340090732 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864739687752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7100] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7100/stat : 7100 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864619078696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7101] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7101/stat : 7101 (java) S 7077 7079 31325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864618026152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7200] ppid=7077 vsize=2966184 CPUtime=677.37 cores=1,3,5,7 /proc/7079/task/7200/stat : 7200 (java) R 7077 7079 31325 0 -1 4202560 771 0 0 0 67722 15 0 0 20 0 22 0 340097666 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864620130208 139864620828332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7201] ppid=7077 vsize=2966184 CPUtime=677.56 cores=1,3,5,7 /proc/7079/task/7201/stat : 7201 (java) R 7077 7079 31325 0 -1 4202560 379 0 0 0 67741 15 0 0 20 0 22 0 340097666 3037372416 190360 33554432000 1073741824 1073778376 140735448236208 139864738630464 139864621264786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1586.27 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.65 3.54 3.55 5/219 7210 /proc/meminfo: memFree=28998360/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2966184 CPUtime=1700.49 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 17140 0 1 0 169843 206 0 0 20 0 22 0 340090726 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 741546 194983 2284 9 0 732240 0 [pid=7079/tid=7081] ppid=7077 vsize=2966184 CPUtime=0.36 cores=1,3,5,7 /proc/7079/task/7081/stat : 7081 (java) S 7077 7079 31325 0 -1 4202560 2871 0 1 0 33 3 0 0 20 0 22 0 340090727 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864782554264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7082] ppid=7077 vsize=2966184 CPUtime=5.3 cores=1,3,5,7 /proc/7079/task/7082/stat : 7082 (java) S 7077 7079 31325 0 -1 4202560 200 0 0 0 520 10 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864766834856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7083] ppid=7077 vsize=2966184 CPUtime=5.58 cores=1,3,5,7 /proc/7079/task/7083/stat : 7083 (java) S 7077 7079 31325 0 -1 4202560 209 0 0 0 549 9 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864765782312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7084] ppid=7077 vsize=2966184 CPUtime=5.57 cores=1,3,5,7 /proc/7079/task/7084/stat : 7084 (java) S 7077 7079 31325 0 -1 4202560 205 0 0 0 549 8 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864764729768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7085] ppid=7077 vsize=2966184 CPUtime=5.8 cores=1,3,5,7 /proc/7079/task/7085/stat : 7085 (java) S 7077 7079 31325 0 -1 4202560 228 0 0 0 570 10 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864763677224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7086] ppid=7077 vsize=2966184 CPUtime=5.75 cores=1,3,5,7 /proc/7079/task/7086/stat : 7086 (java) S 7077 7079 31325 0 -1 4202560 221 0 0 0 566 9 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864762624680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7087] ppid=7077 vsize=2966184 CPUtime=5.44 cores=1,3,5,7 /proc/7079/task/7087/stat : 7087 (java) S 7077 7079 31325 0 -1 4202560 200 0 0 0 535 9 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864761572136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7088] ppid=7077 vsize=2966184 CPUtime=5.58 cores=1,3,5,7 /proc/7079/task/7088/stat : 7088 (java) S 7077 7079 31325 0 -1 4202560 190 0 0 0 549 9 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864760519592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7089] ppid=7077 vsize=2966184 CPUtime=5.78 cores=1,3,5,7 /proc/7079/task/7089/stat : 7089 (java) S 7077 7079 31325 0 -1 4202560 228 0 0 0 567 11 0 0 20 0 22 0 340090728 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864759467048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7090] ppid=7077 vsize=2966184 CPUtime=71.79 cores=1,3,5,7 /proc/7079/task/7090/stat : 7090 (java) S 7077 7079 31325 0 -1 4202560 117 0 0 0 7108 71 0 0 20 0 22 0 340090729 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864747055208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7091] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7091/stat : 7091 (java) S 7077 7079 31325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864746001528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7092] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7092/stat : 7092 (java) S 7077 7079 31325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864744948872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7093] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7093/stat : 7093 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864743897616 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7094] ppid=7077 vsize=2966184 CPUtime=0.96 cores=1,3,5,7 /proc/7079/task/7094/stat : 7094 (java) S 7077 7079 31325 0 -1 4202560 4882 0 0 0 94 2 0 0 20 0 22 0 340090732 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864742844984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7095] ppid=7077 vsize=2966184 CPUtime=1.09 cores=1,3,5,7 /proc/7079/task/7095/stat : 7095 (java) S 7077 7079 31325 0 -1 4202560 4644 0 0 0 109 0 0 0 20 0 22 0 340090732 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864741792440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7096] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7096/stat : 7096 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864740740088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7097] ppid=7077 vsize=2966184 CPUtime=0.41 cores=1,3,5,7 /proc/7079/task/7097/stat : 7097 (java) S 7077 7079 31325 0 -1 4202560 49 0 0 0 18 23 0 0 20 0 22 0 340090732 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864739687752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7100] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7100/stat : 7100 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864619078696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7101] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7101/stat : 7101 (java) S 7077 7079 31325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864618026152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7200] ppid=7077 vsize=2966184 CPUtime=729.02 cores=1,3,5,7 /proc/7079/task/7200/stat : 7200 (java) R 7077 7079 31325 0 -1 4202560 824 0 0 0 72886 16 0 0 20 0 22 0 340097666 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864620131152 139864620828256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7201] ppid=7077 vsize=2966184 CPUtime=729.21 cores=1,3,5,7 /proc/7079/task/7201/stat : 7201 (java) R 7077 7079 31325 0 -1 4202560 407 0 0 0 72904 17 0 0 20 0 22 0 340097666 3037372416 194983 33554432000 1073741824 1073778376 140735448236208 139864738630584 139864621169444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1700.49 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.601 s] /proc/loadavg: 3.30 3.46 3.52 5/219 7210 /proc/meminfo: memFree=28987684/32873844 swapFree=7900/7900 [pid=7079] ppid=7077 vsize=2966184 CPUtime=1800.17 cores=1,3,5,7 /proc/7079/stat : 7079 (java) S 7077 7079 31325 0 -1 4202496 17304 0 1 0 179802 215 0 0 20 0 22 0 340090726 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 140735448227344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/7079/statm: 741546 195061 2284 9 0 732240 0 [pid=7079/tid=7081] ppid=7077 vsize=2966184 CPUtime=0.37 cores=1,3,5,7 /proc/7079/task/7081/stat : 7081 (java) S 7077 7079 31325 0 -1 4202560 2877 0 1 0 33 4 0 0 20 0 22 0 340090727 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864782554264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7082] ppid=7077 vsize=2966184 CPUtime=5.69 cores=1,3,5,7 /proc/7079/task/7082/stat : 7082 (java) S 7077 7079 31325 0 -1 4202560 215 0 0 0 559 10 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864766834856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7083] ppid=7077 vsize=2966184 CPUtime=5.94 cores=1,3,5,7 /proc/7079/task/7083/stat : 7083 (java) S 7077 7079 31325 0 -1 4202560 221 0 0 0 585 9 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864765782312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7084] ppid=7077 vsize=2966184 CPUtime=5.95 cores=1,3,5,7 /proc/7079/task/7084/stat : 7084 (java) S 7077 7079 31325 0 -1 4202560 215 0 0 0 587 8 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864764729768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7085] ppid=7077 vsize=2966184 CPUtime=6.17 cores=1,3,5,7 /proc/7079/task/7085/stat : 7085 (java) S 7077 7079 31325 0 -1 4202560 242 0 0 0 606 11 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864763677224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7086] ppid=7077 vsize=2966184 CPUtime=6.13 cores=1,3,5,7 /proc/7079/task/7086/stat : 7086 (java) S 7077 7079 31325 0 -1 4202560 228 0 0 0 604 9 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864762624680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7087] ppid=7077 vsize=2966184 CPUtime=5.82 cores=1,3,5,7 /proc/7079/task/7087/stat : 7087 (java) S 7077 7079 31325 0 -1 4202560 202 0 0 0 573 9 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864761572136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7088] ppid=7077 vsize=2966184 CPUtime=6.02 cores=1,3,5,7 /proc/7079/task/7088/stat : 7088 (java) S 7077 7079 31325 0 -1 4202560 199 0 0 0 593 9 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864760519592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7089] ppid=7077 vsize=2966184 CPUtime=6.11 cores=1,3,5,7 /proc/7079/task/7089/stat : 7089 (java) S 7077 7079 31325 0 -1 4202560 237 0 0 0 600 11 0 0 20 0 22 0 340090728 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864759467048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7090] ppid=7077 vsize=2966184 CPUtime=79.81 cores=1,3,5,7 /proc/7079/task/7090/stat : 7090 (java) S 7077 7079 31325 0 -1 4202560 119 0 0 0 7907 74 0 0 20 0 22 0 340090729 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864747055208 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7091] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7091/stat : 7091 (java) S 7077 7079 31325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864746001528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7092] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7092/stat : 7092 (java) S 7077 7079 31325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340090730 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864744948872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7093] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7093/stat : 7093 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864743897616 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7094] ppid=7077 vsize=2966184 CPUtime=0.96 cores=1,3,5,7 /proc/7079/task/7094/stat : 7094 (java) S 7077 7079 31325 0 -1 4202560 4882 0 0 0 94 2 0 0 20 0 22 0 340090732 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864742844984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7095] ppid=7077 vsize=2966184 CPUtime=1.09 cores=1,3,5,7 /proc/7079/task/7095/stat : 7095 (java) S 7077 7079 31325 0 -1 4202560 4644 0 0 0 109 0 0 0 20 0 22 0 340090732 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864741792440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7079/tid=7096] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7096/stat : 7096 (java) S 7077 7079 31325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340090732 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864740740088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7079/tid=7097] ppid=7077 vsize=2966184 CPUtime=0.44 cores=1,3,5,7 /proc/7079/task/7097/stat : 7097 (java) S 7077 7079 31325 0 -1 4202560 51 0 0 0 19 25 0 0 20 0 22 0 340090732 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864739687752 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7100] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7100/stat : 7100 (java) S 7077 7079 31325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864619078696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7101] ppid=7077 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/7079/task/7101/stat : 7101 (java) S 7077 7079 31325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340090763 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864618026152 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7079/tid=7200] ppid=7077 vsize=2966184 CPUtime=773.33 cores=1,3,5,7 /proc/7079/task/7200/stat : 7200 (java) R 7077 7079 31325 0 -1 4202560 874 0 0 0 77316 17 0 0 20 0 22 0 340097666 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864620131152 139864620828273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7079/tid=7201] ppid=7077 vsize=2966184 CPUtime=773.53 cores=1,3,5,7 /proc/7079/task/7201/stat : 7201 (java) R 7077 7079 31325 0 -1 4202560 433 0 0 0 77336 17 0 0 20 0 22 0 340097666 3037372416 195061 33554432000 1073741824 1073778376 140735448236208 139864738630880 139864621089818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 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 Real time (s): 935.639 CPU time (s): 1801.27 CPU user time (s): 1798.7 CPU system time (s): 2.57261 CPU usage (%): 192.518 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.7 system time used= 2.57261 maximum resident set size= 782408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17337 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 63898 involuntary context switches= 113506 runsolver used 3.64945 second user time and 9.1976 second system time The end
Begin job on node137 at 2012-06-03 18:07:42 IDJOB=3732301 IDBENCH=2045 IDSOLVER=2324 FILE ID=node137/3732301-1338739662 RUNJOBID= node137-1338736827-6568 PBS_JOBID= 14636756 Free space on /tmp= 70324 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732301-1338739662/watcher-3732301-1338739662 -o /tmp/evaluation-result-3732301-1338739662/solver-3732301-1338739662 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732301-1338739662.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5 RANDOM SEED=1957616519 node137.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.600 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.20 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.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29340452 kB Buffers: 267192 kB Cached: 1216652 kB SwapCached: 5796 kB Active: 2004224 kB Inactive: 703744 kB Active(anon): 1219352 kB Inactive(anon): 7172 kB Active(file): 784872 kB Inactive(file): 696572 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67097500 kB Dirty: 76 kB Writeback: 0 kB AnonPages: 1227572 kB Mapped: 17328 kB Shmem: 0 kB Slab: 684180 kB SReclaimable: 125268 kB SUnreclaim: 558912 kB KernelStack: 1624 kB PageTables: 6660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1572368 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1198080 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= 70324 MiB End job on node137 at 2012-06-03 18:23:20