Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | MSAT (TO) | 1800.2 | 1793.59 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo |
| MD5SUM | 374ed8d346409439b64d782bc7a820e5 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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.156976 |
| 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 | 94 |
| 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 | 5200 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 5199 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c Stops conflict analysis at the first Unique Implication Point 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c Expensive reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-2691104-1277893838.wbo 0.10/0.10 c reading problem ... 0.32/0.26 c ... done. Wall clock time 0.162s. 0.32/0.26 c #vars 5064 0.32/0.26 c #constraints 141 0.32/0.26 c constraints type 0.32/0.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 0.32/0.26 c org.sat4j.minisat.constraints.card.MinWatchCard => 70 1.11/0.54 c SATISFIABLE 1.11/0.54 c OPTIMIZING... 1.11/0.54 c Got one! Elapsed wall clock time (in seconds):0.446 1.11/0.54 o 33 1.59/0.93 c Got one! Elapsed wall clock time (in seconds):0.832 1.59/0.93 o 9 2.70/2.05 c cleaning 2484 clauses out of 5001 with flag 5001/5001 4.62/3.92 c Got one! Elapsed wall clock time (in seconds):3.827 4.62/3.92 o 1 5.18/4.41 c cleaning 4239 clauses out of 8516 with flag 11000/11000 8.19/7.43 c cleaning 5604 clauses out of 11277 with flag 18000/18000 11.80/11.05 c cleaning 6793 clauses out of 13673 with flag 26000/26000 17.72/16.97 c cleaning 7900 clauses out of 15880 with flag 35000/35000 23.44/22.62 c cleaning 8962 clauses out of 17980 with flag 45000/45000 28.65/27.86 c cleaning 9462 clauses out of 19018 with flag 55000/55000 34.36/33.52 c cleaning 9750 clauses out of 19558 with flag 65002/65002 40.78/39.94 c cleaning 9861 clauses out of 19806 with flag 75000/75000 45.99/45.15 c cleaning 9904 clauses out of 19946 with flag 85001/85001 51.90/51.00 c cleaning 9971 clauses out of 20043 with flag 95002/95002 61.11/60.23 c cleaning 9991 clauses out of 20070 with flag 105000/105000 70.93/70.02 c cleaning 10007 clauses out of 20080 with flag 115001/115001 76.37/75.41 c cleaning 9988 clauses out of 20075 with flag 125003/125003 82.50/81.58 c cleaning 9988 clauses out of 20085 with flag 135001/135001 89.21/88.23 c cleaning 10002 clauses out of 20097 with flag 145001/145001 97.33/96.39 c cleaning 10008 clauses out of 20097 with flag 155003/155003 108.06/107.02 c cleaning 9991 clauses out of 20088 with flag 165002/165002 116.20/115.10 c cleaning 10015 clauses out of 20097 with flag 175002/175002 122.54/121.49 c cleaning 9983 clauses out of 20080 with flag 185000/185000 128.57/127.45 c cleaning 9989 clauses out of 20098 with flag 195001/195001 136.08/134.94 c cleaning 10006 clauses out of 20108 with flag 205000/205000 143.70/142.53 c cleaning 10004 clauses out of 20102 with flag 215000/215000 154.24/153.07 c cleaning 9996 clauses out of 20098 with flag 225000/225000 160.36/159.13 c cleaning 10026 clauses out of 20104 with flag 235002/235002 166.79/165.53 c cleaning 10013 clauses out of 20076 with flag 245000/245000 173.51/172.21 c cleaning 10007 clauses out of 20063 with flag 255000/255000 178.23/176.93 c cleaning 10027 clauses out of 20059 with flag 265003/265003 184.26/182.98 c cleaning 9981 clauses out of 20030 with flag 275001/275001 190.87/189.57 c cleaning 9997 clauses out of 20048 with flag 285000/285000 203.89/202.59 c cleaning 10004 clauses out of 20054 with flag 295003/295003 213.32/211.97 c cleaning 9999 clauses out of 20047 with flag 305000/305000 224.17/222.74 c cleaning 10001 clauses out of 20048 with flag 315000/315000 231.31/229.85 c cleaning 9987 clauses out of 20048 with flag 325001/325001 242.65/241.13 c cleaning 9996 clauses out of 20060 with flag 335000/335000 253.89/252.33 c cleaning 10003 clauses out of 20064 with flag 345000/345000 259.12/257.54 c cleaning 10014 clauses out of 20065 with flag 355004/355004 265.26/263.64 c cleaning 10005 clauses out of 20048 with flag 365001/365001 271.69/270.02 c cleaning 10002 clauses out of 20042 with flag 375000/375000 278.11/276.46 c cleaning 9995 clauses out of 20041 with flag 385001/385001 283.14/281.44 c cleaning 9982 clauses out of 20047 with flag 395002/395002 288.48/286.70 c cleaning 10002 clauses out of 20063 with flag 405000/405000 295.30/293.53 c cleaning 9986 clauses out of 20061 with flag 415000/415000 303.24/301.48 c cleaning 10000 clauses out of 20077 with flag 425002/425002 312.17/310.32 c cleaning 10006 clauses out of 20076 with flag 435001/435001 325.31/323.43 c cleaning 9984 clauses out of 20072 with flag 445003/445003 335.66/333.76 c cleaning 9976 clauses out of 20087 with flag 455002/455002 352.41/350.44 c cleaning 10023 clauses out of 20109 with flag 465000/465000 365.57/363.53 c cleaning 9973 clauses out of 20086 with flag 475000/475000 377.02/374.97 c cleaning 9990 clauses out of 20114 with flag 485001/485001 394.77/392.67 c cleaning 9987 clauses out of 20123 with flag 495000/495000 409.89/407.73 c cleaning 9985 clauses out of 20136 with flag 505000/505000 426.45/424.20 c cleaning 10005 clauses out of 20156 with flag 515005/515005 438.07/435.84 c cleaning 10049 clauses out of 20147 with flag 525001/525001 453.41/451.17 c cleaning 10029 clauses out of 20097 with flag 535000/535000 466.06/463.77 c cleaning 10006 clauses out of 20069 with flag 545001/545001 478.40/476.02 c cleaning 10006 clauses out of 20063 with flag 555001/555001 491.24/488.89 c cleaning 10006 clauses out of 20057 with flag 565001/565001 503.78/501.32 c cleaning 9986 clauses out of 20052 with flag 575002/575002 514.79/512.36 c cleaning 10007 clauses out of 20071 with flag 585007/585007 520.92/518.46 c cleaning 9982 clauses out of 20057 with flag 595000/595000 525.96/523.47 c cleaning 9996 clauses out of 20077 with flag 605002/605002 532.18/529.66 c cleaning 10000 clauses out of 20079 with flag 615000/615000 542.81/540.29 c cleaning 9997 clauses out of 20079 with flag 625000/625000 555.14/552.50 c cleaning 10006 clauses out of 20088 with flag 635006/635006 565.38/562.78 c cleaning 9993 clauses out of 20077 with flag 645001/645001 572.32/569.63 c cleaning 10022 clauses out of 20084 with flag 655001/655001 579.94/577.27 c cleaning 10012 clauses out of 20062 with flag 665001/665001 586.58/583.81 c cleaning 10001 clauses out of 20050 with flag 675001/675001 592.81/590.03 c cleaning 9972 clauses out of 20048 with flag 685000/685000 601.82/599.07 c cleaning 9994 clauses out of 20076 with flag 695000/695000 609.64/606.82 c cleaning 9999 clauses out of 20082 with flag 705000/705000 618.67/615.86 c cleaning 9994 clauses out of 20083 with flag 715000/715000 624.62/621.78 c cleaning 10024 clauses out of 20093 with flag 725004/725004 631.75/628.81 c cleaning 10009 clauses out of 20065 with flag 735000/735000 638.18/635.23 c cleaning 10002 clauses out of 20056 with flag 745000/745000 645.20/642.27 c cleaning 10004 clauses out of 20056 with flag 755002/755002 653.22/650.22 c cleaning 9996 clauses out of 20050 with flag 765000/765000 660.74/657.74 c cleaning 10002 clauses out of 20054 with flag 775000/775000 666.86/663.87 c cleaning 10013 clauses out of 20053 with flag 785001/785001 675.48/672.44 c cleaning 10007 clauses out of 20040 with flag 795001/795001 684.69/681.65 c cleaning 10002 clauses out of 20032 with flag 805000/805000 696.12/693.03 c cleaning 9997 clauses out of 20032 with flag 815002/815002 709.53/706.44 c cleaning 9990 clauses out of 20033 with flag 825000/825000 721.58/718.49 c cleaning 9979 clauses out of 20044 with flag 835001/835001 737.02/733.89 c cleaning 10017 clauses out of 20065 with flag 845001/845001 747.75/744.55 c cleaning 10009 clauses out of 20048 with flag 855001/855001 760.20/756.97 c cleaning 10002 clauses out of 20042 with flag 865004/865004 770.74/767.45 c cleaning 10005 clauses out of 20039 with flag 875003/875003 779.17/775.84 c cleaning 9962 clauses out of 20031 with flag 885000/885000 783.81/780.42 c cleaning 9989 clauses out of 20069 with flag 895000/895000 790.44/787.04 c cleaning 10000 clauses out of 20080 with flag 905000/905000 799.48/796.04 c cleaning 10015 clauses out of 20085 with flag 915005/915005 808.91/805.45 c cleaning 9989 clauses out of 20066 with flag 925001/925001 820.34/816.81 c cleaning 9991 clauses out of 20076 with flag 935000/935000 829.08/825.57 c cleaning 10010 clauses out of 20086 with flag 945001/945001 839.13/835.51 c cleaning 10014 clauses out of 20077 with flag 955002/955002 851.55/847.93 c cleaning 10004 clauses out of 20062 with flag 965001/965001 859.29/855.61 c cleaning 10004 clauses out of 20057 with flag 975000/975000 866.63/862.95 c cleaning 9984 clauses out of 20053 with flag 985000/985000 876.75/873.07 c cleaning 9992 clauses out of 20069 with flag 995000/995000 887.88/884.10 c cleaning 9993 clauses out of 20078 with flag 1005001/1005001 897.12/893.38 c cleaning 10020 clauses out of 20087 with flag 1015003/1015003 904.78/900.99 c cleaning 9994 clauses out of 20065 with flag 1025001/1025001 917.29/913.47 c cleaning 10009 clauses out of 20070 with flag 1035000/1035000 932.04/928.12 c cleaning 10003 clauses out of 20063 with flag 1045002/1045002 949.37/945.47 c cleaning 10004 clauses out of 20059 with flag 1055001/1055001 964.93/960.91 c cleaning 9990 clauses out of 20054 with flag 1065000/1065000 974.16/970.11 c cleaning 9989 clauses out of 20065 with flag 1075001/1075001 983.39/979.37 c cleaning 10006 clauses out of 20076 with flag 1085001/1085001 996.02/991.97 c cleaning 10004 clauses out of 20071 with flag 1095002/1095002 1011.97/1007.86 c cleaning 9999 clauses out of 20068 with flag 1105003/1105003 1029.21/1025.05 c cleaning 10004 clauses out of 20068 with flag 1115002/1115002 1043.45/1039.22 c cleaning 9998 clauses out of 20062 with flag 1125000/1125000 1055.80/1051.60 c cleaning 9997 clauses out of 20066 with flag 1135002/1135002 1069.03/1064.75 c cleaning 9992 clauses out of 20067 with flag 1145000/1145000 1083.17/1078.86 c cleaning 10011 clauses out of 20078 with flag 1155003/1155003 1096.62/1092.24 c cleaning 9992 clauses out of 20066 with flag 1165002/1165002 1109.04/1104.62 c cleaning 10005 clauses out of 20075 with flag 1175003/1175003 1119.09/1114.66 c cleaning 10009 clauses out of 20069 with flag 1185002/1185002 1132.73/1128.26 c cleaning 10001 clauses out of 20060 with flag 1195002/1195002 1144.76/1140.23 c cleaning 9997 clauses out of 20060 with flag 1205003/1205003 1155.70/1151.19 c cleaning 10003 clauses out of 20062 with flag 1215002/1215002 1168.03/1163.46 c cleaning 9996 clauses out of 20058 with flag 1225001/1225001 1178.54/1173.96 c cleaning 9992 clauses out of 20062 with flag 1235001/1235001 1190.48/1185.84 c cleaning 10008 clauses out of 20071 with flag 1245002/1245002 1202.20/1197.55 c cleaning 10000 clauses out of 20067 with flag 1255006/1255006 1216.72/1212.08 c cleaning 9989 clauses out of 20061 with flag 1265000/1265000 1230.27/1225.54 c cleaning 10004 clauses out of 20072 with flag 1275000/1275000 1241.00/1236.20 c cleaning 10004 clauses out of 20069 with flag 1285001/1285001 1254.22/1249.45 c cleaning 10006 clauses out of 20066 with flag 1295002/1295002 1265.25/1260.42 c cleaning 9996 clauses out of 20060 with flag 1305002/1305002 1277.10/1272.22 c cleaning 10005 clauses out of 20066 with flag 1315004/1315004 1288.74/1283.81 c cleaning 9996 clauses out of 20059 with flag 1325002/1325002 1293.36/1288.42 c cleaning 9978 clauses out of 20061 with flag 1335000/1335000 1298.70/1293.71 c cleaning 10007 clauses out of 20083 with flag 1345000/1345000 1305.43/1300.48 c cleaning 10008 clauses out of 20077 with flag 1355001/1355001 1317.48/1312.44 c cleaning 9978 clauses out of 20068 with flag 1365000/1365000 1330.33/1325.29 c cleaning 9998 clauses out of 20090 with flag 1375000/1375000 1344.55/1339.41 c cleaning 10015 clauses out of 20093 with flag 1385001/1385001 1359.31/1354.19 c cleaning 10005 clauses out of 20078 with flag 1395001/1395001 1371.86/1366.68 c cleaning 9985 clauses out of 20072 with flag 1405000/1405000 1382.92/1377.68 c cleaning 10011 clauses out of 20090 with flag 1415003/1415003 1396.07/1390.73 c cleaning 9996 clauses out of 20076 with flag 1425000/1425000 1411.82/1406.40 c cleaning 9933 clauses out of 20080 with flag 1435000/1435000 1427.58/1422.12 c cleaning 9983 clauses out of 20147 with flag 1445000/1445000 1443.03/1437.52 c cleaning 10022 clauses out of 20165 with flag 1455001/1455001 1452.38/1446.82 c cleaning 9994 clauses out of 20143 with flag 1465001/1465001 1463.41/1457.89 c cleaning 9999 clauses out of 20148 with flag 1475000/1475000 1474.15/1468.58 c cleaning 9999 clauses out of 20150 with flag 1485001/1485001 1486.48/1480.84 c cleaning 10002 clauses out of 20152 with flag 1495002/1495002 1501.02/1495.31 c cleaning 10001 clauses out of 20151 with flag 1505003/1505003 1512.87/1507.16 c cleaning 9992 clauses out of 20148 with flag 1515001/1515001 1522.41/1516.69 c cleaning 10047 clauses out of 20156 with flag 1525001/1525001 1533.05/1527.27 c cleaning 10022 clauses out of 20109 with flag 1535001/1535001 1541.98/1536.15 c cleaning 10010 clauses out of 20086 with flag 1545000/1545000 1551.51/1545.67 c cleaning 9997 clauses out of 20080 with flag 1555004/1555004 1561.35/1555.49 c cleaning 10011 clauses out of 20083 with flag 1565004/1565004 1569.97/1564.02 c cleaning 10004 clauses out of 20072 with flag 1575004/1575004 1578.61/1572.66 c cleaning 10000 clauses out of 20064 with flag 1585000/1585000 1588.04/1582.02 c cleaning 9994 clauses out of 20065 with flag 1595001/1595001 1599.57/1593.56 c cleaning 10005 clauses out of 20073 with flag 1605003/1605003 1611.21/1605.19 c cleaning 10002 clauses out of 20065 with flag 1615000/1615000 1620.44/1614.31 c cleaning 9961 clauses out of 20063 with flag 1625000/1625000 1632.88/1626.78 c cleaning 9992 clauses out of 20104 with flag 1635002/1635002 1644.62/1638.42 c cleaning 10011 clauses out of 20111 with flag 1645001/1645001 1654.95/1648.71 c cleaning 9995 clauses out of 20102 with flag 1655003/1655003 1667.78/1661.50 c cleaning 9982 clauses out of 20104 with flag 1665000/1665000 1684.00/1677.71 c cleaning 9991 clauses out of 20122 with flag 1675000/1675000 1695.86/1689.51 c cleaning 10003 clauses out of 20132 with flag 1685001/1685001 1711.37/1705.03 c cleaning 10006 clauses out of 20129 with flag 1695001/1695001 1723.71/1717.32 c cleaning 10000 clauses out of 20122 with flag 1705000/1705000 1738.63/1732.21 c cleaning 9999 clauses out of 20123 with flag 1715001/1715001 1750.66/1744.20 c cleaning 10016 clauses out of 20124 with flag 1725001/1725001 1761.28/1754.82 c cleaning 10008 clauses out of 20109 with flag 1735002/1735002 1772.39/1765.96 c cleaning 9987 clauses out of 20100 with flag 1745001/1745001 1783.22/1776.77 c cleaning 10002 clauses out of 20112 with flag 1755000/1755000 1797.83/1791.35 c cleaning 10018 clauses out of 20113 with flag 1765003/1765003 1800.07/1793.51 c starts : 212 1800.07/1793.51 c conflicts : 1767704 1800.07/1793.51 c decisions : 3010392 1800.07/1793.51 c propagations : 59062347 1800.07/1793.51 c inspects : 2191424988 1800.07/1793.51 c learnt literals : 0 1800.07/1793.51 c learnt binary clauses : 0 1800.07/1793.51 c learnt ternary clauses : 0 1800.07/1793.51 c learnt clauses : 1767703 1800.07/1793.51 c ignored clauses : 0 1800.07/1793.51 c root simplifications : 0 1800.07/1793.51 c removed literals (reason simplification) : 11546035 1800.07/1793.51 c reason swapping (by a shorter reason) : 0 1800.07/1793.51 c Calls to reduceDB : 178 1800.07/1793.51 c number of reductions to clauses (during analyze) : 0 1800.07/1793.51 c number of learned constraints concerned by reduction : 0 1800.07/1793.51 c number of learning phase by resolution : 0 1800.07/1793.51 c number of learning phase by cutting planes : 0 1800.07/1793.51 c speed (assignments/second) : 33003.320876089914 1800.07/1793.51 c non guided choices 220092 1800.07/1793.52 c learnt constraints type 1800.07/1793.52 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 12805 1800.07/1793.52 c constraints type 1800.07/1793.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 1800.07/1793.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 70 1800.07/1793.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.07/1793.52 s SATISFIABLE 1800.07/1793.53 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.07/1793.54 c objective function=1 1800.07/1793.54 c Total wall clock time (in seconds): 1793.439
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691104-1277893838/watcher-2691104-1277893838 -o /tmp/evaluation-result-2691104-1277893838/solver-2691104-1277893838 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691104-1277893838.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.02 3/196 10938 /proc/meminfo: memFree=31599988/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=248 CPUtime=0 /proc/10938/stat : 10938 (java) R 10936 10938 8991 0 -1 4194304 283 0 0 0 0 0 0 0 25 0 1 0 130680424 253952 28 4089446400 134512640 134550932 4291138272 18446744073709551615 11882974 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10938/statm: 62 28 21 10 0 23 0 [startup+0.0865449 s] /proc/loadavg: 2.07 2.02 2.02 3/196 10938 /proc/meminfo: memFree=31599988/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1529616 CPUtime=0.08 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 5055 0 1 0 7 1 0 0 25 0 18 0 130680424 1566326784 4491 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 382404 4491 1340 10 0 379706 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1529616 [startup+0.100535 s] /proc/loadavg: 2.07 2.02 2.02 3/196 10938 /proc/meminfo: memFree=31599988/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1529616 CPUtime=0.1 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 5212 0 1 0 9 1 0 0 25 0 18 0 130680424 1566326784 4648 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 382404 4649 1347 10 0 379706 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529616 [startup+0.300454 s] /proc/loadavg: 2.07 2.02 2.02 3/196 10938 /proc/meminfo: memFree=31599988/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1533520 CPUtime=0.6 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 9039 0 1 0 58 2 0 0 25 0 19 0 130680424 1570324480 8003 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383380 8003 1413 10 0 380682 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1533520 [startup+0.700386 s] /proc/loadavg: 2.07 2.02 2.02 3/196 10938 /proc/meminfo: memFree=31599988/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1533700 CPUtime=1.38 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 10016 0 1 0 136 2 0 0 25 0 19 0 130680424 1570508800 8816 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383425 8817 1428 10 0 380727 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 1533700 [startup+1.50125 s] /proc/loadavg: 2.23 2.05 2.03 3/215 10957 /proc/meminfo: memFree=31567232/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1533700 CPUtime=2.2 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 11375 0 1 0 217 3 0 0 25 0 19 0 130680424 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383425 10174 1428 10 0 380727 0 [pid=10938/tid=10940] ppid=10936 vsize=1533700 CPUtime=1.48 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 7966 0 1 0 146 2 0 0 20 0 19 0 130680425 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4110048913 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10942] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10942/stat : 10942 (java) S 10936 10938 8991 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10943] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10943/stat : 10943 (java) S 10936 10938 8991 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10944] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10944/stat : 10944 (java) S 10936 10938 8991 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10945] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10945/stat : 10945 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10946] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680426 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 130680427 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 130680427 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130680427 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1533700 CPUtime=0.32 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1046 0 0 0 32 0 0 0 15 0 19 0 130680429 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1533700 CPUtime=0.39 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1288 0 0 0 39 0 0 0 15 0 19 0 130680429 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 130680429 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1570508800 10174 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 1533700 [startup+3.10096 s] /proc/loadavg: 2.23 2.05 2.03 4/215 10957 /proc/meminfo: memFree=31551484/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1533700 CPUtime=3.82 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 14621 0 1 0 379 3 0 0 25 0 19 0 130680424 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383425 13408 1442 10 0 380727 0 [pid=10938/tid=10940] ppid=10936 vsize=1533700 CPUtime=3.06 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 8598 0 1 0 304 2 0 0 25 0 19 0 130680425 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4109980616 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 434 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10942] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10942/stat : 10942 (java) S 10936 10938 8991 0 -1 4202560 522 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10943] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10943/stat : 10943 (java) S 10936 10938 8991 0 -1 4202560 322 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10944] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10944/stat : 10944 (java) S 10936 10938 8991 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10945] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10945/stat : 10945 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10946] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1533700 CPUtime=0.01 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 1283 0 0 0 1 0 0 0 15 0 19 0 130680427 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130680427 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 130680427 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1533700 CPUtime=0.33 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1049 0 0 0 33 0 0 0 15 0 19 0 130680429 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1533700 CPUtime=0.4 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1291 0 0 0 40 0 0 0 15 0 19 0 130680429 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 130680429 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1570508800 13408 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 1533700 [startup+6.3014 s] /proc/loadavg: 2.21 2.05 2.03 3/215 10957 /proc/meminfo: memFree=31535604/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1533700 CPUtime=7.09 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 18676 0 1 0 705 4 0 0 25 0 19 0 130680424 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383425 17439 1442 10 0 380727 0 [pid=10938/tid=10940] ppid=10936 vsize=1533700 CPUtime=6.24 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 8600 0 1 0 622 2 0 0 25 0 19 0 130680425 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4110019464 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 1062 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10942] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10942/stat : 10942 (java) S 10936 10938 8991 0 -1 4202560 522 0 0 0 0 0 0 0 18 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10943] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10943/stat : 10943 (java) S 10936 10938 8991 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10944] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10944/stat : 10944 (java) S 10936 10938 8991 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10945] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10945/stat : 10945 (java) S 10936 10938 8991 0 -1 4202560 1010 0 0 0 0 0 0 0 15 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10946] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 1104 0 0 0 0 0 0 0 16 0 19 0 130680426 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1533700 CPUtime=0.02 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 2207 0 0 0 2 0 0 0 15 0 19 0 130680427 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130680427 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 130680427 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1533700 CPUtime=0.35 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1054 0 0 0 35 0 0 0 16 0 19 0 130680429 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1533700 CPUtime=0.43 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1293 0 0 0 43 0 0 0 15 0 19 0 130680429 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 130680429 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1570508800 17439 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 1533700 [startup+12.7013 s] /proc/loadavg: 2.19 2.05 2.03 3/215 10958 /proc/meminfo: memFree=31521208/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1533700 CPUtime=13.52 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 22307 0 1 0 1348 4 0 0 25 0 19 0 130680424 1570508800 21068 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383425 21068 1442 10 0 380727 0 [pid=10938/tid=10940] ppid=10936 vsize=1533700 CPUtime=12.59 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 8600 0 1 0 1257 2 0 0 25 0 19 0 130680425 1570508800 21068 4089446400 134512640 134550932 4291138272 18446744073709551615 4110048951 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1533700 CPUtime=0 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 1292 0 0 0 0 0 0 0 15 0 19 0 130680426 1570508800 21068 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=10938/tid=10946] ppid=10936 vsize=1535748 CPUtime=0.88 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 5371 0 0 0 85 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1535748 CPUtime=0.98 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 4753 0 0 0 94 4 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 1 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1535748 CPUtime=0.84 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 2635 0 0 0 81 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1535748 CPUtime=6.26 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 6473 0 0 0 623 3 0 0 15 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 5 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1535748 CPUtime=0.39 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1067 0 0 0 39 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1535748 CPUtime=0.44 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1293 0 0 0 44 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1728.73 Current children cumulated vsize (KiB) 1535748 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11164 /proc/meminfo: memFree=31259696/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1535748 CPUtime=1788.83 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 67556 0 1 0 178844 39 0 0 25 0 19 0 130680424 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383937 59073 1442 10 0 381239 0 [pid=10938/tid=10940] ppid=10936 vsize=1535748 CPUtime=1774.48 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 18980 0 1 0 177444 4 0 0 25 0 19 0 130680425 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4110016986 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1535748 CPUtime=0.77 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 4562 0 0 0 74 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10942] ppid=10936 vsize=1535748 CPUtime=0.9 /proc/10938/task/10942/stat : 10942 (java) S 10936 10938 8991 0 -1 4202560 4447 0 0 0 87 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10943] ppid=10936 vsize=1535748 CPUtime=0.77 /proc/10938/task/10943/stat : 10943 (java) S 10936 10938 8991 0 -1 4202560 6765 0 0 0 74 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10944] ppid=10936 vsize=1535748 CPUtime=0.87 /proc/10938/task/10944/stat : 10944 (java) S 10936 10938 8991 0 -1 4202560 5996 0 0 0 83 4 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10945] ppid=10936 vsize=1535748 CPUtime=0.83 /proc/10938/task/10945/stat : 10945 (java) S 10936 10938 8991 0 -1 4202560 4041 0 0 0 80 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10946] ppid=10936 vsize=1535748 CPUtime=0.9 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 5371 0 0 0 87 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 1 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1535748 CPUtime=1 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 4753 0 0 0 96 4 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1535748 CPUtime=0.86 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 2635 0 0 0 83 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1535748 CPUtime=6.51 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 6477 0 0 0 648 3 0 0 15 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 5 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1535748 CPUtime=0.39 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1067 0 0 0 39 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1535748 CPUtime=0.44 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1293 0 0 0 44 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1788.83 Current children cumulated vsize (KiB) 1535748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.5 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11165 /proc/meminfo: memFree=31259064/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1535748 CPUtime=1800.07 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 67557 0 1 0 179968 39 0 0 25 0 19 0 130680424 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383937 59073 1442 10 0 381239 0 [pid=10938/tid=10940] ppid=10936 vsize=1535748 CPUtime=1785.63 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 18981 0 1 0 178559 4 0 0 25 0 19 0 130680425 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4110048901 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1535748 CPUtime=0.78 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 4562 0 0 0 75 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10942] ppid=10936 vsize=1535748 CPUtime=0.91 /proc/10938/task/10942/stat : 10942 (java) S 10936 10938 8991 0 -1 4202560 4447 0 0 0 88 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 1 0 0 0 [pid=10938/tid=10943] ppid=10936 vsize=1535748 CPUtime=0.78 /proc/10938/task/10943/stat : 10943 (java) S 10936 10938 8991 0 -1 4202560 6765 0 0 0 75 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10944] ppid=10936 vsize=1535748 CPUtime=0.88 /proc/10938/task/10944/stat : 10944 (java) S 10936 10938 8991 0 -1 4202560 5996 0 0 0 84 4 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10945] ppid=10936 vsize=1535748 CPUtime=0.83 /proc/10938/task/10945/stat : 10945 (java) S 10936 10938 8991 0 -1 4202560 4041 0 0 0 80 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10946] ppid=10936 vsize=1535748 CPUtime=0.9 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 5371 0 0 0 87 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1535748 CPUtime=1.01 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 4753 0 0 0 97 4 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1535748 CPUtime=0.86 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 2635 0 0 0 83 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1535748 CPUtime=6.56 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 6477 0 0 0 653 3 0 0 15 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 5 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1535748 CPUtime=0.39 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1067 0 0 0 39 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1535748 CPUtime=0.44 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1293 0 0 0 44 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1535748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.5 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11165 /proc/meminfo: memFree=31259064/32950928 swapFree=67111528/67111528 [pid=10938] ppid=10936 vsize=1535748 CPUtime=1800.07 /proc/10938/stat : 10938 (java) S 10936 10938 8991 0 -1 4202496 67557 0 1 0 179968 39 0 0 25 0 19 0 130680424 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10938/statm: 383937 59073 1442 10 0 381239 0 [pid=10938/tid=10940] ppid=10936 vsize=1535748 CPUtime=1785.63 /proc/10938/task/10940/stat : 10940 (java) R 10936 10938 8991 0 -1 4202560 18981 0 1 0 178559 4 0 0 25 0 19 0 130680425 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4110048901 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10938/tid=10941] ppid=10936 vsize=1535748 CPUtime=0.78 /proc/10938/task/10941/stat : 10941 (java) S 10936 10938 8991 0 -1 4202560 4562 0 0 0 75 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 [pid=10938/tid=10942] ppid=10936 vsize=1535748 CPUtime=0.91 /proc/10938/task/10942/stat : 10942 (java) S 10936 10938 8991 0 -1 4202560 4447 0 0 0 88 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 1 0 0 0 [pid=10938/tid=10943] ppid=10936 vsize=1535748 CPUtime=0.78 /proc/10938/task/10943/stat : 10943 (java) S 10936 10938 8991 0 -1 4202560 6765 0 0 0 75 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10944] ppid=10936 vsize=1535748 CPUtime=0.88 /proc/10938/task/10944/stat : 10944 (java) S 10936 10938 8991 0 -1 4202560 5996 0 0 0 84 4 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10945] ppid=10936 vsize=1535748 CPUtime=0.83 /proc/10938/task/10945/stat : 10945 (java) S 10936 10938 8991 0 -1 4202560 4041 0 0 0 80 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10946] ppid=10936 vsize=1535748 CPUtime=0.9 /proc/10938/task/10946/stat : 10946 (java) S 10936 10938 8991 0 -1 4202560 5371 0 0 0 87 3 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10947] ppid=10936 vsize=1535748 CPUtime=1.01 /proc/10938/task/10947/stat : 10947 (java) S 10936 10938 8991 0 -1 4202560 4753 0 0 0 97 4 0 0 16 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10948] ppid=10936 vsize=1535748 CPUtime=0.86 /proc/10938/task/10948/stat : 10948 (java) S 10936 10938 8991 0 -1 4202560 2635 0 0 0 83 3 0 0 15 0 19 0 130680426 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 7 0 0 0 [pid=10938/tid=10949] ppid=10936 vsize=1535748 CPUtime=6.56 /proc/10938/task/10949/stat : 10949 (java) S 10936 10938 8991 0 -1 4202560 6477 0 0 0 653 3 0 0 15 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 0 0 16800975 18446604453949372224 0 0 -1 5 0 0 0 [pid=10938/tid=10950] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10950/stat : 10950 (java) S 10936 10938 8991 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10951] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10951/stat : 10951 (java) S 10936 10938 8991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 130680427 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10952] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10952/stat : 10952 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10953] ppid=10936 vsize=1535748 CPUtime=0.39 /proc/10938/task/10953/stat : 10953 (java) S 10936 10938 8991 0 -1 4202560 1067 0 0 0 39 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 6 0 0 0 [pid=10938/tid=10954] ppid=10936 vsize=1535748 CPUtime=0.44 /proc/10938/task/10954/stat : 10954 (java) S 10936 10938 8991 0 -1 4202560 1293 0 0 0 44 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 3 0 0 0 [pid=10938/tid=10955] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10955/stat : 10955 (java) S 10936 10938 8991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 2 0 0 0 [pid=10938/tid=10956] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10956/stat : 10956 (java) S 10936 10938 8991 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 130680429 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 0 0 0 0 [pid=10938/tid=10957] ppid=10936 vsize=1535748 CPUtime=0 /proc/10938/task/10957/stat : 10957 (java) S 10936 10938 8991 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 130680452 1572605952 59073 4089446400 134512640 134550932 4291138272 18446744073709551615 4294960144 0 4 0 16800975 18446604453949372224 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1535748 Child status: 143 Real time (s): 1793.59 CPU time (s): 1800.2 CPU user time (s): 1799.8 CPU system time (s): 0.401938 CPU usage (%): 100.368 Max. virtual memory (cumulated for all children) (KiB): 1535748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.401938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67579 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= 42224 involuntary context switches= 81540 runsolver used 2.99254 second user time and 6.81196 second system time The end
Begin job on node125 at 2010-06-30 12:30:38 IDJOB=2691104 IDBENCH=78732 IDSOLVER=1202 FILE ID=node125/2691104-1277893838 PBS_JOBID= 11197104 Free space on /tmp= 74204 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691104-1277893838/watcher-2691104-1277893838 -o /tmp/evaluation-result-2691104-1277893838/solver-2691104-1277893838 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691104-1277893838.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 374ed8d346409439b64d782bc7a820e5 RANDOM SEED=1048696094 node125.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.822 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.64 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.822 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31600252 kB Buffers: 176464 kB Cached: 774900 kB SwapCached: 0 kB Active: 669408 kB Inactive: 541144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31600252 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 259376 kB Mapped: 20264 kB Slab: 76820 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1642940 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node125 at 2010-06-30 13:00:33