Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | MSAT (TO) | 1800.12 | 1795.26 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo |
MD5SUM | 19fe712a4f6ee0b978bb364f3985a5e4 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.074987 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1640 |
Total number of constraints | 81 |
Number of soft constraints | 81 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
Top cost | 4603 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 4602 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
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.04/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.06 c See www.sat4j.org for details. 0.04/0.07 c version 2.2.0.v20100526 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.07 c java.vm.version 11.2-b01 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 32 0.04/0.07 c java.version 1.6.0_12 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch i386 0.04/0.07 c Free memory 1393557488 0.04/0.07 c Max memory 1395916800 0.04/0.07 c Total memory 1395916800 0.04/0.07 c Number of processors 8 0.04/0.10 c Pseudo Boolean Optimization 0.04/0.10 c --- Begin Solver configuration --- 0.04/0.10 c Stops conflict analysis at the first Unique Implication Point 0.04/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.04/0.10 c Learn all clauses as in MiniSAT 0.04/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.04/0.10 c Expensive reason simplification 0.04/0.10 c Armin Biere (Picosat) restarts strategy 0.04/0.10 c Glucose learned constraints deletion strategy 0.04/0.10 c timeout=2147483s 0.04/0.10 c DB Simplification allowed=false 0.04/0.10 c --- End Solver configuration --- 0.04/0.10 c solving HOME/instance-2691345-1277921097.wbo 0.04/0.10 c reading problem ... 0.11/0.18 c ... done. Wall clock time 0.09s. 0.11/0.18 c #vars 1721 0.11/0.18 c #constraints 81 0.11/0.18 c constraints type 0.11/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41 0.11/0.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 40 0.57/0.35 c SATISFIABLE 0.57/0.35 c OPTIMIZING... 0.57/0.35 c Got one! Elapsed wall clock time (in seconds):0.256 0.57/0.35 o 83 0.77/0.43 c Got one! Elapsed wall clock time (in seconds):0.331 0.77/0.43 o 7 0.90/0.56 c Got one! Elapsed wall clock time (in seconds):0.462 0.90/0.56 o 4 1.04/0.63 c Got one! Elapsed wall clock time (in seconds):0.538 1.04/0.63 o 1 1.55/1.13 c cleaning 2489 clauses out of 5001 with flag 5001/5001 2.90/2.49 c cleaning 4243 clauses out of 8511 with flag 11000/11000 5.12/4.68 c cleaning 5571 clauses out of 11269 with flag 18001/18001 7.23/6.70 c cleaning 6823 clauses out of 13698 with flag 26001/26001 10.48/9.94 c cleaning 7912 clauses out of 15876 with flag 35002/35002 13.08/12.52 c cleaning 8954 clauses out of 17965 with flag 45003/45003 16.09/15.58 c cleaning 9471 clauses out of 19009 with flag 55001/55001 19.80/19.23 c cleaning 9731 clauses out of 19537 with flag 65000/65000 25.02/24.46 c cleaning 9874 clauses out of 19807 with flag 75001/75001 27.84/27.22 c cleaning 9953 clauses out of 19935 with flag 85003/85003 31.15/30.50 c cleaning 9958 clauses out of 19981 with flag 95002/95002 35.36/34.77 c cleaning 9954 clauses out of 20022 with flag 105001/105001 40.67/40.02 c cleaning 10012 clauses out of 20069 with flag 115002/115002 43.09/42.43 c cleaning 10006 clauses out of 20057 with flag 125002/125002 46.50/45.87 c cleaning 9975 clauses out of 20050 with flag 135001/135001 50.62/49.96 c cleaning 9989 clauses out of 20075 with flag 145001/145001 54.63/53.92 c cleaning 10041 clauses out of 20088 with flag 155003/155003 57.43/56.78 c cleaning 10003 clauses out of 20044 with flag 165000/165000 60.54/59.88 c cleaning 9995 clauses out of 20044 with flag 175003/175003 63.36/62.61 c cleaning 9998 clauses out of 20047 with flag 185001/185001 66.67/65.93 c cleaning 10006 clauses out of 20050 with flag 195002/195002 70.37/69.66 c cleaning 9999 clauses out of 20044 with flag 205002/205002 73.29/72.59 c cleaning 10005 clauses out of 20045 with flag 215002/215002 77.00/76.25 c cleaning 10000 clauses out of 20038 with flag 225000/225000 80.31/79.55 c cleaning 9994 clauses out of 20038 with flag 235000/235000 85.02/84.29 c cleaning 10004 clauses out of 20046 with flag 245002/245002 89.13/88.37 c cleaning 9995 clauses out of 20041 with flag 255001/255001 91.94/91.11 c cleaning 10001 clauses out of 20047 with flag 265002/265002 95.46/94.69 c cleaning 9987 clauses out of 20044 with flag 275000/275000 99.96/99.17 c cleaning 9984 clauses out of 20058 with flag 285001/285001 103.98/103.17 c cleaning 10021 clauses out of 20073 with flag 295000/295000 107.99/107.12 c cleaning 10005 clauses out of 20054 with flag 305002/305002 112.52/111.63 c cleaning 10003 clauses out of 20048 with flag 315001/315001 116.52/115.69 c cleaning 10001 clauses out of 20045 with flag 325001/325001 122.73/121.85 c cleaning 9985 clauses out of 20044 with flag 335001/335001 129.46/128.50 c cleaning 10010 clauses out of 20063 with flag 345005/345005 133.19/132.25 c cleaning 9988 clauses out of 20048 with flag 355000/355000 137.41/136.40 c cleaning 9995 clauses out of 20064 with flag 365004/365004 141.82/140.82 c cleaning 9997 clauses out of 20067 with flag 375002/375002 146.13/145.10 c cleaning 9996 clauses out of 20069 with flag 385001/385001 149.54/148.57 c cleaning 9995 clauses out of 20072 with flag 395000/395000 152.64/151.62 c cleaning 10017 clauses out of 20077 with flag 405000/405000 156.06/155.04 c cleaning 10015 clauses out of 20063 with flag 415003/415003 159.97/158.92 c cleaning 10009 clauses out of 20046 with flag 425001/425001 162.99/161.94 c cleaning 9998 clauses out of 20036 with flag 435000/435000 166.80/165.76 c cleaning 9996 clauses out of 20041 with flag 445003/445003 170.61/169.52 c cleaning 10005 clauses out of 20043 with flag 455001/455001 175.52/174.46 c cleaning 9979 clauses out of 20039 with flag 465002/465002 181.73/180.65 c cleaning 10024 clauses out of 20059 with flag 475001/475001 185.45/184.32 c cleaning 9986 clauses out of 20034 with flag 485000/485000 189.28/188.15 c cleaning 9994 clauses out of 20048 with flag 495000/495000 193.08/191.92 c cleaning 9997 clauses out of 20054 with flag 505000/505000 196.49/195.36 c cleaning 9998 clauses out of 20057 with flag 515000/515000 200.09/198.91 c cleaning 10017 clauses out of 20059 with flag 525000/525000 204.81/203.63 c cleaning 10012 clauses out of 20044 with flag 535002/535002 209.92/208.75 c cleaning 10003 clauses out of 20032 with flag 545002/545002 215.43/214.28 c cleaning 10000 clauses out of 20032 with flag 555005/555005 220.84/219.63 c cleaning 10001 clauses out of 20027 with flag 565000/565000 225.56/224.33 c cleaning 10003 clauses out of 20027 with flag 575001/575001 230.56/229.31 c cleaning 10002 clauses out of 20024 with flag 585001/585001 233.37/232.18 c cleaning 9975 clauses out of 20022 with flag 595001/595001 237.38/236.14 c cleaning 9984 clauses out of 20047 with flag 605001/605001 241.31/240.04 c cleaning 9978 clauses out of 20063 with flag 615001/615001 247.32/246.01 c cleaning 9940 clauses out of 20085 with flag 625001/625001 250.85/249.52 c cleaning 10067 clauses out of 20145 with flag 635001/635001 254.47/253.12 c cleaning 9988 clauses out of 20077 with flag 645000/645000 259.38/258.03 c cleaning 9948 clauses out of 20090 with flag 655001/655001 267.00/265.60 c cleaning 9957 clauses out of 20142 with flag 665001/665001 273.02/271.63 c cleaning 10033 clauses out of 20184 with flag 675000/675000 278.83/277.47 c cleaning 10009 clauses out of 20152 with flag 685001/685001 284.05/282.64 c cleaning 10001 clauses out of 20142 with flag 695000/695000 289.58/288.18 c cleaning 10010 clauses out of 20142 with flag 705001/705001 294.98/293.57 c cleaning 10010 clauses out of 20135 with flag 715004/715004 299.60/298.13 c cleaning 10046 clauses out of 20121 with flag 725000/725000 304.90/303.49 c cleaning 10026 clauses out of 20078 with flag 735003/735003 310.52/309.03 c cleaning 9996 clauses out of 20049 with flag 745000/745000 316.72/315.29 c cleaning 10015 clauses out of 20055 with flag 755002/755002 322.14/320.66 c cleaning 10004 clauses out of 20039 with flag 765001/765001 327.95/326.41 c cleaning 10007 clauses out of 20035 with flag 775001/775001 333.06/331.54 c cleaning 9987 clauses out of 20028 with flag 785001/785001 338.08/336.50 c cleaning 9988 clauses out of 20042 with flag 795002/795002 342.18/340.66 c cleaning 10002 clauses out of 20055 with flag 805003/805003 346.39/344.85 c cleaning 9992 clauses out of 20050 with flag 815000/815000 351.60/350.08 c cleaning 9999 clauses out of 20058 with flag 825000/825000 356.31/354.78 c cleaning 10003 clauses out of 20060 with flag 835001/835001 361.32/359.74 c cleaning 10000 clauses out of 20056 with flag 845000/845000 366.73/365.15 c cleaning 10001 clauses out of 20056 with flag 855000/855000 372.05/370.45 c cleaning 9997 clauses out of 20057 with flag 865002/865002 376.76/375.19 c cleaning 9997 clauses out of 20060 with flag 875002/875002 380.57/378.95 c cleaning 10027 clauses out of 20062 with flag 885001/885001 383.69/382.04 c cleaning 9991 clauses out of 20040 with flag 895006/895006 387.00/385.32 c cleaning 9986 clauses out of 20044 with flag 905001/905001 389.83/388.19 c cleaning 9994 clauses out of 20060 with flag 915003/915003 393.25/391.52 c cleaning 9995 clauses out of 20066 with flag 925003/925003 396.96/395.29 c cleaning 9997 clauses out of 20072 with flag 935004/935004 400.07/398.36 c cleaning 9976 clauses out of 20073 with flag 945002/945002 404.69/402.94 c cleaning 9993 clauses out of 20098 with flag 955003/955003 409.71/408.00 c cleaning 10017 clauses out of 20102 with flag 965000/965000 413.41/411.65 c cleaning 10020 clauses out of 20085 with flag 975000/975000 417.53/415.80 c cleaning 10009 clauses out of 20066 with flag 985001/985001 421.14/419.35 c cleaning 10009 clauses out of 20061 with flag 995005/995005 425.15/423.35 c cleaning 10001 clauses out of 20048 with flag 1005001/1005001 428.86/427.09 c cleaning 10009 clauses out of 20046 with flag 1015000/1015000 433.68/431.90 c cleaning 10007 clauses out of 20040 with flag 1025003/1025003 438.19/436.37 c cleaning 10001 clauses out of 20032 with flag 1035002/1035002 442.30/440.49 c cleaning 10002 clauses out of 20032 with flag 1045003/1045003 446.71/444.87 c cleaning 10001 clauses out of 20027 with flag 1055000/1055000 450.83/448.90 c cleaning 10000 clauses out of 20027 with flag 1065001/1065001 455.14/453.26 c cleaning 9994 clauses out of 20026 with flag 1075000/1075000 458.55/456.62 c cleaning 9999 clauses out of 20033 with flag 1085001/1085001 463.26/461.34 c cleaning 10003 clauses out of 20039 with flag 1095006/1095006 468.07/466.10 c cleaning 9990 clauses out of 20030 with flag 1105000/1105000 472.17/470.22 c cleaning 10001 clauses out of 20041 with flag 1115001/1115001 476.98/475.00 c cleaning 9999 clauses out of 20040 with flag 1125001/1125001 482.59/480.60 c cleaning 10003 clauses out of 20041 with flag 1135001/1135001 488.70/486.78 c cleaning 9990 clauses out of 20037 with flag 1145000/1145000 495.83/493.82 c cleaning 10004 clauses out of 20047 with flag 1155000/1155000 502.23/500.28 c cleaning 10000 clauses out of 20043 with flag 1165000/1165000 509.15/507.11 c cleaning 9991 clauses out of 20043 with flag 1175000/1175000 513.56/511.54 c cleaning 10009 clauses out of 20057 with flag 1185005/1185005 519.18/517.14 c cleaning 9998 clauses out of 20044 with flag 1195001/1195001 524.39/522.38 c cleaning 10004 clauses out of 20045 with flag 1205000/1205000 529.60/527.55 c cleaning 9997 clauses out of 20041 with flag 1215000/1215000 534.81/532.78 c cleaning 10006 clauses out of 20050 with flag 1225006/1225006 539.62/537.55 c cleaning 9998 clauses out of 20038 with flag 1235000/1235000 544.34/542.23 c cleaning 10003 clauses out of 20045 with flag 1245005/1245005 549.44/547.32 c cleaning 9999 clauses out of 20037 with flag 1255000/1255000 555.16/553.02 c cleaning 10000 clauses out of 20039 with flag 1265001/1265001 560.18/558.02 c cleaning 9990 clauses out of 20038 with flag 1275000/1275000 565.29/563.20 c cleaning 10007 clauses out of 20052 with flag 1285004/1285004 571.20/569.04 c cleaning 9999 clauses out of 20042 with flag 1295001/1295001 576.61/574.47 c cleaning 10004 clauses out of 20047 with flag 1305005/1305005 581.71/579.60 c cleaning 9984 clauses out of 20038 with flag 1315000/1315000 587.01/584.80 c cleaning 10006 clauses out of 20055 with flag 1325001/1325001 589.53/587.31 c cleaning 10019 clauses out of 20048 with flag 1335000/1335000 592.33/590.13 c cleaning 9960 clauses out of 20029 with flag 1345000/1345000 596.26/594.02 c cleaning 9982 clauses out of 20071 with flag 1355002/1355002 603.27/601.00 c cleaning 10005 clauses out of 20089 with flag 1365002/1365002 609.70/607.49 c cleaning 10004 clauses out of 20082 with flag 1375000/1375000 615.02/612.79 c cleaning 10028 clauses out of 20078 with flag 1385000/1385000 619.53/617.20 c cleaning 10012 clauses out of 20051 with flag 1395001/1395001 623.95/621.68 c cleaning 10007 clauses out of 20039 with flag 1405001/1405001 627.95/625.61 c cleaning 9974 clauses out of 20036 with flag 1415005/1415005 634.06/631.75 c cleaning 10020 clauses out of 20060 with flag 1425003/1425003 639.38/637.04 c cleaning 10004 clauses out of 20038 with flag 1435001/1435001 645.50/643.15 c cleaning 10005 clauses out of 20037 with flag 1445004/1445004 652.02/649.60 c cleaning 10003 clauses out of 20028 with flag 1455000/1455000 656.13/653.78 c cleaning 9978 clauses out of 20030 with flag 1465005/1465005 660.94/658.54 c cleaning 9992 clauses out of 20048 with flag 1475001/1475001 665.26/662.84 c cleaning 9997 clauses out of 20055 with flag 1485000/1485000 669.17/666.79 c cleaning 9999 clauses out of 20061 with flag 1495003/1495003 673.48/671.02 c cleaning 9997 clauses out of 20059 with flag 1505000/1505000 677.18/674.79 c cleaning 10000 clauses out of 20063 with flag 1515001/1515001 680.99/678.50 c cleaning 10021 clauses out of 20063 with flag 1525001/1525001 685.70/683.29 c cleaning 10012 clauses out of 20045 with flag 1535004/1535004 691.12/688.65 c cleaning 10004 clauses out of 20029 with flag 1545000/1545000 696.64/694.19 c cleaning 10000 clauses out of 20027 with flag 1555002/1555002 701.84/699.34 c cleaning 10003 clauses out of 20025 with flag 1565000/1565000 707.45/704.92 c cleaning 10003 clauses out of 20028 with flag 1575006/1575006 712.66/710.14 c cleaning 10000 clauses out of 20019 with flag 1585000/1585000 718.07/715.55 c cleaning 10001 clauses out of 20022 with flag 1595003/1595003 722.68/720.17 c cleaning 9997 clauses out of 20019 with flag 1605001/1605001 728.40/725.88 c cleaning 10003 clauses out of 20024 with flag 1615003/1615003 732.61/730.06 c cleaning 9984 clauses out of 20019 with flag 1625001/1625001 737.93/735.32 c cleaning 9988 clauses out of 20034 with flag 1635000/1635000 743.54/740.98 c cleaning 9998 clauses out of 20047 with flag 1645001/1645001 749.46/746.83 c cleaning 9997 clauses out of 20049 with flag 1655001/1655001 754.76/752.11 c cleaning 9991 clauses out of 20052 with flag 1665001/1665001 760.37/757.73 c cleaning 10008 clauses out of 20067 with flag 1675007/1675007 765.38/762.78 c cleaning 10001 clauses out of 20054 with flag 1685002/1685002 770.50/767.90 c cleaning 10001 clauses out of 20053 with flag 1695002/1695002 776.20/773.56 c cleaning 10001 clauses out of 20051 with flag 1705001/1705001 781.42/778.75 c cleaning 9996 clauses out of 20049 with flag 1715000/1715000 786.12/783.40 c cleaning 10003 clauses out of 20057 with flag 1725004/1725004 791.73/789.07 c cleaning 10001 clauses out of 20054 with flag 1735004/1735004 797.43/794.72 c cleaning 9999 clauses out of 20049 with flag 1745000/1745000 803.25/800.52 c cleaning 9999 clauses out of 20050 with flag 1755000/1755000 808.66/805.93 c cleaning 10001 clauses out of 20051 with flag 1765000/1765000 812.66/809.91 c cleaning 9997 clauses out of 20050 with flag 1775000/1775000 816.77/814.06 c cleaning 9995 clauses out of 20054 with flag 1785001/1785001 821.78/819.01 c cleaning 10001 clauses out of 20059 with flag 1795001/1795001 826.79/824.05 c cleaning 9989 clauses out of 20057 with flag 1805000/1805000 832.21/829.41 c cleaning 10011 clauses out of 20069 with flag 1815001/1815001 837.51/834.76 c cleaning 9994 clauses out of 20058 with flag 1825001/1825001 841.73/838.99 c cleaning 10006 clauses out of 20065 with flag 1835002/1835002 846.04/843.24 c cleaning 10002 clauses out of 20060 with flag 1845003/1845003 850.96/848.18 c cleaning 9992 clauses out of 20057 with flag 1855002/1855002 856.06/853.25 c cleaning 10008 clauses out of 20064 with flag 1865001/1865001 861.17/858.36 c cleaning 9986 clauses out of 20057 with flag 1875002/1875002 865.98/863.17 c cleaning 10007 clauses out of 20070 with flag 1885001/1885001 870.88/868.06 c cleaning 10002 clauses out of 20063 with flag 1895001/1895001 876.48/873.67 c cleaning 10004 clauses out of 20062 with flag 1905002/1905002 881.80/878.91 c cleaning 9996 clauses out of 20056 with flag 1915000/1915000 886.60/883.71 c cleaning 10000 clauses out of 20061 with flag 1925001/1925001 891.73/888.85 c cleaning 10004 clauses out of 20062 with flag 1935002/1935002 897.52/894.65 c cleaning 10001 clauses out of 20056 with flag 1945000/1945000 903.55/900.68 c cleaning 9991 clauses out of 20055 with flag 1955000/1955000 909.76/906.85 c cleaning 10008 clauses out of 20066 with flag 1965002/1965002 914.88/911.96 c cleaning 10001 clauses out of 20056 with flag 1975000/1975000 920.87/917.98 c cleaning 9989 clauses out of 20059 with flag 1985004/1985004 924.39/921.44 c cleaning 10016 clauses out of 20070 with flag 1995004/1995004 927.02/924.07 c cleaning 10003 clauses out of 20054 with flag 2005004/2005004 930.82/927.81 c cleaning 9998 clauses out of 20050 with flag 2015003/2015003 934.64/931.68 c cleaning 10006 clauses out of 20049 with flag 2025000/2025000 937.65/934.68 c cleaning 9992 clauses out of 20044 with flag 2035001/2035001 941.46/938.44 c cleaning 9995 clauses out of 20053 with flag 2045002/2045002 944.88/941.83 c cleaning 10009 clauses out of 20056 with flag 2055000/2055000 949.59/946.50 c cleaning 10005 clauses out of 20047 with flag 2065000/2065000 953.90/950.88 c cleaning 9997 clauses out of 20042 with flag 2075000/2075000 957.61/954.54 c cleaning 10001 clauses out of 20045 with flag 2085000/2085000 962.33/959.29 c cleaning 10002 clauses out of 20045 with flag 2095001/2095001 966.34/963.21 c cleaning 9999 clauses out of 20042 with flag 2105000/2105000 971.05/967.96 c cleaning 10000 clauses out of 20043 with flag 2115000/2115000 975.56/972.45 c cleaning 9999 clauses out of 20043 with flag 2125000/2125000 982.78/979.69 c cleaning 10004 clauses out of 20047 with flag 2135003/2135003 988.20/985.02 c cleaning 9999 clauses out of 20040 with flag 2145000/2145000 993.01/989.82 c cleaning 9994 clauses out of 20041 with flag 2155000/2155000 998.32/995.14 c cleaning 10009 clauses out of 20051 with flag 2165004/2165004 1004.03/1000.80 c cleaning 9997 clauses out of 20039 with flag 2175001/2175001 1009.44/1006.27 c cleaning 9992 clauses out of 20042 with flag 2185001/2185001 1014.06/1010.81 c cleaning 10002 clauses out of 20054 with flag 2195005/2195005 1019.98/1016.77 c cleaning 9993 clauses out of 20049 with flag 2205002/2205002 1025.89/1022.66 c cleaning 10000 clauses out of 20054 with flag 2215000/2215000 1031.60/1028.32 c cleaning 10000 clauses out of 20054 with flag 2225000/2225000 1037.00/1033.72 c cleaning 9997 clauses out of 20056 with flag 2235002/2235002 1042.32/1039.00 c cleaning 10002 clauses out of 20057 with flag 2245000/2245000 1047.62/1044.30 c cleaning 10005 clauses out of 20062 with flag 2255007/2255007 1052.23/1048.95 c cleaning 10004 clauses out of 20055 with flag 2265005/2265005 1059.15/1055.85 c cleaning 9987 clauses out of 20046 with flag 2275000/2275000 1063.96/1060.70 c cleaning 10004 clauses out of 20062 with flag 2285003/2285003 1068.26/1064.92 c cleaning 10014 clauses out of 20055 with flag 2295000/2295000 1073.17/1069.88 c cleaning 10002 clauses out of 20041 with flag 2305000/2305000 1077.88/1074.57 c cleaning 10004 clauses out of 20040 with flag 2315001/2315001 1082.59/1079.29 c cleaning 10003 clauses out of 20036 with flag 2325001/2325001 1087.21/1083.86 c cleaning 10002 clauses out of 20036 with flag 2335004/2335004 1091.62/1088.20 c cleaning 10001 clauses out of 20032 with flag 2345002/2345002 1097.22/1093.83 c cleaning 10000 clauses out of 20034 with flag 2355005/2355005 1101.53/1098.17 c cleaning 10001 clauses out of 20031 with flag 2365002/2365002 1106.14/1102.77 c cleaning 9998 clauses out of 20029 with flag 2375001/2375001 1110.45/1107.03 c cleaning 9999 clauses out of 20030 with flag 2385000/2385000 1115.16/1111.75 c cleaning 9999 clauses out of 20035 with flag 2395004/2395004 1120.07/1116.61 c cleaning 10001 clauses out of 20032 with flag 2405000/2405000 1125.08/1121.65 c cleaning 10003 clauses out of 20034 with flag 2415003/2415003 1129.90/1126.49 c cleaning 9997 clauses out of 20028 with flag 2425000/2425000 1135.10/1131.68 c cleaning 9998 clauses out of 20038 with flag 2435007/2435007 1139.12/1135.64 c cleaning 9991 clauses out of 20034 with flag 2445001/2445001 1143.73/1140.20 c cleaning 9993 clauses out of 20042 with flag 2455000/2455000 1148.74/1145.29 c cleaning 10006 clauses out of 20055 with flag 2465006/2465006 1153.35/1149.88 c cleaning 10000 clauses out of 20046 with flag 2475003/2475003 1158.16/1154.69 c cleaning 9986 clauses out of 20043 with flag 2485000/2485000 1163.58/1160.05 c cleaning 9982 clauses out of 20057 with flag 2495000/2495000 1168.50/1164.99 c cleaning 9997 clauses out of 20075 with flag 2505000/2505000 1175.49/1171.98 c cleaning 9992 clauses out of 20078 with flag 2515000/2515000 1181.61/1178.04 c cleaning 9994 clauses out of 20086 with flag 2525000/2525000 1189.71/1186.14 c cleaning 9985 clauses out of 20092 with flag 2535000/2535000 1196.21/1192.68 c cleaning 10009 clauses out of 20112 with flag 2545005/2545005 1202.72/1199.19 c cleaning 9987 clauses out of 20099 with flag 2555001/2555001 1208.34/1204.76 c cleaning 10005 clauses out of 20113 with flag 2565002/2565002 1215.44/1211.83 c cleaning 10007 clauses out of 20114 with flag 2575008/2575008 1221.67/1218.04 c cleaning 9978 clauses out of 20099 with flag 2585000/2585000 1227.57/1223.97 c cleaning 10011 clauses out of 20125 with flag 2595004/2595004 1235.18/1231.57 c cleaning 9997 clauses out of 20114 with flag 2605004/2605004 1242.30/1238.66 c cleaning 10005 clauses out of 20114 with flag 2615001/2615001 1248.12/1244.50 c cleaning 9998 clauses out of 20109 with flag 2625001/2625001 1255.32/1251.68 c cleaning 9982 clauses out of 20113 with flag 2635003/2635003 1261.14/1257.43 c cleaning 10012 clauses out of 20132 with flag 2645004/2645004 1267.04/1263.33 c cleaning 9989 clauses out of 20116 with flag 2655000/2655000 1271.86/1268.20 c cleaning 10033 clauses out of 20127 with flag 2665000/2665000 1277.07/1273.35 c cleaning 10021 clauses out of 20094 with flag 2675000/2675000 1282.29/1278.57 c cleaning 10010 clauses out of 20077 with flag 2685004/2685004 1287.30/1283.60 c cleaning 10004 clauses out of 20064 with flag 2695001/2695001 1292.50/1288.75 c cleaning 10000 clauses out of 20060 with flag 2705001/2705001 1297.71/1293.95 c cleaning 10003 clauses out of 20059 with flag 2715000/2715000 1302.82/1299.02 c cleaning 9998 clauses out of 20056 with flag 2725000/2725000 1307.82/1304.08 c cleaning 10001 clauses out of 20059 with flag 2735001/2735001 1312.64/1308.84 c cleaning 10000 clauses out of 20058 with flag 2745001/2745001 1317.64/1313.81 c cleaning 10000 clauses out of 20057 with flag 2755000/2755000 1321.74/1317.96 c cleaning 10000 clauses out of 20057 with flag 2765000/2765000 1326.55/1322.78 c cleaning 10001 clauses out of 20057 with flag 2775000/2775000 1331.95/1328.12 c cleaning 10004 clauses out of 20058 with flag 2785002/2785002 1337.06/1333.24 c cleaning 10001 clauses out of 20053 with flag 2795001/2795001 1341.67/1337.88 c cleaning 9999 clauses out of 20054 with flag 2805003/2805003 1346.18/1342.38 c cleaning 9999 clauses out of 20052 with flag 2815000/2815000 1351.09/1347.24 c cleaning 10000 clauses out of 20055 with flag 2825002/2825002 1355.50/1351.67 c cleaning 9995 clauses out of 20053 with flag 2835000/2835000 1360.01/1356.18 c cleaning 9998 clauses out of 20058 with flag 2845000/2845000 1364.62/1360.74 c cleaning 10004 clauses out of 20061 with flag 2855001/2855001 1369.74/1365.86 c cleaning 9999 clauses out of 20056 with flag 2865000/2865000 1374.24/1370.35 c cleaning 10002 clauses out of 20057 with flag 2875000/2875000 1379.15/1375.20 c cleaning 9998 clauses out of 20057 with flag 2885002/2885002 1383.76/1379.84 c cleaning 9996 clauses out of 20057 with flag 2895000/2895000 1388.57/1384.61 c cleaning 10004 clauses out of 20063 with flag 2905002/2905002 1392.87/1388.99 c cleaning 9997 clauses out of 20057 with flag 2915000/2915000 1396.67/1392.75 c cleaning 10000 clauses out of 20061 with flag 2925001/2925001 1400.98/1397.03 c cleaning 10001 clauses out of 20062 with flag 2935002/2935002 1405.18/1401.28 c cleaning 9998 clauses out of 20059 with flag 2945000/2945000 1409.49/1405.51 c cleaning 10003 clauses out of 20062 with flag 2955001/2955001 1413.99/1410.00 c cleaning 10000 clauses out of 20059 with flag 2965001/2965001 1417.70/1413.77 c cleaning 10002 clauses out of 20061 with flag 2975003/2975003 1422.70/1418.73 c cleaning 10000 clauses out of 20057 with flag 2985001/2985001 1425.42/1421.49 c cleaning 9993 clauses out of 20056 with flag 2995000/2995000 1428.63/1424.64 c cleaning 10021 clauses out of 20066 with flag 3005003/3005003 1432.75/1428.76 c cleaning 9993 clauses out of 20043 with flag 3015001/3015001 1437.68/1433.62 c cleaning 9995 clauses out of 20049 with flag 3025000/3025000 1442.59/1438.56 c cleaning 10004 clauses out of 20054 with flag 3035000/3035000 1447.50/1443.41 c cleaning 10000 clauses out of 20052 with flag 3045002/3045002 1452.81/1448.79 c cleaning 9999 clauses out of 20051 with flag 3055001/3055001 1458.12/1454.06 c cleaning 10015 clauses out of 20052 with flag 3065001/3065001 1466.04/1461.99 c cleaning 10006 clauses out of 20036 with flag 3075000/3075000 1470.65/1466.51 c cleaning 9995 clauses out of 20030 with flag 3085000/3085000 1475.26/1471.11 c cleaning 9991 clauses out of 20036 with flag 3095001/3095001 1479.78/1475.67 c cleaning 10002 clauses out of 20047 with flag 3105003/3105003 1484.29/1480.13 c cleaning 9999 clauses out of 20042 with flag 3115000/3115000 1488.39/1484.21 c cleaning 9999 clauses out of 20044 with flag 3125001/3125001 1494.10/1490.00 c cleaning 10000 clauses out of 20044 with flag 3135000/3135000 1499.52/1495.30 c cleaning 10004 clauses out of 20044 with flag 3145000/3145000 1504.94/1500.79 c cleaning 9997 clauses out of 20040 with flag 3155000/3155000 1511.05/1506.83 c cleaning 10007 clauses out of 20046 with flag 3165003/3165003 1516.68/1512.40 c cleaning 9997 clauses out of 20037 with flag 3175001/3175001 1522.48/1518.21 c cleaning 10005 clauses out of 20043 with flag 3185004/3185004 1527.30/1523.06 c cleaning 10005 clauses out of 20034 with flag 3195000/3195000 1531.91/1527.61 c cleaning 10001 clauses out of 20031 with flag 3205002/3205002 1536.72/1532.41 c cleaning 10001 clauses out of 20028 with flag 3215000/3215000 1541.94/1537.70 c cleaning 10001 clauses out of 20027 with flag 3225000/3225000 1547.14/1542.90 c cleaning 10001 clauses out of 20026 with flag 3235000/3235000 1552.35/1548.05 c cleaning 9998 clauses out of 20025 with flag 3245000/3245000 1557.26/1552.94 c cleaning 10000 clauses out of 20029 with flag 3255002/3255002 1562.17/1557.86 c cleaning 9996 clauses out of 20030 with flag 3265003/3265003 1566.78/1562.45 c cleaning 10003 clauses out of 20031 with flag 3275000/3275000 1571.08/1566.79 c cleaning 9990 clauses out of 20029 with flag 3285001/3285001 1576.40/1572.08 c cleaning 10001 clauses out of 20041 with flag 3295003/3295003 1582.31/1577.90 c cleaning 9989 clauses out of 20038 with flag 3305001/3305001 1589.23/1584.84 c cleaning 9986 clauses out of 20048 with flag 3315000/3315000 1595.25/1590.82 c cleaning 10004 clauses out of 20062 with flag 3325000/3325000 1601.77/1597.30 c cleaning 10010 clauses out of 20063 with flag 3335005/3335005 1607.48/1603.01 c cleaning 9997 clauses out of 20049 with flag 3345001/3345001 1613.39/1608.93 c cleaning 10004 clauses out of 20054 with flag 3355003/3355003 1619.79/1615.31 c cleaning 9988 clauses out of 20047 with flag 3365000/3365000 1625.11/1620.60 c cleaning 9991 clauses out of 20059 with flag 3375000/3375000 1634.01/1629.57 c cleaning 10003 clauses out of 20069 with flag 3385001/3385001 1639.74/1635.27 c cleaning 10011 clauses out of 20067 with flag 3395002/3395002 1646.14/1641.64 c cleaning 10005 clauses out of 20054 with flag 3405000/3405000 1652.25/1647.72 c cleaning 10007 clauses out of 20054 with flag 3415005/3415005 1658.86/1654.33 c cleaning 9995 clauses out of 20042 with flag 3425000/3425000 1664.75/1660.22 c cleaning 10009 clauses out of 20049 with flag 3435002/3435002 1670.16/1665.61 c cleaning 9997 clauses out of 20038 with flag 3445000/3445000 1675.29/1670.77 c cleaning 10005 clauses out of 20044 with flag 3455003/3455003 1680.19/1675.66 c cleaning 10001 clauses out of 20037 with flag 3465001/3465001 1684.40/1679.87 c cleaning 10001 clauses out of 20039 with flag 3475004/3475004 1689.11/1684.58 c cleaning 10001 clauses out of 20038 with flag 3485004/3485004 1693.82/1689.20 c cleaning 9998 clauses out of 20033 with flag 3495000/3495000 1698.94/1694.35 c cleaning 10001 clauses out of 20038 with flag 3505003/3505003 1703.25/1698.64 c cleaning 9999 clauses out of 20036 with flag 3515002/3515002 1707.86/1703.22 c cleaning 10000 clauses out of 20035 with flag 3525000/3525000 1713.07/1708.42 c cleaning 10000 clauses out of 20035 with flag 3535000/3535000 1717.98/1713.34 c cleaning 10000 clauses out of 20035 with flag 3545000/3545000 1722.79/1718.17 c cleaning 10008 clauses out of 20047 with flag 3555012/3555012 1728.20/1723.60 c cleaning 9995 clauses out of 20027 with flag 3565000/3565000 1733.81/1729.18 c cleaning 9997 clauses out of 20033 with flag 3575001/3575001 1738.82/1734.16 c cleaning 9999 clauses out of 20037 with flag 3585002/3585002 1744.02/1739.31 c cleaning 10000 clauses out of 20038 with flag 3595002/3595002 1749.03/1744.38 c cleaning 9996 clauses out of 20036 with flag 3605000/3605000 1754.33/1749.66 c cleaning 10003 clauses out of 20044 with flag 3615004/3615004 1759.74/1755.01 c cleaning 9993 clauses out of 20037 with flag 3625000/3625000 1764.75/1760.06 c cleaning 10004 clauses out of 20044 with flag 3635000/3635000 1770.35/1765.68 c cleaning 10004 clauses out of 20044 with flag 3645004/3645004 1774.85/1770.12 c cleaning 10008 clauses out of 20037 with flag 3655001/3655001 1780.17/1775.49 c cleaning 9992 clauses out of 20029 with flag 3665001/3665001 1785.98/1781.22 c cleaning 9985 clauses out of 20036 with flag 3675000/3675000 1792.61/1787.80 c cleaning 10007 clauses out of 20052 with flag 3685001/3685001 1798.62/1793.88 c cleaning 9993 clauses out of 20048 with flag 3695004/3695004 1800.03/1795.22 c starts : 256 1800.03/1795.22 c conflicts : 3698459 1800.03/1795.22 c decisions : 4918153 1800.03/1795.22 c propagations : 79528366 1800.03/1795.22 c inspects : 4959665975 1800.03/1795.22 c learnt literals : 0 1800.03/1795.22 c learnt binary clauses : 0 1800.03/1795.22 c learnt ternary clauses : 0 1800.03/1795.22 c learnt clauses : 3698458 1800.03/1795.22 c ignored clauses : 0 1800.03/1795.22 c root simplifications : 0 1800.03/1795.22 c removed literals (reason simplification) : 37776119 1800.03/1795.22 c reason swapping (by a shorter reason) : 0 1800.03/1795.22 c Calls to reduceDB : 371 1800.03/1795.22 c number of reductions to clauses (during analyze) : 0 1800.03/1795.22 c number of learned constraints concerned by reduction : 0 1800.03/1795.22 c number of learning phase by resolution : 0 1800.03/1795.22 c number of learning phase by cutting planes : 0 1800.03/1795.22 c speed (assignments/second) : 44315.79982647779 1800.03/1795.22 c non guided choices 54283 1800.03/1795.23 c learnt constraints type 1800.03/1795.23 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 13525 1800.03/1795.23 c constraints type 1800.03/1795.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41 1800.03/1795.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 40 1800.03/1795.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.03/1795.23 s SATISFIABLE 1800.03/1795.23 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1800.03/1795.23 c objective function=1 1800.03/1795.23 c Total wall clock time (in seconds): 1795.137
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691345-1277921097/watcher-2691345-1277921097 -o /tmp/evaluation-result-2691345-1277921097/solver-2691345-1277921097 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691345-1277921097.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.00 2.00 2.00 3/178 25727 /proc/meminfo: memFree=30373088/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=13164 CPUtime=0 /proc/25727/stat : 25727 (java) R 25725 25727 24697 0 -1 4194304 925 0 0 0 0 0 0 0 23 0 1 0 165701384 13479936 423 4089446400 134512640 134550932 4292628864 18446744073709551615 7702139 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/25727/statm: 3291 426 144 10 0 1121 0 [startup+0.057185 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25727 /proc/meminfo: memFree=30373088/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1528560 CPUtime=0.04 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 4098 0 1 0 3 1 0 0 23 0 18 0 165701384 1565245440 3538 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 382140 3539 1079 10 0 379442 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1528560 [startup+0.101155 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25727 /proc/meminfo: memFree=30373088/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1529536 CPUtime=0.11 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 5201 0 1 0 10 1 0 0 23 0 18 0 165701384 1566244864 4639 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 382384 4639 1348 10 0 379686 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529536 [startup+0.301156 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25727 /proc/meminfo: memFree=30373088/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1533740 CPUtime=0.57 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 7344 0 1 0 55 2 0 0 23 0 19 0 165701384 1570549760 6555 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383435 6555 1416 10 0 380737 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 1533740 [startup+0.701048 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25727 /proc/meminfo: memFree=30373088/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1533740 CPUtime=1.15 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 8505 0 1 0 113 2 0 0 23 0 19 0 165701384 1570549760 7638 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383435 7638 1425 10 0 380737 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 1533740 [startup+1.50095 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25746 /proc/meminfo: memFree=30344728/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1533740 CPUtime=1.97 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 10821 0 1 0 195 2 0 0 23 0 19 0 165701384 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383435 9945 1441 10 0 380737 0 [pid=25727/tid=25729] ppid=25725 vsize=1533740 CPUtime=1.47 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 6153 0 1 0 146 1 0 0 25 0 19 0 165701384 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4109760716 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 285 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25731] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24697 0 -1 4202560 313 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25732] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24697 0 -1 4202560 192 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25733] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25734] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25735] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 768 0 0 0 0 0 0 0 16 0 19 0 165701386 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1533740 CPUtime=0.24 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 973 0 0 0 24 0 0 0 16 0 19 0 165701388 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1533740 CPUtime=0.23 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1071 0 0 0 23 0 0 0 15 0 19 0 165701388 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165701388 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1570549760 9945 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 1533740 [startup+3.10057 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25746 /proc/meminfo: memFree=30336832/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1533740 CPUtime=3.61 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 13417 0 1 0 358 3 0 0 23 0 19 0 165701384 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383435 12540 1441 10 0 380737 0 [pid=25727/tid=25729] ppid=25725 vsize=1533740 CPUtime=3.05 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 6154 0 1 0 304 1 0 0 25 0 19 0 165701384 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4109769916 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25731] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24697 0 -1 4202560 853 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25732] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24697 0 -1 4202560 833 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25733] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25734] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25735] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 307 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1533740 CPUtime=0.01 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 1364 0 0 0 1 0 0 0 16 0 19 0 165701386 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1533740 CPUtime=0.25 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 976 0 0 0 25 0 0 0 15 0 19 0 165701388 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1533740 CPUtime=0.25 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1075 0 0 0 25 0 0 0 15 0 19 0 165701388 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165701388 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1570549760 12540 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.61 Current children cumulated vsize (KiB) 1533740 [startup+6.30112 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25746 /proc/meminfo: memFree=30307940/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1533740 CPUtime=6.83 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 16759 0 1 0 680 3 0 0 23 0 19 0 165701384 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383435 15737 1441 10 0 380737 0 [pid=25727/tid=25729] ppid=25725 vsize=1533740 CPUtime=6.24 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 6603 0 1 0 623 1 0 0 25 0 19 0 165701384 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4109769490 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 845 0 0 0 0 0 0 0 16 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25731] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24697 0 -1 4202560 1267 0 0 0 0 0 0 0 18 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25732] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24697 0 -1 4202560 1466 0 0 0 0 0 0 0 16 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25733] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24697 0 -1 4202560 580 0 0 0 0 0 0 0 16 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25734] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25735] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 307 0 0 0 0 0 0 0 16 0 19 0 165701385 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1533740 CPUtime=0.03 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 2071 0 0 0 3 0 0 0 15 0 19 0 165701386 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1533740 CPUtime=0.25 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 976 0 0 0 25 0 0 0 15 0 19 0 165701388 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1533740 CPUtime=0.25 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1075 0 0 0 25 0 0 0 15 0 19 0 165701388 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165701388 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1533740 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1570549760 15737 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 6.83 Current children cumulated vsize (KiB) 1533740 [startup+12.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25746 /proc/meminfo: memFree=30286136/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1533740 CPUtime=13.29 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 20758 0 1 0 1325 4 0 0 23 0 19 0 165701384 1570549760 19697 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383435 19697 1441 10 0 380737 0 [pid=25727/tid=25729] ppid=25725 vsize=1533740 CPUtime=12.57 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 7427 0 1 0 1256 1 0 0 25 0 19 0 165701384 1570549760 19697 4089446400 134512640 134550932 4292628864 18446744073709551615 4109758288 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1533740 CPUtime=0.01 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 1178 0 0 0 1 0 0 0 16 0 19 0 165701385 1570549760 19697 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=25727/tid=25735] ppid=25725 vsize=1535932 CPUtime=0.65 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 1884 0 0 0 60 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1535932 CPUtime=0.64 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 1680 0 0 0 59 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1535932 CPUtime=0.6 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 2030 0 0 0 57 3 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1535932 CPUtime=9.73 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 8689 0 0 0 968 5 0 0 15 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1535932 CPUtime=0.26 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 976 0 0 0 26 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1535932 CPUtime=0.3 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1106 0 0 0 30 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1666.86 Current children cumulated vsize (KiB) 1535932 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25820 /proc/meminfo: memFree=31530348/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1535932 CPUtime=1727 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 40462 0 1 0 172642 58 0 0 23 0 19 0 165701384 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383983 35807 1441 10 0 381285 0 [pid=25727/tid=25729] ppid=25725 vsize=1535932 CPUtime=1710.89 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 10705 0 1 0 171084 5 0 0 25 0 19 0 165701384 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4109888957 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1535932 CPUtime=0.79 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 2494 0 0 0 73 6 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25731] ppid=25725 vsize=1535932 CPUtime=0.59 /proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24697 0 -1 4202560 2910 0 0 0 53 6 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 [pid=25727/tid=25732] ppid=25725 vsize=1535932 CPUtime=0.64 /proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24697 0 -1 4202560 3168 0 0 0 59 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 7 0 0 0 [pid=25727/tid=25733] ppid=25725 vsize=1535932 CPUtime=0.67 /proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24697 0 -1 4202560 2261 0 0 0 62 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25734] ppid=25725 vsize=1535932 CPUtime=0.64 /proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24697 0 -1 4202560 1394 0 0 0 59 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 7 0 0 0 [pid=25727/tid=25735] ppid=25725 vsize=1535932 CPUtime=0.67 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 1884 0 0 0 62 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1535932 CPUtime=0.66 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 1680 0 0 0 61 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1535932 CPUtime=0.61 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 2030 0 0 0 58 3 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1535932 CPUtime=10.13 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 8693 0 0 0 1008 5 0 0 15 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1535932 CPUtime=0.26 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 976 0 0 0 26 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1535932 CPUtime=0.3 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1106 0 0 0 30 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1727 Current children cumulated vsize (KiB) 1535932 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25821 /proc/meminfo: memFree=31530288/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1535932 CPUtime=1787.11 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 40482 0 1 0 178652 59 0 0 23 0 19 0 165701384 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383983 35807 1441 10 0 381285 0 [pid=25727/tid=25729] ppid=25725 vsize=1535932 CPUtime=1770.46 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 10717 0 1 0 177041 5 0 0 25 0 19 0 165701384 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4109769260 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1535932 CPUtime=0.8 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 2494 0 0 0 74 6 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25731] ppid=25725 vsize=1535932 CPUtime=0.61 /proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24697 0 -1 4202560 2910 0 0 0 55 6 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25732] ppid=25725 vsize=1535932 CPUtime=0.66 /proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24697 0 -1 4202560 3168 0 0 0 61 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 7 0 0 0 [pid=25727/tid=25733] ppid=25725 vsize=1535932 CPUtime=0.69 /proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24697 0 -1 4202560 2261 0 0 0 64 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25734] ppid=25725 vsize=1535932 CPUtime=0.66 /proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24697 0 -1 4202560 1394 0 0 0 61 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25735] ppid=25725 vsize=1535932 CPUtime=0.7 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 1884 0 0 0 65 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1535932 CPUtime=0.67 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 1680 0 0 0 62 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1535932 CPUtime=0.63 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 2030 0 0 0 60 3 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1535932 CPUtime=10.53 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 8697 0 0 0 1048 5 0 0 15 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1535932 CPUtime=0.26 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 976 0 0 0 26 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1535932 CPUtime=0.3 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1106 0 0 0 30 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1787.11 Current children cumulated vsize (KiB) 1535932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.21 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25822 /proc/meminfo: memFree=31530280/32950940 swapFree=67111528/67111528 [pid=25727] ppid=25725 vsize=1535932 CPUtime=1800.03 /proc/25727/stat : 25727 (java) S 25725 25727 24697 0 -1 4202496 40484 0 1 0 179944 59 0 0 23 0 19 0 165701384 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/25727/statm: 383983 35807 1441 10 0 381285 0 [pid=25727/tid=25729] ppid=25725 vsize=1535932 CPUtime=1783.31 /proc/25727/task/25729/stat : 25729 (java) R 25725 25727 24697 0 -1 4202560 10719 0 1 0 178326 5 0 0 25 0 19 0 165701384 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4109760380 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25727/tid=25730] ppid=25725 vsize=1535932 CPUtime=0.8 /proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24697 0 -1 4202560 2494 0 0 0 74 6 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25731] ppid=25725 vsize=1535932 CPUtime=0.61 /proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24697 0 -1 4202560 2910 0 0 0 55 6 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25732] ppid=25725 vsize=1535932 CPUtime=0.67 /proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24697 0 -1 4202560 3168 0 0 0 62 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 7 0 0 0 [pid=25727/tid=25733] ppid=25725 vsize=1535932 CPUtime=0.69 /proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24697 0 -1 4202560 2261 0 0 0 64 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25734] ppid=25725 vsize=1535932 CPUtime=0.66 /proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24697 0 -1 4202560 1394 0 0 0 61 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25735] ppid=25725 vsize=1535932 CPUtime=0.7 /proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24697 0 -1 4202560 1884 0 0 0 65 5 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25736] ppid=25725 vsize=1535932 CPUtime=0.68 /proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24697 0 -1 4202560 1680 0 0 0 63 5 0 0 16 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 [pid=25727/tid=25737] ppid=25725 vsize=1535932 CPUtime=0.63 /proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24697 0 -1 4202560 2030 0 0 0 60 3 0 0 15 0 19 0 165701385 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 0 0 0 0 [pid=25727/tid=25738] ppid=25725 vsize=1535932 CPUtime=10.59 /proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24697 0 -1 4202560 8697 0 0 0 1054 5 0 0 15 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 0 0 16800975 18446604470394386368 0 0 -1 4 0 0 0 [pid=25727/tid=25739] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25740] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24697 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165701386 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25741] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25742] ppid=25725 vsize=1535932 CPUtime=0.26 /proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24697 0 -1 4202560 976 0 0 0 26 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 5 0 0 0 [pid=25727/tid=25743] ppid=25725 vsize=1535932 CPUtime=0.3 /proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24697 0 -1 4202560 1106 0 0 0 30 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 6 0 0 0 [pid=25727/tid=25744] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24697 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 3 0 0 0 [pid=25727/tid=25745] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24697 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 165701388 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 1 0 0 0 [pid=25727/tid=25746] ppid=25725 vsize=1535932 CPUtime=0 /proc/25727/task/25746/stat : 25746 (java) S 25725 25727 24697 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 165701403 1572794368 35807 4089446400 134512640 134550932 4292628864 18446744073709551615 4294960144 0 4 0 16800975 18446604470394386368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1535932 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.26 CPU time (s): 1800.12 CPU user time (s): 1799.52 CPU system time (s): 0.597909 CPU usage (%): 100.271 Max. virtual memory (cumulated for all children) (KiB): 1535932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.597909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40508 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= 47341 involuntary context switches= 186343 runsolver used 3.21951 second user time and 6.68598 second system time The end
Begin job on node117 at 2010-06-30 20:04:57 IDJOB=2691345 IDBENCH=79169 IDSOLVER=1202 FILE ID=node117/2691345-1277921097 PBS_JOBID= 11197292 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--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-2691345-1277921097/watcher-2691345-1277921097 -o /tmp/evaluation-result-2691345-1277921097/solver-2691345-1277921097 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691345-1277921097.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19fe712a4f6ee0b978bb364f3985a5e4 RANDOM SEED=531503753 node117.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.799 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.59 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.799 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.799 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.799 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.75 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.799 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.85 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.799 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.799 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.799 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: 32950940 kB MemFree: 30373112 kB Buffers: 202152 kB Cached: 852152 kB SwapCached: 0 kB Active: 1833684 kB Inactive: 598044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 30373112 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 404 kB Writeback: 0 kB AnonPages: 1377812 kB Mapped: 15092 kB Slab: 78744 kB PageTables: 7640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 1524812 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= 74208 MiB End job on node117 at 2010-06-30 20:34:54