Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.11 | 1795.37 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo |
MD5SUM | 169186b65db4bc0391cc8aa4ed776345 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.053991 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1050 |
Total number of constraints | 65 |
Number of soft constraints | 65 |
Number of constraints which are clauses | 35 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 35 |
Top cost | 3654 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3653 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 36 |
Number of bits of the biggest sum of numbers | 6 |
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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.1.v20100705 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch i386 0.00/0.08 c Free memory 1393557488 0.00/0.08 c Max memory 1395916800 0.00/0.08 c Total memory 1395916800 0.00/0.08 c Number of processors 8 0.09/0.09 c Pseudo Boolean Optimization 0.09/0.09 c --- Begin Solver configuration --- 0.09/0.09 c Stops conflict analysis at the first Unique Implication Point 0.09/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.09 c Learn all clauses as in MiniSAT 0.09/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.09 c Expensive reason simplification 0.09/0.09 c Armin Biere (Picosat) restarts strategy 0.09/0.09 c Glucose learned constraints deletion strategy 0.09/0.09 c timeout=2147483s 0.09/0.09 c DB Simplification allowed=false 0.09/0.09 c --- End Solver configuration --- 0.09/0.09 c solving HOME/instance-2698595-1278327194.wbo 0.09/0.09 c reading problem ... 0.11/0.17 c ... done. Wall clock time 0.073s. 0.11/0.17 c #vars 1115 0.11/0.17 c #constraints 65 0.11/0.17 c constraints type 0.11/0.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 35 0.11/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPb => 30 0.30/0.29 c SATISFIABLE 0.30/0.29 c OPTIMIZING... 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.194 0.30/0.29 o 99 0.59/0.34 c Got one! Elapsed wall clock time (in seconds):0.249 0.59/0.34 o 82 0.78/0.41 c Got one! Elapsed wall clock time (in seconds):0.311 0.78/0.41 o 57 0.78/0.47 c Got one! Elapsed wall clock time (in seconds):0.372 0.78/0.47 o 52 0.94/0.59 c Got one! Elapsed wall clock time (in seconds):0.5 0.94/0.59 o 29 1.18/0.71 c Got one! Elapsed wall clock time (in seconds):0.607 1.18/0.71 o 20 1.39/0.98 c Got one! Elapsed wall clock time (in seconds):0.882 1.39/0.98 o 16 1.79/1.35 c cleaning 2496 clauses out of 5000 with flag 5000/5000 2.72/2.21 c Got one! Elapsed wall clock time (in seconds):2.12 2.72/2.21 o 11 2.91/2.45 c Got one! Elapsed wall clock time (in seconds):2.351 2.91/2.45 o 4 3.45/2.91 c cleaning 4232 clauses out of 8504 with flag 11000/11000 3.76/3.23 c Got one! Elapsed wall clock time (in seconds):3.133 3.76/3.23 o 3 5.56/5.03 c cleaning 5625 clauses out of 11274 with flag 18002/18002 7.99/7.47 c cleaning 6800 clauses out of 13647 with flag 26000/26000 11.02/10.43 c cleaning 7915 clauses out of 15847 with flag 35000/35000 14.43/13.88 c cleaning 8939 clauses out of 17936 with flag 45004/45004 17.64/17.04 c cleaning 9486 clauses out of 18994 with flag 55001/55001 20.85/20.25 c cleaning 9727 clauses out of 19508 with flag 65001/65001 24.68/24.08 c cleaning 9880 clauses out of 19780 with flag 75000/75000 27.68/27.03 c cleaning 9886 clauses out of 19900 with flag 85000/85000 30.59/29.96 c cleaning 9992 clauses out of 20016 with flag 95002/95002 35.00/34.36 c cleaning 9977 clauses out of 20023 with flag 105001/105001 40.41/39.76 c cleaning 10014 clauses out of 20047 with flag 115002/115002 43.53/42.90 c cleaning 10005 clauses out of 20037 with flag 125006/125006 47.63/46.97 c cleaning 9997 clauses out of 20027 with flag 135001/135001 51.54/50.87 c cleaning 10006 clauses out of 20029 with flag 145000/145000 55.85/55.11 c cleaning 10003 clauses out of 20025 with flag 155002/155002 60.77/60.06 c cleaning 9993 clauses out of 20020 with flag 165000/165000 64.68/63.94 c cleaning 10005 clauses out of 20028 with flag 175001/175001 67.29/66.59 c cleaning 9992 clauses out of 20025 with flag 185003/185003 71.11/70.33 c cleaning 10003 clauses out of 20036 with flag 195006/195006 75.31/74.54 c cleaning 9995 clauses out of 20029 with flag 205002/205002 78.73/77.95 c cleaning 10014 clauses out of 20033 with flag 215001/215001 81.54/80.79 c cleaning 10001 clauses out of 20018 with flag 225000/225000 85.25/84.45 c cleaning 9991 clauses out of 20018 with flag 235001/235001 89.86/89.08 c cleaning 9996 clauses out of 20029 with flag 245003/245003 94.66/93.83 c cleaning 9996 clauses out of 20033 with flag 255003/255003 98.47/97.64 c cleaning 10006 clauses out of 20034 with flag 265000/265000 101.58/100.78 c cleaning 9992 clauses out of 20028 with flag 275000/275000 105.70/104.85 c cleaning 10008 clauses out of 20038 with flag 285002/285002 110.31/109.46 c cleaning 9985 clauses out of 20028 with flag 295000/295000 114.33/113.44 c cleaning 9987 clauses out of 20046 with flag 305003/305003 119.44/118.55 c cleaning 9988 clauses out of 20056 with flag 315000/315000 123.46/122.50 c cleaning 9987 clauses out of 20068 with flag 325000/325000 128.36/127.46 c cleaning 9992 clauses out of 20083 with flag 335002/335002 133.98/133.06 c cleaning 9996 clauses out of 20090 with flag 345001/345001 137.59/136.68 c cleaning 10031 clauses out of 20097 with flag 355004/355004 142.31/141.30 c cleaning 10011 clauses out of 20063 with flag 365001/365001 146.82/145.83 c cleaning 10009 clauses out of 20052 with flag 375001/375001 150.73/149.76 c cleaning 10001 clauses out of 20043 with flag 385001/385001 153.95/152.95 c cleaning 10019 clauses out of 20041 with flag 395000/395000 157.35/156.39 c cleaning 9991 clauses out of 20022 with flag 405000/405000 161.26/160.21 c cleaning 9994 clauses out of 20031 with flag 415000/415000 165.48/164.41 c cleaning 9992 clauses out of 20038 with flag 425001/425001 169.00/167.95 c cleaning 9956 clauses out of 20047 with flag 435002/435002 173.81/172.71 c cleaning 9977 clauses out of 20089 with flag 445000/445000 177.92/176.84 c cleaning 10050 clauses out of 20113 with flag 455001/455001 181.54/180.48 c cleaning 10008 clauses out of 20063 with flag 465001/465001 186.46/185.33 c cleaning 10009 clauses out of 20055 with flag 475001/475001 190.97/189.86 c cleaning 9996 clauses out of 20045 with flag 485000/485000 196.38/195.29 c cleaning 9999 clauses out of 20052 with flag 495003/495003 201.69/200.55 c cleaning 9999 clauses out of 20052 with flag 505002/505002 207.20/206.00 c cleaning 10000 clauses out of 20053 with flag 515002/515002 211.51/210.37 c cleaning 10014 clauses out of 20051 with flag 525000/525000 216.23/215.10 c cleaning 9992 clauses out of 20042 with flag 535005/535005 221.35/220.18 c cleaning 10014 clauses out of 20046 with flag 545001/545001 225.86/224.62 c cleaning 10005 clauses out of 20031 with flag 555000/555000 230.17/228.94 c cleaning 10001 clauses out of 20028 with flag 565002/565002 234.18/232.96 c cleaning 9993 clauses out of 20025 with flag 575000/575000 239.29/238.00 c cleaning 10008 clauses out of 20034 with flag 585002/585002 242.21/240.94 c cleaning 9981 clauses out of 20027 with flag 595003/595003 245.81/244.52 c cleaning 10005 clauses out of 20044 with flag 605001/605001 251.44/250.11 c cleaning 10015 clauses out of 20040 with flag 615002/615002 256.36/255.02 c cleaning 9992 clauses out of 20026 with flag 625003/625003 260.17/258.83 c cleaning 9988 clauses out of 20033 with flag 635002/635002 265.70/264.36 c cleaning 9988 clauses out of 20043 with flag 645000/645000 270.21/268.82 c cleaning 10007 clauses out of 20057 with flag 655002/655002 274.43/273.07 c cleaning 10000 clauses out of 20048 with flag 665000/665000 279.25/277.80 c cleaning 10005 clauses out of 20048 with flag 675000/675000 283.75/282.34 c cleaning 10017 clauses out of 20043 with flag 685000/685000 288.48/287.07 c cleaning 10008 clauses out of 20028 with flag 695002/695002 292.79/291.33 c cleaning 10003 clauses out of 20019 with flag 705001/705001 297.40/295.91 c cleaning 9998 clauses out of 20021 with flag 715006/715006 300.81/299.31 c cleaning 9988 clauses out of 20018 with flag 725001/725001 305.32/303.88 c cleaning 9995 clauses out of 20030 with flag 735001/735001 309.34/307.83 c cleaning 9998 clauses out of 20034 with flag 745000/745000 313.65/312.14 c cleaning 9999 clauses out of 20037 with flag 755001/755001 318.36/316.85 c cleaning 10001 clauses out of 20040 with flag 765003/765003 323.79/322.21 c cleaning 10002 clauses out of 20040 with flag 775004/775004 328.69/327.19 c cleaning 9992 clauses out of 20037 with flag 785003/785003 333.40/331.81 c cleaning 9997 clauses out of 20043 with flag 795001/795001 337.92/336.34 c cleaning 9997 clauses out of 20045 with flag 805000/805000 343.43/341.85 c cleaning 10003 clauses out of 20050 with flag 815002/815002 348.54/346.95 c cleaning 9999 clauses out of 20047 with flag 825002/825002 353.55/351.99 c cleaning 9999 clauses out of 20046 with flag 835000/835000 359.97/358.33 c cleaning 10000 clauses out of 20047 with flag 845000/845000 365.38/363.74 c cleaning 10002 clauses out of 20052 with flag 855005/855005 370.30/368.63 c cleaning 9995 clauses out of 20048 with flag 865003/865003 375.11/373.45 c cleaning 10003 clauses out of 20051 with flag 875001/875001 379.63/377.94 c cleaning 9977 clauses out of 20049 with flag 885002/885002 382.63/380.98 c cleaning 10033 clauses out of 20072 with flag 895002/895002 386.05/384.36 c cleaning 9992 clauses out of 20037 with flag 905000/905000 389.35/387.65 c cleaning 10002 clauses out of 20049 with flag 915004/915004 393.07/391.39 c cleaning 10001 clauses out of 20044 with flag 925001/925001 397.29/395.53 c cleaning 9991 clauses out of 20043 with flag 935001/935001 401.90/400.10 c cleaning 10006 clauses out of 20051 with flag 945000/945000 404.32/402.57 c cleaning 10003 clauses out of 20045 with flag 955000/955000 407.13/405.31 c cleaning 10017 clauses out of 20042 with flag 965000/965000 410.35/408.54 c cleaning 9990 clauses out of 20025 with flag 975000/975000 416.86/415.00 c cleaning 10000 clauses out of 20037 with flag 985002/985002 423.67/421.87 c cleaning 10000 clauses out of 20038 with flag 995003/995003 429.70/427.83 c cleaning 10000 clauses out of 20036 with flag 1005001/1005001 436.01/434.14 c cleaning 9996 clauses out of 20038 with flag 1015003/1015003 441.03/439.19 c cleaning 9989 clauses out of 20039 with flag 1025000/1025000 446.26/444.33 c cleaning 10001 clauses out of 20053 with flag 1035003/1035003 451.17/449.24 c cleaning 9999 clauses out of 20050 with flag 1045001/1045001 456.47/454.59 c cleaning 9996 clauses out of 20050 with flag 1055000/1055000 461.38/459.45 c cleaning 10001 clauses out of 20057 with flag 1065003/1065003 466.29/464.35 c cleaning 9999 clauses out of 20053 with flag 1075000/1075000 470.40/468.48 c cleaning 10013 clauses out of 20055 with flag 1085001/1085001 474.71/472.77 c cleaning 10006 clauses out of 20042 with flag 1095001/1095001 479.22/477.29 c cleaning 10000 clauses out of 20036 with flag 1105001/1105001 484.23/482.23 c cleaning 9999 clauses out of 20035 with flag 1115000/1115000 489.35/487.32 c cleaning 10006 clauses out of 20041 with flag 1125005/1125005 495.06/493.08 c cleaning 9999 clauses out of 20033 with flag 1135003/1135003 500.87/498.82 c cleaning 10002 clauses out of 20033 with flag 1145002/1145002 506.08/504.02 c cleaning 10001 clauses out of 20031 with flag 1155002/1155002 511.00/508.94 c cleaning 10000 clauses out of 20028 with flag 1165000/1165000 515.90/513.81 c cleaning 9991 clauses out of 20028 with flag 1175000/1175000 519.61/517.55 c cleaning 10001 clauses out of 20038 with flag 1185001/1185001 524.33/522.28 c cleaning 9997 clauses out of 20036 with flag 1195000/1195000 529.05/526.98 c cleaning 10003 clauses out of 20041 with flag 1205002/1205002 533.26/531.17 c cleaning 9986 clauses out of 20037 with flag 1215001/1215001 538.46/536.35 c cleaning 9989 clauses out of 20051 with flag 1225001/1225001 543.87/541.74 c cleaning 9992 clauses out of 20061 with flag 1235000/1235000 548.98/546.87 c cleaning 10010 clauses out of 20070 with flag 1245001/1245001 554.59/552.47 c cleaning 10010 clauses out of 20060 with flag 1255001/1255001 560.10/557.98 c cleaning 10004 clauses out of 20051 with flag 1265002/1265002 565.61/563.46 c cleaning 10004 clauses out of 20046 with flag 1275001/1275001 571.93/569.72 c cleaning 10001 clauses out of 20042 with flag 1285001/1285001 577.24/575.04 c cleaning 9998 clauses out of 20043 with flag 1295003/1295003 582.95/580.79 c cleaning 10000 clauses out of 20043 with flag 1305001/1305001 587.76/585.54 c cleaning 9992 clauses out of 20045 with flag 1315003/1315003 591.67/589.43 c cleaning 9987 clauses out of 20050 with flag 1325000/1325000 594.28/592.08 c cleaning 10012 clauses out of 20063 with flag 1335000/1335000 597.40/595.18 c cleaning 9993 clauses out of 20052 with flag 1345001/1345001 601.00/598.77 c cleaning 10014 clauses out of 20058 with flag 1355000/1355000 605.82/603.58 c cleaning 10006 clauses out of 20044 with flag 1365000/1365000 610.13/607.86 c cleaning 9997 clauses out of 20039 with flag 1375001/1375001 615.04/612.76 c cleaning 10018 clauses out of 20042 with flag 1385001/1385001 618.94/616.66 c cleaning 10003 clauses out of 20023 with flag 1395000/1395000 623.25/620.91 c cleaning 9986 clauses out of 20021 with flag 1405001/1405001 626.86/624.53 c cleaning 9999 clauses out of 20034 with flag 1415000/1415000 631.98/629.68 c cleaning 9997 clauses out of 20038 with flag 1425003/1425003 636.59/634.25 c cleaning 9993 clauses out of 20038 with flag 1435000/1435000 641.51/639.19 c cleaning 10002 clauses out of 20047 with flag 1445002/1445002 647.31/644.92 c cleaning 9998 clauses out of 20043 with flag 1455000/1455000 651.33/649.00 c cleaning 10010 clauses out of 20045 with flag 1465000/1465000 655.93/653.53 c cleaning 9981 clauses out of 20035 with flag 1475000/1475000 660.34/657.98 c cleaning 10014 clauses out of 20057 with flag 1485003/1485003 665.16/662.75 c cleaning 10007 clauses out of 20044 with flag 1495004/1495004 670.08/667.60 c cleaning 9999 clauses out of 20033 with flag 1505000/1505000 674.88/672.42 c cleaning 10005 clauses out of 20035 with flag 1515001/1515001 678.60/676.15 c cleaning 9995 clauses out of 20030 with flag 1525001/1525001 683.32/680.81 c cleaning 10003 clauses out of 20035 with flag 1535001/1535001 688.62/686.10 c cleaning 10000 clauses out of 20032 with flag 1545001/1545001 692.84/690.36 c cleaning 10001 clauses out of 20032 with flag 1555001/1555001 697.35/694.87 c cleaning 10000 clauses out of 20033 with flag 1565003/1565003 701.75/699.26 c cleaning 9989 clauses out of 20031 with flag 1575001/1575001 705.76/703.21 c cleaning 10006 clauses out of 20041 with flag 1585000/1585000 709.97/707.47 c cleaning 9996 clauses out of 20035 with flag 1595000/1595000 714.68/712.19 c cleaning 10003 clauses out of 20041 with flag 1605002/1605002 718.90/716.36 c cleaning 10002 clauses out of 20036 with flag 1615000/1615000 722.80/720.28 c cleaning 9996 clauses out of 20034 with flag 1625000/1625000 727.11/724.50 c cleaning 10000 clauses out of 20038 with flag 1635000/1635000 732.02/729.49 c cleaning 10001 clauses out of 20039 with flag 1645001/1645001 736.43/733.80 c cleaning 10000 clauses out of 20037 with flag 1655000/1655000 741.05/738.49 c cleaning 10000 clauses out of 20038 with flag 1665001/1665001 745.56/742.91 c cleaning 10001 clauses out of 20039 with flag 1675002/1675002 750.76/748.17 c cleaning 9999 clauses out of 20038 with flag 1685002/1685002 755.47/752.80 c cleaning 9995 clauses out of 20038 with flag 1695001/1695001 760.18/757.59 c cleaning 10002 clauses out of 20043 with flag 1705001/1705001 765.49/762.81 c cleaning 10000 clauses out of 20041 with flag 1715001/1715001 770.40/767.76 c cleaning 10002 clauses out of 20041 with flag 1725001/1725001 775.71/773.01 c cleaning 10000 clauses out of 20040 with flag 1735002/1735002 780.51/777.89 c cleaning 9999 clauses out of 20038 with flag 1745000/1745000 785.22/782.59 c cleaning 10002 clauses out of 20041 with flag 1755002/1755002 789.93/787.25 c cleaning 9995 clauses out of 20038 with flag 1765001/1765001 793.75/791.08 c cleaning 10009 clauses out of 20042 with flag 1775000/1775000 798.26/795.56 c cleaning 10003 clauses out of 20033 with flag 1785000/1785000 803.48/800.72 c cleaning 10001 clauses out of 20030 with flag 1795000/1795000 808.59/805.80 c cleaning 10004 clauses out of 20030 with flag 1805001/1805001 813.91/811.18 c cleaning 10002 clauses out of 20027 with flag 1815002/1815002 819.42/816.61 c cleaning 9998 clauses out of 20023 with flag 1825000/1825000 826.63/823.84 c cleaning 9988 clauses out of 20025 with flag 1835000/1835000 831.85/829.07 c cleaning 10006 clauses out of 20038 with flag 1845001/1845001 837.07/834.25 c cleaning 10000 clauses out of 20033 with flag 1855002/1855002 842.08/839.28 c cleaning 10002 clauses out of 20033 with flag 1865002/1865002 847.58/844.70 c cleaning 10002 clauses out of 20031 with flag 1875002/1875002 853.00/850.15 c cleaning 9998 clauses out of 20029 with flag 1885002/1885002 858.41/855.51 c cleaning 10003 clauses out of 20031 with flag 1895002/1895002 863.62/860.70 c cleaning 10000 clauses out of 20026 with flag 1905000/1905000 869.54/866.68 c cleaning 10001 clauses out of 20028 with flag 1915002/1915002 874.85/871.95 c cleaning 9997 clauses out of 20025 with flag 1925000/1925000 880.06/877.13 c cleaning 9998 clauses out of 20028 with flag 1935000/1935000 885.17/882.25 c cleaning 10002 clauses out of 20032 with flag 1945002/1945002 890.38/887.46 c cleaning 10002 clauses out of 20029 with flag 1955001/1955001 895.68/892.78 c cleaning 10001 clauses out of 20028 with flag 1965002/1965002 901.00/898.06 c cleaning 9997 clauses out of 20026 with flag 1975001/1975001 906.01/903.08 c cleaning 9999 clauses out of 20029 with flag 1985001/1985001 910.31/907.36 c cleaning 10002 clauses out of 20029 with flag 1995000/1995000 913.83/910.89 c cleaning 9995 clauses out of 20030 with flag 2005003/2005003 917.24/914.28 c cleaning 10000 clauses out of 20033 with flag 2015001/2015001 921.96/918.99 c cleaning 10000 clauses out of 20034 with flag 2025002/2025002 925.87/922.83 c cleaning 9981 clauses out of 20035 with flag 2035003/2035003 929.98/926.95 c cleaning 9995 clauses out of 20053 with flag 2045002/2045002 934.19/931.17 c cleaning 10012 clauses out of 20056 with flag 2055000/2055000 939.71/936.63 c cleaning 10008 clauses out of 20044 with flag 2065000/2065000 945.03/941.92 c cleaning 9999 clauses out of 20036 with flag 2075000/2075000 949.74/946.66 c cleaning 10004 clauses out of 20038 with flag 2085001/2085001 954.56/951.42 c cleaning 10003 clauses out of 20037 with flag 2095004/2095004 959.36/956.21 c cleaning 9993 clauses out of 20031 with flag 2105001/2105001 963.97/960.85 c cleaning 10002 clauses out of 20038 with flag 2115001/2115001 968.28/965.10 c cleaning 9947 clauses out of 20035 with flag 2125000/2125000 972.79/969.62 c cleaning 9974 clauses out of 20088 with flag 2135000/2135000 977.40/974.20 c cleaning 9990 clauses out of 20117 with flag 2145003/2145003 981.71/978.60 c cleaning 9996 clauses out of 20126 with flag 2155002/2155002 986.63/983.42 c cleaning 9996 clauses out of 20128 with flag 2165000/2165000 990.34/987.16 c cleaning 10025 clauses out of 20133 with flag 2175001/2175001 993.94/990.71 c cleaning 10014 clauses out of 20112 with flag 2185005/2185005 997.35/994.18 c cleaning 10023 clauses out of 20095 with flag 2195002/2195002 1001.56/998.30 c cleaning 10008 clauses out of 20070 with flag 2205000/2205000 1005.96/1002.71 c cleaning 10007 clauses out of 20066 with flag 2215004/2215004 1010.37/1007.10 c cleaning 10004 clauses out of 20057 with flag 2225002/2225002 1015.19/1011.98 c cleaning 10002 clauses out of 20055 with flag 2235004/2235004 1020.00/1016.70 c cleaning 9999 clauses out of 20049 with flag 2245000/2245000 1024.20/1020.93 c cleaning 10000 clauses out of 20050 with flag 2255000/2255000 1028.81/1025.55 c cleaning 10002 clauses out of 20051 with flag 2265001/2265001 1032.72/1029.43 c cleaning 10000 clauses out of 20049 with flag 2275001/2275001 1036.92/1033.68 c cleaning 9997 clauses out of 20049 with flag 2285001/2285001 1040.42/1037.11 c cleaning 9991 clauses out of 20053 with flag 2295002/2295002 1045.55/1042.22 c cleaning 9999 clauses out of 20063 with flag 2305003/2305003 1049.75/1046.48 c cleaning 10006 clauses out of 20067 with flag 2315006/2315006 1054.55/1051.23 c cleaning 9999 clauses out of 20056 with flag 2325001/2325001 1059.85/1056.53 c cleaning 9964 clauses out of 20056 with flag 2335000/2335000 1064.76/1061.46 c cleaning 9991 clauses out of 20095 with flag 2345003/2345003 1068.96/1065.68 c cleaning 10015 clauses out of 20104 with flag 2355003/2355003 1073.07/1069.78 c cleaning 10003 clauses out of 20087 with flag 2365001/2365001 1077.36/1074.09 c cleaning 10007 clauses out of 20087 with flag 2375004/2375004 1081.57/1078.28 c cleaning 10000 clauses out of 20077 with flag 2385001/2385001 1086.29/1082.94 c cleaning 10001 clauses out of 20079 with flag 2395003/2395003 1090.60/1087.30 c cleaning 10000 clauses out of 20078 with flag 2405003/2405003 1095.40/1092.00 c cleaning 10000 clauses out of 20079 with flag 2415004/2415004 1100.11/1096.70 c cleaning 10004 clauses out of 20079 with flag 2425004/2425004 1104.41/1101.01 c cleaning 10023 clauses out of 20073 with flag 2435002/2435002 1108.92/1105.52 c cleaning 10011 clauses out of 20049 with flag 2445001/2445001 1113.03/1109.63 c cleaning 10005 clauses out of 20041 with flag 2455004/2455004 1118.43/1115.09 c cleaning 10000 clauses out of 20032 with flag 2465000/2465000 1123.34/1119.90 c cleaning 10002 clauses out of 20032 with flag 2475000/2475000 1127.45/1124.04 c cleaning 10000 clauses out of 20031 with flag 2485001/2485001 1132.35/1128.96 c cleaning 9994 clauses out of 20030 with flag 2495000/2495000 1137.76/1134.37 c cleaning 10007 clauses out of 20037 with flag 2505001/2505001 1141.88/1138.50 c cleaning 9999 clauses out of 20030 with flag 2515001/2515001 1145.88/1142.47 c cleaning 10000 clauses out of 20033 with flag 2525003/2525003 1150.18/1146.71 c cleaning 10004 clauses out of 20034 with flag 2535004/2535004 1154.39/1150.94 c cleaning 9998 clauses out of 20026 with flag 2545000/2545000 1158.79/1155.37 c cleaning 9999 clauses out of 20032 with flag 2555004/2555004 1163.60/1160.16 c cleaning 9998 clauses out of 20029 with flag 2565000/2565000 1168.00/1164.58 c cleaning 10002 clauses out of 20032 with flag 2575001/2575001 1172.82/1169.37 c cleaning 10002 clauses out of 20033 with flag 2585004/2585004 1177.33/1173.86 c cleaning 9998 clauses out of 20030 with flag 2595003/2595003 1181.56/1178.06 c cleaning 10001 clauses out of 20029 with flag 2605000/2605000 1186.16/1182.64 c cleaning 10000 clauses out of 20028 with flag 2615000/2615000 1190.77/1187.21 c cleaning 10003 clauses out of 20032 with flag 2625004/2625004 1194.69/1191.17 c cleaning 9997 clauses out of 20025 with flag 2635000/2635000 1199.69/1196.15 c cleaning 9998 clauses out of 20029 with flag 2645001/2645001 1204.30/1200.79 c cleaning 9998 clauses out of 20030 with flag 2655000/2655000 1208.81/1205.23 c cleaning 10001 clauses out of 20033 with flag 2665001/2665001 1213.93/1210.34 c cleaning 10000 clauses out of 20033 with flag 2675002/2675002 1218.63/1215.09 c cleaning 9999 clauses out of 20031 with flag 2685000/2685000 1223.23/1219.69 c cleaning 9997 clauses out of 20033 with flag 2695001/2695001 1227.44/1223.83 c cleaning 10000 clauses out of 20036 with flag 2705001/2705001 1232.66/1229.07 c cleaning 10002 clauses out of 20037 with flag 2715002/2715002 1237.28/1233.63 c cleaning 10001 clauses out of 20038 with flag 2725005/2725005 1241.99/1238.33 c cleaning 9997 clauses out of 20033 with flag 2735001/2735001 1246.90/1243.22 c cleaning 10003 clauses out of 20036 with flag 2745001/2745001 1251.90/1248.26 c cleaning 10000 clauses out of 20033 with flag 2755001/2755001 1257.11/1253.40 c cleaning 9998 clauses out of 20032 with flag 2765000/2765000 1261.81/1258.12 c cleaning 10001 clauses out of 20037 with flag 2775003/2775003 1267.02/1263.33 c cleaning 9998 clauses out of 20035 with flag 2785002/2785002 1272.13/1268.50 c cleaning 10000 clauses out of 20036 with flag 2795001/2795001 1276.94/1273.21 c cleaning 10001 clauses out of 20036 with flag 2805001/2805001 1281.75/1278.00 c cleaning 9994 clauses out of 20034 with flag 2815000/2815000 1286.27/1282.54 c cleaning 10002 clauses out of 20040 with flag 2825000/2825000 1291.29/1287.58 c cleaning 10001 clauses out of 20038 with flag 2835000/2835000 1296.31/1292.60 c cleaning 10000 clauses out of 20037 with flag 2845000/2845000 1301.90/1298.13 c cleaning 10000 clauses out of 20039 with flag 2855002/2855002 1307.80/1304.06 c cleaning 10002 clauses out of 20039 with flag 2865002/2865002 1313.51/1309.76 c cleaning 10001 clauses out of 20035 with flag 2875000/2875000 1318.73/1314.99 c cleaning 9999 clauses out of 20035 with flag 2885001/2885001 1323.73/1319.94 c cleaning 10002 clauses out of 20037 with flag 2895002/2895002 1329.14/1325.36 c cleaning 9997 clauses out of 20033 with flag 2905000/2905000 1334.75/1330.92 c cleaning 10000 clauses out of 20038 with flag 2915002/2915002 1339.47/1335.61 c cleaning 10001 clauses out of 20036 with flag 2925000/2925000 1344.58/1340.74 c cleaning 9999 clauses out of 20035 with flag 2935000/2935000 1349.98/1346.10 c cleaning 10001 clauses out of 20038 with flag 2945002/2945002 1354.89/1351.06 c cleaning 10001 clauses out of 20038 with flag 2955003/2955003 1359.69/1355.81 c cleaning 9998 clauses out of 20034 with flag 2965000/2965000 1364.51/1360.65 c cleaning 10002 clauses out of 20038 with flag 2975002/2975002 1369.81/1365.95 c cleaning 9999 clauses out of 20034 with flag 2985000/2985000 1372.92/1369.01 c cleaning 10001 clauses out of 20038 with flag 2995003/2995003 1376.34/1372.43 c cleaning 9996 clauses out of 20037 with flag 3005003/3005003 1380.15/1376.21 c cleaning 10016 clauses out of 20038 with flag 3015000/3015000 1383.86/1379.90 c cleaning 9961 clauses out of 20022 with flag 3025000/3025000 1388.17/1384.27 c cleaning 10016 clauses out of 20062 with flag 3035001/3035001 1393.59/1389.62 c cleaning 10008 clauses out of 20046 with flag 3045001/3045001 1397.81/1393.80 c cleaning 9987 clauses out of 20039 with flag 3055002/3055002 1402.62/1398.63 c cleaning 10004 clauses out of 20051 with flag 3065001/3065001 1407.33/1403.33 c cleaning 9997 clauses out of 20047 with flag 3075001/3075001 1411.55/1407.50 c cleaning 10005 clauses out of 20049 with flag 3085000/3085000 1417.06/1413.01 c cleaning 10002 clauses out of 20046 with flag 3095002/3095002 1422.46/1418.40 c cleaning 10001 clauses out of 20044 with flag 3105002/3105002 1427.88/1423.85 c cleaning 10001 clauses out of 20043 with flag 3115002/3115002 1431.38/1427.34 c cleaning 10001 clauses out of 20040 with flag 3125000/3125000 1435.99/1431.98 c cleaning 10001 clauses out of 20042 with flag 3135003/3135003 1441.01/1436.94 c cleaning 9993 clauses out of 20039 with flag 3145001/3145001 1446.02/1441.90 c cleaning 10003 clauses out of 20046 with flag 3155001/3155001 1451.03/1446.94 c cleaning 10004 clauses out of 20045 with flag 3165003/3165003 1456.54/1452.44 c cleaning 9999 clauses out of 20038 with flag 3175000/3175000 1461.56/1457.49 c cleaning 10002 clauses out of 20041 with flag 3185002/3185002 1466.07/1461.92 c cleaning 10007 clauses out of 20038 with flag 3195001/3195001 1472.18/1468.08 c cleaning 10000 clauses out of 20030 with flag 3205000/3205000 1477.59/1473.48 c cleaning 10002 clauses out of 20033 with flag 3215003/3215003 1483.20/1479.09 c cleaning 10001 clauses out of 20028 with flag 3225000/3225000 1488.61/1484.46 c cleaning 9997 clauses out of 20030 with flag 3235003/3235003 1493.62/1489.42 c cleaning 9996 clauses out of 20030 with flag 3245000/3245000 1498.82/1494.67 c cleaning 9997 clauses out of 20036 with flag 3255002/3255002 1504.93/1500.73 c cleaning 10004 clauses out of 20038 with flag 3265001/3265001 1510.23/1506.05 c cleaning 10005 clauses out of 20035 with flag 3275002/3275002 1514.94/1510.78 c cleaning 10009 clauses out of 20029 with flag 3285001/3285001 1518.86/1514.62 c cleaning 9999 clauses out of 20021 with flag 3295002/3295002 1523.36/1519.16 c cleaning 9998 clauses out of 20021 with flag 3305001/3305001 1527.96/1523.74 c cleaning 9995 clauses out of 20022 with flag 3315000/3315000 1532.38/1528.18 c cleaning 9990 clauses out of 20027 with flag 3325000/3325000 1536.90/1532.64 c cleaning 10005 clauses out of 20038 with flag 3335001/3335001 1541.20/1536.92 c cleaning 10000 clauses out of 20032 with flag 3345000/3345000 1545.91/1541.61 c cleaning 10003 clauses out of 20032 with flag 3355000/3355000 1550.72/1546.50 c cleaning 10001 clauses out of 20030 with flag 3365001/3365001 1555.33/1551.05 c cleaning 10001 clauses out of 20030 with flag 3375002/3375002 1559.93/1555.60 c cleaning 10001 clauses out of 20027 with flag 3385000/3385000 1564.34/1560.07 c cleaning 10001 clauses out of 20027 with flag 3395001/3395001 1568.84/1564.57 c cleaning 9998 clauses out of 20026 with flag 3405001/3405001 1573.34/1569.00 c cleaning 10005 clauses out of 20033 with flag 3415006/3415006 1579.15/1574.86 c cleaning 9997 clauses out of 20023 with flag 3425001/3425001 1583.05/1578.77 c cleaning 9991 clauses out of 20026 with flag 3435001/3435001 1587.76/1583.48 c cleaning 9997 clauses out of 20036 with flag 3445002/3445002 1592.96/1588.65 c cleaning 9998 clauses out of 20038 with flag 3455001/3455001 1598.07/1593.78 c cleaning 10001 clauses out of 20043 with flag 3465004/3465004 1603.08/1598.76 c cleaning 9996 clauses out of 20038 with flag 3475000/3475000 1608.58/1604.24 c cleaning 10001 clauses out of 20044 with flag 3485002/3485002 1613.60/1609.25 c cleaning 9996 clauses out of 20042 with flag 3495001/3495001 1619.10/1614.79 c cleaning 10000 clauses out of 20045 with flag 3505000/3505000 1624.41/1620.01 c cleaning 9998 clauses out of 20045 with flag 3515000/3515000 1629.61/1625.21 c cleaning 10005 clauses out of 20049 with flag 3525002/3525002 1634.01/1629.61 c cleaning 9999 clauses out of 20043 with flag 3535001/3535001 1638.61/1634.21 c cleaning 10001 clauses out of 20044 with flag 3545001/3545001 1643.52/1639.16 c cleaning 9999 clauses out of 20044 with flag 3555002/3555002 1648.73/1644.33 c cleaning 9997 clauses out of 20044 with flag 3565001/3565001 1654.03/1649.69 c cleaning 9999 clauses out of 20050 with flag 3575004/3575004 1658.93/1654.54 c cleaning 10003 clauses out of 20050 with flag 3585003/3585003 1663.83/1659.47 c cleaning 9998 clauses out of 20049 with flag 3595005/3595005 1669.24/1664.88 c cleaning 10003 clauses out of 20047 with flag 3605001/3605001 1674.45/1670.07 c cleaning 9999 clauses out of 20046 with flag 3615003/3615003 1679.76/1675.33 c cleaning 9996 clauses out of 20045 with flag 3625001/3625001 1685.06/1680.69 c cleaning 10000 clauses out of 20048 with flag 3635000/3635000 1689.86/1685.42 c cleaning 10001 clauses out of 20052 with flag 3645004/3645004 1694.46/1690.04 c cleaning 10024 clauses out of 20051 with flag 3655004/3655004 1698.67/1694.26 c cleaning 9991 clauses out of 20023 with flag 3665000/3665000 1703.28/1698.81 c cleaning 9982 clauses out of 20033 with flag 3675001/3675001 1708.60/1704.15 c cleaning 10010 clauses out of 20053 with flag 3685003/3685003 1712.82/1708.38 c cleaning 9989 clauses out of 20040 with flag 3695000/3695000 1717.01/1712.57 c cleaning 10011 clauses out of 20056 with flag 3705005/3705005 1721.43/1716.99 c cleaning 10003 clauses out of 20040 with flag 3715000/3715000 1726.74/1722.23 c cleaning 10001 clauses out of 20039 with flag 3725002/3725002 1731.55/1727.01 c cleaning 10001 clauses out of 20036 with flag 3735000/3735000 1736.95/1732.50 c cleaning 10000 clauses out of 20035 with flag 3745000/3745000 1742.35/1737.84 c cleaning 10001 clauses out of 20036 with flag 3755001/3755001 1747.55/1743.02 c cleaning 9999 clauses out of 20034 with flag 3765000/3765000 1753.07/1748.50 c cleaning 10004 clauses out of 20042 with flag 3775007/3775007 1757.78/1753.27 c cleaning 10000 clauses out of 20031 with flag 3785000/3785000 1762.89/1758.36 c cleaning 9995 clauses out of 20031 with flag 3795000/3795000 1768.31/1763.79 c cleaning 10002 clauses out of 20039 with flag 3805003/3805003 1773.63/1769.07 c cleaning 9999 clauses out of 20034 with flag 3815000/3815000 1778.35/1773.73 c cleaning 9986 clauses out of 20036 with flag 3825001/3825001 1783.56/1778.98 c cleaning 10007 clauses out of 20050 with flag 3835001/3835001 1788.57/1783.92 c cleaning 10005 clauses out of 20044 with flag 3845002/3845002 1793.69/1789.00 c cleaning 9991 clauses out of 20038 with flag 3855001/3855001 1798.90/1794.28 c cleaning 10008 clauses out of 20047 with flag 3865001/3865001 1800.01/1795.31 c starts : 262 1800.01/1795.31 c conflicts : 3868117 1800.01/1795.31 c decisions : 4788463 1800.01/1795.31 c propagations : 89783183 1800.01/1795.31 c inspects : 5377247056 1800.01/1795.31 c learnt literals : 0 1800.01/1795.31 c learnt binary clauses : 0 1800.01/1795.31 c learnt ternary clauses : 0 1800.01/1795.31 c learnt clauses : 3868116 1800.01/1795.31 c ignored clauses : 0 1800.01/1795.31 c root simplifications : 0 1800.01/1795.31 c removed literals (reason simplification) : 23813385 1800.01/1795.31 c reason swapping (by a shorter reason) : 0 1800.01/1795.31 c Calls to reduceDB : 388 1800.01/1795.31 c number of reductions to clauses (during analyze) : 0 1800.01/1795.31 c number of learned constraints concerned by reduction : 0 1800.01/1795.31 c number of learning phase by resolution : 0 1800.01/1795.31 c number of learning phase by cutting planes : 0 1800.01/1795.31 c speed (assignments/second) : 50099.95413156317 1800.01/1795.31 c non guided choices 26569 1800.01/1795.32 c learnt constraints type 1800.01/1795.32 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 13185 1800.01/1795.32 c constraints type 1800.01/1795.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 35 1800.01/1795.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 31 1800.01/1795.32 s SATISFIABLE 1800.01/1795.33 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 1800.01/1795.33 c objective function=3 1800.01/1795.33 c Total wall clock time (in seconds): 1795.231
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698595-1278327194/watcher-2698595-1278327194 -o /tmp/evaluation-result-2698595-1278327194/solver-2698595-1278327194 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698595-1278327194.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.29 2.07 1.94 2/196 4519 /proc/meminfo: memFree=32126012/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=13164 CPUtime=0 /proc/4519/stat : 4519 (java) R 4517 4519 3848 0 -1 4194304 773 0 0 0 0 0 0 0 17 0 1 0 932379 13479936 343 4089446400 134512640 134550932 4288121296 18446744073709551615 10520197 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/4519/statm: 3291 350 143 10 0 1121 0 [startup+0.0883609 s] /proc/loadavg: 2.29 2.07 1.94 2/196 4519 /proc/meminfo: memFree=32126012/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1529596 CPUtime=0.09 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 5094 0 1 0 9 0 0 0 17 0 18 0 932379 1566306304 4530 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382399 4530 1344 10 0 379702 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1529596 [startup+0.100395 s] /proc/loadavg: 2.29 2.07 1.94 2/196 4519 /proc/meminfo: memFree=32126012/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1529596 CPUtime=0.11 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 5208 0 1 0 10 1 0 0 17 0 18 0 932379 1566306304 4644 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382399 4644 1347 10 0 379702 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529596 [startup+0.300323 s] /proc/loadavg: 2.29 2.07 1.94 2/196 4519 /proc/meminfo: memFree=32126012/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1531864 CPUtime=0.59 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 6706 0 1 0 58 1 0 0 17 0 19 0 932379 1568628736 5903 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382966 5903 1418 10 0 380269 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 1531864 [startup+0.700299 s] /proc/loadavg: 2.29 2.07 1.94 2/196 4519 /proc/meminfo: memFree=32126012/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1531864 CPUtime=1.18 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 7837 0 1 0 117 1 0 0 17 0 19 0 932379 1568628736 6984 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382966 6984 1425 10 0 380269 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 1531864 [startup+1.50115 s] /proc/loadavg: 2.29 2.07 1.94 3/215 4538 /proc/meminfo: memFree=32100812/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1531864 CPUtime=2.01 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 10692 0 1 0 200 1 0 0 17 0 19 0 932379 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382966 9835 1441 10 0 380269 0 [pid=4519/tid=4521] ppid=4517 vsize=1531864 CPUtime=1.47 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 6371 0 1 0 146 1 0 0 22 0 19 0 932379 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4109599743 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 346 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4523] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4523/stat : 4523 (java) S 4517 4519 3848 0 -1 4202560 471 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4524] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4524/stat : 4524 (java) S 4517 4519 3848 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4525] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4525/stat : 4525 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4526] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4526/stat : 4526 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4527] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 839 0 0 0 0 0 0 0 16 0 19 0 932381 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1531864 CPUtime=0.25 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 506 0 0 0 25 0 0 0 16 0 19 0 932383 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1531864 CPUtime=0.27 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1034 0 0 0 27 0 0 0 16 0 19 0 932383 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 932383 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1568628736 9835 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.01 Current children cumulated vsize (KiB) 1531864 [startup+3.10086 s] /proc/loadavg: 2.29 2.07 1.94 3/215 4538 /proc/meminfo: memFree=32092416/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1531864 CPUtime=3.66 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 12950 0 1 0 365 1 0 0 17 0 19 0 932379 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382966 12091 1441 10 0 380269 0 [pid=4519/tid=4521] ppid=4517 vsize=1531864 CPUtime=3.05 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 6373 0 1 0 304 1 0 0 25 0 19 0 932379 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4109639809 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4523] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4523/stat : 4523 (java) S 4517 4519 3848 0 -1 4202560 1077 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4524] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4524/stat : 4524 (java) S 4517 4519 3848 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4525] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4525/stat : 4525 (java) S 4517 4519 3848 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4526] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4526/stat : 4526 (java) S 4517 4519 3848 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4527] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 466 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1531864 CPUtime=0.02 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 1648 0 0 0 2 0 0 0 16 0 19 0 932381 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1531864 CPUtime=0.27 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 509 0 0 0 27 0 0 0 15 0 19 0 932383 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1531864 CPUtime=0.29 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1039 0 0 0 29 0 0 0 15 0 19 0 932383 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 932383 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1568628736 12091 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1531864 [startup+6.30129 s] /proc/loadavg: 2.27 2.07 1.94 3/215 4538 /proc/meminfo: memFree=32077760/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1531864 CPUtime=6.89 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 14366 0 1 0 687 2 0 0 17 0 19 0 932379 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382966 13499 1441 10 0 380269 0 [pid=4519/tid=4521] ppid=4517 vsize=1531864 CPUtime=6.24 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 6375 0 1 0 623 1 0 0 25 0 19 0 932379 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4109716240 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 440 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4523] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4523/stat : 4523 (java) S 4517 4519 3848 0 -1 4202560 1330 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4524] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4524/stat : 4524 (java) S 4517 4519 3848 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4525] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4525/stat : 4525 (java) S 4517 4519 3848 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4526] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4526/stat : 4526 (java) S 4517 4519 3848 0 -1 4202560 398 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4527] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 226 0 0 0 0 0 0 0 16 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 466 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1531864 CPUtime=0.03 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 2248 0 0 0 3 0 0 0 15 0 19 0 932381 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1531864 CPUtime=0.27 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 509 0 0 0 27 0 0 0 15 0 19 0 932383 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1531864 CPUtime=0.3 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1040 0 0 0 30 0 0 0 15 0 19 0 932383 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 932383 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1568628736 13499 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 6.89 Current children cumulated vsize (KiB) 1531864 [startup+12.7011 s] /proc/loadavg: 2.25 2.06 1.94 3/215 4538 /proc/meminfo: memFree=32072060/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1531864 CPUtime=13.33 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 15779 0 1 0 1331 2 0 0 17 0 19 0 932379 1568628736 14882 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 382966 14882 1441 10 0 380269 0 [pid=4519/tid=4521] ppid=4517 vsize=1531864 CPUtime=12.6 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 6377 0 1 0 1259 1 0 0 25 0 19 0 932379 1568628736 14882 4089446400 134512640 134550932 4288121296 18446744073709551615 4109627059 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1531864 CPUtime=0 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 663 0 0 0 0 0 0 0 15 0 19 0 932380 1568628736 14882 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=4519/tid=4527] ppid=4517 vsize=1532888 CPUtime=0.67 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 827 0 0 0 61 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1532888 CPUtime=0.63 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 553 0 0 0 59 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1532888 CPUtime=0.79 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 1084 0 0 0 72 7 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1532888 CPUtime=9.25 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 10857 0 0 0 916 9 0 0 15 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1532888 CPUtime=0.3 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 511 0 0 0 30 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1532888 CPUtime=0.32 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1044 0 0 0 32 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1726.84 Current children cumulated vsize (KiB) 1532888 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/215 4644 /proc/meminfo: memFree=32154700/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1532888 CPUtime=1786.97 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 30674 0 1 0 178636 61 0 0 17 0 19 0 932379 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 383222 29184 1441 10 0 380525 0 [pid=4519/tid=4521] ppid=4517 vsize=1532888 CPUtime=1771.3 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 9194 0 1 0 177126 4 0 0 25 0 19 0 932379 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4109671394 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1532888 CPUtime=0.63 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 1113 0 0 0 58 5 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 0 0 0 0 [pid=4519/tid=4523] ppid=4517 vsize=1532888 CPUtime=0.65 /proc/4519/task/4523/stat : 4523 (java) S 4517 4519 3848 0 -1 4202560 2110 0 0 0 61 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4524] ppid=4517 vsize=1532888 CPUtime=0.63 /proc/4519/task/4524/stat : 4524 (java) S 4517 4519 3848 0 -1 4202560 612 0 0 0 59 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 7 0 0 0 [pid=4519/tid=4525] ppid=4517 vsize=1532888 CPUtime=0.64 /proc/4519/task/4525/stat : 4525 (java) S 4517 4519 3848 0 -1 4202560 299 0 0 0 58 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4526] ppid=4517 vsize=1532888 CPUtime=0.68 /proc/4519/task/4526/stat : 4526 (java) S 4517 4519 3848 0 -1 4202560 1300 0 0 0 63 5 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4527] ppid=4517 vsize=1532888 CPUtime=0.68 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 827 0 0 0 62 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 7 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1532888 CPUtime=0.64 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 553 0 0 0 60 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1532888 CPUtime=0.82 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 1084 0 0 0 75 7 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1532888 CPUtime=9.57 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 10859 0 0 0 947 10 0 0 15 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1532888 CPUtime=0.3 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 511 0 0 0 30 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1532888 CPUtime=0.32 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1044 0 0 0 32 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1786.97 Current children cumulated vsize (KiB) 1532888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.3 s] /proc/loadavg: 2.00 2.00 1.95 3/215 4644 /proc/meminfo: memFree=32154552/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1532888 CPUtime=1800.01 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 30681 0 1 0 179940 61 0 0 17 0 19 0 932379 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 383222 29184 1441 10 0 380525 0 [pid=4519/tid=4521] ppid=4517 vsize=1532888 CPUtime=1784.21 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 9197 0 1 0 178417 4 0 0 25 0 19 0 932379 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4109658056 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1532888 CPUtime=0.63 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 1113 0 0 0 58 5 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 0 0 0 0 [pid=4519/tid=4523] ppid=4517 vsize=1532888 CPUtime=0.66 /proc/4519/task/4523/stat : 4523 (java) S 4517 4519 3848 0 -1 4202560 2110 0 0 0 62 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4524] ppid=4517 vsize=1532888 CPUtime=0.64 /proc/4519/task/4524/stat : 4524 (java) S 4517 4519 3848 0 -1 4202560 612 0 0 0 60 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 7 0 0 0 [pid=4519/tid=4525] ppid=4517 vsize=1532888 CPUtime=0.65 /proc/4519/task/4525/stat : 4525 (java) S 4517 4519 3848 0 -1 4202560 299 0 0 0 59 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4526] ppid=4517 vsize=1532888 CPUtime=0.68 /proc/4519/task/4526/stat : 4526 (java) S 4517 4519 3848 0 -1 4202560 1300 0 0 0 63 5 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4527] ppid=4517 vsize=1532888 CPUtime=0.68 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 827 0 0 0 62 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 7 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1532888 CPUtime=0.64 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 553 0 0 0 60 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1532888 CPUtime=0.83 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 1084 0 0 0 76 7 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1532888 CPUtime=9.65 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 10861 0 0 0 955 10 0 0 15 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1532888 CPUtime=0.3 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 511 0 0 0 30 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1532888 CPUtime=0.32 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1044 0 0 0 32 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1532888 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.3 s] /proc/loadavg: 2.00 2.00 1.95 3/215 4644 /proc/meminfo: memFree=32154552/32951124 swapFree=67111528/67111528 [pid=4519] ppid=4517 vsize=1532888 CPUtime=1800.01 /proc/4519/stat : 4519 (java) S 4517 4519 3848 0 -1 4202496 30681 0 1 0 179940 61 0 0 17 0 19 0 932379 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4519/statm: 383222 29184 1441 10 0 380525 0 [pid=4519/tid=4521] ppid=4517 vsize=1532888 CPUtime=1784.21 /proc/4519/task/4521/stat : 4521 (java) R 4517 4519 3848 0 -1 4202560 9197 0 1 0 178417 4 0 0 25 0 19 0 932379 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4109658056 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4519/tid=4522] ppid=4517 vsize=1532888 CPUtime=0.63 /proc/4519/task/4522/stat : 4522 (java) S 4517 4519 3848 0 -1 4202560 1113 0 0 0 58 5 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 0 0 0 0 [pid=4519/tid=4523] ppid=4517 vsize=1532888 CPUtime=0.66 /proc/4519/task/4523/stat : 4523 (java) S 4517 4519 3848 0 -1 4202560 2110 0 0 0 62 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4524] ppid=4517 vsize=1532888 CPUtime=0.64 /proc/4519/task/4524/stat : 4524 (java) S 4517 4519 3848 0 -1 4202560 612 0 0 0 60 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 7 0 0 0 [pid=4519/tid=4525] ppid=4517 vsize=1532888 CPUtime=0.65 /proc/4519/task/4525/stat : 4525 (java) S 4517 4519 3848 0 -1 4202560 299 0 0 0 59 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4526] ppid=4517 vsize=1532888 CPUtime=0.68 /proc/4519/task/4526/stat : 4526 (java) S 4517 4519 3848 0 -1 4202560 1300 0 0 0 63 5 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 2 0 0 0 [pid=4519/tid=4527] ppid=4517 vsize=1532888 CPUtime=0.68 /proc/4519/task/4527/stat : 4527 (java) S 4517 4519 3848 0 -1 4202560 827 0 0 0 62 6 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 7 0 0 0 [pid=4519/tid=4528] ppid=4517 vsize=1532888 CPUtime=0.64 /proc/4519/task/4528/stat : 4528 (java) S 4517 4519 3848 0 -1 4202560 553 0 0 0 60 4 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4529] ppid=4517 vsize=1532888 CPUtime=0.83 /proc/4519/task/4529/stat : 4529 (java) S 4517 4519 3848 0 -1 4202560 1084 0 0 0 76 7 0 0 15 0 19 0 932380 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 6 0 0 0 [pid=4519/tid=4530] ppid=4517 vsize=1532888 CPUtime=9.65 /proc/4519/task/4530/stat : 4530 (java) S 4517 4519 3848 0 -1 4202560 10861 0 0 0 955 10 0 0 15 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 0 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4531] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4531/stat : 4531 (java) S 4517 4519 3848 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4532] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4532/stat : 4532 (java) S 4517 4519 3848 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 932381 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4533] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4533/stat : 4533 (java) S 4517 4519 3848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 1 0 0 0 [pid=4519/tid=4534] ppid=4517 vsize=1532888 CPUtime=0.3 /proc/4519/task/4534/stat : 4534 (java) S 4517 4519 3848 0 -1 4202560 511 0 0 0 30 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 [pid=4519/tid=4535] ppid=4517 vsize=1532888 CPUtime=0.32 /proc/4519/task/4535/stat : 4535 (java) S 4517 4519 3848 0 -1 4202560 1044 0 0 0 32 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4536] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4536/stat : 4536 (java) S 4517 4519 3848 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 3 0 0 0 [pid=4519/tid=4537] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4537/stat : 4537 (java) S 4517 4519 3848 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 932383 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 5 0 0 0 [pid=4519/tid=4538] ppid=4517 vsize=1532888 CPUtime=0 /proc/4519/task/4538/stat : 4538 (java) S 4517 4519 3848 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 932396 1569677312 29184 4089446400 134512640 134550932 4288121296 18446744073709551615 4294960144 0 4 0 16800975 18446604471124558144 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1532888 Child status: 143 Real time (s): 1795.37 CPU time (s): 1800.11 CPU user time (s): 1799.48 CPU system time (s): 0.623905 CPU usage (%): 100.264 Max. virtual memory (cumulated for all children) (KiB): 1532888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.623905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30740 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= 48566 involuntary context switches= 200129 runsolver used 2.93155 second user time and 6.28904 second system time The end
Begin job on node146 at 2010-07-05 12:53:14 IDJOB=2698595 IDBENCH=79184 IDSOLVER=1211 FILE ID=node146/2698595-1278327194 PBS_JOBID= 11207413 Free space on /tmp= 74128 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698595-1278327194/watcher-2698595-1278327194 -o /tmp/evaluation-result-2698595-1278327194/solver-2698595-1278327194 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698595-1278327194.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 169186b65db4bc0391cc8aa4ed776345 RANDOM SEED=535971189 node146.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.870 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.870 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32126400 kB Buffers: 25860 kB Cached: 365432 kB SwapCached: 0 kB Active: 417216 kB Inactive: 306632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32126400 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 500 kB Writeback: 0 kB AnonPages: 332732 kB Mapped: 20344 kB Slab: 36000 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648016 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74128 MiB End job on node146 at 2010-07-05 13:23:12