Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 0 | 1800.15 | 1797.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb |
MD5SUM | c73bf29c796f0bf48406f571c4c43173 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 7994 |
Total number of constraints | 420 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 68719476658 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.12/0.11 c Pseudo Boolean Optimization 0.12/0.11 c --- Begin Solver configuration --- 0.12/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@3e34a1fc 0.12/0.11 c Learn all clauses as in MiniSAT 0.12/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.11 c Expensive reason simplification 0.12/0.11 c Armin Biere (Picosat) restarts strategy 0.12/0.11 c Glucose learned constraints deletion strategy 0.12/0.11 c timeout=2147483s 0.12/0.11 c DB Simplification allowed=false 0.12/0.11 c --- End Solver configuration --- 0.12/0.11 c solving HOME/instance-3458825-1307151116.opb 0.12/0.11 c reading problem ... 0.81/0.43 c ... done. Wall clock time 0.317s. 0.81/0.43 c #vars 7994 0.81/0.43 c #constraints 560 0.81/0.43 c constraints type 0.81/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 560 2.76/2.00 c cleaning 2495 clauses out of 5000 with flag 5000/5000 3.49/2.78 c cleaning 4244 clauses out of 8505 with flag 11000/11000 4.29/3.54 c cleaning 5631 clauses out of 11262 with flag 18001/18001 5.41/4.62 c cleaning 6815 clauses out of 13631 with flag 26001/26001 6.78/5.95 c cleaning 7902 clauses out of 15816 with flag 35001/35001 8.28/7.41 c cleaning 8959 clauses out of 17918 with flag 45005/45005 9.69/8.88 c cleaning 9478 clauses out of 18955 with flag 55001/55001 11.38/10.56 c cleaning 9739 clauses out of 19477 with flag 65001/65001 13.28/12.49 c cleaning 9868 clauses out of 19738 with flag 75001/75001 14.28/13.48 c cleaning 9931 clauses out of 19870 with flag 85001/85001 15.30/14.49 c cleaning 9965 clauses out of 19939 with flag 95001/95001 16.40/15.58 c cleaning 9982 clauses out of 19974 with flag 105001/105001 17.50/16.68 c cleaning 9991 clauses out of 19992 with flag 115001/115001 18.49/17.71 c cleaning 9998 clauses out of 20001 with flag 125001/125001 19.59/18.75 c cleaning 9999 clauses out of 20003 with flag 135001/135001 20.59/19.79 c cleaning 9996 clauses out of 20004 with flag 145001/145001 21.69/20.86 c cleaning 9998 clauses out of 20008 with flag 155001/155001 22.79/21.91 c cleaning 10001 clauses out of 20010 with flag 165001/165001 23.90/23.07 c cleaning 9996 clauses out of 20008 with flag 175000/175000 24.90/24.09 c cleaning 10001 clauses out of 20013 with flag 185001/185001 26.00/25.11 c cleaning 10001 clauses out of 20012 with flag 195001/195001 27.30/26.50 c cleaning 9999 clauses out of 20011 with flag 205001/205001 28.60/27.79 c cleaning 10000 clauses out of 20011 with flag 215000/215000 29.90/29.07 c cleaning 9998 clauses out of 20011 with flag 225000/225000 31.30/30.41 c cleaning 10001 clauses out of 20014 with flag 235001/235001 32.60/31.74 c cleaning 9998 clauses out of 20013 with flag 245001/245001 34.02/33.15 c cleaning 10002 clauses out of 20014 with flag 255000/255000 35.30/34.45 c cleaning 10000 clauses out of 20013 with flag 265001/265001 36.80/35.93 c cleaning 10000 clauses out of 20013 with flag 275001/275001 38.31/37.50 c cleaning 10004 clauses out of 20012 with flag 285000/285000 39.61/38.71 c cleaning 9995 clauses out of 20010 with flag 295002/295002 40.71/39.87 c cleaning 9998 clauses out of 20013 with flag 305000/305000 41.91/41.05 c cleaning 9998 clauses out of 20016 with flag 315001/315001 43.21/42.37 c cleaning 9998 clauses out of 20018 with flag 325001/325001 44.51/43.61 c cleaning 10006 clauses out of 20019 with flag 335000/335000 45.71/44.85 c cleaning 9999 clauses out of 20013 with flag 345000/345000 47.11/46.22 c cleaning 10001 clauses out of 20014 with flag 355000/355000 48.51/47.65 c cleaning 10002 clauses out of 20013 with flag 365000/365000 49.71/48.89 c cleaning 9998 clauses out of 20012 with flag 375001/375001 50.91/50.06 c cleaning 9995 clauses out of 20013 with flag 385000/385000 52.41/51.51 c cleaning 10002 clauses out of 20019 with flag 395001/395001 53.83/52.98 c cleaning 10008 clauses out of 20017 with flag 405001/405001 55.52/54.61 c cleaning 10000 clauses out of 20010 with flag 415002/415002 56.72/55.89 c cleaning 9997 clauses out of 20009 with flag 425001/425001 57.82/57.00 c cleaning 9998 clauses out of 20011 with flag 435000/435000 59.12/58.24 c cleaning 10000 clauses out of 20014 with flag 445001/445001 60.32/59.49 c cleaning 10002 clauses out of 20014 with flag 455001/455001 61.54/60.64 c cleaning 9997 clauses out of 20011 with flag 465000/465000 62.72/61.83 c cleaning 10002 clauses out of 20014 with flag 475000/475000 64.02/63.11 c cleaning 9999 clauses out of 20012 with flag 485000/485000 65.32/64.49 c cleaning 9998 clauses out of 20014 with flag 495001/495001 66.82/65.94 c cleaning 10005 clauses out of 20015 with flag 505000/505000 68.23/67.37 c cleaning 9999 clauses out of 20010 with flag 515000/515000 69.64/68.78 c cleaning 9998 clauses out of 20012 with flag 525001/525001 70.94/70.06 c cleaning 10000 clauses out of 20013 with flag 535000/535000 72.24/71.33 c cleaning 9997 clauses out of 20014 with flag 545001/545001 73.44/72.58 c cleaning 9992 clauses out of 20017 with flag 555001/555001 74.34/73.43 c cleaning 10000 clauses out of 20024 with flag 565000/565000 75.04/74.19 c cleaning 9998 clauses out of 20024 with flag 575000/575000 75.86/74.97 c cleaning 9999 clauses out of 20027 with flag 585001/585001 82.54/81.68 c cleaning 10012 clauses out of 20029 with flag 595002/595002 92.05/91.14 c cleaning 9987 clauses out of 20015 with flag 605000/605000 104.47/103.56 c cleaning 10009 clauses out of 20030 with flag 615002/615002 107.45/106.56 c cleaning 9997 clauses out of 20019 with flag 625000/625000 110.25/109.35 c cleaning 10004 clauses out of 20024 with flag 635002/635002 112.65/111.73 c cleaning 9994 clauses out of 20018 with flag 645000/645000 117.16/116.26 c cleaning 9976 clauses out of 20024 with flag 655000/655000 123.36/122.48 c cleaning 9965 clauses out of 20048 with flag 665000/665000 130.46/129.58 c cleaning 10025 clauses out of 20084 with flag 675001/675001 143.56/142.64 c cleaning 9988 clauses out of 20058 with flag 685000/685000 156.96/156.04 c cleaning 10007 clauses out of 20070 with flag 695000/695000 170.66/169.71 c cleaning 9993 clauses out of 20063 with flag 705000/705000 183.79/182.89 c cleaning 9985 clauses out of 20070 with flag 715000/715000 191.79/190.84 c cleaning 9979 clauses out of 20085 with flag 725000/725000 196.10/195.15 c cleaning 10007 clauses out of 20106 with flag 735000/735000 200.80/199.86 c cleaning 10005 clauses out of 20100 with flag 745001/745001 205.80/204.89 c cleaning 10003 clauses out of 20095 with flag 755001/755001 211.71/210.71 c cleaning 9998 clauses out of 20091 with flag 765000/765000 216.91/215.90 c cleaning 10000 clauses out of 20094 with flag 775001/775001 221.41/220.43 c cleaning 10017 clauses out of 20094 with flag 785001/785001 225.92/224.92 c cleaning 9987 clauses out of 20076 with flag 795000/795000 230.92/229.92 c cleaning 9985 clauses out of 20089 with flag 805000/805000 236.23/235.21 c cleaning 9996 clauses out of 20105 with flag 815001/815001 239.74/238.74 c cleaning 9993 clauses out of 20109 with flag 825001/825001 243.34/242.38 c cleaning 10024 clauses out of 20115 with flag 835000/835000 245.84/244.82 c cleaning 10008 clauses out of 20093 with flag 845002/845002 247.85/246.87 c cleaning 10001 clauses out of 20083 with flag 855000/855000 250.15/249.13 c cleaning 10005 clauses out of 20083 with flag 865001/865001 252.65/251.69 c cleaning 10003 clauses out of 20077 with flag 875000/875000 255.36/254.33 c cleaning 10027 clauses out of 20074 with flag 885000/885000 264.56/263.51 c cleaning 10005 clauses out of 20047 with flag 895000/895000 275.16/274.10 c cleaning 9996 clauses out of 20043 with flag 905001/905001 283.57/282.50 c cleaning 9995 clauses out of 20046 with flag 915000/915000 292.07/291.07 c cleaning 10022 clauses out of 20051 with flag 925000/925000 299.08/298.00 c cleaning 10010 clauses out of 20029 with flag 935001/935001 300.78/299.77 c cleaning 9973 clauses out of 20021 with flag 945003/945003 305.99/304.96 c cleaning 10004 clauses out of 20046 with flag 955001/955001 313.50/312.46 c cleaning 10004 clauses out of 20043 with flag 965002/965002 314.99/313.98 c cleaning 10006 clauses out of 20038 with flag 975001/975001 316.49/315.48 c cleaning 10012 clauses out of 20031 with flag 985000/985000 318.09/317.08 c cleaning 10006 clauses out of 20020 with flag 995001/995001 319.69/318.62 c cleaning 10000 clauses out of 20013 with flag 1005000/1005000 321.20/320.18 c cleaning 10005 clauses out of 20015 with flag 1015002/1015002 322.99/321.90 c cleaning 10001 clauses out of 20010 with flag 1025002/1025002 324.70/323.65 c cleaning 10004 clauses out of 20007 with flag 1035000/1035000 326.60/325.51 c cleaning 9999 clauses out of 20004 with flag 1045001/1045001 328.60/327.50 c cleaning 9999 clauses out of 20004 with flag 1055000/1055000 330.50/329.42 c cleaning 9999 clauses out of 20005 with flag 1065000/1065000 332.40/331.32 c cleaning 10001 clauses out of 20007 with flag 1075001/1075001 334.52/333.44 c cleaning 9997 clauses out of 20006 with flag 1085001/1085001 336.40/335.40 c cleaning 10001 clauses out of 20008 with flag 1095000/1095000 338.50/337.44 c cleaning 10001 clauses out of 20007 with flag 1105000/1105000 340.70/339.61 c cleaning 10003 clauses out of 20006 with flag 1115000/1115000 342.60/341.60 c cleaning 9998 clauses out of 20004 with flag 1125001/1125001 344.61/343.58 c cleaning 9999 clauses out of 20006 with flag 1135001/1135001 346.63/345.58 c cleaning 10000 clauses out of 20008 with flag 1145002/1145002 348.01/346.97 c cleaning 9999 clauses out of 20007 with flag 1155001/1155001 348.91/347.89 c cleaning 9996 clauses out of 20007 with flag 1165000/1165000 350.01/348.90 c cleaning 9999 clauses out of 20011 with flag 1175000/1175000 351.03/349.92 c cleaning 9994 clauses out of 20012 with flag 1185000/1185000 352.01/350.96 c cleaning 10001 clauses out of 20020 with flag 1195002/1195002 352.91/351.81 c cleaning 10003 clauses out of 20017 with flag 1205000/1205000 353.81/352.73 c cleaning 10001 clauses out of 20014 with flag 1215000/1215000 354.82/353.70 c cleaning 10001 clauses out of 20015 with flag 1225002/1225002 355.81/354.72 c cleaning 10000 clauses out of 20012 with flag 1235000/1235000 356.62/355.57 c cleaning 9999 clauses out of 20012 with flag 1245000/1245000 357.52/356.49 c cleaning 9999 clauses out of 20015 with flag 1255002/1255002 358.53/357.45 c cleaning 10001 clauses out of 20014 with flag 1265000/1265000 359.43/358.38 c cleaning 10001 clauses out of 20013 with flag 1275000/1275000 360.53/359.41 c cleaning 10000 clauses out of 20013 with flag 1285001/1285001 361.53/360.40 c cleaning 9997 clauses out of 20012 with flag 1295000/1295000 362.43/361.36 c cleaning 10004 clauses out of 20015 with flag 1305000/1305000 363.43/362.35 c cleaning 10002 clauses out of 20011 with flag 1315000/1315000 364.53/363.45 c cleaning 9999 clauses out of 20010 with flag 1325001/1325001 365.53/364.47 c cleaning 10001 clauses out of 20010 with flag 1335000/1335000 367.83/366.73 c cleaning 9983 clauses out of 20009 with flag 1345000/1345000 376.43/375.36 c cleaning 9983 clauses out of 20027 with flag 1355001/1355001 384.84/383.71 c cleaning 10007 clauses out of 20044 with flag 1365001/1365001 393.44/392.32 c cleaning 9985 clauses out of 20037 with flag 1375001/1375001 397.15/396.05 c cleaning 10009 clauses out of 20053 with flag 1385002/1385002 400.95/399.83 c cleaning 10010 clauses out of 20043 with flag 1395001/1395001 404.97/403.85 c cleaning 10011 clauses out of 20033 with flag 1405001/1405001 408.65/407.58 c cleaning 10000 clauses out of 20022 with flag 1415001/1415001 411.95/410.82 c cleaning 9976 clauses out of 20021 with flag 1425000/1425000 417.26/416.13 c cleaning 9992 clauses out of 20046 with flag 1435001/1435001 422.27/421.12 c cleaning 9992 clauses out of 20053 with flag 1445000/1445000 427.37/426.22 c cleaning 10006 clauses out of 20061 with flag 1455000/1455000 432.87/431.72 c cleaning 9993 clauses out of 20056 with flag 1465001/1465001 435.07/433.99 c cleaning 10019 clauses out of 20062 with flag 1475000/1475000 437.27/436.10 c cleaning 10010 clauses out of 20043 with flag 1485000/1485000 439.17/438.05 c cleaning 10006 clauses out of 20033 with flag 1495000/1495000 441.29/440.12 c cleaning 10008 clauses out of 20027 with flag 1505000/1505000 443.38/442.25 c cleaning 9998 clauses out of 20019 with flag 1515000/1515000 445.38/444.27 c cleaning 10006 clauses out of 20023 with flag 1525002/1525002 447.28/446.13 c cleaning 10003 clauses out of 20015 with flag 1535000/1535000 449.08/447.93 c cleaning 9996 clauses out of 20013 with flag 1545001/1545001 450.88/449.78 c cleaning 10001 clauses out of 20017 with flag 1555001/1555001 452.89/451.71 c cleaning 10002 clauses out of 20016 with flag 1565001/1565001 454.59/453.49 c cleaning 9999 clauses out of 20014 with flag 1575001/1575001 456.71/455.58 c cleaning 10002 clauses out of 20015 with flag 1585001/1585001 458.59/457.43 c cleaning 9996 clauses out of 20012 with flag 1595000/1595000 460.39/459.27 c cleaning 10002 clauses out of 20017 with flag 1605001/1605001 462.39/461.21 c cleaning 10004 clauses out of 20016 with flag 1615002/1615002 464.10/462.98 c cleaning 9995 clauses out of 20011 with flag 1625001/1625001 465.90/464.80 c cleaning 10001 clauses out of 20015 with flag 1635000/1635000 468.10/466.90 c cleaning 9999 clauses out of 20015 with flag 1645001/1645001 470.00/468.84 c cleaning 10006 clauses out of 20016 with flag 1655001/1655001 472.00/470.88 c cleaning 10000 clauses out of 20011 with flag 1665002/1665002 474.00/472.84 c cleaning 9997 clauses out of 20010 with flag 1675001/1675001 476.00/474.80 c cleaning 9999 clauses out of 20012 with flag 1685000/1685000 477.90/476.73 c cleaning 9999 clauses out of 20014 with flag 1695001/1695001 479.90/478.77 c cleaning 9999 clauses out of 20014 with flag 1705000/1705000 481.80/480.70 c cleaning 9998 clauses out of 20015 with flag 1715000/1715000 484.01/482.87 c cleaning 10000 clauses out of 20017 with flag 1725000/1725000 486.01/484.81 c cleaning 10001 clauses out of 20018 with flag 1735001/1735001 488.01/486.89 c cleaning 10001 clauses out of 20016 with flag 1745000/1745000 490.21/489.05 c cleaning 10001 clauses out of 20015 with flag 1755000/1755000 492.31/491.17 c cleaning 9997 clauses out of 20014 with flag 1765000/1765000 494.41/493.23 c cleaning 10002 clauses out of 20017 with flag 1775000/1775000 496.41/495.26 c cleaning 9996 clauses out of 20016 with flag 1785001/1785001 498.61/497.40 c cleaning 10004 clauses out of 20020 with flag 1795001/1795001 500.62/499.42 c cleaning 10003 clauses out of 20017 with flag 1805002/1805002 502.72/501.58 c cleaning 9999 clauses out of 20012 with flag 1815000/1815000 504.82/503.67 c cleaning 10001 clauses out of 20013 with flag 1825000/1825000 507.02/505.82 c cleaning 10001 clauses out of 20013 with flag 1835001/1835001 509.12/507.96 c cleaning 9999 clauses out of 20013 with flag 1845002/1845002 511.22/510.06 c cleaning 10001 clauses out of 20013 with flag 1855001/1855001 513.42/512.24 c cleaning 10000 clauses out of 20012 with flag 1865001/1865001 515.52/514.30 c cleaning 9994 clauses out of 20011 with flag 1875000/1875000 517.62/516.46 c cleaning 10002 clauses out of 20017 with flag 1885000/1885000 519.92/518.72 c cleaning 10000 clauses out of 20015 with flag 1895000/1895000 521.92/520.74 c cleaning 10000 clauses out of 20015 with flag 1905000/1905000 524.02/522.88 c cleaning 10000 clauses out of 20016 with flag 1915001/1915001 526.12/524.99 c cleaning 10005 clauses out of 20018 with flag 1925003/1925003 528.33/527.10 c cleaning 9995 clauses out of 20012 with flag 1935002/1935002 530.44/529.27 c cleaning 9999 clauses out of 20015 with flag 1945000/1945000 532.53/531.42 c cleaning 9999 clauses out of 20016 with flag 1955000/1955000 534.93/533.78 c cleaning 10000 clauses out of 20018 with flag 1965001/1965001 537.23/536.09 c cleaning 9996 clauses out of 20018 with flag 1975001/1975001 540.93/539.75 c cleaning 9996 clauses out of 20022 with flag 1985001/1985001 544.53/543.34 c cleaning 9998 clauses out of 20026 with flag 1995001/1995001 549.93/548.76 c cleaning 10010 clauses out of 20027 with flag 2005000/2005000 555.24/554.08 c cleaning 9975 clauses out of 20019 with flag 2015002/2015002 560.35/559.10 c cleaning 10002 clauses out of 20042 with flag 2025000/2025000 572.36/571.13 c cleaning 10007 clauses out of 20040 with flag 2035000/2035000 578.57/577.38 c cleaning 10005 clauses out of 20033 with flag 2045000/2045000 582.67/581.45 c cleaning 9992 clauses out of 20028 with flag 2055000/2055000 589.78/588.59 c cleaning 9991 clauses out of 20037 with flag 2065001/2065001 600.28/599.00 c cleaning 9989 clauses out of 20046 with flag 2075001/2075001 610.08/608.80 c cleaning 9991 clauses out of 20056 with flag 2085000/2085000 617.79/616.56 c cleaning 9984 clauses out of 20066 with flag 2095001/2095001 625.90/624.65 c cleaning 9995 clauses out of 20081 with flag 2105000/2105000 636.01/634.80 c cleaning 9977 clauses out of 20087 with flag 2115001/2115001 644.82/643.61 c cleaning 9977 clauses out of 20110 with flag 2125001/2125001 651.91/650.60 c cleaning 10061 clauses out of 20134 with flag 2135002/2135002 660.02/658.72 c cleaning 9999 clauses out of 20071 with flag 2145000/2145000 670.03/668.71 c cleaning 10005 clauses out of 20073 with flag 2155001/2155001 681.14/679.88 c cleaning 9995 clauses out of 20069 with flag 2165002/2165002 692.33/691.08 c cleaning 10005 clauses out of 20073 with flag 2175001/2175001 701.34/700.01 c cleaning 9995 clauses out of 20067 with flag 2185000/2185000 709.64/708.37 c cleaning 9997 clauses out of 20073 with flag 2195001/2195001 714.34/713.03 c cleaning 10031 clauses out of 20076 with flag 2205001/2205001 717.57/716.23 c cleaning 10015 clauses out of 20045 with flag 2215001/2215001 720.65/719.35 c cleaning 10006 clauses out of 20029 with flag 2225000/2225000 723.55/722.27 c cleaning 10004 clauses out of 20023 with flag 2235000/2235000 726.95/725.64 c cleaning 10002 clauses out of 20019 with flag 2245000/2245000 730.05/728.76 c cleaning 10001 clauses out of 20017 with flag 2255000/2255000 733.16/731.80 c cleaning 9999 clauses out of 20016 with flag 2265000/2265000 736.46/735.11 c cleaning 9999 clauses out of 20017 with flag 2275000/2275000 739.96/738.60 c cleaning 10001 clauses out of 20019 with flag 2285001/2285001 743.06/741.79 c cleaning 10004 clauses out of 20017 with flag 2295000/2295000 746.07/744.80 c cleaning 9997 clauses out of 20013 with flag 2305000/2305000 747.97/746.62 c cleaning 10001 clauses out of 20016 with flag 2315000/2315000 749.78/748.49 c cleaning 9996 clauses out of 20015 with flag 2325000/2325000 751.58/750.23 c cleaning 10003 clauses out of 20020 with flag 2335001/2335001 753.38/752.02 c cleaning 9999 clauses out of 20017 with flag 2345001/2345001 755.28/753.93 c cleaning 10002 clauses out of 20018 with flag 2355001/2355001 756.98/755.68 c cleaning 10001 clauses out of 20015 with flag 2365000/2365000 758.88/757.54 c cleaning 9997 clauses out of 20015 with flag 2375001/2375001 760.79/759.44 c cleaning 10001 clauses out of 20019 with flag 2385002/2385002 762.79/761.44 c cleaning 10000 clauses out of 20017 with flag 2395001/2395001 764.59/763.27 c cleaning 9998 clauses out of 20016 with flag 2405000/2405000 766.49/765.16 c cleaning 9997 clauses out of 20018 with flag 2415000/2415000 768.49/767.11 c cleaning 10000 clauses out of 20021 with flag 2425000/2425000 770.42/769.10 c cleaning 9994 clauses out of 20022 with flag 2435001/2435001 773.00/771.63 c cleaning 9969 clauses out of 20027 with flag 2445000/2445000 778.61/777.22 c cleaning 10004 clauses out of 20059 with flag 2455001/2455001 784.31/782.95 c cleaning 9979 clauses out of 20055 with flag 2465001/2465001 789.72/788.35 c cleaning 10003 clauses out of 20075 with flag 2475000/2475000 795.62/794.29 c cleaning 9994 clauses out of 20073 with flag 2485001/2485001 802.43/801.05 c cleaning 9991 clauses out of 20079 with flag 2495001/2495001 808.54/807.11 c cleaning 9986 clauses out of 20087 with flag 2505000/2505000 816.04/814.68 c cleaning 9992 clauses out of 20102 with flag 2515001/2515001 822.17/820.77 c cleaning 9991 clauses out of 20111 with flag 2525002/2525002 827.45/826.08 c cleaning 10002 clauses out of 20119 with flag 2535001/2535001 832.37/830.94 c cleaning 10002 clauses out of 20116 with flag 2545000/2545000 839.37/837.94 c cleaning 9989 clauses out of 20114 with flag 2555000/2555000 845.47/844.01 c cleaning 9997 clauses out of 20125 with flag 2565000/2565000 851.58/850.10 c cleaning 9988 clauses out of 20129 with flag 2575001/2575001 857.48/856.06 c cleaning 10011 clauses out of 20140 with flag 2585000/2585000 864.28/862.85 c cleaning 10003 clauses out of 20130 with flag 2595001/2595001 870.19/868.73 c cleaning 10021 clauses out of 20128 with flag 2605002/2605002 875.39/873.97 c cleaning 10005 clauses out of 20105 with flag 2615000/2615000 880.60/879.10 c cleaning 9978 clauses out of 20101 with flag 2625001/2625001 885.30/883.83 c cleaning 10000 clauses out of 20122 with flag 2635000/2635000 891.00/889.52 c cleaning 9994 clauses out of 20123 with flag 2645001/2645001 896.90/895.48 c cleaning 10007 clauses out of 20129 with flag 2655001/2655001 903.00/901.57 c cleaning 10041 clauses out of 20122 with flag 2665001/2665001 918.01/916.53 c cleaning 10013 clauses out of 20082 with flag 2675002/2675002 928.21/926.78 c cleaning 9999 clauses out of 20067 with flag 2685000/2685000 936.12/934.61 c cleaning 10002 clauses out of 20069 with flag 2695001/2695001 947.72/946.30 c cleaning 9995 clauses out of 20066 with flag 2705000/2705000 956.63/955.16 c cleaning 10005 clauses out of 20071 with flag 2715000/2715000 964.83/963.39 c cleaning 9996 clauses out of 20066 with flag 2725000/2725000 975.33/973.87 c cleaning 10011 clauses out of 20071 with flag 2735001/2735001 986.15/984.67 c cleaning 9993 clauses out of 20059 with flag 2745000/2745000 993.85/992.40 c cleaning 10010 clauses out of 20066 with flag 2755000/2755000 1004.54/1003.03 c cleaning 9995 clauses out of 20056 with flag 2765000/2765000 1015.14/1013.63 c cleaning 10000 clauses out of 20062 with flag 2775001/2775001 1026.54/1025.03 c cleaning 9997 clauses out of 20061 with flag 2785000/2785000 1036.04/1034.59 c cleaning 10006 clauses out of 20065 with flag 2795001/2795001 1047.04/1045.52 c cleaning 9999 clauses out of 20059 with flag 2805001/2805001 1053.05/1051.51 c cleaning 10002 clauses out of 20059 with flag 2815000/2815000 1063.35/1061.88 c cleaning 9983 clauses out of 20057 with flag 2825000/2825000 1074.45/1072.90 c cleaning 10000 clauses out of 20074 with flag 2835000/2835000 1085.46/1083.90 c cleaning 10007 clauses out of 20074 with flag 2845000/2845000 1095.16/1093.66 c cleaning 10000 clauses out of 20067 with flag 2855000/2855000 1106.17/1104.60 c cleaning 9998 clauses out of 20067 with flag 2865000/2865000 1115.99/1114.49 c cleaning 10004 clauses out of 20070 with flag 2875001/2875001 1123.07/1121.53 c cleaning 10003 clauses out of 20066 with flag 2885001/2885001 1131.67/1130.17 c cleaning 10008 clauses out of 20062 with flag 2895000/2895000 1139.77/1138.25 c cleaning 9992 clauses out of 20054 with flag 2905000/2905000 1146.47/1144.98 c cleaning 9999 clauses out of 20062 with flag 2915000/2915000 1153.58/1152.08 c cleaning 10009 clauses out of 20064 with flag 2925001/2925001 1161.88/1160.31 c cleaning 9991 clauses out of 20054 with flag 2935000/2935000 1171.38/1169.90 c cleaning 9993 clauses out of 20064 with flag 2945001/2945001 1177.09/1175.58 c cleaning 10005 clauses out of 20072 with flag 2955002/2955002 1184.59/1183.04 c cleaning 9999 clauses out of 20065 with flag 2965000/2965000 1194.29/1192.73 c cleaning 10003 clauses out of 20067 with flag 2975001/2975001 1203.29/1201.72 c cleaning 10005 clauses out of 20066 with flag 2985003/2985003 1210.39/1208.81 c cleaning 9991 clauses out of 20058 with flag 2995000/2995000 1217.69/1216.11 c cleaning 10015 clauses out of 20067 with flag 3005000/3005000 1221.70/1220.15 c SATISFIABLE 1221.70/1220.15 c OPTIMIZING... 1221.70/1220.15 c Got one! Elapsed wall clock time (in seconds):1220.04 1221.70/1220.15 o 0 1222.67/1220.91 c cleaning 12034 clauses out of 24090 with flag 5001/3019038 1227.99/1226.03 c cleaning 9020 clauses out of 18056 with flag 11001/3025038 1229.82/1227.76 c cleaning 8013 clauses out of 16036 with flag 18001/3032038 1231.20/1229.19 c cleaning 8004 clauses out of 16022 with flag 26000/3040037 1232.50/1230.43 c cleaning 8507 clauses out of 17019 with flag 35001/3049038 1234.00/1231.98 c cleaning 9255 clauses out of 18512 with flag 45001/3059038 1235.40/1233.35 c cleaning 9621 clauses out of 19256 with flag 55000/3069037 1236.80/1234.73 c cleaning 9815 clauses out of 19635 with flag 65000/3079037 1238.30/1236.26 c cleaning 9910 clauses out of 19822 with flag 75002/3089039 1239.81/1237.77 c cleaning 9953 clauses out of 19910 with flag 85000/3099037 1241.41/1239.30 c cleaning 9974 clauses out of 19957 with flag 95000/3109037 1242.81/1240.78 c cleaning 9988 clauses out of 19983 with flag 105000/3119037 1244.21/1242.18 c cleaning 9993 clauses out of 19996 with flag 115001/3129038 1245.61/1243.51 c cleaning 9999 clauses out of 20002 with flag 125000/3139037 1247.02/1244.92 c cleaning 9995 clauses out of 20003 with flag 135000/3149037 1248.32/1246.27 c cleaning 9999 clauses out of 20008 with flag 145000/3159037 1249.72/1247.62 c cleaning 10003 clauses out of 20009 with flag 155000/3169037 1251.02/1248.98 c cleaning 9999 clauses out of 20007 with flag 165001/3179038 1252.32/1250.25 c cleaning 10004 clauses out of 20007 with flag 175000/3189037 1253.62/1251.58 c cleaning 10000 clauses out of 20004 with flag 185001/3199038 1255.03/1252.98 c cleaning 9998 clauses out of 20003 with flag 195000/3209037 1256.43/1254.38 c cleaning 9998 clauses out of 20006 with flag 205001/3219038 1257.73/1255.68 c cleaning 9998 clauses out of 20007 with flag 215000/3229037 1259.13/1257.02 c cleaning 9999 clauses out of 20009 with flag 225000/3239037 1260.43/1258.32 c cleaning 10000 clauses out of 20011 with flag 235001/3249038 1261.75/1259.62 c cleaning 10002 clauses out of 20010 with flag 245000/3259037 1263.23/1261.17 c cleaning 10000 clauses out of 20008 with flag 255000/3269037 1264.73/1262.68 c cleaning 10002 clauses out of 20008 with flag 265000/3279037 1266.43/1264.33 c cleaning 9997 clauses out of 20008 with flag 275002/3289039 1268.04/1265.91 c cleaning 10002 clauses out of 20011 with flag 285002/3299039 1269.54/1267.42 c cleaning 9997 clauses out of 20007 with flag 295000/3309037 1271.04/1268.92 c cleaning 10001 clauses out of 20011 with flag 305001/3319038 1272.34/1270.26 c cleaning 10001 clauses out of 20010 with flag 315001/3329038 1273.86/1271.80 c cleaning 10002 clauses out of 20010 with flag 325002/3339039 1275.34/1273.28 c cleaning 9997 clauses out of 20006 with flag 335000/3349037 1276.85/1274.79 c cleaning 10000 clauses out of 20009 with flag 345000/3359037 1278.35/1276.21 c cleaning 10001 clauses out of 20009 with flag 355000/3369037 1279.85/1277.71 c cleaning 10003 clauses out of 20008 with flag 365000/3379037 1281.25/1279.11 c cleaning 9995 clauses out of 20005 with flag 375000/3389037 1282.75/1280.60 c cleaning 10001 clauses out of 20011 with flag 385001/3399038 1284.15/1282.07 c cleaning 10000 clauses out of 20009 with flag 395000/3409037 1285.65/1283.58 c cleaning 9997 clauses out of 20010 with flag 405001/3419038 1287.15/1285.05 c cleaning 9999 clauses out of 20012 with flag 415000/3429037 1288.55/1286.42 c cleaning 10002 clauses out of 20014 with flag 425001/3439038 1290.05/1287.95 c cleaning 9997 clauses out of 20011 with flag 435000/3449037 1291.48/1289.35 c cleaning 9997 clauses out of 20014 with flag 445000/3459037 1292.75/1290.68 c cleaning 10004 clauses out of 20017 with flag 455000/3469037 1294.15/1292.02 c cleaning 9999 clauses out of 20013 with flag 465000/3479037 1295.55/1293.41 c cleaning 10001 clauses out of 20014 with flag 475000/3489037 1296.86/1294.78 c cleaning 10003 clauses out of 20014 with flag 485001/3499038 1298.36/1296.21 c cleaning 9996 clauses out of 20011 with flag 495001/3509038 1299.66/1297.53 c cleaning 10005 clauses out of 20015 with flag 505001/3519038 1301.06/1298.93 c cleaning 10000 clauses out of 20009 with flag 515000/3529037 1302.36/1300.30 c cleaning 9996 clauses out of 20011 with flag 525002/3539039 1303.86/1301.70 c cleaning 9999 clauses out of 20013 with flag 535000/3549037 1305.26/1303.12 c cleaning 10004 clauses out of 20015 with flag 545001/3559038 1306.66/1304.51 c cleaning 10000 clauses out of 20011 with flag 555001/3569038 1307.98/1305.87 c cleaning 10001 clauses out of 20010 with flag 565000/3579037 1309.36/1307.26 c cleaning 9996 clauses out of 20010 with flag 575001/3589038 1310.86/1308.75 c cleaning 9998 clauses out of 20013 with flag 585000/3599037 1312.16/1310.00 c cleaning 9996 clauses out of 20015 with flag 595000/3609037 1313.56/1311.40 c cleaning 10003 clauses out of 20019 with flag 605000/3619037 1314.97/1312.89 c cleaning 9998 clauses out of 20016 with flag 615000/3629037 1316.57/1314.43 c cleaning 10003 clauses out of 20018 with flag 625000/3639037 1317.89/1315.73 c cleaning 9999 clauses out of 20015 with flag 635000/3649037 1319.28/1317.18 c cleaning 10002 clauses out of 20017 with flag 645001/3659038 1320.88/1318.71 c cleaning 10004 clauses out of 20015 with flag 655001/3669038 1322.48/1320.36 c cleaning 10002 clauses out of 20010 with flag 665000/3679037 1324.28/1322.13 c cleaning 10001 clauses out of 20008 with flag 675000/3689037 1325.98/1323.81 c cleaning 10003 clauses out of 20009 with flag 685002/3699039 1327.68/1325.58 c cleaning 10002 clauses out of 20006 with flag 695002/3709039 1329.38/1327.23 c cleaning 10001 clauses out of 20003 with flag 705001/3719038 1331.10/1328.98 c cleaning 9995 clauses out of 20001 with flag 715000/3729037 1332.88/1330.77 c cleaning 9997 clauses out of 20007 with flag 725001/3739038 1334.68/1332.51 c cleaning 10003 clauses out of 20010 with flag 735001/3749038 1336.28/1334.15 c cleaning 10004 clauses out of 20007 with flag 745001/3759038 1337.99/1335.85 c cleaning 9997 clauses out of 20002 with flag 755000/3769037 1339.69/1337.55 c cleaning 9999 clauses out of 20005 with flag 765000/3779037 1341.39/1339.27 c cleaning 10000 clauses out of 20006 with flag 775000/3789037 1343.29/1341.10 c cleaning 10002 clauses out of 20007 with flag 785001/3799038 1345.09/1342.92 c cleaning 10003 clauses out of 20005 with flag 795001/3809038 1346.89/1344.74 c cleaning 9999 clauses out of 20001 with flag 805000/3819037 1348.71/1346.58 c cleaning 9997 clauses out of 20002 with flag 815000/3829037 1350.39/1348.29 c cleaning 9996 clauses out of 20005 with flag 825000/3839037 1352.19/1350.04 c cleaning 10003 clauses out of 20009 with flag 835000/3849037 1354.00/1351.92 c cleaning 9999 clauses out of 20006 with flag 845000/3859037 1355.90/1353.78 c cleaning 9996 clauses out of 20007 with flag 855000/3869037 1357.60/1355.47 c cleaning 10004 clauses out of 20011 with flag 865000/3879037 1359.30/1357.17 c cleaning 10002 clauses out of 20008 with flag 875001/3889038 1361.30/1359.10 c cleaning 9996 clauses out of 20005 with flag 885000/3899037 1362.90/1360.80 c cleaning 9999 clauses out of 20009 with flag 895000/3909037 1364.80/1362.61 c cleaning 10000 clauses out of 20010 with flag 905000/3919037 1366.32/1364.19 c cleaning 10000 clauses out of 20010 with flag 915000/3929037 1368.01/1365.87 c cleaning 10002 clauses out of 20010 with flag 925000/3939037 1369.81/1367.60 c cleaning 10002 clauses out of 20009 with flag 935001/3949038 1371.51/1369.37 c cleaning 10002 clauses out of 20006 with flag 945000/3959037 1373.41/1371.23 c cleaning 9996 clauses out of 20006 with flag 955002/3969039 1375.21/1373.08 c cleaning 10001 clauses out of 20009 with flag 965001/3979038 1377.11/1374.91 c cleaning 9996 clauses out of 20008 with flag 975001/3989038 1378.91/1376.74 c cleaning 10000 clauses out of 20011 with flag 985000/3999037 1380.63/1378.42 c cleaning 10004 clauses out of 20011 with flag 995000/4009037 1382.31/1380.13 c cleaning 10002 clauses out of 20007 with flag 1005000/4019037 1384.12/1381.99 c cleaning 10001 clauses out of 20006 with flag 1015001/4029038 1385.92/1383.77 c cleaning 9996 clauses out of 20004 with flag 1025000/4039037 1387.82/1385.66 c cleaning 9998 clauses out of 20008 with flag 1035000/4049037 1389.72/1387.54 c cleaning 10002 clauses out of 20010 with flag 1045000/4059037 1391.92/1389.77 c cleaning 9978 clauses out of 20008 with flag 1055000/4069037 1394.83/1392.63 c cleaning 9991 clauses out of 20030 with flag 1065000/4079037 1397.92/1395.79 c cleaning 9997 clauses out of 20040 with flag 1075001/4089038 1401.13/1398.95 c cleaning 10000 clauses out of 20043 with flag 1085001/4099038 1404.33/1402.14 c cleaning 9998 clauses out of 20042 with flag 1095000/4109037 1407.14/1404.98 c cleaning 9998 clauses out of 20044 with flag 1105000/4119037 1410.14/1407.93 c cleaning 9998 clauses out of 20046 with flag 1115000/4129037 1412.94/1410.76 c cleaning 10005 clauses out of 20049 with flag 1125001/4139038 1415.86/1413.62 c cleaning 10000 clauses out of 20044 with flag 1135001/4149038 1418.64/1416.41 c cleaning 9994 clauses out of 20043 with flag 1145000/4159037 1421.36/1419.14 c cleaning 9999 clauses out of 20049 with flag 1155000/4169037 1424.05/1421.89 c cleaning 10002 clauses out of 20050 with flag 1165000/4179037 1426.75/1424.59 c cleaning 10000 clauses out of 20049 with flag 1175001/4189038 1429.55/1427.35 c cleaning 9998 clauses out of 20049 with flag 1185001/4199038 1432.45/1430.24 c cleaning 10001 clauses out of 20053 with flag 1195003/4209040 1435.15/1432.94 c cleaning 10004 clauses out of 20050 with flag 1205001/4219038 1437.95/1435.72 c cleaning 9997 clauses out of 20045 with flag 1215000/4229037 1440.75/1438.52 c cleaning 10001 clauses out of 20049 with flag 1225001/4239038 1443.46/1441.28 c cleaning 9998 clauses out of 20048 with flag 1235001/4249038 1446.27/1444.04 c cleaning 9998 clauses out of 20050 with flag 1245001/4259038 1449.27/1447.05 c cleaning 9999 clauses out of 20051 with flag 1255000/4269037 1452.08/1449.86 c cleaning 10005 clauses out of 20053 with flag 1265001/4279038 1454.87/1452.63 c cleaning 9992 clauses out of 20048 with flag 1275001/4289038 1457.70/1455.48 c cleaning 10003 clauses out of 20058 with flag 1285003/4299040 1460.48/1458.24 c cleaning 10003 clauses out of 20052 with flag 1295000/4309037 1463.20/1460.99 c cleaning 9998 clauses out of 20050 with flag 1305001/4319038 1465.98/1463.78 c cleaning 10001 clauses out of 20052 with flag 1315001/4329038 1468.78/1466.56 c cleaning 10000 clauses out of 20051 with flag 1325001/4339038 1471.48/1469.29 c cleaning 10000 clauses out of 20050 with flag 1335000/4349037 1474.58/1472.38 c cleaning 10001 clauses out of 20050 with flag 1345000/4359037 1477.89/1475.68 c cleaning 10000 clauses out of 20049 with flag 1355000/4369037 1481.19/1478.98 c cleaning 10000 clauses out of 20050 with flag 1365001/4379038 1484.69/1482.46 c cleaning 10003 clauses out of 20049 with flag 1375000/4389037 1487.89/1485.62 c cleaning 10003 clauses out of 20047 with flag 1385001/4399038 1491.09/1488.86 c cleaning 9995 clauses out of 20043 with flag 1395000/4409037 1494.50/1492.23 c cleaning 9998 clauses out of 20048 with flag 1405000/4419037 1497.80/1495.53 c cleaning 9998 clauses out of 20050 with flag 1415000/4429037 1501.00/1498.73 c cleaning 10002 clauses out of 20054 with flag 1425002/4439039 1504.40/1502.13 c cleaning 10002 clauses out of 20050 with flag 1435000/4449037 1507.70/1505.44 c cleaning 9997 clauses out of 20048 with flag 1445000/4459037 1511.00/1508.72 c cleaning 10007 clauses out of 20051 with flag 1455000/4469037 1513.91/1511.62 c cleaning 10000 clauses out of 20045 with flag 1465001/4479038 1516.71/1514.49 c cleaning 9998 clauses out of 20044 with flag 1475000/4489037 1519.71/1517.46 c cleaning 10014 clauses out of 20045 with flag 1485000/4499037 1533.21/1530.99 c cleaning 9998 clauses out of 20031 with flag 1495000/4509037 1539.14/1536.87 c cleaning 10011 clauses out of 20033 with flag 1505000/4519037 1543.43/1541.17 c cleaning 9994 clauses out of 20023 with flag 1515001/4529038 1548.24/1545.93 c cleaning 10000 clauses out of 20030 with flag 1525002/4539039 1553.35/1551.04 c cleaning 9997 clauses out of 20028 with flag 1535000/4549037 1559.85/1557.57 c cleaning 9993 clauses out of 20032 with flag 1545001/4559038 1567.25/1564.94 c cleaning 9998 clauses out of 20038 with flag 1555000/4569037 1574.66/1572.35 c cleaning 9995 clauses out of 20040 with flag 1565000/4579037 1579.26/1576.95 c cleaning 10005 clauses out of 20046 with flag 1575001/4589038 1584.17/1581.87 c cleaning 9974 clauses out of 20040 with flag 1585000/4599037 1591.28/1588.95 c cleaning 9996 clauses out of 20069 with flag 1595003/4609040 1598.78/1596.43 c cleaning 10005 clauses out of 20070 with flag 1605000/4619037 1603.99/1601.63 c cleaning 9982 clauses out of 20066 with flag 1615001/4629038 1611.19/1608.80 c cleaning 9944 clauses out of 20083 with flag 1625000/4639037 1619.90/1617.54 c cleaning 9977 clauses out of 20139 with flag 1635000/4649037 1629.90/1627.54 c cleaning 9981 clauses out of 20162 with flag 1645000/4659037 1639.71/1637.31 c cleaning 9997 clauses out of 20183 with flag 1655002/4669039 1647.21/1644.89 c cleaning 9995 clauses out of 20184 with flag 1665000/4679037 1655.42/1653.02 c cleaning 9999 clauses out of 20189 with flag 1675000/4689037 1657.32/1654.90 c cleaning 10086 clauses out of 20190 with flag 1685000/4699037 1658.43/1656.02 c cleaning 10048 clauses out of 20104 with flag 1695000/4709037 1663.74/1661.35 c cleaning 9997 clauses out of 20056 with flag 1705000/4719037 1669.85/1667.41 c cleaning 10006 clauses out of 20059 with flag 1715000/4729037 1675.75/1673.39 c cleaning 9998 clauses out of 20054 with flag 1725001/4739038 1681.56/1679.15 c cleaning 10000 clauses out of 20058 with flag 1735003/4749040 1687.26/1684.89 c cleaning 9991 clauses out of 20057 with flag 1745002/4759039 1692.56/1690.18 c cleaning 10002 clauses out of 20065 with flag 1755001/4769038 1698.16/1695.73 c cleaning 9986 clauses out of 20062 with flag 1765000/4779037 1703.37/1700.91 c cleaning 10034 clauses out of 20076 with flag 1775000/4789037 1720.58/1718.13 c cleaning 9995 clauses out of 20044 with flag 1785002/4799039 1742.68/1740.27 c cleaning 9999 clauses out of 20047 with flag 1795000/4809037 1765.29/1762.87 c cleaning 9999 clauses out of 20048 with flag 1805000/4819037 1788.69/1786.21 c cleaning 9998 clauses out of 20050 with flag 1815001/4829038 1800.02/1797.54 c starts : 273 1800.02/1797.54 c conflicts : 4834025 1800.02/1797.54 c decisions : 5191202 1800.02/1797.54 c propagations : 66764708 1800.02/1797.54 c inspects : 2055236771 1800.02/1797.54 c shortcuts : 0 1800.02/1797.54 c learnt literals : 2 1800.02/1797.54 c learnt binary clauses : 0 1800.02/1797.54 c learnt ternary clauses : 0 1800.02/1797.54 c learnt constraints : 4834022 1800.02/1797.54 c ignored constraints : 0 1800.02/1797.54 c root simplifications : 0 1800.02/1797.54 c removed literals (reason simplification) : 207476943 1800.02/1797.54 c reason swapping (by a shorter reason) : 0 1800.02/1797.54 c Calls to reduceDB : 485 1800.02/1797.54 c number of reductions to clauses (during analyze) : 0 1800.02/1797.54 c number of learned constraints concerned by reduction : 0 1800.02/1797.54 c number of learning phase by resolution : 0 1800.02/1797.54 c number of learning phase by cutting planes : 0 1800.02/1797.54 c speed (assignments/second) : 115631.90910822841 1800.02/1797.54 c non guided choices 104129 1800.02/1797.55 c learnt constraints type 1800.02/1797.55 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15042 1800.02/1797.55 c constraints type 1800.02/1797.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1 1800.02/1797.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 560 1800.02/1797.55 s SATISFIABLE 1800.02/1797.56 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 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 1800.02/1797.57 c objective function=0 1800.02/1797.57 c Total wall clock time (in seconds): 1797.465
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458825-1307151116/watcher-3458825-1307151116 -o /tmp/evaluation-result-3458825-1307151116/solver-3458825-1307151116 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458825-1307151116.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.46 2.14 2.04 2/548 2020 /proc/meminfo: memFree=14892772/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/2020/stat : 2020 (java) R 2018 2020 32282 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 826710305 23580672 693 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242965587857 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2020/statm: 5757 693 510 9 0 124 0 [pid=2020/tid=2021] ppid=2018 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 8195 0 1 0 0 0 0 0 25 0 2 0 826710305 13850947584 9011 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.109155 s] /proc/loadavg: 2.46 2.14 2.04 2/548 2020 /proc/meminfo: memFree=14892772/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13622200 CPUtime=0.12 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 15661 0 1 0 10 2 0 0 25 0 18 0 826710305 13949132800 15327 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3405550 15327 2107 9 0 3396284 0 [pid=2020/tid=2021] ppid=2018 vsize=13622200 CPUtime=0.09 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 13740 0 1 0 8 1 0 0 25 0 18 0 826710305 13949132800 15327 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912504008114 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 13622200 [startup+0.201139 s] /proc/loadavg: 2.46 2.14 2.04 2/548 2020 /proc/meminfo: memFree=14892772/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13624216 CPUtime=0.3 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 17144 0 1 0 28 2 0 0 25 0 18 0 826710305 13951197184 16724 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3406054 16724 2188 9 0 3396788 0 [pid=2020/tid=2021] ppid=2018 vsize=13624216 CPUtime=0.18 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 14578 0 1 0 17 1 0 0 25 0 18 0 826710305 13951197184 16724 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505228512 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 13624216 [startup+0.301124 s] /proc/loadavg: 2.46 2.14 2.04 2/548 2020 /proc/meminfo: memFree=14892772/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13627420 CPUtime=0.56 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 21865 0 1 0 54 2 0 0 25 0 18 0 826710305 13954478080 20108 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3406855 20108 2200 9 0 3397589 0 [pid=2020/tid=2021] ppid=2018 vsize=13627420 CPUtime=0.29 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 16511 0 1 0 27 2 0 0 25 0 18 0 826710305 13954478080 20108 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505181296 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 13627420 [startup+0.701051 s] /proc/loadavg: 2.46 2.14 2.04 2/548 2020 /proc/meminfo: memFree=14892772/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13630896 CPUtime=1.4 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 31721 0 1 0 136 4 0 0 25 0 19 0 826710305 13958037504 29129 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3407724 29129 2228 9 0 3398458 0 [pid=2020/tid=2021] ppid=2018 vsize=13630896 CPUtime=0.68 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 24963 0 1 0 65 3 0 0 25 0 19 0 826710305 13958037504 29129 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505735164 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 13630896 [startup+1.50096 s] /proc/loadavg: 2.46 2.14 2.04 4/567 2039 /proc/meminfo: memFree=14697328/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13630896 CPUtime=2.24 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 32083 0 1 0 220 4 0 0 25 0 19 0 826710305 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3407724 29490 2233 9 0 3398458 0 [pid=2020/tid=2021] ppid=2018 vsize=13630896 CPUtime=1.48 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 25311 0 1 0 145 3 0 0 25 0 19 0 826710305 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505735286 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2020/tid=2023] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2023/stat : 2023 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2024] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2024/stat : 2024 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2025] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2025/stat : 2025 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2026] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2026/stat : 2026 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2027] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2027/stat : 2027 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2028] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710307 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826710308 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826710309 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710309 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13630896 CPUtime=0.33 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 2957 0 0 0 33 0 0 0 20 0 19 0 826710311 13958037504 29490 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13630896 CPUtime=0.41 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 2654 0 0 0 41 0 0 0 21 0 19 0 826710311 13958037504 29491 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2037] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2037/stat : 2037 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13958037504 29491 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2038] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2038/stat : 2038 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710311 13958037504 29491 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2039] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2039/stat : 2039 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710349 13958037504 29491 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 13630896 [startup+3.10064 s] /proc/loadavg: 2.46 2.14 2.04 3/567 2039 /proc/meminfo: memFree=14684680/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13630896 CPUtime=3.89 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 35878 0 1 0 385 4 0 0 25 0 19 0 826710305 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3407724 33276 2259 9 0 3398458 0 [pid=2020/tid=2021] ppid=2018 vsize=13630896 CPUtime=3.02 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 25673 0 1 0 299 3 0 0 25 0 19 0 826710305 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505734798 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=2020/tid=2023] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2023/stat : 2023 (java) S 2018 2020 32282 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2024] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2024/stat : 2024 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2025] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2025/stat : 2025 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2026] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2026/stat : 2026 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2027] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2027/stat : 2027 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2028] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 919 0 0 0 0 0 0 0 16 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 598 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13630896 CPUtime=0.03 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 1506 0 0 0 3 0 0 0 16 0 19 0 826710308 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826710309 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826710309 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13630896 CPUtime=0.36 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 2967 0 0 0 36 0 0 0 15 0 19 0 826710311 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13630896 CPUtime=0.44 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 2659 0 0 0 44 0 0 0 15 0 19 0 826710311 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2037] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2037/stat : 2037 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2038] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2038/stat : 2038 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710311 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2039] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2039/stat : 2039 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710349 13958037504 33276 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 13630896 [startup+6.30114 s] /proc/loadavg: 2.42 2.14 2.04 3/567 2039 /proc/meminfo: memFree=14677200/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13630896 CPUtime=7.18 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 37260 0 1 0 712 6 0 0 25 0 19 0 826710305 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3407724 34199 2259 9 0 3398458 0 [pid=2020/tid=2021] ppid=2018 vsize=13630896 CPUtime=6.14 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 25676 0 1 0 611 3 0 0 21 0 19 0 826710305 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505735458 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2020/tid=2023] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2023/stat : 2023 (java) S 2018 2020 32282 0 -1 4202560 630 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2024] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2024/stat : 2024 (java) S 2018 2020 32282 0 -1 4202560 180 0 0 0 0 0 0 0 16 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2025] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2025/stat : 2025 (java) S 2018 2020 32282 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2026] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2026/stat : 2026 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2027] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2027/stat : 2027 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2028] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 919 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 603 0 0 0 0 0 0 0 15 0 19 0 826710307 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13630896 CPUtime=0.09 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 2153 0 0 0 9 0 0 0 15 0 19 0 826710308 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826710309 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826710309 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13630896 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13630896 CPUtime=0.43 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 3278 0 0 0 43 0 0 0 15 0 19 0 826710311 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13630896 CPUtime=0.44 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 2660 0 0 0 44 0 0 0 15 0 19 0 826710311 13958037504 34199 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=2020/tid=2028] ppid=2018 vsize=13645440 CPUtime=0.29 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 946 0 0 0 29 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13645440 CPUtime=0.25 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 1443 0 0 0 25 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13645440 CPUtime=0.23 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 2363 0 0 0 23 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13645440 CPUtime=15.2 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 9737 0 0 0 1514 6 0 0 15 0 19 0 826710308 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 5 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13645440 CPUtime=0.58 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 5544 0 0 0 57 1 0 0 15 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13645440 CPUtime=0.81 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 7458 0 0 0 81 0 0 0 15 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2037] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2037/stat : 2037 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2038] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2038/stat : 2038 (java) S 2018 2020 32282 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2039] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2039/stat : 2039 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710349 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1664.75 Current children cumulated vsize (KiB) 13645440 [startup+1722.3 s] /proc/loadavg: 2.07 2.06 2.01 3/567 2085 /proc/meminfo: memFree=14551572/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13645440 CPUtime=1724.78 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 61496 0 1 0 172458 20 0 0 25 0 19 0 826710305 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3411360 55309 2261 9 0 3402094 0 [pid=2020/tid=2021] ppid=2018 vsize=13645440 CPUtime=1705.46 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 26157 0 1 0 170542 4 0 0 25 0 19 0 826710305 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912506027858 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=2020/tid=2023] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2023/stat : 2023 (java) S 2018 2020 32282 0 -1 4202560 2120 0 0 0 31 1 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2024] ppid=2018 vsize=13645440 CPUtime=0.27 cores=1,3,5,7 /proc/2020/task/2024/stat : 2024 (java) S 2018 2020 32282 0 -1 4202560 406 0 0 0 27 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2025] ppid=2018 vsize=13645440 CPUtime=0.31 cores=1,3,5,7 /proc/2020/task/2025/stat : 2025 (java) S 2018 2020 32282 0 -1 4202560 1844 0 0 0 31 0 0 0 16 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2026] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2026/stat : 2026 (java) S 2018 2020 32282 0 -1 4202560 652 0 0 0 32 0 0 0 16 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2027] ppid=2018 vsize=13645440 CPUtime=0.24 cores=1,3,5,7 /proc/2020/task/2027/stat : 2027 (java) S 2018 2020 32282 0 -1 4202560 1570 0 0 0 24 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2028] ppid=2018 vsize=13645440 CPUtime=0.3 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 946 0 0 0 30 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13645440 CPUtime=0.26 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 1443 0 0 0 26 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13645440 CPUtime=0.24 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 2363 0 0 0 24 0 0 0 15 0 19 0 826710307 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13645440 CPUtime=15.52 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 9741 0 0 0 1546 6 0 0 15 0 19 0 826710308 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 5 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13645440 CPUtime=0.58 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 5544 0 0 0 57 1 0 0 15 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13645440 CPUtime=0.81 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 7458 0 0 0 81 0 0 0 15 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2037] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2037/stat : 2037 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2038] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2038/stat : 2038 (java) S 2018 2020 32282 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826710311 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2039] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2039/stat : 2039 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710349 13972930560 55309 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1724.78 Current children cumulated vsize (KiB) 13645440 [startup+1782.3 s] /proc/loadavg: 2.02 2.05 2.01 3/567 2096 /proc/meminfo: memFree=14549944/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13645440 CPUtime=1784.79 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 61506 0 1 0 178459 20 0 0 25 0 19 0 826710305 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3411360 55311 2261 9 0 3402094 0 [pid=2020/tid=2021] ppid=2018 vsize=13645440 CPUtime=1765.37 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 26159 0 1 0 176533 4 0 0 25 0 19 0 826710305 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912505735286 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=2020/tid=2023] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2023/stat : 2023 (java) S 2018 2020 32282 0 -1 4202560 2122 0 0 0 31 1 0 0 16 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2024] ppid=2018 vsize=13645440 CPUtime=0.27 cores=1,3,5,7 /proc/2020/task/2024/stat : 2024 (java) S 2018 2020 32282 0 -1 4202560 406 0 0 0 27 0 0 0 16 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2025] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2025/stat : 2025 (java) S 2018 2020 32282 0 -1 4202560 1844 0 0 0 32 0 0 0 16 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2026] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2026/stat : 2026 (java) S 2018 2020 32282 0 -1 4202560 652 0 0 0 32 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2027] ppid=2018 vsize=13645440 CPUtime=0.24 cores=1,3,5,7 /proc/2020/task/2027/stat : 2027 (java) S 2018 2020 32282 0 -1 4202560 1570 0 0 0 24 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2028] ppid=2018 vsize=13645440 CPUtime=0.3 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 946 0 0 0 30 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13645440 CPUtime=0.26 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 1443 0 0 0 26 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13645440 CPUtime=0.24 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 2363 0 0 0 24 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13645440 CPUtime=15.6 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 9743 0 0 0 1554 6 0 0 15 0 19 0 826710308 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 5 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13645440 CPUtime=0.58 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 5544 0 0 0 57 1 0 0 15 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13645440 CPUtime=0.81 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 7458 0 0 0 81 0 0 0 15 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2037] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2037/stat : 2037 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2038] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2038/stat : 2038 (java) S 2018 2020 32282 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2039] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2039/stat : 2039 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710349 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1784.79 Current children cumulated vsize (KiB) 13645440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.52 s] /proc/loadavg: 2.16 2.08 2.02 3/567 2144 /proc/meminfo: memFree=14894736/32951132 swapFree=46579808/67111528 [pid=2020] ppid=2018 vsize=13645440 CPUtime=1800.02 cores=1,3,5,7 /proc/2020/stat : 2020 (java) S 2018 2020 32282 0 -1 4202496 61509 0 1 0 179982 20 0 0 25 0 19 0 826710305 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/2020/statm: 3411360 55311 2261 9 0 3402094 0 [pid=2020/tid=2021] ppid=2018 vsize=13645440 CPUtime=1780.56 cores=1,3,5,7 /proc/2020/task/2021/stat : 2021 (java) R 2018 2020 32282 0 -1 4202560 26160 0 1 0 178052 4 0 0 25 0 19 0 826710305 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 46912506027836 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=2020/tid=2023] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2023/stat : 2023 (java) S 2018 2020 32282 0 -1 4202560 2122 0 0 0 31 1 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2024] ppid=2018 vsize=13645440 CPUtime=0.27 cores=1,3,5,7 /proc/2020/task/2024/stat : 2024 (java) S 2018 2020 32282 0 -1 4202560 406 0 0 0 27 0 0 0 16 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2025] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2025/stat : 2025 (java) S 2018 2020 32282 0 -1 4202560 1844 0 0 0 32 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2026] ppid=2018 vsize=13645440 CPUtime=0.32 cores=1,3,5,7 /proc/2020/task/2026/stat : 2026 (java) S 2018 2020 32282 0 -1 4202560 652 0 0 0 32 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2027] ppid=2018 vsize=13645440 CPUtime=0.24 cores=1,3,5,7 /proc/2020/task/2027/stat : 2027 (java) S 2018 2020 32282 0 -1 4202560 1570 0 0 0 24 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2028] ppid=2018 vsize=13645440 CPUtime=0.3 cores=1,3,5,7 /proc/2020/task/2028/stat : 2028 (java) S 2018 2020 32282 0 -1 4202560 946 0 0 0 30 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2029] ppid=2018 vsize=13645440 CPUtime=0.26 cores=1,3,5,7 /proc/2020/task/2029/stat : 2029 (java) S 2018 2020 32282 0 -1 4202560 1443 0 0 0 26 0 0 0 16 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2030] ppid=2018 vsize=13645440 CPUtime=0.24 cores=1,3,5,7 /proc/2020/task/2030/stat : 2030 (java) S 2018 2020 32282 0 -1 4202560 2363 0 0 0 24 0 0 0 15 0 19 0 826710307 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2031] ppid=2018 vsize=13645440 CPUtime=15.64 cores=1,3,5,7 /proc/2020/task/2031/stat : 2031 (java) S 2018 2020 32282 0 -1 4202560 9745 0 0 0 1558 6 0 0 15 0 19 0 826710308 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 0 0 16800975 18446604469213821120 0 0 -1 5 0 0 0 [pid=2020/tid=2032] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2032/stat : 2032 (java) S 2018 2020 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2033] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2033/stat : 2033 (java) S 2018 2020 32282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826710309 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2034] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2034/stat : 2034 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982373809 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2035] ppid=2018 vsize=13645440 CPUtime=0.58 cores=1,3,5,7 /proc/2020/task/2035/stat : 2035 (java) S 2018 2020 32282 0 -1 4202560 5544 0 0 0 57 1 0 0 15 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 1 0 0 0 [pid=2020/tid=2036] ppid=2018 vsize=13645440 CPUtime=0.81 cores=1,3,5,7 /proc/2020/task/2036/stat : 2036 (java) S 2018 2020 32282 0 -1 4202560 7458 0 0 0 81 0 0 0 15 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2037] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2037/stat : 2037 (java) S 2018 2020 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366105 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 [pid=2020/tid=2038] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2038/stat : 2038 (java) S 2018 2020 32282 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826710311 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 3 0 0 0 [pid=2020/tid=2039] ppid=2018 vsize=13645440 CPUtime=0 cores=1,3,5,7 /proc/2020/task/2039/stat : 2039 (java) S 2018 2020 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826710349 13972930560 55311 33554432000 1073741824 1073778376 140736068471216 18446744073709551615 242982366720 0 4 0 16800975 18446604469213821120 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13645440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.6 CPU time (s): 1800.15 CPU user time (s): 1799.93 CPU system time (s): 0.213967 CPU usage (%): 100.142 Max. virtual memory (cumulated for all children) (KiB): 13645440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.213967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61660 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= 48489 involuntary context switches= 22974 runsolver used 9.73452 second user time and 21.4887 second system time The end
Begin job on node128 at 2011-06-04 03:31:57 IDJOB=3458825 IDBENCH=2430 IDSOLVER=1952 FILE ID=node128/3458825-1307151116 RUNJOBID= node128-1307147507-1592 PBS_JOBID= 13508788 Free space on /tmp= 73908 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458825-1307151116/watcher-3458825-1307151116 -o /tmp/evaluation-result-3458825-1307151116/solver-3458825-1307151116 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458825-1307151116.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c73bf29c796f0bf48406f571c4c43173 RANDOM SEED=1159669909 node128.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.852 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.70 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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 : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 14893052 kB Buffers: 327164 kB Cached: 3475788 kB SwapCached: 35620 kB Active: 9361380 kB Inactive: 8380728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 14893052 kB SwapTotal: 67111528 kB SwapFree: 46579808 kB Dirty: 7204 kB Writeback: 0 kB AnonPages: 13913356 kB Mapped: 25832 kB Slab: 134528 kB PageTables: 113188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 188214232 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node128 at 2011-06-04 04:01:56