Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 28 | 1800.17 | 1797.97 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb |
MD5SUM | 90acfb7d1c18536583ef7e2a90905f54 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 10.3694 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 7798 |
Total number of constraints | 24318 |
Number of constraints which are clauses | 24318 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3790 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3790 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3790 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.09 c See www.sat4j.org for details. 0.08/0.09 c version 2.3.1.v20110525 0.08/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.09 c java.vm.version 19.1-b02 0.08/0.09 c java.vm.vendor Sun Microsystems Inc. 0.08/0.09 c sun.arch.data.model 64 0.08/0.09 c java.version 1.6.0_24 0.08/0.09 c os.name Linux 0.08/0.09 c os.version 2.6.18-164.el5 0.08/0.09 c os.arch amd64 0.08/0.09 c Free memory 12995394264 0.08/0.09 c Max memory 13063553024 0.08/0.09 c Total memory 13063553024 0.08/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458479-1307156093.opb 0.10/0.11 c reading problem ... 0.73/0.48 c ... done. Wall clock time 0.362s. 0.73/0.48 c #vars 7798 0.73/0.48 c #constraints 24318 0.73/0.48 c constraints type 0.73/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4017 0.73/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19691 1.02/0.58 c SATISFIABLE 1.02/0.58 c OPTIMIZING... 1.02/0.58 c Got one! Elapsed wall clock time (in seconds):0.462 1.02/0.58 o 39 1.23/0.67 c Got one! Elapsed wall clock time (in seconds):0.559 1.23/0.67 o 38 1.52/0.76 c Got one! Elapsed wall clock time (in seconds):0.65 1.52/0.76 o 34 1.75/0.82 c Got one! Elapsed wall clock time (in seconds):0.706 1.75/0.82 o 33 1.75/0.88 c Got one! Elapsed wall clock time (in seconds):0.766 1.75/0.88 o 31 1.94/0.92 c Got one! Elapsed wall clock time (in seconds):0.811 1.94/0.92 o 30 2.56/1.54 c Got one! Elapsed wall clock time (in seconds):1.424 2.56/1.54 o 29 4.38/3.35 c cleaning 3000 clauses out of 6001 with flag 4001/6001 7.12/6.04 c cleaning 4491 clauses out of 9000 with flag 10000/12000 9.84/8.80 c cleaning 5746 clauses out of 11509 with flag 17000/19000 13.04/11.97 c cleaning 6878 clauses out of 13763 with flag 25000/27000 16.68/15.55 c cleaning 7932 clauses out of 15885 with flag 34000/36000 20.38/19.25 c cleaning 8971 clauses out of 17954 with flag 44001/46001 24.48/23.34 c cleaning 9981 clauses out of 19982 with flag 55000/57000 29.09/27.92 c cleaning 10994 clauses out of 22001 with flag 67000/69000 33.89/32.78 c cleaning 11996 clauses out of 24007 with flag 80000/82000 39.19/38.09 c cleaning 12997 clauses out of 26011 with flag 94000/96000 45.69/44.54 c cleaning 14001 clauses out of 28015 with flag 109001/111001 51.89/50.74 c cleaning 14997 clauses out of 30013 with flag 125000/127000 58.10/56.96 c cleaning 16000 clauses out of 32017 with flag 142001/144001 65.10/63.97 c cleaning 16996 clauses out of 34016 with flag 160000/162000 72.50/71.36 c cleaning 17999 clauses out of 36020 with flag 179000/181000 80.21/79.09 c cleaning 19005 clauses out of 38021 with flag 199000/201000 88.21/87.08 c cleaning 20001 clauses out of 40019 with flag 220003/222003 96.51/95.35 c cleaning 21001 clauses out of 42016 with flag 242001/244001 105.52/104.35 c cleaning 21999 clauses out of 44014 with flag 265000/267000 114.43/113.21 c cleaning 22996 clauses out of 46015 with flag 289000/291000 122.93/121.73 c cleaning 23501 clauses out of 47019 with flag 313000/315000 132.43/131.22 c cleaning 23747 clauses out of 47518 with flag 337000/339000 141.44/140.28 c cleaning 23879 clauses out of 47771 with flag 361000/363000 150.86/149.69 c cleaning 23935 clauses out of 47892 with flag 385000/387000 159.95/158.77 c cleaning 23972 clauses out of 47957 with flag 409000/411000 169.35/168.10 c cleaning 23981 clauses out of 47985 with flag 433000/435000 178.37/177.12 c cleaning 23994 clauses out of 48005 with flag 457001/459001 187.36/186.18 c cleaning 24000 clauses out of 48010 with flag 481000/483000 198.38/197.17 c cleaning 23997 clauses out of 48010 with flag 505000/507000 208.88/207.62 c cleaning 24001 clauses out of 48013 with flag 529000/531000 218.58/217.30 c cleaning 23993 clauses out of 48012 with flag 553000/555000 228.39/227.11 c cleaning 24002 clauses out of 48019 with flag 577000/579000 237.99/236.76 c cleaning 24006 clauses out of 48017 with flag 601000/603000 247.30/246.08 c cleaning 24000 clauses out of 48014 with flag 625003/627003 256.90/255.65 c cleaning 24000 clauses out of 48011 with flag 649000/651000 266.43/265.12 c cleaning 24004 clauses out of 48012 with flag 673001/675001 276.72/275.46 c cleaning 23993 clauses out of 48007 with flag 697000/699000 286.24/284.97 c cleaning 24001 clauses out of 48015 with flag 721001/723001 295.73/294.41 c cleaning 23998 clauses out of 48016 with flag 745003/747003 304.43/303.13 c cleaning 23996 clauses out of 48015 with flag 769000/771000 313.94/312.62 c cleaning 24001 clauses out of 48019 with flag 793000/795000 325.14/323.83 c cleaning 24004 clauses out of 48019 with flag 817001/819001 334.75/333.42 c cleaning 24000 clauses out of 48015 with flag 841001/843001 344.05/342.74 c cleaning 24001 clauses out of 48015 with flag 865001/867001 353.05/351.75 c cleaning 24004 clauses out of 48015 with flag 889002/891002 361.86/360.52 c cleaning 23999 clauses out of 48012 with flag 913003/915003 370.76/369.51 c cleaning 24001 clauses out of 48012 with flag 937002/939002 380.26/378.97 c cleaning 23994 clauses out of 48009 with flag 961000/963000 391.37/390.07 c cleaning 24001 clauses out of 48015 with flag 985000/987000 403.37/402.09 c cleaning 23998 clauses out of 48015 with flag 1009001/1011001 412.48/411.14 c cleaning 24002 clauses out of 48017 with flag 1033001/1035001 420.98/419.65 c cleaning 23997 clauses out of 48014 with flag 1057000/1059000 429.49/428.19 c cleaning 24001 clauses out of 48018 with flag 1081001/1083001 438.40/437.02 c cleaning 24002 clauses out of 48016 with flag 1105000/1107000 446.92/445.56 c cleaning 24001 clauses out of 48015 with flag 1129001/1131001 455.81/454.43 c cleaning 23998 clauses out of 48013 with flag 1153000/1155000 464.62/463.22 c cleaning 24006 clauses out of 48015 with flag 1177000/1179000 473.72/472.37 c cleaning 24001 clauses out of 48011 with flag 1201002/1203002 482.72/481.36 c cleaning 23999 clauses out of 48008 with flag 1225000/1227000 491.53/490.18 c cleaning 23998 clauses out of 48010 with flag 1249001/1251001 500.23/498.87 c cleaning 23995 clauses out of 48012 with flag 1273001/1275001 509.04/507.65 c cleaning 23998 clauses out of 48016 with flag 1297000/1299000 517.64/516.27 c cleaning 24002 clauses out of 48021 with flag 1321003/1323003 526.96/525.53 c cleaning 24005 clauses out of 48016 with flag 1345000/1347000 536.67/535.25 c cleaning 23998 clauses out of 48012 with flag 1369001/1371001 545.67/544.22 c cleaning 23996 clauses out of 48013 with flag 1393000/1395000 554.69/553.22 c cleaning 24003 clauses out of 48017 with flag 1417000/1419000 564.49/563.02 c cleaning 23996 clauses out of 48014 with flag 1441000/1443000 573.89/572.48 c cleaning 23997 clauses out of 48018 with flag 1465000/1467000 584.00/582.50 c cleaning 23999 clauses out of 48021 with flag 1489000/1491000 593.80/592.30 c cleaning 23998 clauses out of 48022 with flag 1513000/1515000 604.91/603.48 c cleaning 24009 clauses out of 48025 with flag 1537001/1539001 616.71/615.21 c cleaning 23996 clauses out of 48015 with flag 1561000/1563000 628.12/626.66 c cleaning 24002 clauses out of 48020 with flag 1585001/1587001 640.02/638.58 c cleaning 24003 clauses out of 48018 with flag 1609001/1611001 650.73/649.21 c cleaning 23997 clauses out of 48014 with flag 1633000/1635000 660.83/659.32 c cleaning 24000 clauses out of 48017 with flag 1657000/1659000 670.44/668.96 c cleaning 23995 clauses out of 48017 with flag 1681000/1683000 679.95/678.41 c cleaning 24005 clauses out of 48023 with flag 1705001/1707001 690.25/688.75 c cleaning 24001 clauses out of 48017 with flag 1729000/1731000 700.65/699.15 c cleaning 23996 clauses out of 48017 with flag 1753001/1755001 710.86/709.35 c cleaning 24003 clauses out of 48020 with flag 1777000/1779000 720.98/719.46 c cleaning 24003 clauses out of 48019 with flag 1801002/1803002 730.97/729.43 c cleaning 23997 clauses out of 48014 with flag 1825000/1827000 741.47/739.92 c cleaning 23997 clauses out of 48017 with flag 1849000/1851000 751.18/749.62 c cleaning 23989 clauses out of 48020 with flag 1873000/1875000 760.89/759.34 c cleaning 24006 clauses out of 48031 with flag 1897000/1899000 770.29/768.75 c cleaning 24001 clauses out of 48025 with flag 1921000/1923000 779.99/778.41 c cleaning 23995 clauses out of 48024 with flag 1945000/1947000 789.59/788.03 c cleaning 24005 clauses out of 48029 with flag 1969000/1971000 799.19/797.67 c cleaning 24009 clauses out of 48024 with flag 1993000/1995000 808.30/806.75 c cleaning 24006 clauses out of 48018 with flag 2017003/2019003 818.00/816.47 c cleaning 23994 clauses out of 48009 with flag 2041000/2043000 827.72/826.15 c cleaning 24000 clauses out of 48015 with flag 2065000/2067000 837.01/835.43 c cleaning 23999 clauses out of 48017 with flag 2089002/2091002 846.11/844.59 c cleaning 23999 clauses out of 48016 with flag 2113000/2115000 856.42/854.81 c cleaning 23997 clauses out of 48017 with flag 2137000/2139000 866.92/865.31 c cleaning 23990 clauses out of 48020 with flag 2161000/2163000 877.33/875.74 c cleaning 24004 clauses out of 48030 with flag 2185000/2187000 877.93/876.39 c Got one! Elapsed wall clock time (in seconds):876.273 877.93/876.39 o 28 878.93/877.36 c cleaning 14739 clauses out of 29497 with flag 4000/2192471 880.45/878.90 c cleaning 10375 clauses out of 20759 with flag 10001/2198472 882.54/880.96 c cleaning 8681 clauses out of 17383 with flag 17000/2205471 884.85/883.29 c cleaning 8339 clauses out of 16702 with flag 25000/2213471 887.44/885.81 c cleaning 8675 clauses out of 17364 with flag 34001/2222472 890.95/889.32 c cleaning 9336 clauses out of 18689 with flag 44001/2232472 894.95/893.33 c cleaning 10169 clauses out of 20353 with flag 55001/2243472 899.16/897.56 c cleaning 11085 clauses out of 22184 with flag 67001/2255472 903.97/902.31 c cleaning 12043 clauses out of 24099 with flag 80001/2268472 908.77/907.11 c cleaning 13015 clauses out of 26055 with flag 94000/2282471 913.87/912.25 c cleaning 14014 clauses out of 28040 with flag 109000/2297471 919.58/917.92 c cleaning 15007 clauses out of 30027 with flag 125001/2313472 925.59/923.97 c cleaning 15995 clauses out of 32019 with flag 142000/2330471 932.09/930.51 c cleaning 17003 clauses out of 34025 with flag 160001/2348472 938.99/937.35 c cleaning 18003 clauses out of 36023 with flag 179002/2367473 946.09/944.46 c cleaning 18998 clauses out of 38018 with flag 199000/2387471 953.99/952.30 c cleaning 19997 clauses out of 40020 with flag 220000/2408471 961.91/960.30 c cleaning 21000 clauses out of 42023 with flag 242000/2430471 970.61/968.95 c cleaning 22006 clauses out of 44024 with flag 265001/2453472 980.01/978.34 c cleaning 23001 clauses out of 46019 with flag 289002/2477473 989.32/987.64 c cleaning 23501 clauses out of 47017 with flag 313001/2501472 998.93/997.27 c cleaning 23747 clauses out of 47516 with flag 337001/2525472 1008.14/1006.47 c cleaning 23879 clauses out of 47768 with flag 361000/2549471 1017.14/1015.50 c cleaning 23935 clauses out of 47890 with flag 385001/2573472 1026.44/1024.70 c cleaning 23966 clauses out of 47954 with flag 409000/2597471 1035.77/1034.08 c cleaning 23984 clauses out of 47989 with flag 433001/2621472 1045.06/1043.35 c cleaning 23993 clauses out of 48004 with flag 457000/2645471 1054.66/1052.93 c cleaning 23994 clauses out of 48011 with flag 481000/2669471 1065.07/1063.38 c cleaning 24000 clauses out of 48017 with flag 505000/2693471 1074.19/1072.45 c cleaning 23996 clauses out of 48017 with flag 529000/2717471 1083.49/1081.78 c cleaning 23997 clauses out of 48022 with flag 553001/2741472 1093.49/1091.74 c cleaning 24004 clauses out of 48025 with flag 577001/2765472 1103.40/1101.62 c cleaning 24000 clauses out of 48020 with flag 601000/2789471 1113.40/1111.65 c cleaning 23998 clauses out of 48022 with flag 625002/2813473 1122.91/1121.11 c cleaning 24000 clauses out of 48023 with flag 649001/2837472 1132.21/1130.43 c cleaning 24000 clauses out of 48022 with flag 673000/2861471 1142.42/1140.63 c cleaning 23994 clauses out of 48024 with flag 697002/2885473 1152.32/1150.55 c cleaning 23999 clauses out of 48028 with flag 721000/2909471 1162.22/1160.43 c cleaning 23999 clauses out of 48029 with flag 745000/2933471 1172.72/1170.98 c cleaning 23996 clauses out of 48031 with flag 769001/2957472 1182.72/1180.92 c cleaning 24003 clauses out of 48035 with flag 793001/2981472 1192.92/1191.15 c cleaning 24014 clauses out of 48031 with flag 817000/3005471 1203.23/1201.40 c cleaning 24002 clauses out of 48018 with flag 841001/3029472 1212.23/1210.42 c cleaning 24000 clauses out of 48016 with flag 865001/3053472 1222.14/1220.36 c cleaning 24004 clauses out of 48015 with flag 889000/3077471 1230.84/1229.03 c cleaning 23999 clauses out of 48011 with flag 913000/3101471 1239.26/1237.48 c cleaning 23996 clauses out of 48012 with flag 937000/3125471 1248.85/1247.00 c cleaning 24003 clauses out of 48016 with flag 961000/3149471 1258.66/1256.84 c cleaning 23994 clauses out of 48014 with flag 985001/3173472 1268.36/1266.50 c cleaning 24001 clauses out of 48021 with flag 1009002/3197473 1276.97/1275.11 c cleaning 24000 clauses out of 48019 with flag 1033001/3221472 1285.37/1283.57 c cleaning 23997 clauses out of 48019 with flag 1057001/3245472 1293.77/1291.96 c cleaning 24002 clauses out of 48021 with flag 1081000/3269471 1303.09/1301.22 c cleaning 24003 clauses out of 48019 with flag 1105000/3293471 1313.88/1312.07 c cleaning 23987 clauses out of 48016 with flag 1129000/3317471 1325.10/1323.22 c cleaning 24011 clauses out of 48030 with flag 1153001/3341472 1336.10/1334.30 c cleaning 23999 clauses out of 48018 with flag 1177000/3365471 1347.00/1345.19 c cleaning 24002 clauses out of 48020 with flag 1201001/3389472 1357.90/1356.05 c cleaning 23999 clauses out of 48018 with flag 1225001/3413472 1368.01/1366.17 c cleaning 24001 clauses out of 48018 with flag 1249000/3437471 1377.21/1375.36 c cleaning 24001 clauses out of 48019 with flag 1273002/3461473 1386.62/1384.76 c cleaning 24002 clauses out of 48018 with flag 1297002/3485473 1396.42/1394.53 c cleaning 23995 clauses out of 48015 with flag 1321001/3509472 1405.93/1404.05 c cleaning 24005 clauses out of 48019 with flag 1345000/3533471 1414.73/1412.82 c cleaning 23997 clauses out of 48014 with flag 1369000/3557471 1423.63/1421.77 c cleaning 24003 clauses out of 48018 with flag 1393001/3581472 1432.54/1430.66 c cleaning 23996 clauses out of 48014 with flag 1417000/3605471 1441.75/1439.86 c cleaning 23997 clauses out of 48018 with flag 1441000/3629471 1450.95/1449.03 c cleaning 23998 clauses out of 48023 with flag 1465002/3653473 1459.65/1457.78 c cleaning 23999 clauses out of 48024 with flag 1489001/3677472 1468.66/1466.72 c cleaning 24004 clauses out of 48025 with flag 1513001/3701472 1477.56/1475.68 c cleaning 23995 clauses out of 48020 with flag 1537000/3725471 1486.76/1484.81 c cleaning 24007 clauses out of 48026 with flag 1561001/3749472 1495.78/1493.89 c cleaning 24000 clauses out of 48018 with flag 1585000/3773471 1504.98/1503.04 c cleaning 23995 clauses out of 48018 with flag 1609000/3797471 1514.59/1512.67 c cleaning 23996 clauses out of 48023 with flag 1633000/3821471 1523.79/1521.80 c cleaning 23999 clauses out of 48027 with flag 1657000/3845471 1532.99/1531.05 c cleaning 24006 clauses out of 48030 with flag 1681002/3869473 1542.20/1540.29 c cleaning 23999 clauses out of 48023 with flag 1705001/3893472 1550.71/1548.75 c cleaning 24002 clauses out of 48025 with flag 1729002/3917473 1559.30/1557.37 c cleaning 23996 clauses out of 48021 with flag 1753000/3941471 1568.00/1566.04 c cleaning 24003 clauses out of 48025 with flag 1777000/3965471 1576.31/1574.39 c cleaning 24005 clauses out of 48022 with flag 1801000/3989471 1585.42/1583.47 c cleaning 24000 clauses out of 48017 with flag 1825000/4013471 1594.73/1592.72 c cleaning 24003 clauses out of 48017 with flag 1849000/4037471 1604.02/1602.07 c cleaning 23998 clauses out of 48014 with flag 1873000/4061471 1612.93/1610.96 c cleaning 24001 clauses out of 48016 with flag 1897000/4085471 1621.63/1619.64 c cleaning 23997 clauses out of 48015 with flag 1921000/4109471 1630.84/1628.81 c cleaning 23996 clauses out of 48018 with flag 1945000/4133471 1639.74/1637.70 c cleaning 24005 clauses out of 48023 with flag 1969001/4157472 1648.54/1646.58 c cleaning 23994 clauses out of 48017 with flag 1993000/4181471 1657.85/1655.87 c cleaning 24001 clauses out of 48023 with flag 2017000/4205471 1667.05/1665.03 c cleaning 23999 clauses out of 48023 with flag 2041001/4229472 1675.86/1673.83 c cleaning 23997 clauses out of 48023 with flag 2065000/4253471 1684.76/1682.74 c cleaning 23996 clauses out of 48026 with flag 2089000/4277471 1694.06/1692.02 c cleaning 24008 clauses out of 48030 with flag 2113000/4301471 1702.77/1700.71 c cleaning 23997 clauses out of 48022 with flag 2137000/4325471 1711.77/1709.78 c cleaning 24004 clauses out of 48026 with flag 2161001/4349472 1720.88/1718.83 c cleaning 24000 clauses out of 48022 with flag 2185001/4373472 1729.58/1727.55 c cleaning 23999 clauses out of 48021 with flag 2209000/4397471 1739.19/1737.17 c cleaning 23996 clauses out of 48022 with flag 2233000/4421471 1748.50/1746.41 c cleaning 23999 clauses out of 48027 with flag 2257001/4445472 1757.62/1755.52 c cleaning 24004 clauses out of 48027 with flag 2281000/4469471 1767.01/1764.99 c cleaning 24010 clauses out of 48024 with flag 2305001/4493472 1776.92/1774.82 c cleaning 24001 clauses out of 48014 with flag 2329001/4517472 1786.72/1784.68 c cleaning 24002 clauses out of 48012 with flag 2353000/4541471 1797.02/1794.96 c cleaning 23999 clauses out of 48012 with flag 2377002/4565473 1800.04/1797.92 c starts : 277 1800.04/1797.92 c conflicts : 4573365 1800.04/1797.92 c decisions : 14671821 1800.04/1797.92 c propagations : 7466330631 1800.04/1797.92 c inspects : 8530043770 1800.04/1797.92 c shortcuts : 0 1800.04/1797.92 c learnt literals : 0 1800.04/1797.92 c learnt binary clauses : 0 1800.04/1797.92 c learnt ternary clauses : 4 1800.04/1797.92 c learnt constraints : 4573365 1800.04/1797.92 c ignored constraints : 0 1800.04/1797.92 c root simplifications : 0 1800.04/1797.92 c removed literals (reason simplification) : 11727849 1800.04/1797.92 c reason swapping (by a shorter reason) : 0 1800.04/1797.92 c Calls to reduceDB : 206 1800.04/1797.92 c number of reductions to clauses (during analyze) : 0 1800.04/1797.92 c number of learned constraints concerned by reduction : 0 1800.04/1797.92 c number of learning phase by resolution : 0 1800.04/1797.92 c number of learning phase by cutting planes : 0 1800.04/1797.92 c speed (assignments/second) : 8102094.240996776 1800.04/1797.92 c non guided choices 21012 1800.04/1797.93 c learnt constraints type 1800.04/1797.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31950 1800.04/1797.93 c constraints type 1800.04/1797.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4017 1800.04/1797.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.04/1797.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19691 1800.04/1797.93 s SATISFIABLE 1800.04/1797.94 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 1800.04/1797.95 c objective function=28 1800.04/1797.95 c Total wall clock time (in seconds): 1797.838
OK 28
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-3458479-1307156093/watcher-3458479-1307156093 -o /tmp/evaluation-result-3458479-1307156093/solver-3458479-1307156093 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458479-1307156093.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: 1.89 2.01 1.99 3/439 21578 /proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=35788 CPUtime=0 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 1315 0 0 0 0 0 0 0 17 0 2 0 905839984 36646912 1017 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 8947 1018 782 9 0 386 0 [pid=21578/tid=21582] ppid=21575 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 3170 0 1 0 0 0 0 0 17 0 2 0 905839985 13850947584 3986 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.091029 s] /proc/loadavg: 1.89 2.01 1.99 3/439 21578 /proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13555532 CPUtime=0.08 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 14825 0 1 0 7 1 0 0 17 0 18 0 905839984 13880864768 14522 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3388883 14526 1934 9 0 3379617 0 [pid=21578/tid=21582] ppid=21575 vsize=13555532 CPUtime=0.07 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 13400 0 1 0 6 1 0 0 23 0 18 0 905839985 13880864768 14529 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 47699551848967 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13555532 [startup+0.107148 s] /proc/loadavg: 1.89 2.01 1.99 3/439 21578 /proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13622384 CPUtime=0.1 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 15563 0 1 0 9 1 0 0 17 0 18 0 905839984 13949321216 15260 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3405596 15261 2092 9 0 3396330 0 [pid=21578/tid=21582] ppid=21575 vsize=13622384 CPUtime=0.08 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 13650 0 1 0 7 1 0 0 18 0 18 0 905839985 13949321216 15261 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622384 [startup+0.300991 s] /proc/loadavg: 1.89 2.01 1.99 3/439 21578 /proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13624580 CPUtime=0.5 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 19308 0 1 0 48 2 0 0 17 0 18 0 905839984 13951569920 18488 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3406145 18489 2200 9 0 3396879 0 [pid=21578/tid=21582] ppid=21575 vsize=13624580 CPUtime=0.28 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 15870 0 1 0 27 1 0 0 18 0 18 0 905839985 13951569920 18489 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505537965 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13624580 [startup+0.700984 s] /proc/loadavg: 1.89 2.01 1.99 3/439 21578 /proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=1.52 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 34024 0 1 0 149 3 0 0 17 0 19 0 905839984 13956620288 30604 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 30604 2235 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=0.68 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 26347 0 1 0 66 2 0 0 19 0 19 0 905839985 13956620288 30604 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505664538 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 13629512 [startup+1.50083 s] /proc/loadavg: 1.89 2.01 1.99 3/480 21619 /proc/meminfo: memFree=29666680/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=2.56 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 35716 0 1 0 252 4 0 0 17 0 19 0 905839984 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 31875 2237 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1.48 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 27584 0 1 0 146 2 0 0 20 0 19 0 905839985 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505880224 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 905839988 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 905839988 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905839988 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2661 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.51 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4311 0 0 0 51 0 0 0 16 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 13629512 [startup+3.10154 s] /proc/loadavg: 1.98 2.03 2.00 3/480 21619 /proc/meminfo: memFree=29662216/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=4.16 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 36261 0 1 0 412 4 0 0 17 0 19 0 905839984 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 32419 2237 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=3.08 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28128 0 1 0 306 2 0 0 25 0 19 0 905839985 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505897049 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 905839988 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 905839988 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905839988 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2661 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.51 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4311 0 0 0 51 0 0 0 16 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.16 Current children cumulated vsize (KiB) 13629512 [startup+6.30092 s] /proc/loadavg: 1.98 2.03 2.00 3/480 21619 /proc/meminfo: memFree=29644176/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=7.42 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 39049 0 1 0 738 4 0 0 17 0 19 0 905839984 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 35134 2263 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=6.22 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28169 0 1 0 620 2 0 0 25 0 19 0 905839985 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505872934 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 416 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=0.04 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 1266 0 0 0 4 0 0 0 16 0 19 0 905839988 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.58 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2669 0 0 0 58 0 0 0 15 0 19 0 905839991 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.53 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4320 0 0 0 53 0 0 0 15 0 19 0 905839991 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.16 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 417 0 0 0 16 0 0 0 15 0 19 0 905839987 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.22 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5343 0 0 0 619 3 0 0 15 0 19 0 905839988 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1724.38 Current children cumulated vsize (KiB) 13629512 [startup+1782.3 s] /proc/loadavg: 2.02 2.04 2.00 3/480 21675 /proc/meminfo: memFree=29597200/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=1784.42 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 45617 0 1 0 178431 11 0 0 17 0 19 0 905839984 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 41295 2264 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1775.35 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28371 0 1 0 177533 2 0 0 25 0 19 0 905839985 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505892672 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0.19 cores=1,3,5,7 /proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 359 0 0 0 19 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 386 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 178 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0.13 cores=1,3,5,7 /proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 112 0 0 0 13 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.18 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 18 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 417 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.43 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5417 0 0 0 640 3 0 0 15 0 19 0 905839988 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (KiB) 13629512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.9 s] /proc/loadavg: 2.01 2.03 2.00 2/461 21679 /proc/meminfo: memFree=29712028/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=1800.04 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 45624 0 1 0 179993 11 0 0 17 0 19 0 905839984 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 41296 2264 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1790.89 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28373 0 1 0 179087 2 0 0 25 0 19 0 905839985 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505806488 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0.19 cores=1,3,5,7 /proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 359 0 0 0 19 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 386 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 178 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0.13 cores=1,3,5,7 /proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 112 0 0 0 13 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.18 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 18 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 418 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.49 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5419 0 0 0 646 3 0 0 15 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 13629512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.9 s] /proc/loadavg: 2.01 2.03 2.00 2/461 21679 /proc/meminfo: memFree=29712028/32950928 swapFree=52246700/67111528 [pid=21578] ppid=21575 vsize=13629512 CPUtime=1800.04 cores=1,3,5,7 /proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 45624 0 1 0 179993 11 0 0 17 0 19 0 905839984 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/21578/statm: 3407378 41296 2264 9 0 3398112 0 [pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1790.89 cores=1,3,5,7 /proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28373 0 1 0 179087 2 0 0 25 0 19 0 905839985 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505806488 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0.19 cores=1,3,5,7 /proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 359 0 0 0 19 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 386 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 178 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0.13 cores=1,3,5,7 /proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 112 0 0 0 13 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.18 cores=1,3,5,7 /proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 18 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7 /proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 418 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.49 cores=1,3,5,7 /proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5419 0 0 0 646 3 0 0 15 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0 [pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7 /proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7 /proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 [pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0 [pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0 [pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7 /proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 13629512 Child status: 143 Real time (s): 1797.97 CPU time (s): 1800.17 CPU user time (s): 1800.05 CPU system time (s): 0.121981 CPU usage (%): 100.122 Max. virtual memory (cumulated for all children) (KiB): 13630092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.121981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45780 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= 42981 involuntary context switches= 7798 runsolver used 7.58285 second user time and 18.5062 second system time The end
Begin job on node114 at 2011-06-04 04:54:53 IDJOB=3458479 IDBENCH=24981 IDSOLVER=1952 FILE ID=node114/3458479-1307156093 RUNJOBID= node114-1307156093-21563 PBS_JOBID= 13508802 Free space on /tmp= 73940 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458479-1307156093/watcher-3458479-1307156093 -o /tmp/evaluation-result-3458479-1307156093/solver-3458479-1307156093 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458479-1307156093.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54 RANDOM SEED=1193674859 node114.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.848 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.69 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.848 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.74 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.848 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.73 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.848 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.75 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.848 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.848 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.74 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29879792 kB Buffers: 307180 kB Cached: 456580 kB SwapCached: 10712 kB Active: 2323836 kB Inactive: 475936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29879792 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 2044 kB Writeback: 0 kB AnonPages: 2033544 kB Mapped: 20848 kB Slab: 141644 kB PageTables: 62032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108159340 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73936 MiB End job on node114 at 2011-06-04 05:24:53