Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.17 | 1793.17 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo |
MD5SUM | 6dc14d51c0879b2054c8b72501c6facc |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.201968 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3600 |
Total number of constraints | 170 |
Number of soft constraints | 170 |
Number of constraints which are clauses | 90 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 45 |
Top cost | 7974 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 7973 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
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.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.07 c version 2.2.1.v20100705 0.05/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.07 c java.vm.version 11.2-b01 0.05/0.07 c java.vm.vendor Sun Microsystems Inc. 0.05/0.07 c sun.arch.data.model 32 0.05/0.07 c java.version 1.6.0_12 0.05/0.07 c os.name Linux 0.05/0.07 c os.version 2.6.18-164.el5 0.05/0.07 c os.arch i386 0.05/0.07 c Free memory 1393557488 0.05/0.07 c Max memory 1395916800 0.05/0.07 c Total memory 1395916800 0.05/0.07 c Number of processors 8 0.05/0.09 c Pseudo Boolean Optimization 0.05/0.09 c --- Begin Solver configuration --- 0.05/0.09 c Stops conflict analysis at the first Unique Implication Point 0.05/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.05/0.09 c Learn all clauses as in MiniSAT 0.05/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.09 c Expensive reason simplification 0.05/0.09 c Armin Biere (Picosat) restarts strategy 0.05/0.09 c Glucose learned constraints deletion strategy 0.05/0.09 c timeout=2147483s 0.05/0.09 c DB Simplification allowed=false 0.05/0.09 c --- End Solver configuration --- 0.05/0.09 c solving HOME/instance-2698489-1278326746.wbo 0.05/0.09 c reading problem ... 0.30/0.24 c ... done. Wall clock time 0.15s. 0.30/0.24 c #vars 3770 0.30/0.24 c #constraints 170 0.30/0.24 c constraints type 0.30/0.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90 0.30/0.24 c org.sat4j.pb.constraints.pb.MaxWatchPb => 80 0.84/0.49 c SATISFIABLE 0.84/0.49 c OPTIMIZING... 0.84/0.49 c Got one! Elapsed wall clock time (in seconds):0.392 0.84/0.49 o 65 1.38/0.65 c Got one! Elapsed wall clock time (in seconds):0.556 1.38/0.65 o 28 1.55/0.78 c Got one! Elapsed wall clock time (in seconds):0.685 1.55/0.78 o 27 1.76/0.87 c Got one! Elapsed wall clock time (in seconds):0.774 1.76/0.87 o 19 2.26/1.19 c Got one! Elapsed wall clock time (in seconds):1.097 2.26/1.19 o 17 2.56/1.46 c cleaning 2494 clauses out of 5001 with flag 5001/5001 2.78/1.63 c Got one! Elapsed wall clock time (in seconds):1.537 2.78/1.63 o 8 4.13/2.91 c cleaning 4234 clauses out of 8506 with flag 11000/11000 4.64/3.43 c Got one! Elapsed wall clock time (in seconds):3.332 4.64/3.43 o 4 5.84/4.67 c cleaning 5614 clauses out of 11277 with flag 18005/18005 8.16/6.93 c cleaning 6810 clauses out of 13659 with flag 26001/26001 10.68/9.44 c cleaning 7889 clauses out of 15854 with flag 35006/35006 13.59/12.31 c cleaning 8953 clauses out of 17961 with flag 45002/45002 16.90/15.63 c cleaning 9473 clauses out of 19009 with flag 55003/55003 20.19/18.97 c cleaning 9741 clauses out of 19535 with flag 65002/65002 24.90/23.62 c cleaning 9874 clauses out of 19792 with flag 75000/75000 27.61/26.37 c cleaning 9935 clauses out of 19920 with flag 85002/85002 31.62/30.31 c cleaning 9964 clauses out of 19983 with flag 95000/95000 35.23/33.97 c cleaning 9995 clauses out of 20021 with flag 105002/105002 39.24/37.96 c cleaning 9964 clauses out of 20025 with flag 115001/115001 42.15/40.83 c cleaning 10006 clauses out of 20060 with flag 125000/125000 45.97/44.64 c cleaning 10006 clauses out of 20055 with flag 135001/135001 49.48/48.17 c cleaning 10010 clauses out of 20051 with flag 145003/145003 53.90/52.57 c cleaning 9983 clauses out of 20038 with flag 155000/155000 61.51/60.16 c cleaning 9992 clauses out of 20055 with flag 165000/165000 65.53/64.19 c cleaning 10027 clauses out of 20063 with flag 175000/175000 68.47/67.08 c cleaning 10017 clauses out of 20037 with flag 185001/185001 71.28/69.86 c cleaning 9985 clauses out of 20019 with flag 195000/195000 74.70/73.30 c cleaning 9997 clauses out of 20034 with flag 205000/205000 80.11/78.69 c cleaning 10018 clauses out of 20041 with flag 215004/215004 83.14/81.61 c cleaning 9965 clauses out of 20020 with flag 225001/225001 88.45/86.96 c cleaning 9984 clauses out of 20054 with flag 235000/235000 95.97/94.48 c cleaning 9998 clauses out of 20074 with flag 245004/245004 103.99/102.42 c cleaning 9997 clauses out of 20072 with flag 255000/255000 107.60/106.04 c cleaning 10034 clauses out of 20076 with flag 265001/265001 110.33/108.75 c cleaning 10011 clauses out of 20041 with flag 275000/275000 114.13/112.50 c cleaning 10002 clauses out of 20032 with flag 285002/285002 117.75/116.12 c cleaning 9997 clauses out of 20028 with flag 295000/295000 121.66/120.08 c cleaning 9976 clauses out of 20031 with flag 305000/305000 125.68/124.04 c cleaning 9986 clauses out of 20056 with flag 315001/315001 128.99/127.33 c cleaning 10005 clauses out of 20069 with flag 325000/325000 132.62/130.96 c cleaning 9991 clauses out of 20065 with flag 335001/335001 137.33/135.66 c cleaning 10002 clauses out of 20076 with flag 345003/345003 142.85/141.11 c cleaning 10027 clauses out of 20073 with flag 355002/355002 152.78/151.03 c cleaning 10012 clauses out of 20048 with flag 365004/365004 161.00/159.22 c cleaning 9999 clauses out of 20032 with flag 375000/375000 170.82/169.06 c cleaning 10005 clauses out of 20036 with flag 385003/385003 176.74/174.91 c cleaning 9979 clauses out of 20030 with flag 395002/395002 179.96/178.14 c cleaning 9975 clauses out of 20050 with flag 405001/405001 184.07/182.28 c cleaning 9997 clauses out of 20077 with flag 415003/415003 187.60/185.77 c cleaning 10000 clauses out of 20080 with flag 425003/425003 190.91/189.08 c cleaning 10009 clauses out of 20077 with flag 435000/435000 195.94/194.09 c cleaning 10009 clauses out of 20069 with flag 445001/445001 199.55/197.65 c cleaning 10004 clauses out of 20060 with flag 455001/455001 205.47/203.57 c cleaning 10003 clauses out of 20056 with flag 465001/465001 213.18/211.27 c cleaning 9997 clauses out of 20052 with flag 475000/475000 217.90/215.92 c cleaning 9992 clauses out of 20058 with flag 485003/485003 222.63/220.61 c cleaning 9983 clauses out of 20066 with flag 495003/495003 227.94/225.97 c cleaning 10005 clauses out of 20083 with flag 505003/505003 233.25/231.24 c cleaning 9996 clauses out of 20075 with flag 515000/515000 237.37/235.40 c cleaning 10029 clauses out of 20079 with flag 525000/525000 242.48/240.42 c cleaning 10012 clauses out of 20051 with flag 535001/535001 247.58/245.50 c cleaning 10006 clauses out of 20039 with flag 545001/545001 252.59/250.59 c cleaning 10005 clauses out of 20034 with flag 555002/555002 256.31/254.20 c cleaning 9992 clauses out of 20027 with flag 565000/565000 261.52/259.48 c cleaning 10003 clauses out of 20037 with flag 575002/575002 266.44/264.37 c cleaning 9994 clauses out of 20032 with flag 585000/585000 268.87/266.72 c cleaning 10000 clauses out of 20039 with flag 595001/595001 272.69/270.51 c cleaning 10009 clauses out of 20038 with flag 605000/605000 276.72/274.50 c cleaning 9992 clauses out of 20029 with flag 615000/615000 281.33/279.19 c cleaning 10001 clauses out of 20040 with flag 625003/625003 285.14/282.94 c cleaning 9983 clauses out of 20041 with flag 635005/635005 294.56/292.38 c cleaning 10002 clauses out of 20055 with flag 645002/645002 298.80/296.54 c cleaning 9983 clauses out of 20051 with flag 655000/655000 305.73/303.47 c cleaning 9995 clauses out of 20068 with flag 665000/665000 312.57/310.24 c cleaning 10026 clauses out of 20073 with flag 675000/675000 316.59/314.28 c cleaning 9999 clauses out of 20047 with flag 685000/685000 322.20/319.81 c cleaning 9994 clauses out of 20048 with flag 695000/695000 327.71/325.37 c cleaning 10000 clauses out of 20055 with flag 705001/705001 333.53/331.18 c cleaning 10005 clauses out of 20061 with flag 715007/715007 336.94/334.56 c cleaning 9997 clauses out of 20049 with flag 725000/725000 343.86/341.42 c cleaning 9983 clauses out of 20052 with flag 735000/735000 348.99/346.53 c cleaning 10002 clauses out of 20069 with flag 745000/745000 354.81/352.37 c cleaning 9997 clauses out of 20068 with flag 755001/755001 359.53/357.01 c cleaning 9979 clauses out of 20072 with flag 765002/765002 366.95/364.46 c cleaning 10018 clauses out of 20094 with flag 775003/775003 373.08/370.57 c cleaning 9995 clauses out of 20073 with flag 785000/785000 379.10/376.57 c cleaning 9999 clauses out of 20079 with flag 795001/795001 384.23/381.64 c cleaning 10000 clauses out of 20081 with flag 805002/805002 389.23/386.63 c cleaning 10001 clauses out of 20079 with flag 815000/815000 394.45/391.89 c cleaning 10001 clauses out of 20081 with flag 825003/825003 399.16/396.57 c cleaning 9828 clauses out of 20078 with flag 835001/835001 407.17/404.54 c cleaning 9924 clauses out of 20251 with flag 845002/845002 416.50/413.87 c cleaning 9915 clauses out of 20325 with flag 855000/855000 420.63/417.99 c cleaning 9993 clauses out of 20411 with flag 865001/865001 429.83/427.18 c cleaning 9925 clauses out of 20417 with flag 875000/875000 433.45/430.71 c cleaning 10209 clauses out of 20492 with flag 885000/885000 436.08/433.35 c cleaning 10119 clauses out of 20283 with flag 895000/895000 440.09/437.35 c cleaning 10060 clauses out of 20165 with flag 905001/905001 443.71/441.00 c cleaning 10024 clauses out of 20104 with flag 915000/915000 447.14/444.40 c cleaning 10007 clauses out of 20081 with flag 925001/925001 451.15/448.31 c cleaning 10003 clauses out of 20073 with flag 935000/935000 454.87/452.02 c cleaning 10008 clauses out of 20071 with flag 945001/945001 460.29/457.41 c cleaning 10007 clauses out of 20064 with flag 955002/955002 465.92/463.07 c cleaning 10009 clauses out of 20061 with flag 965006/965006 470.34/467.41 c cleaning 10002 clauses out of 20048 with flag 975002/975002 475.15/472.27 c cleaning 9991 clauses out of 20045 with flag 985001/985001 479.57/476.65 c cleaning 10000 clauses out of 20053 with flag 995000/995000 484.08/481.13 c cleaning 10002 clauses out of 20053 with flag 1005000/1005000 488.69/485.78 c cleaning 9997 clauses out of 20053 with flag 1015002/1015002 493.62/490.65 c cleaning 9997 clauses out of 20054 with flag 1025000/1025000 498.33/495.32 c cleaning 10002 clauses out of 20058 with flag 1035001/1035001 501.74/498.80 c cleaning 9993 clauses out of 20058 with flag 1045003/1045003 505.77/502.77 c cleaning 9988 clauses out of 20062 with flag 1055000/1055000 509.89/506.82 c cleaning 10008 clauses out of 20075 with flag 1065001/1065001 513.71/510.63 c cleaning 9994 clauses out of 20066 with flag 1075000/1075000 516.83/513.74 c cleaning 10015 clauses out of 20073 with flag 1085001/1085001 521.03/517.92 c cleaning 10007 clauses out of 20059 with flag 1095002/1095002 525.65/522.51 c cleaning 9997 clauses out of 20050 with flag 1105000/1105000 530.07/526.98 c cleaning 10004 clauses out of 20054 with flag 1115001/1115001 534.77/531.67 c cleaning 9995 clauses out of 20049 with flag 1125000/1125000 539.29/536.13 c cleaning 10004 clauses out of 20056 with flag 1135002/1135002 543.70/540.57 c cleaning 10004 clauses out of 20053 with flag 1145003/1145003 548.12/544.96 c cleaning 10000 clauses out of 20048 with flag 1155002/1155002 552.83/549.67 c cleaning 9999 clauses out of 20047 with flag 1165001/1165001 557.54/554.32 c cleaning 10000 clauses out of 20049 with flag 1175002/1175002 560.74/557.57 c cleaning 9995 clauses out of 20047 with flag 1185000/1185000 565.86/562.63 c cleaning 10000 clauses out of 20054 with flag 1195002/1195002 570.88/567.62 c cleaning 10005 clauses out of 20054 with flag 1205002/1205002 575.49/572.27 c cleaning 9998 clauses out of 20048 with flag 1215001/1215001 580.31/577.07 c cleaning 10000 clauses out of 20050 with flag 1225001/1225001 584.52/581.23 c cleaning 9999 clauses out of 20050 with flag 1235001/1235001 588.83/585.51 c cleaning 10002 clauses out of 20051 with flag 1245001/1245001 593.54/590.24 c cleaning 9996 clauses out of 20048 with flag 1255000/1255000 598.65/595.33 c cleaning 10004 clauses out of 20054 with flag 1265002/1265002 603.16/599.86 c cleaning 10000 clauses out of 20050 with flag 1275002/1275002 607.56/604.27 c cleaning 9994 clauses out of 20049 with flag 1285001/1285001 611.78/608.48 c cleaning 10005 clauses out of 20056 with flag 1295002/1295002 616.28/612.93 c cleaning 10000 clauses out of 20051 with flag 1305002/1305002 621.09/617.77 c cleaning 9994 clauses out of 20049 with flag 1315000/1315000 625.80/622.43 c cleaning 10003 clauses out of 20055 with flag 1325000/1325000 628.50/625.13 c cleaning 9999 clauses out of 20053 with flag 1335001/1335001 632.02/628.64 c cleaning 9999 clauses out of 20053 with flag 1345000/1345000 635.74/632.32 c cleaning 10003 clauses out of 20054 with flag 1355000/1355000 640.47/637.00 c cleaning 10005 clauses out of 20053 with flag 1365002/1365002 644.49/641.04 c cleaning 9999 clauses out of 20048 with flag 1375002/1375002 649.00/645.57 c cleaning 10009 clauses out of 20050 with flag 1385003/1385003 655.12/651.60 c cleaning 10000 clauses out of 20038 with flag 1395000/1395000 661.44/657.93 c cleaning 10009 clauses out of 20042 with flag 1405004/1405004 666.56/663.04 c cleaning 9984 clauses out of 20029 with flag 1415000/1415000 671.89/668.39 c cleaning 9985 clauses out of 20050 with flag 1425005/1425005 677.31/673.72 c cleaning 9996 clauses out of 20062 with flag 1435002/1435002 682.34/678.76 c cleaning 9996 clauses out of 20064 with flag 1445000/1445000 687.45/683.80 c cleaning 9996 clauses out of 20069 with flag 1455001/1455001 691.86/688.27 c cleaning 9972 clauses out of 20073 with flag 1465001/1465001 699.09/695.41 c cleaning 9995 clauses out of 20100 with flag 1475000/1475000 706.63/702.99 c cleaning 10000 clauses out of 20106 with flag 1485001/1485001 712.44/708.79 c cleaning 10010 clauses out of 20108 with flag 1495003/1495003 722.37/718.64 c cleaning 10003 clauses out of 20097 with flag 1505002/1505002 728.39/724.63 c cleaning 10028 clauses out of 20094 with flag 1515002/1515002 734.80/731.07 c cleaning 9998 clauses out of 20065 with flag 1525001/1525001 740.53/736.74 c cleaning 10000 clauses out of 20068 with flag 1535002/1535002 745.44/741.60 c cleaning 10002 clauses out of 20068 with flag 1545002/1545002 750.56/746.72 c cleaning 10000 clauses out of 20065 with flag 1555001/1555001 755.37/751.59 c cleaning 9995 clauses out of 20065 with flag 1565001/1565001 760.29/756.41 c cleaning 10002 clauses out of 20069 with flag 1575000/1575000 765.81/761.95 c cleaning 9994 clauses out of 20067 with flag 1585000/1585000 771.11/767.21 c cleaning 9994 clauses out of 20074 with flag 1595001/1595001 777.03/773.12 c cleaning 10006 clauses out of 20081 with flag 1605002/1605002 781.94/778.08 c cleaning 9999 clauses out of 20075 with flag 1615002/1615002 786.15/782.20 c cleaning 10026 clauses out of 20075 with flag 1625001/1625001 790.16/786.29 c cleaning 10010 clauses out of 20051 with flag 1635003/1635003 795.78/791.89 c cleaning 9987 clauses out of 20038 with flag 1645000/1645000 801.19/797.21 c cleaning 9967 clauses out of 20051 with flag 1655000/1655000 806.70/802.78 c cleaning 10003 clauses out of 20092 with flag 1665008/1665008 814.92/810.98 c cleaning 9973 clauses out of 20081 with flag 1675000/1675000 824.33/820.39 c cleaning 10018 clauses out of 20112 with flag 1685004/1685004 831.35/827.33 c cleaning 10011 clauses out of 20091 with flag 1695001/1695001 837.77/833.75 c cleaning 10015 clauses out of 20081 with flag 1705002/1705002 843.98/839.96 c cleaning 10016 clauses out of 20064 with flag 1715000/1715000 851.59/847.54 c cleaning 9995 clauses out of 20054 with flag 1725006/1725006 859.30/855.21 c cleaning 9992 clauses out of 20053 with flag 1735000/1735000 865.62/861.54 c cleaning 10017 clauses out of 20061 with flag 1745000/1745000 872.44/868.40 c cleaning 9976 clauses out of 20045 with flag 1755001/1755001 879.66/875.59 c cleaning 10021 clauses out of 20068 with flag 1765000/1765000 883.57/879.45 c cleaning 10016 clauses out of 20052 with flag 1775005/1775005 888.39/884.29 c cleaning 10009 clauses out of 20034 with flag 1785003/1785003 893.60/889.42 c cleaning 10004 clauses out of 20024 with flag 1795002/1795002 898.31/894.20 c cleaning 9991 clauses out of 20020 with flag 1805002/1805002 903.22/899.03 c cleaning 10004 clauses out of 20027 with flag 1815000/1815000 908.33/904.19 c cleaning 10000 clauses out of 20023 with flag 1825000/1825000 913.14/908.92 c cleaning 9996 clauses out of 20024 with flag 1835001/1835001 917.76/913.51 c cleaning 9994 clauses out of 20027 with flag 1845000/1845000 922.87/918.68 c cleaning 10007 clauses out of 20033 with flag 1855000/1855000 927.58/923.36 c cleaning 9993 clauses out of 20027 with flag 1865001/1865001 932.19/927.96 c cleaning 10006 clauses out of 20035 with flag 1875002/1875002 936.10/931.82 c cleaning 9984 clauses out of 20027 with flag 1885000/1885000 940.42/936.13 c cleaning 10002 clauses out of 20045 with flag 1895002/1895002 944.83/940.55 c cleaning 10012 clauses out of 20041 with flag 1905000/1905000 950.13/945.85 c cleaning 10004 clauses out of 20029 with flag 1915000/1915000 955.13/950.88 c cleaning 9990 clauses out of 20025 with flag 1925000/1925000 959.95/955.66 c cleaning 10007 clauses out of 20036 with flag 1935001/1935001 966.46/962.19 c cleaning 10002 clauses out of 20028 with flag 1945000/1945000 970.88/966.55 c cleaning 9999 clauses out of 20028 with flag 1955002/1955002 975.48/971.12 c cleaning 10007 clauses out of 20030 with flag 1965003/1965003 980.20/975.81 c cleaning 9981 clauses out of 20020 with flag 1975000/1975000 984.81/980.49 c cleaning 10012 clauses out of 20039 with flag 1985000/1985000 988.82/984.41 c cleaning 9982 clauses out of 20027 with flag 1995000/1995000 992.04/987.69 c cleaning 9999 clauses out of 20046 with flag 2005001/2005001 995.48/991.07 c cleaning 10010 clauses out of 20049 with flag 2015003/2015003 998.89/994.48 c cleaning 9999 clauses out of 20036 with flag 2025000/2025000 1002.00/997.56 c cleaning 10000 clauses out of 20039 with flag 2035002/2035002 1005.42/1000.98 c cleaning 9991 clauses out of 20038 with flag 2045001/2045001 1009.95/1005.49 c cleaning 9983 clauses out of 20047 with flag 2055001/2055001 1014.48/1009.97 c cleaning 9987 clauses out of 20063 with flag 2065000/2065000 1019.69/1015.14 c cleaning 9996 clauses out of 20077 with flag 2075001/2075001 1024.21/1019.64 c cleaning 10011 clauses out of 20080 with flag 2085000/2085000 1029.32/1024.70 c cleaning 10004 clauses out of 20069 with flag 2095000/2095000 1034.63/1030.01 c cleaning 10004 clauses out of 20067 with flag 2105002/2105002 1040.05/1035.42 c cleaning 9997 clauses out of 20061 with flag 2115000/2115000 1044.36/1039.72 c cleaning 10019 clauses out of 20067 with flag 2125003/2125003 1048.48/1043.82 c cleaning 10007 clauses out of 20045 with flag 2135000/2135000 1052.39/1047.75 c cleaning 10005 clauses out of 20039 with flag 2145001/2145001 1056.90/1052.23 c cleaning 10001 clauses out of 20033 with flag 2155000/2155000 1060.91/1056.26 c cleaning 10003 clauses out of 20036 with flag 2165004/2165004 1065.42/1060.74 c cleaning 10004 clauses out of 20035 with flag 2175006/2175006 1069.53/1064.83 c cleaning 9998 clauses out of 20025 with flag 2185000/2185000 1074.05/1069.32 c cleaning 9988 clauses out of 20027 with flag 2195000/2195000 1080.06/1075.36 c cleaning 9985 clauses out of 20040 with flag 2205001/2205001 1087.39/1082.62 c cleaning 9995 clauses out of 20055 with flag 2215001/2215001 1093.82/1089.09 c cleaning 10016 clauses out of 20060 with flag 2225001/2225001 1100.25/1095.50 c cleaning 9997 clauses out of 20044 with flag 2235001/2235001 1106.27/1101.47 c cleaning 10004 clauses out of 20049 with flag 2245003/2245003 1112.49/1107.61 c cleaning 9981 clauses out of 20042 with flag 2255000/2255000 1120.20/1115.38 c cleaning 9994 clauses out of 20063 with flag 2265002/2265002 1127.82/1123.00 c cleaning 9998 clauses out of 20069 with flag 2275002/2275002 1136.23/1131.37 c cleaning 9996 clauses out of 20072 with flag 2285003/2285003 1140.54/1135.68 c cleaning 10015 clauses out of 20073 with flag 2295000/2295000 1144.95/1140.04 c cleaning 10007 clauses out of 20063 with flag 2305005/2305005 1149.36/1144.44 c cleaning 10002 clauses out of 20051 with flag 2315000/2315000 1153.97/1149.04 c cleaning 10003 clauses out of 20054 with flag 2325005/2325005 1158.47/1153.56 c cleaning 10002 clauses out of 20048 with flag 2335002/2335002 1164.08/1159.13 c cleaning 9998 clauses out of 20045 with flag 2345001/2345001 1170.09/1165.12 c cleaning 10000 clauses out of 20047 with flag 2355001/2355001 1175.80/1170.88 c cleaning 9999 clauses out of 20048 with flag 2365002/2365002 1180.50/1175.50 c cleaning 10000 clauses out of 20047 with flag 2375000/2375000 1185.71/1180.72 c cleaning 10000 clauses out of 20048 with flag 2385001/2385001 1190.72/1185.79 c cleaning 10001 clauses out of 20050 with flag 2395003/2395003 1196.02/1191.09 c cleaning 10000 clauses out of 20047 with flag 2405001/2405001 1200.73/1195.71 c cleaning 10000 clauses out of 20048 with flag 2415002/2415002 1206.14/1201.17 c cleaning 10001 clauses out of 20046 with flag 2425000/2425000 1210.76/1205.73 c cleaning 10008 clauses out of 20046 with flag 2435001/2435001 1214.79/1209.72 c cleaning 10001 clauses out of 20038 with flag 2445001/2445001 1218.30/1213.25 c cleaning 9997 clauses out of 20036 with flag 2455000/2455000 1222.00/1216.94 c cleaning 10000 clauses out of 20039 with flag 2465000/2465000 1226.02/1220.91 c cleaning 9976 clauses out of 20040 with flag 2475001/2475001 1232.83/1227.77 c cleaning 9992 clauses out of 20067 with flag 2485004/2485004 1238.66/1233.56 c cleaning 10004 clauses out of 20072 with flag 2495001/2495001 1246.37/1241.22 c cleaning 9991 clauses out of 20067 with flag 2505000/2505000 1253.51/1248.39 c cleaning 9995 clauses out of 20079 with flag 2515003/2515003 1261.83/1256.68 c cleaning 10013 clauses out of 20082 with flag 2525001/2525001 1268.36/1263.11 c cleaning 9995 clauses out of 20068 with flag 2535000/2535000 1274.38/1269.15 c cleaning 9994 clauses out of 20073 with flag 2545000/2545000 1281.70/1276.48 c cleaning 10013 clauses out of 20081 with flag 2555002/2555002 1289.82/1284.58 c cleaning 9995 clauses out of 20067 with flag 2565001/2565001 1299.44/1294.18 c cleaning 10005 clauses out of 20074 with flag 2575003/2575003 1305.77/1300.45 c cleaning 9996 clauses out of 20069 with flag 2585003/2585003 1313.09/1307.70 c cleaning 9990 clauses out of 20071 with flag 2595001/2595001 1319.20/1313.87 c cleaning 10000 clauses out of 20081 with flag 2605001/2605001 1326.42/1321.05 c cleaning 10004 clauses out of 20081 with flag 2615001/2615001 1332.23/1326.82 c cleaning 10001 clauses out of 20076 with flag 2625000/2625000 1338.96/1333.55 c cleaning 9998 clauses out of 20075 with flag 2635000/2635000 1345.57/1340.13 c cleaning 10011 clauses out of 20079 with flag 2645002/2645002 1351.50/1346.09 c cleaning 9999 clauses out of 20067 with flag 2655001/2655001 1355.52/1350.08 c cleaning 10009 clauses out of 20068 with flag 2665001/2665001 1360.93/1355.41 c cleaning 10006 clauses out of 20060 with flag 2675002/2675002 1366.74/1361.25 c cleaning 10003 clauses out of 20054 with flag 2685002/2685002 1372.06/1366.60 c cleaning 10004 clauses out of 20049 with flag 2695000/2695000 1376.39/1370.87 c cleaning 9970 clauses out of 20047 with flag 2705002/2705002 1380.51/1374.96 c cleaning 9974 clauses out of 20076 with flag 2715001/2715001 1383.83/1378.21 c cleaning 9988 clauses out of 20101 with flag 2725000/2725000 1387.03/1381.47 c cleaning 9992 clauses out of 20115 with flag 2735002/2735002 1392.75/1387.15 c cleaning 9979 clauses out of 20122 with flag 2745001/2745001 1397.87/1392.26 c cleaning 9992 clauses out of 20144 with flag 2755002/2755002 1404.28/1398.60 c cleaning 9993 clauses out of 20152 with flag 2765002/2765002 1410.20/1404.52 c cleaning 9978 clauses out of 20159 with flag 2775002/2775002 1418.32/1412.65 c cleaning 9988 clauses out of 20180 with flag 2785001/2785001 1423.84/1418.17 c cleaning 10006 clauses out of 20194 with flag 2795003/2795003 1427.77/1422.08 c cleaning 10000 clauses out of 20186 with flag 2805001/2805001 1432.09/1426.31 c cleaning 10020 clauses out of 20185 with flag 2815000/2815000 1439.40/1433.63 c cleaning 9982 clauses out of 20174 with flag 2825009/2825009 1446.53/1440.70 c cleaning 9960 clauses out of 20183 with flag 2835000/2835000 1451.64/1445.87 c cleaning 9989 clauses out of 20223 with flag 2845000/2845000 1457.06/1451.21 c cleaning 9894 clauses out of 20236 with flag 2855002/2855002 1463.87/1458.03 c cleaning 9978 clauses out of 20343 with flag 2865003/2865003 1470.69/1464.89 c cleaning 9931 clauses out of 20363 with flag 2875001/2875001 1480.81/1474.95 c cleaning 9985 clauses out of 20434 with flag 2885003/2885003 1488.92/1483.00 c cleaning 9970 clauses out of 20449 with flag 2895003/2895003 1496.73/1490.85 c cleaning 10077 clauses out of 20476 with flag 2905000/2905000 1502.55/1496.60 c cleaning 10042 clauses out of 20410 with flag 2915011/2915011 1508.58/1502.69 c cleaning 10007 clauses out of 20357 with flag 2925000/2925000 1514.28/1508.34 c cleaning 10037 clauses out of 20353 with flag 2935003/2935003 1521.19/1515.20 c cleaning 9954 clauses out of 20315 with flag 2945002/2945002 1526.90/1520.93 c cleaning 9988 clauses out of 20360 with flag 2955001/2955001 1533.41/1527.49 c cleaning 9995 clauses out of 20372 with flag 2965001/2965001 1542.23/1536.22 c cleaning 10007 clauses out of 20376 with flag 2975000/2975000 1548.83/1542.87 c cleaning 9995 clauses out of 20369 with flag 2985000/2985000 1551.86/1545.83 c cleaning 10169 clauses out of 20381 with flag 2995007/2995007 1555.08/1549.04 c cleaning 10078 clauses out of 20208 with flag 3005003/3005003 1559.41/1553.34 c cleaning 10037 clauses out of 20127 with flag 3015000/3015000 1564.04/1557.90 c cleaning 10000 clauses out of 20090 with flag 3025000/3025000 1567.77/1561.65 c cleaning 10005 clauses out of 20090 with flag 3035000/3035000 1572.50/1566.32 c cleaning 10009 clauses out of 20090 with flag 3045005/3045005 1576.51/1570.31 c cleaning 10000 clauses out of 20078 with flag 3055002/3055002 1581.93/1575.76 c cleaning 9995 clauses out of 20077 with flag 3065001/3065001 1587.64/1581.49 c cleaning 9994 clauses out of 20087 with flag 3075006/3075006 1591.76/1585.59 c cleaning 10021 clauses out of 20087 with flag 3085000/3085000 1596.79/1590.59 c cleaning 10007 clauses out of 20068 with flag 3095002/3095002 1602.41/1596.13 c cleaning 10012 clauses out of 20059 with flag 3105000/3105000 1608.02/1601.70 c cleaning 10002 clauses out of 20047 with flag 3115000/3115000 1612.24/1605.99 c cleaning 10007 clauses out of 20046 with flag 3125001/3125001 1616.36/1610.06 c cleaning 10003 clauses out of 20041 with flag 3135003/3135003 1621.58/1615.23 c cleaning 10000 clauses out of 20037 with flag 3145002/3145002 1628.10/1621.76 c cleaning 9999 clauses out of 20036 with flag 3155001/3155001 1633.82/1627.42 c cleaning 9993 clauses out of 20036 with flag 3165000/3165000 1640.95/1634.55 c cleaning 10006 clauses out of 20043 with flag 3175000/3175000 1647.86/1641.48 c cleaning 9996 clauses out of 20037 with flag 3185000/3185000 1653.19/1646.78 c cleaning 9995 clauses out of 20042 with flag 3195001/3195001 1658.72/1652.26 c cleaning 9987 clauses out of 20048 with flag 3205002/3205002 1664.23/1657.74 c cleaning 10006 clauses out of 20059 with flag 3215000/3215000 1670.05/1663.50 c cleaning 10003 clauses out of 20055 with flag 3225002/3225002 1676.39/1669.89 c cleaning 9992 clauses out of 20050 with flag 3235000/3235000 1684.11/1677.58 c cleaning 10010 clauses out of 20061 with flag 3245003/3245003 1691.33/1684.70 c cleaning 9990 clauses out of 20048 with flag 3255000/3255000 1697.55/1690.92 c cleaning 10011 clauses out of 20058 with flag 3265000/3265000 1702.78/1696.11 c cleaning 9991 clauses out of 20049 with flag 3275002/3275002 1707.69/1701.08 c cleaning 10002 clauses out of 20057 with flag 3285001/3285001 1712.72/1706.02 c cleaning 9999 clauses out of 20054 with flag 3295000/3295000 1717.23/1710.54 c cleaning 10001 clauses out of 20059 with flag 3305004/3305004 1722.14/1715.46 c cleaning 10000 clauses out of 20055 with flag 3315001/3315001 1726.95/1720.26 c cleaning 10000 clauses out of 20055 with flag 3325001/3325001 1731.56/1724.88 c cleaning 10000 clauses out of 20056 with flag 3335002/3335002 1736.48/1729.73 c cleaning 10000 clauses out of 20055 with flag 3345001/3345001 1741.50/1734.76 c cleaning 9996 clauses out of 20055 with flag 3355001/3355001 1746.40/1739.61 c cleaning 10002 clauses out of 20061 with flag 3365003/3365003 1751.12/1744.34 c cleaning 10002 clauses out of 20057 with flag 3375001/3375001 1755.84/1749.07 c cleaning 9998 clauses out of 20057 with flag 3385003/3385003 1760.44/1753.60 c cleaning 10001 clauses out of 20058 with flag 3395002/3395002 1764.85/1758.04 c cleaning 10004 clauses out of 20058 with flag 3405003/3405003 1769.36/1762.51 c cleaning 9997 clauses out of 20051 with flag 3415000/3415000 1774.77/1767.90 c cleaning 10000 clauses out of 20054 with flag 3425000/3425000 1778.89/1772.02 c cleaning 10014 clauses out of 20056 with flag 3435002/3435002 1783.40/1776.52 c cleaning 10007 clauses out of 20041 with flag 3445001/3445001 1787.81/1780.95 c cleaning 10005 clauses out of 20036 with flag 3455003/3455003 1792.22/1785.36 c cleaning 9997 clauses out of 20030 with flag 3465002/3465002 1796.53/1789.62 c cleaning 10003 clauses out of 20031 with flag 3475000/3475000 1800.04/1793.11 c starts : 258 1800.04/1793.11 c conflicts : 3483787 1800.04/1793.11 c decisions : 5116059 1800.04/1793.11 c propagations : 106624209 1800.04/1793.11 c inspects : 4512295581 1800.04/1793.11 c learnt literals : 0 1800.04/1793.11 c learnt binary clauses : 0 1800.04/1793.11 c learnt ternary clauses : 0 1800.04/1793.11 c learnt clauses : 3483787 1800.04/1793.11 c ignored clauses : 0 1800.04/1793.11 c root simplifications : 0 1800.04/1793.11 c removed literals (reason simplification) : 17877537 1800.04/1793.11 c reason swapping (by a shorter reason) : 0 1800.04/1793.11 c Calls to reduceDB : 349 1800.04/1793.11 c number of reductions to clauses (during analyze) : 0 1800.04/1793.11 c number of learned constraints concerned by reduction : 0 1800.04/1793.11 c number of learning phase by resolution : 0 1800.04/1793.11 c number of learning phase by cutting planes : 0 1800.04/1793.11 c speed (assignments/second) : 59577.08144170622 1800.04/1793.11 c non guided choices 232762 1800.04/1793.12 c learnt constraints type 1800.04/1793.12 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 18840 1800.04/1793.12 c constraints type 1800.04/1793.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90 1800.04/1793.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 81 1800.04/1793.12 s SATISFIABLE 1800.04/1793.13 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1800.04/1793.13 c objective function=4 1800.04/1793.13 c Total wall clock time (in seconds): 1793.041
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698489-1278326746/watcher-2698489-1278326746 -o /tmp/evaluation-result-2698489-1278326746/solver-2698489-1278326746 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698489-1278326746.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.13 2.04 1.92 3/196 4955 /proc/meminfo: memFree=32267208/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=13736 CPUtime=0 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 1170 0 0 0 0 0 0 0 20 0 2 0 888170 14065664 624 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 3421 621 297 10 0 1206 0 [pid=4955/tid=4956] ppid=4953 vsize=13684 CPUtime=0 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 140 0 0 0 0 0 0 0 22 0 2 0 888171 14012416 629 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 7 0 0 0 [startup+0.055123 s] /proc/loadavg: 2.13 2.04 1.92 3/196 4955 /proc/meminfo: memFree=32267208/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1528568 CPUtime=0.05 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 4132 0 1 0 4 1 0 0 20 0 18 0 888170 1565253632 3572 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 382142 3572 1081 10 0 379445 0 [pid=4955/tid=4956] ppid=4953 vsize=1528568 CPUtime=0.03 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 3048 0 1 0 3 0 0 0 25 0 18 0 888171 1565253632 3573 4089446400 134512640 134550932 4286954832 18446744073709551615 106546665 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1528568 [startup+0.101125 s] /proc/loadavg: 2.13 2.04 1.92 3/196 4955 /proc/meminfo: memFree=32267208/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1529856 CPUtime=0.11 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 5223 0 1 0 10 1 0 0 20 0 18 0 888170 1566572544 4661 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 382464 4661 1347 10 0 379767 0 [pid=4955/tid=4956] ppid=4953 vsize=1529856 CPUtime=0.08 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 3555 0 1 0 7 1 0 0 25 0 18 0 888171 1566572544 4661 4089446400 134512640 134550932 4286954832 18446744073709551615 4109364881 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529856 [startup+0.301029 s] /proc/loadavg: 2.13 2.04 1.92 3/196 4955 /proc/meminfo: memFree=32267208/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1532272 CPUtime=0.53 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 7426 0 1 0 52 1 0 0 20 0 19 0 888170 1569046528 6759 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 383068 6759 1417 10 0 380371 0 [pid=4955/tid=4956] ppid=4953 vsize=1532272 CPUtime=0.28 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 5025 0 1 0 27 1 0 0 25 0 19 0 888171 1569046528 6759 4089446400 134512640 134550932 4286954832 18446744073709551615 4109384038 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1532272 [startup+0.701069 s] /proc/loadavg: 2.13 2.04 1.92 3/196 4955 /proc/meminfo: memFree=32267208/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1542904 CPUtime=1.55 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 12951 0 1 0 153 2 0 0 20 0 19 0 888170 1579933696 10156 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 385726 10157 1425 10 0 383029 0 [pid=4955/tid=4956] ppid=4953 vsize=1542904 CPUtime=0.68 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 5836 0 1 0 67 1 0 0 18 0 19 0 888171 1579933696 10157 4089446400 134512640 134550932 4286954832 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 1542904 [startup+1.50088 s] /proc/loadavg: 2.13 2.04 1.92 3/215 4974 /proc/meminfo: memFree=32224408/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1545388 CPUtime=2.68 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 20746 0 1 0 265 3 0 0 20 0 19 0 888170 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 386347 15730 1439 10 0 383650 0 [pid=4955/tid=4956] ppid=4953 vsize=1545388 CPUtime=1.46 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 8168 0 1 0 145 1 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4110007807 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4955/tid=4958] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4958/stat : 4958 (java) S 4953 4955 3786 0 -1 4202560 269 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4959] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4959/stat : 4959 (java) S 4953 4955 3786 0 -1 4202560 565 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4960] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4960/stat : 4960 (java) S 4953 4955 3786 0 -1 4202560 344 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4961] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4961/stat : 4961 (java) S 4953 4955 3786 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4962] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4962/stat : 4962 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4963] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1545388 CPUtime=0.01 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 1202 0 0 0 1 0 0 0 15 0 19 0 888172 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1545388 CPUtime=0.75 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5423 0 0 0 75 0 0 0 15 0 19 0 888174 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1545388 CPUtime=0.42 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3639 0 0 0 42 0 0 0 16 0 19 0 888174 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 888174 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1582477312 15730 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 1545388 [startup+3.10153 s] /proc/loadavg: 2.12 2.04 1.92 3/215 4974 /proc/meminfo: memFree=32209412/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1545388 CPUtime=4.34 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 24041 0 1 0 430 4 0 0 20 0 19 0 888170 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 386347 19023 1441 10 0 383650 0 [pid=4955/tid=4956] ppid=4953 vsize=1545388 CPUtime=3.04 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 8171 0 1 0 303 1 0 0 21 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4109772994 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4955/tid=4958] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4958/stat : 4958 (java) S 4953 4955 3786 0 -1 4202560 269 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4959] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4959/stat : 4959 (java) S 4953 4955 3786 0 -1 4202560 1337 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4960] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4960/stat : 4960 (java) S 4953 4955 3786 0 -1 4202560 344 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4961] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4961/stat : 4961 (java) S 4953 4955 3786 0 -1 4202560 530 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4962] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4962/stat : 4962 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4963] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 724 0 0 0 0 0 0 0 16 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 310 0 0 0 0 0 0 0 16 0 19 0 888171 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1545388 CPUtime=0.02 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 2217 0 0 0 2 0 0 0 15 0 19 0 888172 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1545388 CPUtime=0.78 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5428 0 0 0 78 0 0 0 16 0 19 0 888174 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1545388 CPUtime=0.45 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3643 0 0 0 45 0 0 0 15 0 19 0 888174 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 888174 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1582477312 19023 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 1545388 [startup+6.30108 s] /proc/loadavg: 2.12 2.04 1.92 3/215 4974 /proc/meminfo: memFree=32189068/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1545388 CPUtime=7.56 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 26045 0 1 0 752 4 0 0 20 0 19 0 888170 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 386347 21024 1441 10 0 383650 0 [pid=4955/tid=4956] ppid=4953 vsize=1545388 CPUtime=6.22 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 8172 0 1 0 621 1 0 0 25 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4109788539 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=4955/tid=4958] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4958/stat : 4958 (java) S 4953 4955 3786 0 -1 4202560 502 0 0 0 0 0 0 0 16 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4959] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4959/stat : 4959 (java) S 4953 4955 3786 0 -1 4202560 1338 0 0 0 0 0 0 0 18 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4960] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4960/stat : 4960 (java) S 4953 4955 3786 0 -1 4202560 651 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4961] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4961/stat : 4961 (java) S 4953 4955 3786 0 -1 4202560 530 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4962] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4962/stat : 4962 (java) S 4953 4955 3786 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4963] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 692 0 0 0 0 0 0 0 15 0 19 0 888171 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1545388 CPUtime=0.03 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 3245 0 0 0 3 0 0 0 15 0 19 0 888172 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1545388 CPUtime=0.78 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5428 0 0 0 78 0 0 0 15 0 19 0 888174 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1545388 CPUtime=0.46 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3646 0 0 0 46 0 0 0 15 0 19 0 888174 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 888174 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1545388 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1582477312 21024 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.56 Current children cumulated vsize (KiB) 1545388 ################ # More data... # ################ [pid=4955/tid=4963] ppid=4953 vsize=1546412 CPUtime=0.89 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 4079 0 0 0 84 5 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 6 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1546412 CPUtime=0.88 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 5275 0 0 0 83 5 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1546412 CPUtime=0.89 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 3987 0 0 0 84 5 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 4 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1546412 CPUtime=14.06 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 9540 0 0 0 1400 6 0 0 15 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1546412 CPUtime=0.8 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5432 0 0 0 80 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1546412 CPUtime=0.47 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3649 0 0 0 47 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1729.06 Current children cumulated vsize (KiB) 1546412 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 2.00 3/215 5077 /proc/meminfo: memFree=32127676/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1546412 CPUtime=1789.22 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 72025 0 1 0 178865 57 0 0 20 0 19 0 888170 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 386603 58726 1441 10 0 383906 0 [pid=4955/tid=4956] ppid=4953 vsize=1546412 CPUtime=1765.92 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 16622 0 1 0 176589 3 0 0 25 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4110009066 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4955/tid=4958] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4958/stat : 4958 (java) S 4953 4955 3786 0 -1 4202560 4542 0 0 0 88 4 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4959] ppid=4953 vsize=1546412 CPUtime=0.87 /proc/4955/task/4959/stat : 4959 (java) S 4953 4955 3786 0 -1 4202560 5244 0 0 0 83 4 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4960] ppid=4953 vsize=1546412 CPUtime=0.89 /proc/4955/task/4960/stat : 4960 (java) S 4953 4955 3786 0 -1 4202560 3667 0 0 0 84 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4961] ppid=4953 vsize=1546412 CPUtime=0.89 /proc/4955/task/4961/stat : 4961 (java) S 4953 4955 3786 0 -1 4202560 5349 0 0 0 83 6 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4962] ppid=4953 vsize=1546412 CPUtime=0.87 /proc/4955/task/4962/stat : 4962 (java) S 4953 4955 3786 0 -1 4202560 3469 0 0 0 82 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4963] ppid=4953 vsize=1546412 CPUtime=0.91 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 4079 0 0 0 85 6 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 6 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1546412 CPUtime=0.9 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 5275 0 0 0 84 6 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1546412 CPUtime=0.91 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 3987 0 0 0 86 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 4 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1546412 CPUtime=14.73 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 9542 0 0 0 1467 6 0 0 15 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1546412 CPUtime=0.8 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5432 0 0 0 80 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1546412 CPUtime=0.47 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3649 0 0 0 47 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1789.22 Current children cumulated vsize (KiB) 1546412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.1 s] /proc/loadavg: 2.02 2.01 2.00 3/215 5077 /proc/meminfo: memFree=32127656/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1546412 CPUtime=1800.04 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 72031 0 1 0 179947 57 0 0 20 0 19 0 888170 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 386603 58726 1441 10 0 383906 0 [pid=4955/tid=4956] ppid=4953 vsize=1546412 CPUtime=1776.61 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 16624 0 1 0 177658 3 0 0 25 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4110008668 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4955/tid=4958] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4958/stat : 4958 (java) S 4953 4955 3786 0 -1 4202560 4542 0 0 0 88 4 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4959] ppid=4953 vsize=1546412 CPUtime=0.87 /proc/4955/task/4959/stat : 4959 (java) S 4953 4955 3786 0 -1 4202560 5244 0 0 0 83 4 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4960] ppid=4953 vsize=1546412 CPUtime=0.89 /proc/4955/task/4960/stat : 4960 (java) S 4953 4955 3786 0 -1 4202560 3667 0 0 0 84 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4961] ppid=4953 vsize=1546412 CPUtime=0.9 /proc/4955/task/4961/stat : 4961 (java) S 4953 4955 3786 0 -1 4202560 5349 0 0 0 84 6 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4962] ppid=4953 vsize=1546412 CPUtime=0.87 /proc/4955/task/4962/stat : 4962 (java) S 4953 4955 3786 0 -1 4202560 3469 0 0 0 82 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4963] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 4079 0 0 0 86 6 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 6 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1546412 CPUtime=0.91 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 5275 0 0 0 85 6 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 3987 0 0 0 87 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 4 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1546412 CPUtime=14.84 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 9544 0 0 0 1478 6 0 0 15 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1546412 CPUtime=0.8 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5432 0 0 0 80 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1546412 CPUtime=0.47 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3649 0 0 0 47 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1546412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.1 s] /proc/loadavg: 2.02 2.01 2.00 3/215 5077 /proc/meminfo: memFree=32127656/32950928 swapFree=67111528/67111528 [pid=4955] ppid=4953 vsize=1546412 CPUtime=1800.04 /proc/4955/stat : 4955 (java) S 4953 4955 3786 0 -1 4202496 72031 0 1 0 179947 57 0 0 20 0 19 0 888170 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4955/statm: 386603 58726 1441 10 0 383906 0 [pid=4955/tid=4956] ppid=4953 vsize=1546412 CPUtime=1776.61 /proc/4955/task/4956/stat : 4956 (java) R 4953 4955 3786 0 -1 4202560 16624 0 1 0 177658 3 0 0 25 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4110008668 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4955/tid=4958] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4958/stat : 4958 (java) S 4953 4955 3786 0 -1 4202560 4542 0 0 0 88 4 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4959] ppid=4953 vsize=1546412 CPUtime=0.87 /proc/4955/task/4959/stat : 4959 (java) S 4953 4955 3786 0 -1 4202560 5244 0 0 0 83 4 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4960] ppid=4953 vsize=1546412 CPUtime=0.89 /proc/4955/task/4960/stat : 4960 (java) S 4953 4955 3786 0 -1 4202560 3667 0 0 0 84 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 5 0 0 0 [pid=4955/tid=4961] ppid=4953 vsize=1546412 CPUtime=0.9 /proc/4955/task/4961/stat : 4961 (java) S 4953 4955 3786 0 -1 4202560 5349 0 0 0 84 6 0 0 15 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4962] ppid=4953 vsize=1546412 CPUtime=0.87 /proc/4955/task/4962/stat : 4962 (java) S 4953 4955 3786 0 -1 4202560 3469 0 0 0 82 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4963] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4963/stat : 4963 (java) S 4953 4955 3786 0 -1 4202560 4079 0 0 0 86 6 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 6 0 0 0 [pid=4955/tid=4964] ppid=4953 vsize=1546412 CPUtime=0.91 /proc/4955/task/4964/stat : 4964 (java) S 4953 4955 3786 0 -1 4202560 5275 0 0 0 85 6 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 7 0 0 0 [pid=4955/tid=4965] ppid=4953 vsize=1546412 CPUtime=0.92 /proc/4955/task/4965/stat : 4965 (java) S 4953 4955 3786 0 -1 4202560 3987 0 0 0 87 5 0 0 16 0 19 0 888171 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 4 0 0 0 [pid=4955/tid=4966] ppid=4953 vsize=1546412 CPUtime=14.84 /proc/4955/task/4966/stat : 4966 (java) S 4953 4955 3786 0 -1 4202560 9544 0 0 0 1478 6 0 0 15 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 0 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4967] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4967/stat : 4967 (java) S 4953 4955 3786 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4968] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4968/stat : 4968 (java) S 4953 4955 3786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 888172 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4969] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4969/stat : 4969 (java) S 4953 4955 3786 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 [pid=4955/tid=4970] ppid=4953 vsize=1546412 CPUtime=0.8 /proc/4955/task/4970/stat : 4970 (java) S 4953 4955 3786 0 -1 4202560 5432 0 0 0 80 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 0 0 0 0 [pid=4955/tid=4971] ppid=4953 vsize=1546412 CPUtime=0.47 /proc/4955/task/4971/stat : 4971 (java) S 4953 4955 3786 0 -1 4202560 3649 0 0 0 47 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4972] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4972/stat : 4972 (java) S 4953 4955 3786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4973] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4973/stat : 4973 (java) S 4953 4955 3786 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 888174 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 3 0 0 0 [pid=4955/tid=4974] ppid=4953 vsize=1546412 CPUtime=0 /proc/4955/task/4974/stat : 4974 (java) S 4953 4955 3786 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 888196 1583525888 58726 4089446400 134512640 134550932 4286954832 18446744073709551615 4294960144 0 4 0 16800975 18446604471160721792 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1546412 Child status: 143 Real time (s): 1793.17 CPU time (s): 1800.17 CPU user time (s): 1799.58 CPU system time (s): 0.58991 CPU usage (%): 100.391 Max. virtual memory (cumulated for all children) (KiB): 1547216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.58991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72058 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= 47734 involuntary context switches= 151946 runsolver used 3.47747 second user time and 6.77697 second system time The end
Begin job on node122 at 2010-07-05 12:45:46 IDJOB=2698489 IDBENCH=79149 IDSOLVER=1211 FILE ID=node122/2698489-1278326746 PBS_JOBID= 11207453 Free space on /tmp= 74212 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--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-2698489-1278326746/watcher-2698489-1278326746 -o /tmp/evaluation-result-2698489-1278326746/solver-2698489-1278326746 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698489-1278326746.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc RANDOM SEED=1094459777 node122.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.839 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.67 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.839 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 : 5226.16 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.839 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.75 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.839 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.81 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.839 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.76 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.839 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.67 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.839 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.839 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32267852 kB Buffers: 25020 kB Cached: 329888 kB SwapCached: 0 kB Active: 305696 kB Inactive: 272744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32267852 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2024 kB Writeback: 0 kB AnonPages: 224316 kB Mapped: 20480 kB Slab: 38028 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1649444 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= 74212 MiB End job on node122 at 2010-07-05 13:15:42