Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.2 | 1795.96 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo |
| MD5SUM | 60c1b790b835b31f32d3b92e41ae62ac |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.372943 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4970 |
| Total number of constraints | 141 |
| Number of soft constraints | 141 |
| Number of constraints which are clauses | 71 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 71 |
| Top cost | 7546 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 7545 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 72 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/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@13d4c61c 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-3492576-1307910897.wbo 0.10/0.11 c reading problem ... 0.30/0.29 c ... done. Wall clock time 0.186s. 0.30/0.29 c #vars 5111 0.30/0.29 c #constraints 141 0.30/0.29 c constraints type 0.30/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 0.30/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70 0.86/0.49 c SATISFIABLE 0.86/0.49 c OPTIMIZING... 0.86/0.49 c Got one! Elapsed wall clock time (in seconds):0.385 0.86/0.49 o 238 1.14/0.53 c Got one! Elapsed wall clock time (in seconds):0.418 1.14/0.53 o 147 1.14/0.56 c Got one! Elapsed wall clock time (in seconds):0.451 1.14/0.56 o 21 1.31/0.69 c Got one! Elapsed wall clock time (in seconds):0.581 1.31/0.69 o 13 1.52/0.83 c Got one! Elapsed wall clock time (in seconds):0.724 1.52/0.83 o 5 2.22/1.56 c Got one! Elapsed wall clock time (in seconds):1.452 2.22/1.56 o 2 2.63/1.95 c Got one! Elapsed wall clock time (in seconds):1.838 2.63/1.95 o 1 4.72/4.09 c cleaning 4020 clauses out of 8071 with flag 4004/8071 8.39/7.64 c cleaning 5012 clauses out of 10049 with flag 10002/14069 12.71/11.93 c cleaning 5996 clauses out of 12036 with flag 17001/21068 17.31/16.42 c cleaning 6963 clauses out of 14040 with flag 25001/29068 23.38/22.48 c cleaning 7976 clauses out of 16076 with flag 34000/38067 31.09/30.16 c cleaning 9015 clauses out of 18103 with flag 44003/48070 36.31/35.37 c cleaning 9489 clauses out of 19086 with flag 54001/58068 43.72/42.78 c cleaning 9748 clauses out of 19596 with flag 64000/68067 50.23/49.26 c cleaning 9891 clauses out of 19848 with flag 74000/78067 57.04/56.00 c cleaning 9914 clauses out of 19960 with flag 84003/88070 63.15/62.10 c cleaning 9975 clauses out of 20043 with flag 94000/98067 74.25/73.20 c cleaning 9986 clauses out of 20068 with flag 104000/108067 83.67/82.63 c cleaning 9975 clauses out of 20083 with flag 114001/118068 90.39/89.31 c cleaning 10003 clauses out of 20107 with flag 124000/128067 97.10/96.07 c cleaning 10023 clauses out of 20107 with flag 134003/138070 107.72/106.63 c cleaning 10003 clauses out of 20084 with flag 144003/148070 118.24/117.11 c cleaning 10002 clauses out of 20078 with flag 154000/158067 127.66/126.56 c cleaning 10002 clauses out of 20076 with flag 164000/168067 135.17/134.05 c cleaning 9991 clauses out of 20075 with flag 174001/178068 141.59/140.49 c cleaning 10003 clauses out of 20084 with flag 184001/188068 148.30/147.14 c cleaning 10014 clauses out of 20080 with flag 194000/198067 160.20/159.03 c cleaning 9997 clauses out of 20069 with flag 204003/208070 171.93/170.76 c cleaning 9972 clauses out of 20069 with flag 214000/218067 184.64/183.43 c cleaning 9977 clauses out of 20099 with flag 224002/228069 197.56/196.33 c cleaning 10031 clauses out of 20123 with flag 234003/238070 210.18/208.95 c cleaning 9983 clauses out of 20089 with flag 244000/248067 225.31/224.07 c cleaning 9989 clauses out of 20106 with flag 254000/258067 231.64/230.38 c cleaning 9998 clauses out of 20118 with flag 264001/268068 237.86/236.51 c cleaning 10005 clauses out of 20120 with flag 274001/278068 246.26/244.99 c cleaning 10035 clauses out of 20115 with flag 284001/288068 258.07/256.70 c cleaning 10016 clauses out of 20079 with flag 294000/298067 268.80/267.44 c cleaning 9994 clauses out of 20063 with flag 304000/308067 279.50/278.18 c cleaning 10001 clauses out of 20070 with flag 314001/318068 287.43/286.08 c cleaning 10001 clauses out of 20068 with flag 324000/328067 295.04/293.65 c cleaning 9999 clauses out of 20067 with flag 334000/338067 302.15/300.78 c cleaning 10012 clauses out of 20069 with flag 344001/348068 311.86/310.49 c cleaning 9985 clauses out of 20061 with flag 354005/358072 321.48/320.02 c cleaning 9993 clauses out of 20073 with flag 364002/368069 329.81/328.38 c cleaning 10016 clauses out of 20079 with flag 374001/378068 338.24/336.76 c cleaning 9998 clauses out of 20062 with flag 384000/388067 344.25/342.77 c cleaning 10005 clauses out of 20068 with flag 394004/398071 351.47/349.93 c cleaning 9989 clauses out of 20060 with flag 404001/408068 358.98/357.40 c cleaning 9993 clauses out of 20070 with flag 414000/418067 373.99/372.48 c cleaning 10000 clauses out of 20077 with flag 424000/428067 386.02/384.40 c cleaning 9999 clauses out of 20077 with flag 434000/438067 399.44/397.80 c cleaning 10001 clauses out of 20081 with flag 444003/448070 410.26/408.65 c cleaning 10008 clauses out of 20078 with flag 454001/458068 422.38/420.73 c cleaning 9978 clauses out of 20069 with flag 464000/468067 434.91/433.23 c cleaning 10013 clauses out of 20092 with flag 474001/478068 444.63/442.97 c cleaning 10021 clauses out of 20079 with flag 484001/488068 455.85/454.17 c cleaning 10010 clauses out of 20058 with flag 494001/498068 468.07/466.31 c cleaning 10000 clauses out of 20047 with flag 504000/508067 481.90/480.14 c cleaning 10000 clauses out of 20047 with flag 514000/518067 491.12/489.36 c cleaning 10002 clauses out of 20048 with flag 524001/528068 500.24/498.46 c cleaning 9998 clauses out of 20046 with flag 534001/538068 509.35/507.56 c cleaning 10000 clauses out of 20051 with flag 544004/548071 518.66/516.82 c cleaning 10000 clauses out of 20047 with flag 554000/558067 527.38/525.59 c cleaning 10006 clauses out of 20053 with flag 564006/568073 538.19/536.38 c cleaning 9995 clauses out of 20041 with flag 574000/578067 547.31/545.48 c cleaning 10001 clauses out of 20049 with flag 584003/588070 552.82/550.94 c cleaning 9995 clauses out of 20046 with flag 594001/598068 559.04/557.11 c cleaning 9978 clauses out of 20050 with flag 604000/608067 568.35/566.46 c cleaning 9993 clauses out of 20073 with flag 614001/618068 579.59/577.63 c cleaning 9988 clauses out of 20079 with flag 624000/628067 590.52/588.53 c cleaning 9996 clauses out of 20093 with flag 634002/638069 599.33/597.32 c cleaning 10032 clauses out of 20096 with flag 644001/648068 606.05/604.09 c cleaning 10016 clauses out of 20066 with flag 654003/658070 612.16/610.10 c cleaning 10006 clauses out of 20047 with flag 664000/668067 617.87/615.86 c cleaning 9996 clauses out of 20043 with flag 674002/678069 625.98/623.95 c cleaning 10000 clauses out of 20046 with flag 684001/688068 635.40/633.36 c cleaning 9997 clauses out of 20046 with flag 694001/698068 646.72/644.68 c cleaning 10000 clauses out of 20048 with flag 704000/708067 655.23/653.15 c cleaning 9996 clauses out of 20050 with flag 714002/718069 664.45/662.37 c cleaning 10007 clauses out of 20052 with flag 724000/728067 673.17/671.01 c cleaning 10002 clauses out of 20046 with flag 734001/738068 681.89/679.75 c cleaning 10002 clauses out of 20045 with flag 744002/748069 690.61/688.45 c cleaning 9996 clauses out of 20041 with flag 754000/758067 700.43/698.22 c cleaning 9988 clauses out of 20045 with flag 764000/768067 709.16/706.96 c cleaning 10014 clauses out of 20060 with flag 774003/778070 718.48/716.26 c cleaning 9990 clauses out of 20043 with flag 784000/788067 730.60/728.30 c cleaning 9991 clauses out of 20057 with flag 794004/798071 743.62/741.31 c cleaning 10005 clauses out of 20065 with flag 804003/808070 756.54/754.25 c cleaning 9966 clauses out of 20058 with flag 814001/818068 771.77/769.40 c cleaning 9992 clauses out of 20092 with flag 824001/828068 785.99/783.63 c cleaning 9980 clauses out of 20099 with flag 834000/838067 798.62/796.23 c cleaning 9985 clauses out of 20119 with flag 844000/848067 811.84/809.46 c cleaning 10046 clauses out of 20136 with flag 854002/858069 825.96/823.55 c cleaning 9978 clauses out of 20089 with flag 864001/868068 839.48/837.02 c cleaning 10022 clauses out of 20110 with flag 874000/878067 847.80/845.32 c cleaning 10012 clauses out of 20088 with flag 884000/888067 855.82/853.33 c cleaning 9952 clauses out of 20077 with flag 894001/898068 865.34/862.82 c cleaning 9964 clauses out of 20125 with flag 904001/908068 872.96/870.43 c cleaning 9992 clauses out of 20161 with flag 914001/918068 880.67/878.19 c cleaning 10029 clauses out of 20171 with flag 924003/928070 891.59/889.05 c cleaning 9989 clauses out of 20142 with flag 934003/938070 900.50/897.99 c cleaning 10042 clauses out of 20152 with flag 944002/948069 908.81/906.21 c cleaning 10016 clauses out of 20108 with flag 954000/958067 916.83/914.29 c cleaning 10011 clauses out of 20092 with flag 964000/968067 927.04/924.45 c cleaning 9972 clauses out of 20081 with flag 974000/978067 941.07/938.42 c cleaning 9952 clauses out of 20109 with flag 984000/988067 953.39/950.78 c cleaning 9992 clauses out of 20158 with flag 994001/998068 966.22/963.51 c cleaning 9997 clauses out of 20166 with flag 1004001/1008068 976.54/973.87 c cleaning 10067 clauses out of 20171 with flag 1014003/1018070 986.56/983.89 c cleaning 10029 clauses out of 20104 with flag 1024003/1028070 997.57/994.89 c cleaning 10015 clauses out of 20073 with flag 1034001/1038068 1006.30/1003.56 c cleaning 10007 clauses out of 20058 with flag 1044001/1048068 1018.22/1015.40 c cleaning 10003 clauses out of 20050 with flag 1054000/1058067 1028.84/1026.09 c cleaning 10003 clauses out of 20049 with flag 1064002/1068069 1039.77/1036.94 c cleaning 9995 clauses out of 20044 with flag 1074000/1078067 1050.88/1048.06 c cleaning 9982 clauses out of 20049 with flag 1084000/1088067 1061.60/1058.78 c cleaning 9991 clauses out of 20067 with flag 1094000/1098067 1073.03/1070.15 c cleaning 10001 clauses out of 20076 with flag 1104000/1108067 1083.34/1080.49 c cleaning 10007 clauses out of 20076 with flag 1114001/1118068 1094.06/1091.14 c cleaning 10002 clauses out of 20069 with flag 1124001/1128068 1106.38/1103.42 c cleaning 9999 clauses out of 20069 with flag 1134003/1138070 1117.79/1114.80 c cleaning 9991 clauses out of 20070 with flag 1144003/1148070 1128.21/1125.28 c cleaning 10004 clauses out of 20076 with flag 1154000/1158067 1139.73/1136.74 c cleaning 9995 clauses out of 20073 with flag 1164001/1168068 1151.84/1148.85 c cleaning 9992 clauses out of 20078 with flag 1174001/1178068 1160.36/1157.33 c cleaning 9998 clauses out of 20086 with flag 1184001/1188068 1169.18/1166.19 c cleaning 9997 clauses out of 20087 with flag 1194000/1198067 1180.29/1177.20 c cleaning 10004 clauses out of 20092 with flag 1204002/1208069 1194.91/1191.81 c cleaning 9982 clauses out of 20086 with flag 1214000/1218067 1211.24/1208.14 c cleaning 10016 clauses out of 20106 with flag 1224002/1228069 1229.57/1226.47 c cleaning 10001 clauses out of 20088 with flag 1234000/1238067 1245.70/1242.53 c cleaning 10010 clauses out of 20105 with flag 1244018/1248085 1262.22/1259.00 c cleaning 9976 clauses out of 20077 with flag 1254000/1258067 1276.44/1273.28 c cleaning 9982 clauses out of 20102 with flag 1264001/1268068 1293.36/1290.17 c cleaning 10023 clauses out of 20122 with flag 1274003/1278070 1308.89/1305.60 c cleaning 10001 clauses out of 20096 with flag 1284000/1288067 1327.32/1324.01 c cleaning 10003 clauses out of 20096 with flag 1294001/1298068 1344.75/1341.40 c cleaning 10004 clauses out of 20092 with flag 1304000/1308067 1359.99/1356.62 c cleaning 9994 clauses out of 20088 with flag 1314000/1318067 1372.60/1369.29 c cleaning 10004 clauses out of 20094 with flag 1324000/1328067 1379.64/1376.22 c cleaning 9946 clauses out of 20091 with flag 1334001/1338068 1385.85/1382.45 c cleaning 10009 clauses out of 20145 with flag 1344001/1348068 1394.76/1391.37 c cleaning 10015 clauses out of 20136 with flag 1354001/1358068 1404.18/1400.76 c cleaning 10024 clauses out of 20120 with flag 1364000/1368067 1414.60/1411.10 c cleaning 10013 clauses out of 20097 with flag 1374001/1378068 1422.81/1419.34 c cleaning 10013 clauses out of 20083 with flag 1384000/1388067 1430.24/1426.78 c cleaning 10010 clauses out of 20070 with flag 1394000/1398067 1438.95/1435.44 c cleaning 10011 clauses out of 20064 with flag 1404004/1408071 1444.58/1441.03 c cleaning 10005 clauses out of 20050 with flag 1414001/1418068 1451.29/1447.77 c cleaning 10005 clauses out of 20044 with flag 1424000/1428067 1458.20/1454.62 c cleaning 10005 clauses out of 20040 with flag 1434001/1438068 1466.01/1462.43 c cleaning 10002 clauses out of 20035 with flag 1444001/1448068 1472.63/1469.06 c cleaning 9993 clauses out of 20034 with flag 1454002/1458069 1484.95/1481.31 c cleaning 9963 clauses out of 20039 with flag 1464000/1468067 1494.28/1490.68 c cleaning 10007 clauses out of 20076 with flag 1474000/1478067 1504.20/1500.58 c cleaning 9975 clauses out of 20069 with flag 1484000/1488067 1517.51/1513.88 c cleaning 10011 clauses out of 20096 with flag 1494002/1498069 1527.94/1524.25 c cleaning 10013 clauses out of 20083 with flag 1504000/1508067 1540.35/1536.69 c cleaning 10008 clauses out of 20076 with flag 1514006/1518073 1550.59/1546.82 c cleaning 9984 clauses out of 20062 with flag 1524000/1528067 1561.20/1557.43 c cleaning 9989 clauses out of 20078 with flag 1534000/1538067 1573.52/1569.77 c cleaning 9998 clauses out of 20090 with flag 1544001/1548068 1585.04/1581.27 c cleaning 9995 clauses out of 20093 with flag 1554002/1558069 1596.57/1592.77 c cleaning 10004 clauses out of 20096 with flag 1564000/1568067 1607.79/1603.98 c cleaning 10000 clauses out of 20094 with flag 1574002/1578069 1620.01/1616.19 c cleaning 9998 clauses out of 20093 with flag 1584001/1588068 1631.33/1627.40 c cleaning 10002 clauses out of 20099 with flag 1594005/1598072 1642.64/1638.76 c cleaning 10000 clauses out of 20094 with flag 1604002/1608069 1653.26/1649.33 c cleaning 10001 clauses out of 20093 with flag 1614001/1618068 1662.57/1658.62 c cleaning 10011 clauses out of 20091 with flag 1624000/1628067 1671.98/1668.06 c cleaning 10009 clauses out of 20082 with flag 1634002/1638069 1682.00/1678.02 c cleaning 10012 clauses out of 20071 with flag 1644000/1648067 1692.11/1688.12 c cleaning 10005 clauses out of 20061 with flag 1654002/1658069 1702.33/1698.38 c cleaning 9992 clauses out of 20054 with flag 1664000/1668067 1712.55/1708.50 c cleaning 10008 clauses out of 20069 with flag 1674007/1678074 1722.37/1718.32 c cleaning 9994 clauses out of 20054 with flag 1684000/1688067 1731.98/1727.97 c cleaning 9992 clauses out of 20060 with flag 1694000/1698067 1741.10/1737.07 c cleaning 10002 clauses out of 20069 with flag 1704001/1708068 1750.61/1746.50 c cleaning 9997 clauses out of 20066 with flag 1714000/1718067 1760.03/1755.94 c cleaning 10009 clauses out of 20071 with flag 1724002/1728069 1770.24/1766.20 c cleaning 9988 clauses out of 20061 with flag 1734001/1738068 1780.25/1776.19 c cleaning 10003 clauses out of 20075 with flag 1744003/1748070 1791.16/1787.07 c cleaning 9998 clauses out of 20070 with flag 1754001/1758068 1800.08/1795.91 c starts : 216 1800.08/1795.91 c conflicts : 1767003 1800.08/1795.91 c decisions : 3122353 1800.08/1795.91 c propagations : 65307977 1800.08/1795.91 c inspects : 2385132396 1800.08/1795.91 c shortcuts : 0 1800.08/1795.91 c learnt literals : 0 1800.08/1795.91 c learnt binary clauses : 0 1800.08/1795.91 c learnt ternary clauses : 0 1800.08/1795.91 c learnt constraints : 1767002 1800.08/1795.91 c ignored constraints : 0 1800.08/1795.91 c root simplifications : 0 1800.08/1795.91 c removed literals (reason simplification) : 10615136 1800.08/1795.91 c reason swapping (by a shorter reason) : 0 1800.08/1795.91 c Calls to reduceDB : 177 1800.08/1795.91 c number of reductions to clauses (during analyze) : 0 1800.08/1795.91 c number of learned constraints concerned by reduction : 0 1800.08/1795.91 c number of learning phase by resolution : 0 1800.08/1795.91 c number of learning phase by cutting planes : 0 1800.08/1795.91 c speed (assignments/second) : 36404.304099747824 1800.08/1795.91 c non guided choices 250917 1800.08/1795.92 c learnt constraints type 1800.08/1795.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19011 1800.08/1795.92 c constraints type 1800.08/1795.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 1800.08/1795.92 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 1800.08/1795.92 s SATISFIABLE 1800.08/1795.93 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 1800.08/1795.94 c objective function=1 1800.08/1795.94 c Total wall clock time (in seconds): 1795.829
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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 /var/tmp/evaluation-result-3492576-1307910897/watcher-3492576-1307910897 -o /var/tmp/evaluation-result-3492576-1307910897/solver-3492576-1307910897 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492576-1307910897.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.01 1.93 3/195 16449 /proc/meminfo: memFree=1517784/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/16449/stat : 16449 (java) R 16447 16449 14274 0 -1 4202496 445 0 0 0 0 0 0 0 25 0 1 0 902689469 23580672 188 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237273916977 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16449/statm: 5757 205 161 9 0 124 0 [startup+0.103206 s] /proc/loadavg: 2.01 2.01 1.93 3/195 16449 /proc/meminfo: memFree=1517784/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10540260 CPUtime=0.1 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 13096 0 1 0 9 1 0 0 25 0 18 0 902689469 10793226240 12769 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2635065 12770 2092 9 0 2625799 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540260 [startup+0.205183 s] /proc/loadavg: 2.01 2.01 1.93 3/195 16449 /proc/meminfo: memFree=1517784/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10542084 CPUtime=0.3 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 15073 0 1 0 28 2 0 0 25 0 18 0 902689469 10795094016 14413 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2635521 14413 2185 9 0 2626255 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 10542084 [startup+0.301115 s] /proc/loadavg: 2.01 2.01 1.93 3/195 16449 /proc/meminfo: memFree=1517784/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10544784 CPUtime=0.56 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 19053 0 1 0 54 2 0 0 25 0 18 0 902689469 10797858816 17329 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636196 17330 2209 9 0 2626930 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 10544784 [startup+0.701043 s] /proc/loadavg: 2.01 2.01 1.93 3/195 16449 /proc/meminfo: memFree=1517784/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=1.42 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 21174 0 1 0 140 2 0 0 25 0 19 0 902689469 10799058944 18196 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 18196 2231 9 0 2627223 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 10545956 [startup+1.5009 s] /proc/loadavg: 2.01 2.01 1.93 3/214 16468 /proc/meminfo: memFree=1450952/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=2.22 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 22479 0 1 0 220 2 0 0 25 0 19 0 902689469 10799058944 19500 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 19501 2233 9 0 2627223 0 [pid=16449/tid=16451] ppid=16447 vsize=10545956 CPUtime=1.48 cores=1,3,5,7 /proc/16449/task/16451/stat : 16451 (java) R 16447 16449 14274 0 -1 4202560 15735 0 1 0 146 2 0 0 20 0 19 0 902689470 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 47088980355923 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=16449/tid=16452] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16452/stat : 16452 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16453] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16453/stat : 16453 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16454] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16454/stat : 16454 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16455] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16455/stat : 16455 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16456] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16456/stat : 16456 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902689472 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902689473 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689473 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.34 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2881 0 0 0 34 0 0 0 20 0 19 0 902689475 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.38 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 2702 0 0 0 38 0 0 0 19 0 19 0 902689475 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 19501 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 10545956 [startup+3.10068 s] /proc/loadavg: 2.01 2.01 1.93 4/214 16468 /proc/meminfo: memFree=1444504/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=3.82 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 24429 0 1 0 379 3 0 0 25 0 19 0 902689469 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 21450 2233 9 0 2627223 0 [pid=16449/tid=16451] ppid=16447 vsize=10545956 CPUtime=3.07 cores=1,3,5,7 /proc/16449/task/16451/stat : 16451 (java) R 16447 16449 14274 0 -1 4202560 17684 0 1 0 305 2 0 0 25 0 19 0 902689470 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 46912505770975 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=16449/tid=16452] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16452/stat : 16452 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16453] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16453/stat : 16453 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16454] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16454/stat : 16454 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16455] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16455/stat : 16455 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16456] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16456/stat : 16456 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689471 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902689472 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902689473 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689473 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.34 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2881 0 0 0 34 0 0 0 20 0 19 0 902689475 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.38 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 2702 0 0 0 38 0 0 0 18 0 19 0 902689475 10799058944 21450 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 21451 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 21451 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 21451 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 10545956 [startup+6.30104 s] /proc/loadavg: 2.01 2.01 1.93 3/214 16468 /proc/meminfo: memFree=1418920/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=7.09 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 29880 0 1 0 706 3 0 0 25 0 19 0 902689469 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 26876 2259 9 0 2627223 0 [pid=16449/tid=16451] ppid=16447 vsize=10545956 CPUtime=6.25 cores=1,3,5,7 /proc/16449/task/16451/stat : 16451 (java) R 16447 16449 14274 0 -1 4202560 18636 0 1 0 623 2 0 0 21 0 19 0 902689470 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 46912505707876 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=16449/tid=16452] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16452/stat : 16452 (java) S 16447 16449 14274 0 -1 4202560 1077 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16453] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16453/stat : 16453 (java) S 16447 16449 14274 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16454] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16454/stat : 16454 (java) S 16447 16449 14274 0 -1 4202560 250 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16455] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16455/stat : 16455 (java) S 16447 16449 14274 0 -1 4202560 203 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16456] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16456/stat : 16456 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689471 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=0.01 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 2219 0 0 0 1 0 0 0 15 0 19 0 902689472 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.37 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2889 0 0 0 37 0 0 0 15 0 19 0 902689475 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.42 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 2712 0 0 0 42 0 0 0 15 0 19 0 902689475 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 26876 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 10545956 [startup+12.7009 s] ################ # More data... # ################ [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0.55 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 4532 0 0 0 55 0 0 0 15 0 19 0 902689471 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0.52 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 3072 0 0 0 52 0 0 0 16 0 19 0 902689471 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0.48 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 3433 0 0 0 48 0 0 0 16 0 19 0 902689471 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=6.05 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 18847 0 0 0 603 2 0 0 15 0 19 0 902689472 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.38 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2892 0 0 0 38 0 0 0 15 0 19 0 902689475 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.59 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 6537 0 0 0 59 0 0 0 15 0 19 0 902689475 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 80355 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1666.28 Current children cumulated vsize (KiB) 10545956 [startup+1722.3 s] /proc/loadavg: 2.03 2.05 2.01 3/214 16865 /proc/meminfo: memFree=1201516/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=1726.38 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 87553 0 1 0 172625 13 0 0 25 0 19 0 902689469 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 80374 2260 9 0 2627223 0 [pid=16449/tid=16451] ppid=16447 vsize=10545956 CPUtime=1714.69 cores=1,3,5,7 /proc/16449/task/16451/stat : 16451 (java) R 16447 16449 14274 0 -1 4202560 26570 0 1 0 171465 4 0 0 25 0 19 0 902689470 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 46912505770728 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16449/tid=16452] ppid=16447 vsize=10545956 CPUtime=0.5 cores=1,3,5,7 /proc/16449/task/16452/stat : 16452 (java) S 16447 16449 14274 0 -1 4202560 4658 0 0 0 50 0 0 0 15 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16453] ppid=16447 vsize=10545956 CPUtime=0.53 cores=1,3,5,7 /proc/16449/task/16453/stat : 16453 (java) S 16447 16449 14274 0 -1 4202560 3089 0 0 0 53 0 0 0 15 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16454] ppid=16447 vsize=10545956 CPUtime=0.54 cores=1,3,5,7 /proc/16449/task/16454/stat : 16454 (java) S 16447 16449 14274 0 -1 4202560 5030 0 0 0 54 0 0 0 16 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16455] ppid=16447 vsize=10545956 CPUtime=0.56 cores=1,3,5,7 /proc/16449/task/16455/stat : 16455 (java) S 16447 16449 14274 0 -1 4202560 4305 0 0 0 56 0 0 0 15 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16456] ppid=16447 vsize=10545956 CPUtime=0.54 cores=1,3,5,7 /proc/16449/task/16456/stat : 16456 (java) S 16447 16449 14274 0 -1 4202560 3327 0 0 0 54 0 0 0 15 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0.57 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 4532 0 0 0 57 0 0 0 15 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0.54 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 3075 0 0 0 54 0 0 0 15 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0.5 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 3436 0 0 0 50 0 0 0 16 0 19 0 902689471 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=6.31 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 18851 0 0 0 629 2 0 0 15 0 19 0 902689472 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.38 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2892 0 0 0 38 0 0 0 15 0 19 0 902689475 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.59 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 6537 0 0 0 59 0 0 0 15 0 19 0 902689475 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 80374 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1726.38 Current children cumulated vsize (KiB) 10545956 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.00 3/214 16870 /proc/meminfo: memFree=1198836/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=1786.46 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 87579 0 1 0 178633 13 0 0 25 0 19 0 902689469 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 80386 2260 9 0 2627223 0 [pid=16449/tid=16451] ppid=16447 vsize=10545956 CPUtime=1774.38 cores=1,3,5,7 /proc/16449/task/16451/stat : 16451 (java) R 16447 16449 14274 0 -1 4202560 26576 0 1 0 177434 4 0 0 25 0 19 0 902689470 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 46912505700480 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16449/tid=16452] ppid=16447 vsize=10545956 CPUtime=0.52 cores=1,3,5,7 /proc/16449/task/16452/stat : 16452 (java) S 16447 16449 14274 0 -1 4202560 4658 0 0 0 52 0 0 0 16 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16453] ppid=16447 vsize=10545956 CPUtime=0.54 cores=1,3,5,7 /proc/16449/task/16453/stat : 16453 (java) S 16447 16449 14274 0 -1 4202560 3093 0 0 0 54 0 0 0 15 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16454] ppid=16447 vsize=10545956 CPUtime=0.56 cores=1,3,5,7 /proc/16449/task/16454/stat : 16454 (java) S 16447 16449 14274 0 -1 4202560 5030 0 0 0 56 0 0 0 16 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16455] ppid=16447 vsize=10545956 CPUtime=0.57 cores=1,3,5,7 /proc/16449/task/16455/stat : 16455 (java) S 16447 16449 14274 0 -1 4202560 4305 0 0 0 57 0 0 0 15 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16456] ppid=16447 vsize=10545956 CPUtime=0.55 cores=1,3,5,7 /proc/16449/task/16456/stat : 16456 (java) S 16447 16449 14274 0 -1 4202560 3328 0 0 0 55 0 0 0 16 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0.58 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 4536 0 0 0 58 0 0 0 16 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0.55 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 3075 0 0 0 55 0 0 0 15 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0.51 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 3439 0 0 0 51 0 0 0 15 0 19 0 902689471 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=6.59 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 18855 0 0 0 657 2 0 0 15 0 19 0 902689472 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.38 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2892 0 0 0 38 0 0 0 15 0 19 0 902689475 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.59 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 6537 0 0 0 59 0 0 0 15 0 19 0 902689475 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 80386 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (KiB) 10545956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 2.01 2.04 2.00 3/214 16870 /proc/meminfo: memFree=1198736/32950904 swapFree=67055440/67111528 [pid=16449] ppid=16447 vsize=10545956 CPUtime=1800.08 cores=1,3,5,7 /proc/16449/stat : 16449 (java) S 16447 16449 14274 0 -1 4202496 87583 0 1 0 179995 13 0 0 25 0 19 0 902689469 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/16449/statm: 2636489 80389 2260 9 0 2627223 0 [pid=16449/tid=16451] ppid=16447 vsize=10545956 CPUtime=1787.94 cores=1,3,5,7 /proc/16449/task/16451/stat : 16451 (java) R 16447 16449 14274 0 -1 4202560 26577 0 1 0 178790 4 0 0 25 0 19 0 902689470 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 46912505700480 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=16449/tid=16452] ppid=16447 vsize=10545956 CPUtime=0.52 cores=1,3,5,7 /proc/16449/task/16452/stat : 16452 (java) S 16447 16449 14274 0 -1 4202560 4658 0 0 0 52 0 0 0 15 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16453] ppid=16447 vsize=10545956 CPUtime=0.54 cores=1,3,5,7 /proc/16449/task/16453/stat : 16453 (java) S 16447 16449 14274 0 -1 4202560 3093 0 0 0 54 0 0 0 16 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16454] ppid=16447 vsize=10545956 CPUtime=0.56 cores=1,3,5,7 /proc/16449/task/16454/stat : 16454 (java) S 16447 16449 14274 0 -1 4202560 5030 0 0 0 56 0 0 0 16 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16455] ppid=16447 vsize=10545956 CPUtime=0.58 cores=1,3,5,7 /proc/16449/task/16455/stat : 16455 (java) S 16447 16449 14274 0 -1 4202560 4306 0 0 0 58 0 0 0 16 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16456] ppid=16447 vsize=10545956 CPUtime=0.55 cores=1,3,5,7 /proc/16449/task/16456/stat : 16456 (java) S 16447 16449 14274 0 -1 4202560 3328 0 0 0 55 0 0 0 15 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16457] ppid=16447 vsize=10545956 CPUtime=0.59 cores=1,3,5,7 /proc/16449/task/16457/stat : 16457 (java) S 16447 16449 14274 0 -1 4202560 4538 0 0 0 59 0 0 0 16 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16458] ppid=16447 vsize=10545956 CPUtime=0.55 cores=1,3,5,7 /proc/16449/task/16458/stat : 16458 (java) S 16447 16449 14274 0 -1 4202560 3075 0 0 0 55 0 0 0 15 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16459] ppid=16447 vsize=10545956 CPUtime=0.52 cores=1,3,5,7 /proc/16449/task/16459/stat : 16459 (java) S 16447 16449 14274 0 -1 4202560 3439 0 0 0 52 0 0 0 16 0 19 0 902689471 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16460] ppid=16447 vsize=10545956 CPUtime=6.63 cores=1,3,5,7 /proc/16449/task/16460/stat : 16460 (java) S 16447 16449 14274 0 -1 4202560 18855 0 0 0 661 2 0 0 15 0 19 0 902689472 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 0 0 16800975 18446604461355730240 0 0 -1 3 0 0 0 [pid=16449/tid=16461] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16461/stat : 16461 (java) S 16447 16449 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16462] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16462/stat : 16462 (java) S 16447 16449 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902689473 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16463] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16463/stat : 16463 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902689475 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290703281 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16464] ppid=16447 vsize=10545956 CPUtime=0.38 cores=1,3,5,7 /proc/16449/task/16464/stat : 16464 (java) S 16447 16449 14274 0 -1 4202560 2892 0 0 0 38 0 0 0 15 0 19 0 902689475 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 5 0 0 0 [pid=16449/tid=16465] ppid=16447 vsize=10545956 CPUtime=0.59 cores=1,3,5,7 /proc/16449/task/16465/stat : 16465 (java) S 16447 16449 14274 0 -1 4202560 6537 0 0 0 59 0 0 0 15 0 19 0 902689475 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16466] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16466/stat : 16466 (java) S 16447 16449 14274 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902689475 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290695577 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 [pid=16449/tid=16467] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16467/stat : 16467 (java) S 16447 16449 14274 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902689475 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 1 0 0 0 [pid=16449/tid=16468] ppid=16447 vsize=10545956 CPUtime=0 cores=1,3,5,7 /proc/16449/task/16468/stat : 16468 (java) S 16447 16449 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902689500 10799058944 80389 33554432000 1073741824 1073778376 140735896417920 18446744073709551615 237290696192 0 4 0 16800975 18446604461355730240 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10545956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.96 CPU time (s): 1800.2 CPU user time (s): 1800.05 CPU system time (s): 0.151976 CPU usage (%): 100.236 Max. virtual memory (cumulated for all children) (KiB): 10545956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.151976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87694 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= 41080 involuntary context switches= 23545 runsolver used 2.96655 second user time and 6.84696 second system time The end
Begin job on node121 at 2011-06-12 22:34:57 IDJOB=3492576 IDBENCH=79171 IDSOLVER=1982 FILE ID=node121/3492576-1307910897 RUNJOBID= node121-1307908110-15572 PBS_JOBID= 13559585 Free space on /var/tmp= 2892 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492576-1307910897/watcher-3492576-1307910897 -o /var/tmp/evaluation-result-3492576-1307910897/solver-3492576-1307910897 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492576-1307910897.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 60c1b790b835b31f32d3b92e41ae62ac RANDOM SEED=1142854528 node121.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.817 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.63 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.817 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.07 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.817 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.84 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.817 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.77 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.74 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.817 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.75 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.817 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: 32950904 kB MemFree: 1518444 kB Buffers: 65676 kB Cached: 30302992 kB SwapCached: 9696 kB Active: 15234532 kB Inactive: 15252136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 1518444 kB SwapTotal: 67111528 kB SwapFree: 67055440 kB Dirty: 472 kB Writeback: 0 kB AnonPages: 115744 kB Mapped: 21288 kB Slab: 882104 kB PageTables: 4644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 10565632 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 /var/tmp at the end= 2892 MiB End job on node121 at 2011-06-12 23:04:55