Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 3053568 | 1800.37 | 913.396 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
MD5SUM | 56c71282ea86eaaf05df174b87b01c4e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3053568 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3039236 |
Optimality of the best value was proved | NO |
Number of variables | 4464 |
Total number of constraints | 168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 168 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 4464 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 856864234722 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 856864234722 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3454568-1307190027.opb 0.09/0.12 c reading problem ... 0.85/0.42 c ... done. Wall clock time 0.307s. 0.85/0.42 c #vars 4464 0.85/0.42 c #constraints 2524 0.85/0.42 c constraints type 0.85/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 192 0.85/0.43 c constraints type 0.85/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 192 2.32/0.96 c And the winner is Resolution 2.48/1.45 c SATISFIABLE 2.48/1.45 c OPTIMIZING... 2.48/1.45 c Got one! Elapsed wall clock time (in seconds):1.328 2.48/1.45 o 5045130 3.92/2.10 c And the winner is Resolution 4.13/2.47 c Got one! Elapsed wall clock time (in seconds):2.354 4.13/2.47 o 5018726 4.18/2.58 c And the winner is CuttingPlanes 4.36/3.00 c Got one! Elapsed wall clock time (in seconds):2.879 4.36/3.00 o 3412992 10.03/5.82 c cleaning 3067 clauses out of 6144 with flag 5002/6144 16.76/9.16 c cleaning 4533 clauses out of 9075 with flag 11000/12142 18.41/10.01 c And the winner is CuttingPlanes 18.61/10.04 c Got one! Elapsed wall clock time (in seconds):9.925 18.61/10.04 o 3261440 23.17/12.33 c cleaning 4932 clauses out of 9879 with flag 4000/17479 23.95/12.75 c And the winner is CuttingPlanes 24.08/13.07 c Got one! Elapsed wall clock time (in seconds):12.953 24.08/13.07 o 3233792 24.94/13.54 c And the winner is CuttingPlanes 24.94/13.59 c Got one! Elapsed wall clock time (in seconds):13.471 24.94/13.59 o 3132416 25.25/13.79 c And the winner is CuttingPlanes 25.44/14.10 c Got one! Elapsed wall clock time (in seconds):13.987 25.44/14.10 o 3053568 28.63/15.77 c cleaning 5858 clauses out of 11724 with flag 3000/24256 35.24/19.05 c cleaning 5919 clauses out of 11866 with flag 9000/30256 42.42/22.68 c cleaning 6460 clauses out of 12947 with flag 16000/37256 50.25/26.52 c cleaning 7237 clauses out of 14487 with flag 24000/45256 58.87/30.82 c cleaning 8115 clauses out of 16252 with flag 33002/54258 66.60/34.71 c cleaning 9062 clauses out of 18137 with flag 43002/64258 78.19/40.51 c cleaning 9524 clauses out of 19073 with flag 53000/74256 88.94/45.93 c cleaning 9763 clauses out of 19549 with flag 63000/84256 99.11/51.02 c cleaning 9882 clauses out of 19791 with flag 73005/94261 111.05/57.02 c cleaning 9938 clauses out of 19904 with flag 83000/104256 123.40/63.27 c cleaning 9969 clauses out of 19966 with flag 93000/114256 135.60/69.39 c cleaning 9974 clauses out of 19997 with flag 103000/124256 146.55/74.89 c cleaning 9985 clauses out of 20025 with flag 113002/134258 153.25/78.30 c cleaning 10006 clauses out of 20039 with flag 123001/144257 164.40/83.88 c cleaning 9991 clauses out of 20033 with flag 133001/154257 174.35/88.85 c cleaning 10007 clauses out of 20041 with flag 143000/164256 181.11/92.31 c cleaning 10000 clauses out of 20035 with flag 153001/174257 193.04/98.20 c cleaning 10000 clauses out of 20036 with flag 163002/184258 204.98/104.24 c cleaning 10001 clauses out of 20034 with flag 173000/194256 215.93/109.74 c cleaning 9996 clauses out of 20035 with flag 183002/204258 227.52/115.53 c cleaning 9999 clauses out of 20037 with flag 193000/214256 240.19/121.90 c cleaning 10006 clauses out of 20038 with flag 203000/224256 252.12/127.92 c cleaning 10008 clauses out of 20033 with flag 213001/234257 262.49/133.15 c cleaning 10001 clauses out of 20024 with flag 223000/244256 271.98/137.99 c cleaning 9993 clauses out of 20023 with flag 233000/254256 281.68/142.83 c cleaning 9999 clauses out of 20030 with flag 243000/264256 290.42/147.31 c cleaning 9997 clauses out of 20033 with flag 253002/274258 300.14/152.19 c cleaning 10000 clauses out of 20034 with flag 263000/284256 310.50/157.34 c cleaning 10003 clauses out of 20035 with flag 273001/294257 320.36/162.37 c cleaning 10006 clauses out of 20031 with flag 283000/304256 330.28/167.32 c cleaning 10001 clauses out of 20025 with flag 293000/314256 339.61/172.04 c cleaning 9995 clauses out of 20024 with flag 303000/324256 348.73/176.69 c cleaning 9995 clauses out of 20031 with flag 313002/334258 357.41/181.00 c cleaning 10005 clauses out of 20034 with flag 323000/344256 366.94/185.89 c cleaning 10007 clauses out of 20030 with flag 333001/354257 376.45/190.67 c cleaning 9993 clauses out of 20022 with flag 343000/364256 386.57/195.81 c cleaning 10002 clauses out of 20029 with flag 353000/374256 397.45/201.31 c cleaning 9997 clauses out of 20027 with flag 363000/384256 408.96/207.03 c cleaning 9992 clauses out of 20030 with flag 373000/394256 419.68/212.42 c cleaning 10003 clauses out of 20039 with flag 383001/404257 430.80/218.01 c cleaning 10007 clauses out of 20036 with flag 393001/414257 441.47/223.50 c cleaning 10006 clauses out of 20028 with flag 403000/424256 453.78/229.63 c cleaning 9993 clauses out of 20022 with flag 413000/434256 463.90/234.71 c cleaning 9979 clauses out of 20029 with flag 423000/444256 472.22/238.92 c cleaning 10007 clauses out of 20050 with flag 433000/454256 482.73/244.24 c cleaning 10007 clauses out of 20043 with flag 443000/464256 493.64/249.78 c cleaning 10010 clauses out of 20036 with flag 453000/474256 505.91/255.98 c cleaning 10001 clauses out of 20028 with flag 463002/484258 517.81/261.92 c cleaning 10006 clauses out of 20026 with flag 473001/494257 530.72/268.49 c cleaning 9989 clauses out of 20019 with flag 483000/504256 540.18/273.24 c cleaning 9986 clauses out of 20031 with flag 493001/514257 550.48/278.42 c cleaning 9985 clauses out of 20044 with flag 503000/524256 560.99/283.78 c cleaning 10010 clauses out of 20060 with flag 513001/534257 568.84/287.77 c cleaning 10017 clauses out of 20051 with flag 523002/544258 580.14/293.46 c cleaning 10009 clauses out of 20033 with flag 533001/554257 591.45/299.20 c cleaning 9987 clauses out of 20023 with flag 543000/564256 603.14/305.02 c cleaning 10002 clauses out of 20039 with flag 553003/574259 614.39/310.75 c cleaning 9984 clauses out of 20034 with flag 563000/584256 624.33/315.77 c cleaning 9997 clauses out of 20050 with flag 573000/594256 634.19/320.79 c cleaning 10000 clauses out of 20053 with flag 583000/604256 645.08/326.26 c cleaning 10012 clauses out of 20053 with flag 593000/614256 654.33/330.90 c cleaning 10011 clauses out of 20041 with flag 603000/624256 663.02/335.37 c cleaning 9998 clauses out of 20030 with flag 613000/634256 672.52/340.11 c cleaning 9984 clauses out of 20032 with flag 623000/644256 682.01/344.92 c cleaning 10008 clauses out of 20048 with flag 633000/654256 690.86/349.42 c cleaning 10002 clauses out of 20040 with flag 643000/664256 700.95/354.57 c cleaning 10005 clauses out of 20039 with flag 653001/674257 711.44/359.85 c cleaning 9968 clauses out of 20033 with flag 663000/684256 721.14/364.77 c cleaning 9996 clauses out of 20065 with flag 673000/694256 732.17/370.35 c cleaning 10020 clauses out of 20069 with flag 683000/704256 742.46/375.53 c cleaning 10002 clauses out of 20050 with flag 693001/714257 753.75/381.27 c cleaning 10009 clauses out of 20047 with flag 703000/724256 764.64/386.75 c cleaning 9992 clauses out of 20039 with flag 713001/734257 774.67/391.80 c cleaning 10019 clauses out of 20049 with flag 723003/744259 784.17/396.66 c cleaning 10005 clauses out of 20029 with flag 733002/754258 792.85/401.03 c cleaning 9994 clauses out of 20022 with flag 743000/764256 801.14/405.27 c cleaning 10000 clauses out of 20030 with flag 753002/774258 810.17/409.81 c cleaning 9992 clauses out of 20028 with flag 763000/784256 819.45/414.54 c cleaning 9996 clauses out of 20037 with flag 773001/794257 829.14/419.45 c cleaning 10002 clauses out of 20040 with flag 783000/804256 841.02/425.44 c cleaning 9989 clauses out of 20038 with flag 793000/814256 853.45/431.75 c cleaning 10002 clauses out of 20050 with flag 803001/824257 863.93/437.07 c cleaning 9983 clauses out of 20048 with flag 813001/834257 875.41/442.82 c cleaning 10002 clauses out of 20065 with flag 823001/844257 886.49/448.48 c cleaning 10006 clauses out of 20062 with flag 833000/854256 897.52/454.06 c cleaning 10000 clauses out of 20056 with flag 843000/864256 909.39/460.10 c cleaning 9980 clauses out of 20056 with flag 853000/874256 920.87/465.82 c cleaning 9998 clauses out of 20077 with flag 863001/884257 932.75/471.83 c cleaning 10004 clauses out of 20079 with flag 873001/894257 946.00/478.59 c cleaning 10028 clauses out of 20076 with flag 883002/904258 957.24/484.20 c cleaning 10007 clauses out of 20047 with flag 893001/914257 967.76/489.55 c cleaning 9997 clauses out of 20040 with flag 903001/924257 978.39/494.98 c cleaning 10006 clauses out of 20042 with flag 913000/934256 990.20/500.96 c cleaning 10007 clauses out of 20039 with flag 923003/944259 1001.68/506.77 c cleaning 9999 clauses out of 20030 with flag 933001/954257 1013.75/512.84 c cleaning 10001 clauses out of 20030 with flag 943000/964256 1028.82/520.40 c cleaning 10005 clauses out of 20029 with flag 953000/974256 1041.67/526.94 c cleaning 10004 clauses out of 20024 with flag 963000/984256 1053.50/532.98 c cleaning 9980 clauses out of 20020 with flag 973000/994256 1062.17/537.38 c cleaning 9989 clauses out of 20040 with flag 983000/1004256 1071.85/542.30 c cleaning 9995 clauses out of 20051 with flag 993000/1014256 1080.04/546.46 c cleaning 10008 clauses out of 20057 with flag 1003001/1024257 1090.11/551.53 c cleaning 10009 clauses out of 20050 with flag 1013002/1034258 1098.98/556.10 c cleaning 10010 clauses out of 20041 with flag 1023002/1044258 1109.45/561.35 c cleaning 9998 clauses out of 20030 with flag 1033001/1054257 1119.85/566.69 c cleaning 10010 clauses out of 20032 with flag 1043001/1064257 1130.32/571.99 c cleaning 10000 clauses out of 20023 with flag 1053002/1074258 1140.78/577.21 c cleaning 9998 clauses out of 20021 with flag 1063000/1084256 1149.85/581.92 c cleaning 9988 clauses out of 20024 with flag 1073001/1094257 1159.64/586.83 c cleaning 10009 clauses out of 20035 with flag 1083000/1104256 1171.30/592.77 c cleaning 9992 clauses out of 20026 with flag 1093000/1114256 1183.57/598.91 c cleaning 10004 clauses out of 20035 with flag 1103001/1124257 1195.82/605.18 c cleaning 9993 clauses out of 20030 with flag 1113000/1134256 1206.03/610.41 c cleaning 9993 clauses out of 20037 with flag 1123000/1144256 1216.29/615.53 c cleaning 10001 clauses out of 20044 with flag 1133000/1154256 1226.96/621.00 c cleaning 10005 clauses out of 20044 with flag 1143001/1164257 1237.62/626.39 c cleaning 9977 clauses out of 20039 with flag 1153001/1174257 1247.64/631.44 c cleaning 9986 clauses out of 20061 with flag 1163000/1184256 1257.26/636.30 c cleaning 9996 clauses out of 20075 with flag 1173000/1194256 1265.91/640.75 c cleaning 10027 clauses out of 20079 with flag 1183000/1204256 1272.97/644.34 c cleaning 10007 clauses out of 20052 with flag 1193000/1214256 1280.96/648.42 c cleaning 10018 clauses out of 20046 with flag 1203001/1224257 1289.01/652.58 c cleaning 10009 clauses out of 20029 with flag 1213002/1234258 1297.31/656.76 c cleaning 9998 clauses out of 20019 with flag 1223001/1244257 1306.12/661.25 c cleaning 10004 clauses out of 20021 with flag 1233001/1254257 1314.11/665.39 c cleaning 9986 clauses out of 20018 with flag 1243002/1264258 1324.56/670.67 c cleaning 9996 clauses out of 20031 with flag 1253001/1274257 1335.81/676.38 c cleaning 9987 clauses out of 20035 with flag 1263001/1284257 1346.86/681.97 c cleaning 9996 clauses out of 20047 with flag 1273000/1294256 1358.44/687.80 c cleaning 9988 clauses out of 20052 with flag 1283001/1304257 1369.69/693.50 c cleaning 9995 clauses out of 20063 with flag 1293000/1314256 1381.35/699.41 c cleaning 9999 clauses out of 20068 with flag 1303000/1324256 1392.99/705.31 c cleaning 10011 clauses out of 20069 with flag 1313000/1334256 1403.96/710.93 c cleaning 10003 clauses out of 20058 with flag 1323000/1344256 1413.81/715.90 c cleaning 10020 clauses out of 20056 with flag 1333001/1354257 1423.65/720.94 c cleaning 10016 clauses out of 20035 with flag 1343000/1364256 1434.28/726.39 c cleaning 10000 clauses out of 20020 with flag 1353001/1374257 1443.63/731.10 c cleaning 9999 clauses out of 20020 with flag 1363001/1384257 1452.46/735.67 c cleaning 9999 clauses out of 20020 with flag 1373000/1394256 1463.49/741.25 c cleaning 9988 clauses out of 20023 with flag 1383002/1404258 1473.53/746.38 c cleaning 10000 clauses out of 20033 with flag 1393000/1414256 1483.66/751.55 c cleaning 9996 clauses out of 20034 with flag 1403001/1424257 1494.29/756.94 c cleaning 9994 clauses out of 20037 with flag 1413000/1434256 1505.11/762.48 c cleaning 9994 clauses out of 20044 with flag 1423001/1444257 1516.92/768.41 c cleaning 10008 clauses out of 20049 with flag 1433000/1454256 1528.44/774.33 c cleaning 10006 clauses out of 20041 with flag 1443000/1464256 1539.64/780.09 c cleaning 10005 clauses out of 20035 with flag 1453000/1474256 1549.25/784.92 c cleaning 9995 clauses out of 20030 with flag 1463000/1484256 1558.04/789.49 c cleaning 9994 clauses out of 20037 with flag 1473002/1494258 1567.73/794.45 c cleaning 9990 clauses out of 20041 with flag 1483000/1504256 1577.92/799.71 c cleaning 10006 clauses out of 20052 with flag 1493001/1514257 1587.10/804.37 c cleaning 10003 clauses out of 20045 with flag 1503000/1524256 1597.29/809.55 c cleaning 9995 clauses out of 20042 with flag 1513000/1534256 1606.96/814.53 c cleaning 10017 clauses out of 20047 with flag 1523000/1544256 1617.33/819.83 c cleaning 9997 clauses out of 20030 with flag 1533000/1554256 1622.91/822.76 c cleaning 0 clauses out of 5095 with flag 0/5095 1628.98/825.66 c cleaning 10004 clauses out of 20035 with flag 1543002/1564258 1639.37/830.79 c cleaning 9998 clauses out of 20029 with flag 1553000/1574256 1649.55/836.00 c cleaning 9999 clauses out of 20032 with flag 1563001/1584257 1660.11/841.36 c cleaning 10004 clauses out of 20033 with flag 1573001/1594257 1669.87/846.40 c cleaning 10002 clauses out of 20029 with flag 1583001/1604257 1680.12/851.64 c cleaning 9998 clauses out of 20027 with flag 1593001/1614257 1691.48/857.46 c cleaning 10001 clauses out of 20029 with flag 1603001/1624257 1702.04/862.81 c cleaning 9994 clauses out of 20027 with flag 1613000/1634256 1712.04/867.95 c cleaning 9999 clauses out of 20033 with flag 1623000/1644256 1721.85/873.07 c cleaning 9986 clauses out of 20034 with flag 1633000/1654256 1731.24/877.86 c cleaning 9997 clauses out of 20048 with flag 1643000/1664256 1743.36/884.06 c cleaning 10001 clauses out of 20051 with flag 1653000/1674256 1754.12/889.55 c cleaning 10005 clauses out of 20053 with flag 1663003/1684259 1764.36/894.86 c cleaning 9991 clauses out of 20045 with flag 1673000/1694256 1775.71/900.68 c cleaning 9996 clauses out of 20054 with flag 1683000/1704256 1786.08/905.95 c cleaning 10002 clauses out of 20059 with flag 1693001/1714257 1797.23/911.67 c cleaning 10004 clauses out of 20056 with flag 1703000/1724256 1800.08/913.22 c starts : 20 1800.08/913.22 c conflicts : 5448 1800.08/913.22 c decisions : 256753 1800.08/913.22 c propagations : 814479 1800.08/913.22 c inspects : 182084350 1800.08/913.22 c shortcuts : 0 1800.08/913.22 c learnt literals : 0 1800.08/913.22 c learnt binary clauses : 0 1800.08/913.22 c learnt ternary clauses : 0 1800.08/913.22 c learnt constraints : 5448 1800.08/913.22 c ignored constraints : 0 1800.08/913.22 c root simplifications : 0 1800.08/913.22 c removed literals (reason simplification) : 0 1800.08/913.22 c reason swapping (by a shorter reason) : 0 1800.08/913.22 c Calls to reduceDB : 1 1800.08/913.22 c number of reductions to clauses (during analyze) : 0 1800.08/913.22 c number of learned constraints concerned by reduction : 0 1800.08/913.22 c number of learning phase by resolution : 0 1800.08/913.22 c number of learning phase by cutting planes : 0 1800.08/913.22 c speed (assignments/second) : 905.8684438235863 1800.08/913.22 c non guided choices 28 1800.08/913.23 c learnt constraints type 1800.08/913.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5448 1800.08/913.23 c constraints type 1800.08/913.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193 1800.08/913.23 c constraints type 1800.08/913.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 193 1800.08/913.23 s SATISFIABLE 1800.08/913.24 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 1800.08/913.25 c objective function=3053568 1800.08/913.25 c Total wall clock time (in seconds): 913.132
OK 3053568
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454568-1307190027/watcher-3454568-1307190027 -o /tmp/evaluation-result-3454568-1307190027/solver-3454568-1307190027 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454568-1307190027.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 3.91 3.58 3/542 729 /proc/meminfo: memFree=18666188/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=252 CPUtime=0 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4194304 77 0 0 0 0 0 0 0 23 0 1 0 811418200 258048 31 33554432000 1073741824 1073778376 140733753125760 18446744073709551615 228090527367 0 2147483391 4096 0 18446744071699207358 0 0 17 5 0 0 0 /proc/729/statm: 63 31 24 9 0 22 0 [pid=729/tid=730] ppid=727 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) R 727 729 30263 0 -1 4202560 4283 0 1 0 0 0 0 0 19 0 2 0 811418201 10694979584 5100 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.052017 s] /proc/loadavg: 4.00 3.91 3.58 3/542 729 /proc/meminfo: memFree=18666188/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 11334 0 1 0 2 1 0 0 18 0 13 0 811418200 10718699520 11031 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2616870 11032 1679 9 0 2607618 0 [pid=729/tid=730] ppid=727 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) R 727 729 30263 0 -1 4202560 10186 0 1 0 2 1 0 0 18 0 13 0 811418201 10718699520 11033 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 48005141401575 0 4 0 16784584 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.105042 s] /proc/loadavg: 4.00 3.91 3.58 3/542 729 /proc/meminfo: memFree=18666188/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10539884 CPUtime=0.09 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 12953 0 1 0 8 1 0 0 18 0 18 0 811418200 10792841216 12650 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2634971 12651 2092 9 0 2625705 0 [pid=729/tid=730] ppid=727 vsize=10539884 CPUtime=0.08 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) R 727 729 30263 0 -1 4202560 11102 0 1 0 7 1 0 0 22 0 18 0 811418201 10792841216 12653 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 48005145901907 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539884 [startup+0.304316 s] /proc/loadavg: 4.00 3.91 3.58 3/542 729 /proc/meminfo: memFree=18666188/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10559120 CPUtime=0.55 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 23163 0 1 0 53 2 0 0 18 0 18 0 811418200 10812538880 20095 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2639780 20095 2198 9 0 2630514 0 [pid=729/tid=730] ppid=727 vsize=10559120 CPUtime=0.27 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) R 727 729 30263 0 -1 4202560 13058 0 1 0 26 1 0 0 22 0 18 0 811418201 10812538880 20095 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 10559120 [startup+0.700857 s] /proc/loadavg: 4.00 3.91 3.58 3/542 729 /proc/meminfo: memFree=18666188/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10567488 CPUtime=1.75 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 34130 0 1 0 170 5 0 0 18 0 22 0 811418200 10821107712 29191 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641872 29191 2219 9 0 2632606 0 [pid=729/tid=730] ppid=727 vsize=10567488 CPUtime=0.4 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 15971 0 1 0 38 2 0 0 24 0 22 0 811418201 10821107712 29191 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 10567488 [startup+1.50071 s] /proc/loadavg: 4.00 3.91 3.58 3/561 751 /proc/meminfo: memFree=18538188/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10567488 CPUtime=2.61 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 40376 0 1 0 256 5 0 0 18 0 22 0 811418200 10821107712 35436 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641872 35437 2230 9 0 2632606 0 [pid=729/tid=730] ppid=727 vsize=10567488 CPUtime=0.43 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 16542 0 1 0 41 2 0 0 17 0 22 0 811418201 10821107712 35437 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=732] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/732/stat : 732 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811418203 10821107712 35438 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=733] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/733/stat : 733 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418203 10821107712 35438 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=734] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/734/stat : 734 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418203 10821107712 35439 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=735] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/735/stat : 735 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418203 10821107712 35439 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=736] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/736/stat : 736 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 35440 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=737] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/737/stat : 737 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 35441 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=738] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/738/stat : 738 (java) S 727 729 30263 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 35441 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=739] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/739/stat : 739 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 35442 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=740] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/740/stat : 740 (java) S 727 729 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811418204 10821107712 35442 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 0 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=741] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/741/stat : 741 (java) S 727 729 30263 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 811418204 10821107712 35442 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=742] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/742/stat : 742 (java) S 727 729 30263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811418204 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=743] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/743/stat : 743 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811418206 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107274673 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=744] ppid=727 vsize=10567488 CPUtime=0.55 cores=1,3,5,7 /proc/729/task/744/stat : 744 (java) S 727 729 30263 0 -1 4202560 6854 0 0 0 54 1 0 0 15 0 22 0 811418206 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=745] ppid=727 vsize=10567488 CPUtime=0.74 cores=1,3,5,7 /proc/729/task/745/stat : 745 (java) R 727 729 30263 0 -1 4202560 8865 0 0 0 74 0 0 0 15 0 22 0 811418206 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 48005143836659 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=729/tid=746] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/746/stat : 746 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418206 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=747] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/747/stat : 747 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811418206 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 [pid=729/tid=751] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/751/stat : 751 (java) S 727 729 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811418264 10821107712 35443 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 10567488 [startup+3.10145 s] /proc/loadavg: 4.08 3.93 3.59 5/564 754 /proc/meminfo: memFree=18454712/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10567488 CPUtime=4.61 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 65972 0 1 0 452 9 0 0 18 0 22 0 811418200 10821107712 60408 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641872 60408 2232 9 0 2632606 0 [pid=729/tid=730] ppid=727 vsize=10567488 CPUtime=0.47 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 17650 0 1 0 45 2 0 0 16 0 22 0 811418201 10821107712 60409 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=732] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/732/stat : 732 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811418203 10821107712 60409 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=733] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/733/stat : 733 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418203 10821107712 60410 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=734] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/734/stat : 734 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418203 10821107712 60410 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=735] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/735/stat : 735 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418203 10821107712 60410 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=736] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/736/stat : 736 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 60411 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=737] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/737/stat : 737 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 60411 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=738] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/738/stat : 738 (java) S 727 729 30263 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 60412 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=739] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/739/stat : 739 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811418203 10821107712 60412 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=740] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/740/stat : 740 (java) S 727 729 30263 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 811418204 10821107712 60413 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 0 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=741] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/741/stat : 741 (java) S 727 729 30263 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 811418204 10821107712 60413 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=742] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/742/stat : 742 (java) S 727 729 30263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811418204 10821107712 60414 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=743] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/743/stat : 743 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811418206 10821107712 60414 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107274673 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=744] ppid=727 vsize=10567488 CPUtime=0.71 cores=1,3,5,7 /proc/729/task/744/stat : 744 (java) S 727 729 30263 0 -1 4202560 7541 0 0 0 70 1 0 0 15 0 22 0 811418206 10821107712 60414 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=745] ppid=727 vsize=10567488 CPUtime=0.95 cores=1,3,5,7 /proc/729/task/745/stat : 745 (java) S 727 729 30263 0 -1 4202560 8893 0 0 0 95 0 0 0 15 0 22 0 811418206 10821107712 60415 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=746] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/746/stat : 746 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418206 10821107712 60415 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=747] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/747/stat : 747 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811418206 10821107712 60416 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 10567488 [startup+6.30583 s] /proc/loadavg: 4.08 3.93 3.59 5/564 761 /proc/meminfo: memFree=17565388/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10567488 CPUtime=11.05 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 373693 0 1 0 1061 44 0 0 18 0 22 0 811418200 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641872 368104 2258 9 0 2632606 0 [pid=729/tid=730] ppid=727 vsize=10567488 CPUtime=0.47 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 17650 0 1 0 45 2 0 0 15 0 22 0 811418201 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=732] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/732/stat : 732 (java) S 727 729 30263 0 -1 4202560 1029 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=733] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/733/stat : 733 (java) S 727 729 30263 0 -1 4202560 183 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=734] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/734/stat : 734 (java) S 727 729 30263 0 -1 4202560 557 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=735] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/735/stat : 735 (java) S 727 729 30263 0 -1 4202560 665 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=736] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/736/stat : 736 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=737] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/737/stat : 737 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=738] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/738/stat : 738 (java) S 727 729 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=739] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/739/stat : 739 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811418203 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=740] ppid=727 vsize=10567488 CPUtime=0.03 cores=1,3,5,7 /proc/729/task/740/stat : 740 (java) S 727 729 30263 0 -1 4202560 2729 0 0 0 3 0 0 0 16 0 22 0 811418204 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 0 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=741] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/741/stat : 741 (java) S 727 729 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811418204 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=742] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/742/stat : 742 (java) S 727 729 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811418204 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=743] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/743/stat : 743 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811418206 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107274673 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=744] ppid=727 vsize=10567488 CPUtime=0.74 cores=1,3,5,7 /proc/729/task/744/stat : 744 (java) R 727 729 30263 0 -1 4202560 7553 0 0 0 73 1 0 0 15 0 22 0 811418206 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 48005144100268 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=729/tid=745] ppid=727 vsize=10567488 CPUtime=1 cores=1,3,5,7 /proc/729/task/745/stat : 745 (java) R 727 729 30263 0 -1 4202560 8904 0 0 0 100 0 0 0 15 0 22 0 811418206 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 48005145893569 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=729/tid=746] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/746/stat : 746 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418206 10821107712 368104 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=16721524/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10567488 CPUtime=1622.1 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 919954 0 1 0 162106 104 0 0 18 0 22 0 811418200 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641872 913741 2259 9 0 2632606 0 [pid=729/tid=730] ppid=727 vsize=10567488 CPUtime=0.53 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 17696 0 1 0 51 2 0 0 15 0 22 0 811418201 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=732] ppid=727 vsize=10567488 CPUtime=0.35 cores=1,3,5,7 /proc/729/task/732/stat : 732 (java) S 727 729 30263 0 -1 4202560 2891 0 0 0 35 0 0 0 16 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=733] ppid=727 vsize=10567488 CPUtime=0.3 cores=1,3,5,7 /proc/729/task/733/stat : 733 (java) S 727 729 30263 0 -1 4202560 1419 0 0 0 30 0 0 0 16 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=734] ppid=727 vsize=10567488 CPUtime=0.29 cores=1,3,5,7 /proc/729/task/734/stat : 734 (java) S 727 729 30263 0 -1 4202560 1210 0 0 0 29 0 0 0 15 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=735] ppid=727 vsize=10567488 CPUtime=0.35 cores=1,3,5,7 /proc/729/task/735/stat : 735 (java) S 727 729 30263 0 -1 4202560 3528 0 0 0 35 0 0 0 15 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=736] ppid=727 vsize=10567488 CPUtime=0.35 cores=1,3,5,7 /proc/729/task/736/stat : 736 (java) S 727 729 30263 0 -1 4202560 2604 0 0 0 35 0 0 0 16 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=737] ppid=727 vsize=10567488 CPUtime=0.27 cores=1,3,5,7 /proc/729/task/737/stat : 737 (java) S 727 729 30263 0 -1 4202560 2502 0 0 0 27 0 0 0 15 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=738] ppid=727 vsize=10567488 CPUtime=0.29 cores=1,3,5,7 /proc/729/task/738/stat : 738 (java) S 727 729 30263 0 -1 4202560 1937 0 0 0 29 0 0 0 16 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=739] ppid=727 vsize=10567488 CPUtime=0.29 cores=1,3,5,7 /proc/729/task/739/stat : 739 (java) S 727 729 30263 0 -1 4202560 1448 0 0 0 29 0 0 0 15 0 22 0 811418203 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=740] ppid=727 vsize=10567488 CPUtime=21.01 cores=1,3,5,7 /proc/729/task/740/stat : 740 (java) S 727 729 30263 0 -1 4202560 31927 0 0 0 2096 5 0 0 15 0 22 0 811418204 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 0 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 [pid=729/tid=741] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/741/stat : 741 (java) S 727 729 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811418204 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=742] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/742/stat : 742 (java) S 727 729 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811418204 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=743] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/743/stat : 743 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811418206 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107274673 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=744] ppid=727 vsize=10567488 CPUtime=0.92 cores=1,3,5,7 /proc/729/task/744/stat : 744 (java) S 727 729 30263 0 -1 4202560 7587 0 0 0 91 1 0 0 15 0 22 0 811418206 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=745] ppid=727 vsize=10567488 CPUtime=1.37 cores=1,3,5,7 /proc/729/task/745/stat : 745 (java) S 727 729 30263 0 -1 4202560 8950 0 0 0 136 1 0 0 15 0 22 0 811418206 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=746] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/746/stat : 746 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418206 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=747] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/747/stat : 747 (java) S 727 729 30263 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811418206 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=758] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/758/stat : 758 (java) S 727 729 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811418449 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=772] ppid=727 vsize=10567488 CPUtime=786.45 cores=1,3,5,7 /proc/729/task/772/stat : 772 (java) R 727 729 30263 0 -1 4202560 1095 0 0 0 78645 0 0 0 25 0 22 0 811419611 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505934707 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=729/tid=773] ppid=727 vsize=10567488 CPUtime=786.49 cores=1,3,5,7 /proc/729/task/773/stat : 773 (java) R 727 729 30263 0 -1 4202560 379652 0 0 0 78610 39 0 0 25 0 22 0 811419611 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505636560 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=729/tid=774] ppid=727 vsize=10567488 CPUtime=0 cores=1,3,5,7 /proc/729/task/774/stat : 774 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811419611 10821107712 913741 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1622.1 Current children cumulated vsize (KiB) 10567488 [startup+882.301 s] /proc/loadavg: 3.82 3.88 3.75 4/564 866 /proc/meminfo: memFree=16686884/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10565872 CPUtime=1739.96 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 922514 0 1 0 173891 105 0 0 18 0 22 0 811418200 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641468 915322 2259 9 0 2632202 0 [pid=729/tid=730] ppid=727 vsize=10565872 CPUtime=0.53 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 17700 0 1 0 51 2 0 0 15 0 22 0 811418201 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=732] ppid=727 vsize=10565872 CPUtime=0.38 cores=1,3,5,7 /proc/729/task/732/stat : 732 (java) S 727 729 30263 0 -1 4202560 2897 0 0 0 38 0 0 0 16 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=733] ppid=727 vsize=10565872 CPUtime=0.33 cores=1,3,5,7 /proc/729/task/733/stat : 733 (java) S 727 729 30263 0 -1 4202560 1419 0 0 0 33 0 0 0 15 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=734] ppid=727 vsize=10565872 CPUtime=0.33 cores=1,3,5,7 /proc/729/task/734/stat : 734 (java) S 727 729 30263 0 -1 4202560 1214 0 0 0 33 0 0 0 15 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=735] ppid=727 vsize=10565872 CPUtime=0.36 cores=1,3,5,7 /proc/729/task/735/stat : 735 (java) S 727 729 30263 0 -1 4202560 3528 0 0 0 36 0 0 0 15 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=736] ppid=727 vsize=10565872 CPUtime=0.38 cores=1,3,5,7 /proc/729/task/736/stat : 736 (java) S 727 729 30263 0 -1 4202560 2604 0 0 0 38 0 0 0 16 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=737] ppid=727 vsize=10565872 CPUtime=0.32 cores=1,3,5,7 /proc/729/task/737/stat : 737 (java) S 727 729 30263 0 -1 4202560 2504 0 0 0 32 0 0 0 16 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=738] ppid=727 vsize=10565872 CPUtime=0.35 cores=1,3,5,7 /proc/729/task/738/stat : 738 (java) S 727 729 30263 0 -1 4202560 1937 0 0 0 35 0 0 0 16 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=739] ppid=727 vsize=10565872 CPUtime=0.34 cores=1,3,5,7 /proc/729/task/739/stat : 739 (java) S 727 729 30263 0 -1 4202560 1448 0 0 0 34 0 0 0 15 0 22 0 811418203 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=740] ppid=727 vsize=10565872 CPUtime=24.31 cores=1,3,5,7 /proc/729/task/740/stat : 740 (java) S 727 729 30263 0 -1 4202560 33693 0 0 0 2426 5 0 0 15 0 22 0 811418204 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 0 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 [pid=729/tid=741] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/741/stat : 741 (java) S 727 729 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811418204 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=742] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/742/stat : 742 (java) S 727 729 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811418204 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=743] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/743/stat : 743 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811418206 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107274673 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=744] ppid=727 vsize=10565872 CPUtime=0.97 cores=1,3,5,7 /proc/729/task/744/stat : 744 (java) S 727 729 30263 0 -1 4202560 7593 0 0 0 96 1 0 0 15 0 22 0 811418206 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=745] ppid=727 vsize=10565872 CPUtime=2.37 cores=1,3,5,7 /proc/729/task/745/stat : 745 (java) S 727 729 30263 0 -1 4202560 9711 0 0 0 236 1 0 0 16 0 22 0 811418206 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=746] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/746/stat : 746 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418206 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=747] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/747/stat : 747 (java) S 727 729 30263 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811418206 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=758] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/758/stat : 758 (java) S 727 729 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811418449 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=772] ppid=727 vsize=10565872 CPUtime=843.05 cores=1,3,5,7 /proc/729/task/772/stat : 772 (java) R 727 729 30263 0 -1 4202560 1101 0 0 0 84305 0 0 0 25 0 22 0 811419611 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505961771 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=729/tid=773] ppid=727 vsize=10565872 CPUtime=843.09 cores=1,3,5,7 /proc/729/task/773/stat : 773 (java) R 727 729 30263 0 -1 4202560 379653 0 0 0 84270 39 0 0 25 0 22 0 811419611 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505737933 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=729/tid=774] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/774/stat : 774 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811419611 10819452928 915322 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1739.96 Current children cumulated vsize (KiB) 10565872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+913.201 s] /proc/loadavg: 3.82 3.88 3.75 5/564 867 /proc/meminfo: memFree=16678780/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=10565872 CPUtime=1800.08 cores=1,3,5,7 /proc/729/stat : 729 (java) S 727 729 30263 0 -1 4202496 922668 0 1 0 179903 105 0 0 18 0 22 0 811418200 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 2641468 915466 2259 9 0 2632202 0 [pid=729/tid=730] ppid=727 vsize=10565872 CPUtime=0.53 cores=1,3,5,7 /proc/729/task/730/stat : 730 (java) S 727 729 30263 0 -1 4202560 17704 0 1 0 51 2 0 0 15 0 22 0 811418201 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=732] ppid=727 vsize=10565872 CPUtime=0.41 cores=1,3,5,7 /proc/729/task/732/stat : 732 (java) S 727 729 30263 0 -1 4202560 2897 0 0 0 41 0 0 0 16 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=733] ppid=727 vsize=10565872 CPUtime=0.34 cores=1,3,5,7 /proc/729/task/733/stat : 733 (java) S 727 729 30263 0 -1 4202560 1419 0 0 0 34 0 0 0 15 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=734] ppid=727 vsize=10565872 CPUtime=0.35 cores=1,3,5,7 /proc/729/task/734/stat : 734 (java) S 727 729 30263 0 -1 4202560 1214 0 0 0 35 0 0 0 15 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=735] ppid=727 vsize=10565872 CPUtime=0.37 cores=1,3,5,7 /proc/729/task/735/stat : 735 (java) S 727 729 30263 0 -1 4202560 3528 0 0 0 37 0 0 0 15 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=736] ppid=727 vsize=10565872 CPUtime=0.4 cores=1,3,5,7 /proc/729/task/736/stat : 736 (java) S 727 729 30263 0 -1 4202560 2604 0 0 0 40 0 0 0 16 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=737] ppid=727 vsize=10565872 CPUtime=0.33 cores=1,3,5,7 /proc/729/task/737/stat : 737 (java) S 727 729 30263 0 -1 4202560 2506 0 0 0 33 0 0 0 15 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=738] ppid=727 vsize=10565872 CPUtime=0.36 cores=1,3,5,7 /proc/729/task/738/stat : 738 (java) S 727 729 30263 0 -1 4202560 1937 0 0 0 36 0 0 0 15 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 5 0 0 0 [pid=729/tid=739] ppid=727 vsize=10565872 CPUtime=0.36 cores=1,3,5,7 /proc/729/task/739/stat : 739 (java) S 727 729 30263 0 -1 4202560 1448 0 0 0 36 0 0 0 16 0 22 0 811418203 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=740] ppid=727 vsize=10565872 CPUtime=26.06 cores=1,3,5,7 /proc/729/task/740/stat : 740 (java) S 727 729 30263 0 -1 4202560 33837 0 0 0 2601 5 0 0 15 0 22 0 811418204 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 0 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 [pid=729/tid=741] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/741/stat : 741 (java) S 727 729 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811418204 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=742] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/742/stat : 742 (java) S 727 729 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811418204 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=743] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/743/stat : 743 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811418206 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107274673 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=744] ppid=727 vsize=10565872 CPUtime=0.97 cores=1,3,5,7 /proc/729/task/744/stat : 744 (java) S 727 729 30263 0 -1 4202560 7593 0 0 0 96 1 0 0 15 0 22 0 811418206 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=745] ppid=727 vsize=10565872 CPUtime=2.37 cores=1,3,5,7 /proc/729/task/745/stat : 745 (java) S 727 729 30263 0 -1 4202560 9711 0 0 0 236 1 0 0 16 0 22 0 811418206 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=746] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/746/stat : 746 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811418206 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107266969 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=747] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/747/stat : 747 (java) S 727 729 30263 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811418206 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 1 0 0 0 [pid=729/tid=758] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/758/stat : 758 (java) S 727 729 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811418449 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 7 0 0 0 [pid=729/tid=772] ppid=727 vsize=10565872 CPUtime=872.19 cores=1,3,5,7 /proc/729/task/772/stat : 772 (java) R 727 729 30263 0 -1 4202560 1103 0 0 0 87219 0 0 0 25 0 22 0 811419611 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505961771 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=729/tid=773] ppid=727 vsize=10565872 CPUtime=872.23 cores=1,3,5,7 /proc/729/task/773/stat : 773 (java) R 727 729 30263 0 -1 4202560 379653 0 0 0 87184 39 0 0 25 0 22 0 811419611 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 46912505739112 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=729/tid=774] ppid=727 vsize=10565872 CPUtime=0 cores=1,3,5,7 /proc/729/task/774/stat : 774 (java) S 727 729 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811419611 10819452928 915466 33554432000 1073741824 1073778376 140735507877120 18446744073709551615 228107267584 0 4 0 16800975 18446604466313286848 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10565872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+913.326 s] /proc/loadavg: 3.82 3.88 3.75 5/564 867 /proc/meminfo: memFree=16678780/32951124 swapFree=58800704/67111528 [pid=729] ppid=727 vsize=0 CPUtime=1800.29 cores=1,3,5,7 /proc/729/stat : 729 (java) Z 727 729 30263 0 -1 4203548 922699 0 1 0 179917 112 0 0 17 0 2 0 811418200 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/729/statm: 0 0 0 0 0 0 0 [pid=729/tid=772] ppid=727 vsize=0 CPUtime=872.29 cores=1,3,5,7 /proc/729/task/772/stat : 772 (java) R 727 729 30263 0 -1 4203588 1103 0 0 0 87222 7 0 0 18 0 2 0 811419611 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 913.396 CPU time (s): 1800.37 CPU user time (s): 1799.17 CPU system time (s): 1.19582 CPU usage (%): 197.107 Max. virtual memory (cumulated for all children) (KiB): 10569816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 1.19582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 922699 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= 26741 involuntary context switches= 11365 runsolver used 4.67429 second user time and 11.7882 second system time The end
Begin job on node142 at 2011-06-04 14:20:27 IDJOB=3454568 IDBENCH=2294 IDSOLVER=1950 FILE ID=node142/3454568-1307190027 RUNJOBID= node142-1307187657-32576 PBS_JOBID= 13508862 Free space on /tmp= 73936 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454568-1307190027/watcher-3454568-1307190027 -o /tmp/evaluation-result-3454568-1307190027/solver-3454568-1307190027 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454568-1307190027.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e RANDOM SEED=2058276113 node142.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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 : 5131.95 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.67 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.846 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.81 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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: 32951124 kB MemFree: 18666344 kB Buffers: 283760 kB Cached: 457272 kB SwapCached: 11452 kB Active: 12201528 kB Inactive: 1816292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18666344 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 484 kB Writeback: 0 kB AnonPages: 13274436 kB Mapped: 39964 kB Slab: 116888 kB PageTables: 80852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 155766200 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73936 MiB End job on node142 at 2011-06-04 14:35:43