Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 412 | 1800.38 | 974.876 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb |
MD5SUM | fe2fc6a37df33476d3a38f976836359f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 278 |
Best CPU time to get the best result obtained on this benchmark | 0.989849 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 278 |
Optimality of the best value was proved | YES |
Number of variables | 2611 |
Total number of constraints | 1924 |
Number of constraints which are clauses | 1924 |
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 | 30 |
Number of terms in the objective function | 2611 |
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 | 2611 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2611 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 0.22/0.22 c solving HOME/instance-2663238-1276593722.opb 0.22/0.22 c reading problem ... 1.12/0.77 c ... done. Wall clock time 0.547s. 1.12/0.77 c #vars 2611 1.12/0.77 c #constraints 1924 1.12/0.77 c constraints type 1.12/0.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861 1.12/0.77 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63 1.12/0.77 c constraints type 1.12/0.77 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63 1.12/0.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861 1.93/1.20 c And the winner is CuttingPlanes 2.35/1.80 c SATISFIABLE 2.35/1.80 c OPTIMIZING... 2.35/1.80 c Got one! Elapsed wall clock time (in seconds):1.579 2.35/1.80 o 439 3.34/2.37 c And the winner is Resolution 3.71/2.87 c Got one! Elapsed wall clock time (in seconds):2.649 3.71/2.87 o 426 7.14/4.69 c cleaning 2498 clauses out of 5001 with flag 5001/5001 11.08/6.67 c cleaning 4243 clauses out of 8502 with flag 11000/11000 15.41/8.83 c cleaning 5627 clauses out of 11259 with flag 18000/18000 20.96/11.62 c cleaning 6812 clauses out of 13632 with flag 26000/26000 26.66/14.53 c cleaning 7906 clauses out of 15820 with flag 35000/35000 33.37/17.98 c cleaning 8951 clauses out of 17915 with flag 45001/45001 40.07/21.36 c cleaning 9477 clauses out of 18963 with flag 55000/55000 46.36/24.60 c cleaning 9738 clauses out of 19486 with flag 65000/65000 52.84/27.88 c cleaning 9872 clauses out of 19748 with flag 75000/75000 59.34/31.18 c cleaning 9935 clauses out of 19877 with flag 85001/85001 65.64/34.36 c cleaning 9964 clauses out of 19942 with flag 95001/95001 72.33/37.72 c cleaning 9979 clauses out of 19977 with flag 105000/105000 79.00/41.14 c cleaning 9995 clauses out of 19998 with flag 115000/115000 85.87/44.62 c cleaning 9999 clauses out of 20003 with flag 125000/125000 92.56/48.02 c cleaning 9998 clauses out of 20005 with flag 135001/135001 93.47/48.56 c And the winner is CuttingPlanes 93.60/49.02 c Got one! Elapsed wall clock time (in seconds):48.803 93.60/49.02 o 413 98.91/51.77 c cleaning 9997 clauses out of 20007 with flag 145001/145001 104.93/54.87 c cleaning 9997 clauses out of 20011 with flag 155002/155002 111.94/58.41 c cleaning 9995 clauses out of 20012 with flag 165000/165000 118.21/61.66 c cleaning 10003 clauses out of 20017 with flag 175000/175000 125.44/65.36 c cleaning 10005 clauses out of 20015 with flag 185001/185001 132.27/68.83 c cleaning 10000 clauses out of 20010 with flag 195001/195001 139.14/72.34 c cleaning 9996 clauses out of 20010 with flag 205001/205001 145.76/75.76 c cleaning 10004 clauses out of 20013 with flag 215000/215000 153.16/79.59 c cleaning 10000 clauses out of 20009 with flag 225000/225000 159.95/83.02 c cleaning 10000 clauses out of 20009 with flag 235000/235000 166.19/86.27 c cleaning 9996 clauses out of 20009 with flag 245000/245000 172.61/89.52 c cleaning 10001 clauses out of 20014 with flag 255001/255001 179.45/93.09 c cleaning 10004 clauses out of 20013 with flag 265001/265001 187.04/96.97 c cleaning 10000 clauses out of 20008 with flag 275000/275000 194.09/100.55 c cleaning 9999 clauses out of 20009 with flag 285001/285001 202.11/104.62 c cleaning 9999 clauses out of 20009 with flag 295000/295000 208.16/107.79 c cleaning 9997 clauses out of 20010 with flag 305000/305000 214.54/111.04 c cleaning 10002 clauses out of 20014 with flag 315001/315001 220.35/114.09 c cleaning 10000 clauses out of 20011 with flag 325000/325000 226.77/117.36 c cleaning 9999 clauses out of 20011 with flag 335000/335000 232.78/120.46 c cleaning 9996 clauses out of 20012 with flag 345000/345000 238.94/123.66 c cleaning 10000 clauses out of 20016 with flag 355000/355000 245.14/126.85 c cleaning 9998 clauses out of 20018 with flag 365002/365002 251.15/129.96 c cleaning 10000 clauses out of 20019 with flag 375001/375001 257.17/133.02 c cleaning 9999 clauses out of 20019 with flag 385001/385001 263.71/136.48 c cleaning 10008 clauses out of 20020 with flag 395001/395001 270.69/140.01 c cleaning 10002 clauses out of 20012 with flag 405001/405001 277.47/143.54 c cleaning 10002 clauses out of 20010 with flag 415001/415001 284.25/147.00 c cleaning 9999 clauses out of 20007 with flag 425000/425000 290.18/150.12 c cleaning 9998 clauses out of 20008 with flag 435000/435000 295.96/153.13 c cleaning 9997 clauses out of 20010 with flag 445000/445000 301.75/156.18 c cleaning 9993 clauses out of 20013 with flag 455000/455000 307.53/159.13 c cleaning 10000 clauses out of 20021 with flag 465001/465001 313.64/162.31 c cleaning 10006 clauses out of 20020 with flag 475000/475000 320.01/165.68 c cleaning 9996 clauses out of 20015 with flag 485001/485001 326.77/169.13 c cleaning 9998 clauses out of 20018 with flag 495000/495000 333.32/172.60 c cleaning 9998 clauses out of 20021 with flag 505001/505001 340.37/176.21 c cleaning 10002 clauses out of 20022 with flag 515000/515000 346.52/179.42 c cleaning 10005 clauses out of 20021 with flag 525001/525001 352.86/182.70 c cleaning 10002 clauses out of 20015 with flag 535000/535000 359.60/186.21 c cleaning 10000 clauses out of 20014 with flag 545001/545001 365.86/189.53 c cleaning 10001 clauses out of 20013 with flag 555000/555000 372.00/192.77 c cleaning 9998 clauses out of 20012 with flag 565000/565000 378.53/196.16 c cleaning 10003 clauses out of 20014 with flag 575000/575000 385.03/199.55 c cleaning 10000 clauses out of 20011 with flag 585000/585000 392.84/203.62 c cleaning 10001 clauses out of 20011 with flag 595000/595000 399.93/207.30 c cleaning 10001 clauses out of 20012 with flag 605002/605002 407.64/211.36 c cleaning 9998 clauses out of 20009 with flag 615000/615000 415.13/215.30 c cleaning 10001 clauses out of 20011 with flag 625000/625000 422.55/219.18 c cleaning 9994 clauses out of 20010 with flag 635000/635000 429.85/222.95 c cleaning 10002 clauses out of 20016 with flag 645000/645000 436.35/226.40 c cleaning 10003 clauses out of 20015 with flag 655001/655001 443.26/229.93 c cleaning 9997 clauses out of 20012 with flag 665001/665001 449.46/233.26 c cleaning 10003 clauses out of 20015 with flag 675001/675001 456.53/236.95 c cleaning 9998 clauses out of 20012 with flag 685001/685001 463.20/240.40 c cleaning 10001 clauses out of 20014 with flag 695001/695001 469.88/243.92 c cleaning 9997 clauses out of 20013 with flag 705001/705001 476.68/247.54 c cleaning 10001 clauses out of 20016 with flag 715001/715001 482.78/250.75 c cleaning 10004 clauses out of 20014 with flag 725000/725000 489.06/254.07 c cleaning 9995 clauses out of 20010 with flag 735000/735000 495.54/257.44 c cleaning 9996 clauses out of 20016 with flag 745001/745001 501.91/260.86 c cleaning 10004 clauses out of 20020 with flag 755001/755001 508.37/264.27 c cleaning 10002 clauses out of 20015 with flag 765000/765000 514.44/267.47 c cleaning 9999 clauses out of 20014 with flag 775001/775001 520.72/270.72 c cleaning 10001 clauses out of 20014 with flag 785000/785000 526.87/274.07 c cleaning 10000 clauses out of 20013 with flag 795000/795000 533.52/277.54 c cleaning 10002 clauses out of 20014 with flag 805001/805001 539.78/280.86 c cleaning 9993 clauses out of 20011 with flag 815000/815000 546.04/284.19 c cleaning 10004 clauses out of 20019 with flag 825001/825001 552.35/287.59 c cleaning 9998 clauses out of 20014 with flag 835000/835000 558.60/290.86 c cleaning 10000 clauses out of 20017 with flag 845001/845001 564.86/294.16 c cleaning 10002 clauses out of 20016 with flag 855000/855000 571.10/297.45 c cleaning 9995 clauses out of 20014 with flag 865000/865000 577.45/300.83 c cleaning 10000 clauses out of 20019 with flag 875000/875000 584.31/304.45 c cleaning 10003 clauses out of 20020 with flag 885001/885001 592.36/308.63 c cleaning 10002 clauses out of 20017 with flag 895001/895001 601.59/313.46 c cleaning 9996 clauses out of 20014 with flag 905000/905000 608.68/317.25 c cleaning 9999 clauses out of 20018 with flag 915000/915000 615.33/320.78 c cleaning 10002 clauses out of 20019 with flag 925000/925000 622.38/324.47 c cleaning 10003 clauses out of 20018 with flag 935001/935001 629.20/328.05 c cleaning 10000 clauses out of 20014 with flag 945000/945000 635.89/331.61 c cleaning 9995 clauses out of 20015 with flag 955001/955001 642.31/335.06 c cleaning 10006 clauses out of 20020 with flag 965001/965001 648.54/338.39 c cleaning 10001 clauses out of 20013 with flag 975000/975000 655.58/342.05 c cleaning 10001 clauses out of 20012 with flag 985000/985000 662.24/345.62 c cleaning 9997 clauses out of 20011 with flag 995000/995000 668.66/349.02 c cleaning 9994 clauses out of 20014 with flag 1005000/1005000 674.68/352.26 c cleaning 10003 clauses out of 20021 with flag 1015001/1015001 680.89/355.51 c cleaning 10003 clauses out of 20018 with flag 1025001/1025001 688.16/359.42 c cleaning 9997 clauses out of 20015 with flag 1035001/1035001 695.14/363.16 c cleaning 10000 clauses out of 20017 with flag 1045000/1045000 702.52/367.08 c cleaning 9998 clauses out of 20017 with flag 1055000/1055000 709.90/370.94 c cleaning 10002 clauses out of 20019 with flag 1065000/1065000 716.52/374.53 c cleaning 9997 clauses out of 20017 with flag 1075000/1075000 722.89/378.00 c cleaning 10001 clauses out of 20020 with flag 1085000/1085000 729.47/381.41 c cleaning 10001 clauses out of 20020 with flag 1095001/1095001 735.85/384.89 c cleaning 10002 clauses out of 20018 with flag 1105000/1105000 742.68/388.51 c cleaning 10000 clauses out of 20017 with flag 1115001/1115001 749.46/392.18 c cleaning 10003 clauses out of 20016 with flag 1125000/1125000 756.22/395.70 c cleaning 9992 clauses out of 20013 with flag 1135000/1135000 763.17/399.44 c cleaning 9998 clauses out of 20021 with flag 1145000/1145000 770.17/403.29 c cleaning 10005 clauses out of 20023 with flag 1155000/1155000 777.91/407.31 c cleaning 10004 clauses out of 20018 with flag 1165000/1165000 785.24/411.23 c cleaning 9996 clauses out of 20014 with flag 1175000/1175000 792.18/414.91 c cleaning 9999 clauses out of 20018 with flag 1185000/1185000 799.58/418.92 c cleaning 10001 clauses out of 20019 with flag 1195000/1195000 806.91/422.89 c cleaning 10000 clauses out of 20019 with flag 1205001/1205001 814.45/426.87 c cleaning 9997 clauses out of 20019 with flag 1215001/1215001 821.96/430.80 c cleaning 10002 clauses out of 20022 with flag 1225001/1225001 828.95/434.69 c cleaning 9997 clauses out of 20019 with flag 1235000/1235000 836.49/438.62 c cleaning 10000 clauses out of 20022 with flag 1245000/1245000 843.61/442.47 c cleaning 9997 clauses out of 20023 with flag 1255001/1255001 850.18/445.98 c cleaning 9994 clauses out of 20026 with flag 1265001/1265001 856.79/449.51 c cleaning 10001 clauses out of 20031 with flag 1275000/1275000 863.53/453.11 c cleaning 10003 clauses out of 20030 with flag 1285000/1285000 870.04/456.69 c cleaning 10003 clauses out of 20027 with flag 1295000/1295000 876.74/460.26 c cleaning 9996 clauses out of 20024 with flag 1305000/1305000 883.67/464.05 c cleaning 10002 clauses out of 20029 with flag 1315001/1315001 890.77/467.85 c cleaning 10012 clauses out of 20026 with flag 1325000/1325000 898.87/472.10 c cleaning 10004 clauses out of 20014 with flag 1335000/1335000 907.74/476.87 c cleaning 9998 clauses out of 20010 with flag 1345000/1345000 916.05/481.35 c cleaning 9998 clauses out of 20012 with flag 1355000/1355000 924.29/485.74 c cleaning 10003 clauses out of 20015 with flag 1365001/1365001 931.56/489.66 c cleaning 10002 clauses out of 20012 with flag 1375001/1375001 938.83/493.55 c cleaning 9997 clauses out of 20009 with flag 1385000/1385000 946.29/497.63 c cleaning 10003 clauses out of 20013 with flag 1395001/1395001 952.93/501.23 c cleaning 9996 clauses out of 20009 with flag 1405000/1405000 959.39/504.76 c cleaning 9998 clauses out of 20014 with flag 1415001/1415001 966.03/508.36 c cleaning 9998 clauses out of 20015 with flag 1425000/1425000 972.68/512.05 c cleaning 10000 clauses out of 20018 with flag 1435001/1435001 979.11/515.51 c cleaning 10000 clauses out of 20018 with flag 1445001/1445001 985.54/519.04 c cleaning 10001 clauses out of 20018 with flag 1455001/1455001 991.94/522.58 c cleaning 9997 clauses out of 20016 with flag 1465000/1465000 998.53/526.27 c cleaning 10001 clauses out of 20020 with flag 1475001/1475001 1004.93/529.77 c cleaning 10002 clauses out of 20019 with flag 1485001/1485001 1011.73/533.50 c cleaning 10002 clauses out of 20016 with flag 1495000/1495000 1019.13/537.41 c cleaning 10000 clauses out of 20015 with flag 1505001/1505001 1026.11/541.35 c cleaning 9997 clauses out of 20015 with flag 1515001/1515001 1032.90/545.01 c cleaning 10002 clauses out of 20017 with flag 1525000/1525000 1039.49/548.67 c cleaning 10003 clauses out of 20015 with flag 1535000/1535000 1046.27/552.35 c cleaning 9994 clauses out of 20012 with flag 1545000/1545000 1053.63/556.40 c cleaning 10000 clauses out of 20019 with flag 1555001/1555001 1060.58/560.28 c cleaning 10001 clauses out of 20019 with flag 1565001/1565001 1067.74/564.13 c cleaning 9993 clauses out of 20018 with flag 1575001/1575001 1075.10/568.11 c cleaning 10007 clauses out of 20025 with flag 1585001/1585001 1082.08/572.08 c cleaning 9999 clauses out of 20017 with flag 1595000/1595000 1089.22/575.94 c cleaning 9999 clauses out of 20018 with flag 1605000/1605000 1096.19/579.74 c cleaning 9999 clauses out of 20019 with flag 1615000/1615000 1103.13/583.50 c cleaning 10000 clauses out of 20020 with flag 1625000/1625000 1110.26/587.56 c cleaning 9997 clauses out of 20020 with flag 1635000/1635000 1117.38/591.48 c cleaning 10006 clauses out of 20023 with flag 1645000/1645000 1124.12/595.16 c cleaning 10005 clauses out of 20018 with flag 1655001/1655001 1131.24/599.07 c cleaning 9995 clauses out of 20012 with flag 1665000/1665000 1138.90/603.32 c cleaning 10004 clauses out of 20017 with flag 1675000/1675000 1146.20/607.32 c cleaning 10000 clauses out of 20013 with flag 1685000/1685000 1153.79/611.53 c cleaning 9997 clauses out of 20014 with flag 1695001/1695001 1161.10/615.65 c cleaning 10003 clauses out of 20017 with flag 1705001/1705001 1168.48/619.80 c cleaning 9994 clauses out of 20014 with flag 1715001/1715001 1175.95/623.98 c cleaning 9994 clauses out of 20019 with flag 1725000/1725000 1182.66/627.68 c cleaning 10002 clauses out of 20025 with flag 1735000/1735000 1189.77/631.52 c cleaning 10003 clauses out of 20023 with flag 1745000/1745000 1197.02/635.65 c cleaning 10000 clauses out of 20021 with flag 1755001/1755001 1204.30/639.60 c cleaning 10002 clauses out of 20020 with flag 1765000/1765000 1210.81/643.30 c cleaning 9996 clauses out of 20019 with flag 1775001/1775001 1217.35/646.82 c cleaning 10001 clauses out of 20023 with flag 1785001/1785001 1224.22/650.73 c cleaning 10003 clauses out of 20022 with flag 1795001/1795001 1230.55/654.29 c cleaning 9999 clauses out of 20019 with flag 1805001/1805001 1237.26/657.91 c cleaning 10000 clauses out of 20020 with flag 1815001/1815001 1243.57/661.50 c cleaning 10004 clauses out of 20019 with flag 1825000/1825000 1250.47/665.31 c cleaning 10000 clauses out of 20015 with flag 1835000/1835000 1256.81/668.84 c cleaning 10000 clauses out of 20016 with flag 1845001/1845001 1263.31/672.47 c cleaning 10001 clauses out of 20015 with flag 1855000/1855000 1270.03/676.16 c cleaning 10001 clauses out of 20014 with flag 1865000/1865000 1276.70/679.94 c cleaning 9998 clauses out of 20014 with flag 1875001/1875001 1283.41/683.61 c cleaning 10001 clauses out of 20016 with flag 1885001/1885001 1289.94/687.24 c cleaning 9996 clauses out of 20015 with flag 1895001/1895001 1296.26/690.76 c cleaning 10000 clauses out of 20018 with flag 1905000/1905000 1302.87/694.55 c cleaning 9996 clauses out of 20018 with flag 1915000/1915000 1309.15/698.04 c cleaning 10003 clauses out of 20023 with flag 1925001/1925001 1315.82/701.72 c cleaning 10002 clauses out of 20020 with flag 1935001/1935001 1322.27/705.35 c cleaning 10003 clauses out of 20018 with flag 1945001/1945001 1328.90/709.12 c cleaning 9999 clauses out of 20015 with flag 1955001/1955001 1335.39/712.77 c cleaning 10001 clauses out of 20016 with flag 1965001/1965001 1341.84/716.35 c cleaning 9994 clauses out of 20014 with flag 1975000/1975000 1348.35/719.94 c cleaning 10001 clauses out of 20020 with flag 1985000/1985000 1356.21/724.35 c cleaning 9999 clauses out of 20019 with flag 1995000/1995000 1364.70/728.90 c cleaning 10008 clauses out of 20021 with flag 2005001/2005001 1372.98/733.45 c cleaning 9997 clauses out of 20012 with flag 2015000/2015000 1381.67/738.16 c cleaning 9999 clauses out of 20017 with flag 2025002/2025002 1389.49/742.58 c cleaning 10003 clauses out of 20016 with flag 2035000/2035000 1396.55/746.44 c cleaning 10003 clauses out of 20013 with flag 2045000/2045000 1403.03/750.05 c cleaning 9998 clauses out of 20010 with flag 2055000/2055000 1409.92/753.80 c cleaning 10001 clauses out of 20012 with flag 2065000/2065000 1416.69/757.75 c cleaning 9995 clauses out of 20011 with flag 2075000/2075000 1423.70/761.69 c cleaning 10004 clauses out of 20016 with flag 2085000/2085000 1430.74/765.60 c cleaning 9992 clauses out of 20012 with flag 2095000/2095000 1437.97/769.53 c cleaning 10001 clauses out of 20020 with flag 2105000/2105000 1445.34/773.78 c cleaning 10002 clauses out of 20020 with flag 2115001/2115001 1452.18/777.55 c cleaning 9997 clauses out of 20018 with flag 2125001/2125001 1459.60/781.65 c cleaning 9999 clauses out of 20021 with flag 2135001/2135001 1466.82/785.65 c cleaning 10002 clauses out of 20021 with flag 2145000/2145000 1474.43/789.98 c cleaning 9999 clauses out of 20019 with flag 2155000/2155000 1481.87/794.07 c cleaning 10001 clauses out of 20021 with flag 2165001/2165001 1488.68/797.89 c cleaning 9998 clauses out of 20019 with flag 2175000/2175000 1496.09/801.91 c cleaning 10002 clauses out of 20021 with flag 2185000/2185000 1503.64/806.21 c cleaning 10001 clauses out of 20020 with flag 2195001/2195001 1510.64/810.11 c cleaning 10004 clauses out of 20019 with flag 2205001/2205001 1517.48/813.93 c cleaning 9996 clauses out of 20015 with flag 2215001/2215001 1524.25/817.79 c cleaning 9999 clauses out of 20018 with flag 2225000/2225000 1531.37/821.88 c cleaning 9996 clauses out of 20019 with flag 2235000/2235000 1538.74/825.93 c cleaning 10005 clauses out of 20024 with flag 2245001/2245001 1545.70/829.86 c cleaning 10002 clauses out of 20019 with flag 2255001/2255001 1553.28/834.06 c cleaning 9998 clauses out of 20016 with flag 2265000/2265000 1560.56/838.27 c cleaning 10001 clauses out of 20019 with flag 2275001/2275001 1567.46/842.16 c cleaning 10001 clauses out of 20017 with flag 2285000/2285000 1573.99/845.90 c cleaning 10003 clauses out of 20016 with flag 2295000/2295000 1580.95/849.74 c cleaning 10000 clauses out of 20013 with flag 2305000/2305000 1587.93/853.89 c cleaning 9997 clauses out of 20013 with flag 2315000/2315000 1594.68/857.62 c cleaning 9994 clauses out of 20016 with flag 2325000/2325000 1601.40/861.47 c cleaning 10003 clauses out of 20022 with flag 2335000/2335000 1608.49/865.43 c cleaning 10001 clauses out of 20019 with flag 2345000/2345000 1615.64/869.64 c cleaning 9998 clauses out of 20018 with flag 2355000/2355000 1622.73/873.65 c cleaning 10002 clauses out of 20020 with flag 2365000/2365000 1629.63/877.52 c cleaning 10000 clauses out of 20018 with flag 2375000/2375000 1636.71/881.52 c cleaning 10000 clauses out of 20019 with flag 2385001/2385001 1644.23/885.97 c cleaning 10003 clauses out of 20018 with flag 2395000/2395000 1646.36/887.40 c And the winner is CuttingPlanes 1646.37/887.88 c Got one! Elapsed wall clock time (in seconds):887.654 1646.37/887.88 o 412 1651.77/890.62 c cleaning 9999 clauses out of 20015 with flag 2405000/2405000 1659.05/894.75 c cleaning 9998 clauses out of 20016 with flag 2415000/2415000 1666.53/898.98 c cleaning 9999 clauses out of 20019 with flag 2425001/2425001 1674.22/903.45 c cleaning 10003 clauses out of 20020 with flag 2435001/2435001 1681.91/907.72 c cleaning 10001 clauses out of 20017 with flag 2445001/2445001 1689.54/912.07 c cleaning 9998 clauses out of 20016 with flag 2455001/2455001 1697.23/916.34 c cleaning 10004 clauses out of 20018 with flag 2465001/2465001 1705.91/921.34 c cleaning 9993 clauses out of 20015 with flag 2475002/2475002 1713.39/925.56 c cleaning 9994 clauses out of 20020 with flag 2485000/2485000 1721.45/930.06 c cleaning 10009 clauses out of 20026 with flag 2495000/2495000 1729.30/934.47 c cleaning 10003 clauses out of 20018 with flag 2505001/2505001 1737.58/939.28 c cleaning 9996 clauses out of 20017 with flag 2515003/2515003 1745.41/943.68 c cleaning 9996 clauses out of 20018 with flag 2525000/2525000 1753.26/948.05 c cleaning 10000 clauses out of 20023 with flag 2535001/2535001 1761.51/952.65 c cleaning 10003 clauses out of 20023 with flag 2545001/2545001 1769.97/957.51 c cleaning 10000 clauses out of 20020 with flag 2555001/2555001 1778.20/962.12 c cleaning 10002 clauses out of 20019 with flag 2565000/2565000 1786.43/966.78 c cleaning 9998 clauses out of 20017 with flag 2575000/2575000 1794.45/971.29 c cleaning 9998 clauses out of 20022 with flag 2585003/2585003 1800.08/974.71 c starts : 22 1800.08/974.71 c conflicts : 3824 1800.08/974.71 c decisions : 62303 1800.08/974.71 c propagations : 232003 1800.08/974.72 c inspects : 20581944 1800.08/974.72 c learnt literals : 0 1800.08/974.72 c learnt binary clauses : 0 1800.08/974.72 c learnt ternary clauses : 0 1800.08/974.72 c learnt clauses : 3824 1800.08/974.72 c ignored clauses : 0 1800.08/974.72 c root simplifications : 0 1800.08/974.72 c removed literals (reason simplification) : 0 1800.08/974.72 c reason swapping (by a shorter reason) : 0 1800.08/974.72 c Calls to reduceDB : 0 1800.08/974.72 c number of reductions to clauses (during analyze) : 0 1800.08/974.72 c number of learned constraints concerned by reduction : 0 1800.08/974.72 c number of learning phase by resolution : 0 1800.08/974.72 c number of learning phase by cutting planes : 0 1800.08/974.72 c speed (assignments/second) : 2674.509487469163 1800.08/974.72 c non guided choices 0 1800.08/974.72 c learnt constraints type 1800.08/974.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1690 1800.08/974.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2134 1800.08/974.72 c constraints type 1800.08/974.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861 1800.08/974.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/974.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63 1800.08/974.72 c constraints type 1800.08/974.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63 1800.08/974.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861 1800.08/974.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.08/974.72 s SATISFIABLE 1800.08/974.78 v -x1 -x2 -x3 x4 x5 x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 -x239 x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 x300 x301 x302 -x303 -x304 -x305 x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 -x457 -x458 x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 x675 -x676 x677 x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 x715 -x716 x717 -x718 x719 -x720 x721 -x722 -x723 x724 -x725 x726 -x727 x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 x784 x785 -x786 x787 -x788 -x789 x790 -x791 -x792 x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 x857 -x858 x859 -x860 -x861 -x862 x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 x946 x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 x1256 x1257 -x1258 -x1259 x1260 x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 -x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 x1507 -x1508 x1509 x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 x1538 -x1539 -x1540 x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 x1740 -x1741 x1742 x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 x2254 -x2255 x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 x2496 -x2497 -x2498 x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 x2571 -x2572 x2573 -x2574 x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 x2610 -x2611 1800.08/974.78 c objective function=412 1800.08/974.78 c Total wall clock time (in seconds): 974.557
OK 412
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663238-1276593722/watcher-2663238-1276593722 -o /tmp/evaluation-result-2663238-1276593722/solver-2663238-1276593722 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2663238-1276593722.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8935 /proc/meminfo: memFree=1566328/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=444 CPUtime=0 /proc/8935/stat : 8935 (java6) R 8933 8935 2341 0 -1 4194304 130 0 0 0 0 0 0 0 16 0 1 0 664667 454656 50 1992294400 134512640 134550932 4288137040 18446744073709551615 2089556 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8935/statm: 436 52 41 10 0 28 0 [startup+0.0544551 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8935 /proc/meminfo: memFree=1566328/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1521664 CPUtime=0.04 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 3520 0 1 0 2 2 0 0 15 0 7 0 664667 1558183936 2964 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 380416 2964 996 10 0 377726 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1521664 [startup+0.101459 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8935 /proc/meminfo: memFree=1566328/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1525204 CPUtime=0.08 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 3949 0 1 0 6 2 0 0 15 0 12 0 664667 1561808896 3389 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 381301 3389 1075 10 0 378604 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1525204 [startup+0.30148 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8935 /proc/meminfo: memFree=1566328/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1525792 CPUtime=0.35 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 5350 0 1 0 31 4 0 0 15 0 12 0 664667 1562411008 4787 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 381448 4787 1361 10 0 378751 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1525792 [startup+0.701525 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8935 /proc/meminfo: memFree=1566328/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1529240 CPUtime=1.12 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 8329 0 1 0 106 6 0 0 15 0 12 0 664667 1565941760 7387 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 382310 7387 1401 10 0 379613 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 1529240 [startup+1.5016 s] /proc/loadavg: 0.92 0.98 0.99 5/120 8949 /proc/meminfo: memFree=1530568/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1535928 CPUtime=2.33 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 12492 0 1 0 226 7 0 0 15 0 14 0 664667 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 383982 10692 1428 10 0 381285 0 [pid=8935/tid=8937] ppid=8933 vsize=1535928 CPUtime=0.73 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6163 0 1 0 69 4 0 0 25 0 14 0 664669 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 14 0 664670 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 14 0 664670 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 664672 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 14 0 664672 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 664672 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 664677 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1535928 CPUtime=1.02 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 3250 0 0 0 101 1 0 0 18 0 14 0 664677 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1535928 CPUtime=0.17 /proc/8935/task/8945/stat : 8945 (java) S 8933 8935 2341 0 -1 4202560 704 0 0 0 17 0 0 0 22 0 14 0 664677 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 664677 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 14 0 664677 1572790272 10692 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 1535928 [startup+3.10177 s] /proc/loadavg: 0.92 0.98 0.99 5/122 8953 /proc/meminfo: memFree=1521748/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1535928 CPUtime=4.17 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 16175 0 1 0 408 9 0 0 15 0 16 0 664667 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 383982 14321 1432 10 0 381285 0 [pid=8935/tid=8937] ppid=8933 vsize=1535928 CPUtime=0.8 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6636 0 1 0 75 5 0 0 19 0 16 0 664669 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 664670 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 16 0 664670 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 664672 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 664672 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 664672 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 664677 1572790272 14321 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1535928 CPUtime=1.78 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 3294 0 0 0 177 1 0 0 15 0 16 0 664677 1572790272 14322 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1535928 CPUtime=0.27 /proc/8935/task/8945/stat : 8945 (java) R 8933 8935 2341 0 -1 4202560 765 0 0 0 27 0 0 0 16 0 16 0 664677 1572790272 14322 1992294400 134512640 134550932 4288686896 18446744073709551615 103225681 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 664677 1572790272 14322 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 16 0 664677 1572790272 14322 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 664771 1572790272 14322 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 664780 1572790272 14322 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.17 Current children cumulated vsize (KiB) 1535928 [startup+6.30152 s] /proc/loadavg: 1.09 1.02 1.01 3/122 8955 /proc/meminfo: memFree=1482564/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1535928 CPUtime=10.47 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 24627 0 1 0 1034 13 0 0 15 0 16 0 664667 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 383982 22495 1446 10 0 381285 0 [pid=8935/tid=8937] ppid=8933 vsize=1535928 CPUtime=0.8 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6637 0 1 0 75 5 0 0 15 0 16 0 664669 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1535928 CPUtime=0.01 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 840 0 0 0 1 0 0 0 15 0 16 0 664670 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 971 0 0 0 0 0 0 0 18 0 16 0 664670 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1535928 CPUtime=0.03 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 1797 0 0 0 3 0 0 0 15 0 16 0 664672 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 664672 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 664672 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 664677 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1535928 CPUtime=1.79 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 3294 0 0 0 178 1 0 0 15 0 16 0 664677 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1535928 CPUtime=0.66 /proc/8935/task/8945/stat : 8945 (java) R 8933 8935 2341 0 -1 4202560 1119 0 0 0 66 0 0 0 15 0 16 0 664677 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 104164043 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 664677 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 16 0 664677 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 664771 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1535928 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 664780 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8954] ppid=8933 vsize=1535928 CPUtime=3.14 /proc/8935/task/8954/stat : 8954 (java) R 8933 8935 2341 0 -1 4202560 3017 0 0 0 312 2 0 0 25 0 16 0 664956 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8935/tid=8955] ppid=8933 vsize=1535928 CPUtime=2.94 /proc/8935/task/8955/stat : 8955 (java) R 8933 8935 2341 0 -1 4202560 3111 0 0 0 293 1 0 0 25 0 16 0 664956 1572790272 22495 1992294400 134512640 134550932 4288686896 18446744073709551615 4110181440 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 10.47 Current children cumulated vsize (KiB) 1535928 [startup+12.7014 s] /proc/loadavg: 1.16 1.03 1.01 3/122 8957 /proc/meminfo: memFree=1438668/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1539624 CPUtime=23.09 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 37219 0 1 0 2290 19 0 0 15 0 16 0 664667 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 384906 32999 1446 10 0 382209 0 [pid=8935/tid=8937] ppid=8933 vsize=1539624 CPUtime=0.8 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6637 0 1 0 75 5 0 0 15 0 16 0 664669 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1539624 CPUtime=0.07 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 3899 0 0 0 6 1 0 0 15 0 16 0 664670 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1539624 CPUtime=0.03 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 2739 0 0 0 3 0 0 0 18 0 16 0 664670 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1539624 CPUtime=0.19 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 4904 0 0 0 18 1 0 0 16 0 16 0 664672 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 664672 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 664672 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 664677 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1539624 CPUtime=2.5 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 6145 0 0 0 248 2 0 0 15 0 16 0 664677 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1539624 CPUtime=0.9 /proc/8935/task/8945/stat : 8945 (java) S 8933 8935 2341 0 -1 4202560 1290 0 0 0 90 0 0 0 15 0 16 0 664677 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 664677 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 16 0 664677 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 664771 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1539624 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 664780 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8954] ppid=8933 vsize=1539624 CPUtime=8.99 /proc/8935/task/8954/stat : 8954 (java) R 8933 8935 2341 0 -1 4202560 3921 0 0 0 897 2 0 0 25 0 16 0 664956 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4109999249 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8935/tid=8955] ppid=8933 vsize=1539624 CPUtime=8.49 /proc/8935/task/8955/stat : 8955 (java) R 8933 8935 2341 0 -1 4202560 3843 0 0 0 848 1 0 0 25 0 16 0 664956 1576574976 32999 1992294400 134512640 134550932 4288686896 18446744073709551615 4110181498 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 23.09 Current children cumulated vsize (KiB) 1539624 [startup+25.5013 s] ################ # More data... # ################ /proc/8935/task/8958/stat : 8958 (java) S 8933 8935 2341 0 -1 4202560 689 0 0 0 65526 22 0 0 24 0 16 0 669571 1574887424 117261 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8959] ppid=8933 vsize=1537976 CPUtime=653.18 /proc/8935/task/8959/stat : 8959 (java) S 8933 8935 2341 0 -1 4202560 15146 0 0 0 65302 16 0 0 24 0 16 0 669573 1574887424 117261 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1532 Current children cumulated vsize (KiB) 1537976 [startup+882.302 s] /proc/loadavg: 2.16 2.06 1.64 2/122 8984 /proc/meminfo: memFree=1063196/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1537976 CPUtime=1637.56 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 142649 0 1 0 163524 232 0 0 15 0 16 0 664667 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 384494 126263 1446 10 0 381797 0 [pid=8935/tid=8937] ppid=8933 vsize=1537976 CPUtime=0.82 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6685 0 1 0 77 5 0 0 15 0 16 0 664669 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1537976 CPUtime=17.11 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 42802 0 0 0 1633 78 0 0 16 0 16 0 664670 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1537976 CPUtime=17.12 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 43185 0 0 0 1637 75 0 0 16 0 16 0 664670 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1537976 CPUtime=111.8 /proc/8935/task/8940/stat : 8940 (java) R 8933 8935 2341 0 -1 4202560 14521 0 0 0 11164 16 0 0 16 0 16 0 664672 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 105886127 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 664672 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 664672 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 664677 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1537976 CPUtime=3.07 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 6170 0 0 0 305 2 0 0 15 0 16 0 664677 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1537976 CPUtime=1.26 /proc/8935/task/8945/stat : 8945 (java) S 8933 8935 2341 0 -1 4202560 1757 0 0 0 125 1 0 0 15 0 16 0 664677 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 664677 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1537976 CPUtime=0.03 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 54 0 0 0 2 1 0 0 15 0 16 0 664677 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 664771 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 664780 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8958] ppid=8933 vsize=1537976 CPUtime=700.32 /proc/8935/task/8958/stat : 8958 (java) S 8933 8935 2341 0 -1 4202560 700 0 0 0 70008 24 0 0 25 0 16 0 669571 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8959] ppid=8933 vsize=1537976 CPUtime=698.42 /proc/8935/task/8959/stat : 8959 (java) S 8933 8935 2341 0 -1 4202560 15157 0 0 0 69826 16 0 0 25 0 16 0 669573 1574887424 126263 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1637.56 Current children cumulated vsize (KiB) 1537976 [startup+942.303 s] /proc/loadavg: 2.16 2.07 1.67 3/122 8988 /proc/meminfo: memFree=1059724/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1537976 CPUtime=1742.84 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 143512 0 1 0 174050 234 0 0 15 0 16 0 664667 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 384494 127107 1446 10 0 381797 0 [pid=8935/tid=8937] ppid=8933 vsize=1537976 CPUtime=0.85 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6698 0 1 0 80 5 0 0 15 0 16 0 664669 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1537976 CPUtime=17.68 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 42802 0 0 0 1690 78 0 0 15 0 16 0 664670 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1537976 CPUtime=17.68 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 43185 0 0 0 1692 76 0 0 16 0 16 0 664670 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1537976 CPUtime=124.8 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 15367 0 0 0 12463 17 0 0 15 0 16 0 664672 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 664672 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 664672 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 664677 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1537976 CPUtime=3.16 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 6170 0 0 0 314 2 0 0 16 0 16 0 664677 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1537976 CPUtime=1.26 /proc/8935/task/8945/stat : 8945 (java) S 8933 8935 2341 0 -1 4202560 1757 0 0 0 125 1 0 0 15 0 16 0 664677 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 664677 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1537976 CPUtime=0.03 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 56 0 0 0 2 1 0 0 15 0 16 0 664677 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 664771 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 664780 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8985] ppid=8933 vsize=1537976 CPUtime=41.56 /proc/8935/task/8985/stat : 8985 (java) R 8933 8935 2341 0 -1 4202560 1 0 0 0 4156 0 0 0 21 0 16 0 753457 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4110087117 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8935/tid=8986] ppid=8933 vsize=1537976 CPUtime=42.08 /proc/8935/task/8986/stat : 8986 (java) R 8933 8935 2341 0 -1 4202560 1 0 0 0 4208 0 0 0 21 0 16 0 753457 1574887424 127107 1992294400 134512640 134550932 4288686896 18446744073709551615 4110174077 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1742.84 Current children cumulated vsize (KiB) 1537976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+974.701 s] /proc/loadavg: 2.06 2.05 1.67 3/122 8988 /proc/meminfo: memFree=1049060/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1537976 CPUtime=1800.08 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 146196 0 1 0 179771 237 0 0 15 0 16 0 664667 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 384494 129780 1446 10 0 381797 0 [pid=8935/tid=8937] ppid=8933 vsize=1537976 CPUtime=0.85 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6705 0 1 0 80 5 0 0 15 0 16 0 664669 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1537976 CPUtime=17.96 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 42802 0 0 0 1717 79 0 0 15 0 16 0 664670 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1537976 CPUtime=17.97 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 43185 0 0 0 1721 76 0 0 16 0 16 0 664670 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1537976 CPUtime=131.91 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 18042 0 0 0 13173 18 0 0 15 0 16 0 664672 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 664672 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 664672 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 664677 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1537976 CPUtime=3.16 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 6170 0 0 0 314 2 0 0 16 0 16 0 664677 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1537976 CPUtime=1.26 /proc/8935/task/8945/stat : 8945 (java) S 8933 8935 2341 0 -1 4202560 1757 0 0 0 125 1 0 0 15 0 16 0 664677 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 664677 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1537976 CPUtime=0.04 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 58 0 0 0 2 2 0 0 15 0 16 0 664677 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 664771 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1537976 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 664780 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8985] ppid=8933 vsize=1537976 CPUtime=66.13 /proc/8935/task/8985/stat : 8985 (java) R 8933 8935 2341 0 -1 4202560 1 0 0 0 6613 0 0 0 21 0 16 0 753457 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4110123617 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8935/tid=8986] ppid=8933 vsize=1537976 CPUtime=67.06 /proc/8935/task/8986/stat : 8986 (java) R 8933 8935 2341 0 -1 4202560 1 0 0 0 6705 1 0 0 21 0 16 0 753457 1574887424 129780 1992294400 134512640 134550932 4288686896 18446744073709551615 4110433467 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1537976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+974.816 s] /proc/loadavg: 2.06 2.05 1.67 3/122 8988 /proc/meminfo: memFree=1049060/2059040 swapFree=4192956/4192956 [pid=8935] ppid=8933 vsize=1538624 CPUtime=1800.29 /proc/8935/stat : 8935 (java) S 8933 8935 2341 0 -1 4202496 146215 0 1 0 179792 237 0 0 15 0 17 0 664667 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8935/statm: 384656 129799 1446 10 0 381959 0 [pid=8935/tid=8937] ppid=8933 vsize=1538624 CPUtime=0.85 /proc/8935/task/8937/stat : 8937 (java) S 8933 8935 2341 0 -1 4202560 6705 0 1 0 80 5 0 0 15 0 17 0 664669 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8938] ppid=8933 vsize=1538624 CPUtime=17.96 /proc/8935/task/8938/stat : 8938 (java) S 8933 8935 2341 0 -1 4202560 42802 0 0 0 1717 79 0 0 15 0 17 0 664670 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8939] ppid=8933 vsize=1538624 CPUtime=17.97 /proc/8935/task/8939/stat : 8939 (java) S 8933 8935 2341 0 -1 4202560 43185 0 0 0 1721 76 0 0 16 0 17 0 664670 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8940] ppid=8933 vsize=1538624 CPUtime=131.91 /proc/8935/task/8940/stat : 8940 (java) S 8933 8935 2341 0 -1 4202560 18042 0 0 0 13173 18 0 0 15 0 17 0 664672 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 0 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8941] ppid=8933 vsize=1538624 CPUtime=0 /proc/8935/task/8941/stat : 8941 (java) S 8933 8935 2341 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 17 0 664672 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8942] ppid=8933 vsize=1538624 CPUtime=0 /proc/8935/task/8942/stat : 8942 (java) S 8933 8935 2341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 664672 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8943] ppid=8933 vsize=1538624 CPUtime=0 /proc/8935/task/8943/stat : 8943 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 17 0 664677 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8944] ppid=8933 vsize=1538624 CPUtime=3.17 /proc/8935/task/8944/stat : 8944 (java) S 8933 8935 2341 0 -1 4202560 6170 0 0 0 315 2 0 0 15 0 17 0 664677 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8945] ppid=8933 vsize=1538624 CPUtime=1.27 /proc/8935/task/8945/stat : 8945 (java) S 8933 8935 2341 0 -1 4202560 1757 0 0 0 126 1 0 0 15 0 17 0 664677 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8946] ppid=8933 vsize=1538624 CPUtime=0 /proc/8935/task/8946/stat : 8946 (java) S 8933 8935 2341 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 17 0 664677 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 0 0 0 0 [pid=8935/tid=8947] ppid=8933 vsize=1538624 CPUtime=0.04 /proc/8935/task/8947/stat : 8947 (java) S 8933 8935 2341 0 -1 4202560 58 0 0 0 2 2 0 0 15 0 17 0 664677 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8950] ppid=8933 vsize=1538624 CPUtime=0 /proc/8935/task/8950/stat : 8950 (java) S 8933 8935 2341 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 17 0 664771 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8951] ppid=8933 vsize=1538624 CPUtime=0 /proc/8935/task/8951/stat : 8951 (java) S 8933 8935 2341 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 17 0 664780 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4294960144 0 4 0 16800975 18446604437827290368 0 0 -1 1 0 0 0 [pid=8935/tid=8985] ppid=8933 vsize=1538624 CPUtime=66.23 /proc/8935/task/8985/stat : 8985 (java) R 8933 8935 2341 0 -1 4202560 1 0 0 0 6623 0 0 0 21 0 17 0 753457 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4110087129 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8935/tid=8986] ppid=8933 vsize=1538624 CPUtime=67.13 /proc/8935/task/8986/stat : 8986 (java) R 8933 8935 2341 0 -1 4202560 1 0 0 0 6712 1 0 0 21 0 17 0 753457 1575550976 129799 1992294400 134512640 134550932 4288686896 18446744073709551615 4110433411 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 1538624 Child status: 143 Real time (s): 974.876 CPU time (s): 1800.38 CPU user time (s): 1797.95 CPU system time (s): 2.42463 CPU usage (%): 184.678 Max. virtual memory (cumulated for all children) (KiB): 1541964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.95 system time used= 2.42463 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146216 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32506 involuntary context switches= 52250 runsolver used 4.42233 second user time and 7.95079 second system time The end
Begin job on node042 at 2010-06-15 11:22:02 IDJOB=2663238 IDBENCH=2872 IDSOLVER=1166 FILE ID=node042/2663238-1276593722 PBS_JOBID= 11172210 Free space on /tmp= 62580 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663238-1276593722/watcher-2663238-1276593722 -o /tmp/evaluation-result-2663238-1276593722/solver-2663238-1276593722 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2663238-1276593722.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f RANDOM SEED=1092829400 node042.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1566600 kB Buffers: 38500 kB Cached: 328280 kB SwapCached: 0 kB Active: 178380 kB Inactive: 247828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1566600 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 388 kB Writeback: 0 kB AnonPages: 59312 kB Mapped: 15428 kB Slab: 44268 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183968 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node042 at 2010-06-15 11:38:19