Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.13 | 1796.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo |
| MD5SUM | 2c1e8fe2f29e9730adde423ef6a1fb6a |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.39194 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6480 |
| Total number of constraints | 161 |
| Number of soft constraints | 56 |
| Number of constraints which are clauses | 81 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 81 |
| Top cost | 3123 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3122 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.25 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.25 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.25 c See www.sat4j.org for details. 0.04/0.25 c version 2.3.1.v20110525 0.04/0.25 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.25 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.25 c java.vm.version 19.1-b02 0.04/0.25 c java.vm.vendor Sun Microsystems Inc. 0.04/0.25 c sun.arch.data.model 64 0.04/0.25 c java.version 1.6.0_24 0.04/0.25 c os.name Linux 0.04/0.25 c os.version 2.6.18-164.el5 0.04/0.25 c os.arch amd64 0.04/0.25 c Free memory 9996466904 0.04/0.25 c Max memory 10048897024 0.04/0.25 c Total memory 10048897024 0.04/0.25 c Number of processors 8 0.04/0.28 c Pseudo Boolean Optimization 0.04/0.28 c --- Begin Solver configuration --- 0.04/0.28 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.04/0.28 c Learn all clauses as in MiniSAT 0.04/0.28 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.28 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.04/0.28 c Expensive reason simplification 0.04/0.28 c Armin Biere (Picosat) restarts strategy 0.04/0.28 c Glucose learned constraints deletion strategy 0.04/0.28 c timeout=2147483s 0.04/0.28 c DB Simplification allowed=false 0.04/0.28 c --- End Solver configuration --- 0.04/0.28 c solving HOME/instance-3492299-1307909011.wbo 0.04/0.28 c reading problem ... 0.34/0.47 c ... done. Wall clock time 0.188s. 0.34/0.47 c #vars 6536 0.34/0.47 c #constraints 161 0.34/0.47 c constraints type 0.34/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81 0.34/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 45 0.34/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 35 0.90/0.68 c SATISFIABLE 0.90/0.68 c OPTIMIZING... 0.90/0.68 c Got one! Elapsed wall clock time (in seconds):0.397 0.90/0.68 o 190 1.18/0.76 c Got one! Elapsed wall clock time (in seconds):0.48 1.18/0.76 o 170 1.32/0.82 c Got one! Elapsed wall clock time (in seconds):0.541 1.32/0.82 o 89 1.44/0.93 c Got one! Elapsed wall clock time (in seconds):0.643 1.44/0.93 o 65 1.56/1.09 c Got one! Elapsed wall clock time (in seconds):0.811 1.56/1.09 o 42 1.86/1.30 c Got one! Elapsed wall clock time (in seconds):1.016 1.86/1.30 o 1 4.55/4.04 c cleaning 3524 clauses out of 7090 with flag 5002/7090 8.33/7.79 c cleaning 4747 clauses out of 9570 with flag 11006/13094 13.44/12.86 c cleaning 5872 clauses out of 11818 with flag 18001/20089 18.65/18.08 c cleaning 6923 clauses out of 13945 with flag 26000/28088 23.99/23.34 c cleaning 7960 clauses out of 16023 with flag 35001/37089 32.40/31.74 c cleaning 8981 clauses out of 18062 with flag 45000/47088 38.82/38.12 c cleaning 9541 clauses out of 19085 with flag 55004/57092 47.14/46.41 c cleaning 9738 clauses out of 19540 with flag 65000/67088 56.25/55.51 c cleaning 9895 clauses out of 19803 with flag 75001/77089 62.66/61.92 c cleaning 9909 clauses out of 19907 with flag 85000/87088 69.68/68.91 c cleaning 9953 clauses out of 19999 with flag 95001/97089 83.68/82.97 c cleaning 9975 clauses out of 20045 with flag 105000/107088 100.81/100.09 c cleaning 9994 clauses out of 20072 with flag 115002/117090 107.36/106.60 c cleaning 9998 clauses out of 20081 with flag 125005/127093 115.17/114.33 c cleaning 9987 clauses out of 20078 with flag 135000/137088 128.18/127.36 c cleaning 10004 clauses out of 20091 with flag 145000/147088 142.00/141.16 c cleaning 9984 clauses out of 20089 with flag 155002/157090 156.22/155.39 c cleaning 9991 clauses out of 20103 with flag 165000/167088 165.74/164.84 c cleaning 10025 clauses out of 20112 with flag 175000/177088 172.36/171.45 c cleaning 10019 clauses out of 20089 with flag 185002/187090 179.47/178.55 c cleaning 10008 clauses out of 20068 with flag 195000/197088 193.38/192.48 c cleaning 9998 clauses out of 20061 with flag 205001/207089 206.71/205.79 c cleaning 9997 clauses out of 20065 with flag 215003/217091 221.43/220.40 c cleaning 9994 clauses out of 20070 with flag 225005/227093 235.37/234.30 c cleaning 9995 clauses out of 20073 with flag 235002/237090 251.59/250.57 c cleaning 9981 clauses out of 20079 with flag 245003/247091 269.62/268.59 c cleaning 9977 clauses out of 20095 with flag 255000/257088 278.16/277.03 c cleaning 9962 clauses out of 20118 with flag 265000/267088 289.38/288.27 c cleaning 9988 clauses out of 20157 with flag 275001/277089 296.79/295.63 c cleaning 9999 clauses out of 20169 with flag 285001/287089 305.51/304.38 c cleaning 10000 clauses out of 20170 with flag 295001/297089 321.92/320.79 c cleaning 10019 clauses out of 20170 with flag 305001/307089 336.65/335.50 c cleaning 10017 clauses out of 20152 with flag 315002/317090 350.27/349.07 c cleaning 9995 clauses out of 20134 with flag 325001/327089 366.89/365.66 c cleaning 10026 clauses out of 20141 with flag 335003/337091 385.33/384.01 c cleaning 10030 clauses out of 20112 with flag 345000/347088 397.66/396.34 c cleaning 10005 clauses out of 20082 with flag 355000/357088 411.19/409.86 c cleaning 10004 clauses out of 20077 with flag 365000/367088 424.83/423.44 c cleaning 9991 clauses out of 20074 with flag 375001/377089 439.75/438.30 c cleaning 9994 clauses out of 20083 with flag 385001/387089 447.67/446.22 c cleaning 9998 clauses out of 20089 with flag 395001/397089 454.99/453.57 c cleaning 10013 clauses out of 20091 with flag 405001/407089 463.50/462.01 c cleaning 10012 clauses out of 20082 with flag 415005/417093 480.52/479.09 c cleaning 9995 clauses out of 20065 with flag 425000/427088 493.35/491.80 c cleaning 10003 clauses out of 20070 with flag 435000/437088 506.97/505.46 c cleaning 10014 clauses out of 20071 with flag 445004/447092 523.60/522.08 c cleaning 9916 clauses out of 20054 with flag 455001/457089 546.53/544.97 c cleaning 9989 clauses out of 20137 with flag 465000/467088 571.06/569.46 c cleaning 10014 clauses out of 20152 with flag 475004/477092 584.90/583.28 c cleaning 10016 clauses out of 20135 with flag 485001/487089 598.93/597.30 c cleaning 10006 clauses out of 20121 with flag 495003/497091 613.05/611.30 c cleaning 10004 clauses out of 20113 with flag 505001/507089 627.69/625.97 c cleaning 9999 clauses out of 20108 with flag 515000/517088 639.01/637.26 c cleaning 10032 clauses out of 20110 with flag 525001/527089 649.22/647.43 c cleaning 10018 clauses out of 20077 with flag 535000/537088 658.73/656.95 c cleaning 10003 clauses out of 20060 with flag 545001/547089 668.54/666.78 c cleaning 10003 clauses out of 20056 with flag 555000/557088 677.86/676.05 c cleaning 10002 clauses out of 20054 with flag 565001/567089 686.98/685.13 c cleaning 10003 clauses out of 20052 with flag 575001/577089 697.79/695.94 c cleaning 10003 clauses out of 20051 with flag 585003/587091 705.00/703.15 c cleaning 9954 clauses out of 20045 with flag 595000/597088 712.12/710.22 c cleaning 9981 clauses out of 20092 with flag 605001/607089 719.94/718.01 c cleaning 9988 clauses out of 20112 with flag 615002/617090 729.55/727.67 c cleaning 10024 clauses out of 20122 with flag 625000/627088 746.09/744.17 c cleaning 10005 clauses out of 20098 with flag 635000/637088 758.72/756.72 c cleaning 10002 clauses out of 20094 with flag 645001/647089 765.24/763.21 c cleaning 10000 clauses out of 20091 with flag 655000/657088 774.16/772.14 c cleaning 10000 clauses out of 20091 with flag 665000/667088 785.86/783.86 c cleaning 9979 clauses out of 20093 with flag 675002/677090 800.59/798.53 c cleaning 9991 clauses out of 20113 with flag 685001/687089 819.41/817.32 c cleaning 9994 clauses out of 20122 with flag 695001/697089 840.35/838.22 c cleaning 9997 clauses out of 20129 with flag 705002/707090 857.07/854.99 c cleaning 9987 clauses out of 20132 with flag 715002/717090 870.80/868.61 c cleaning 10026 clauses out of 20143 with flag 725000/727088 885.33/883.16 c cleaning 10014 clauses out of 20120 with flag 735003/737091 900.16/897.95 c cleaning 9996 clauses out of 20104 with flag 745001/747089 915.19/912.93 c cleaning 10005 clauses out of 20107 with flag 755000/757088 928.92/926.70 c cleaning 10003 clauses out of 20102 with flag 765000/767088 943.05/940.72 c cleaning 9999 clauses out of 20100 with flag 775001/777089 955.76/953.40 c cleaning 10003 clauses out of 20102 with flag 785002/787090 977.78/975.49 c cleaning 9958 clauses out of 20100 with flag 795003/797091 996.91/994.50 c cleaning 10036 clauses out of 20142 with flag 805003/807091 1016.35/1013.98 c cleaning 10018 clauses out of 20106 with flag 815003/817091 1036.28/1033.85 c cleaning 10005 clauses out of 20087 with flag 825002/827090 1056.51/1054.05 c cleaning 9959 clauses out of 20080 with flag 835000/837088 1075.24/1072.71 c cleaning 10018 clauses out of 20121 with flag 845000/847088 1095.67/1093.16 c cleaning 10010 clauses out of 20104 with flag 855001/857089 1115.10/1112.53 c cleaning 9991 clauses out of 20093 with flag 865000/867088 1135.33/1132.70 c cleaning 10019 clauses out of 20102 with flag 875000/877088 1149.07/1146.46 c cleaning 9981 clauses out of 20084 with flag 885001/887089 1154.09/1151.46 c cleaning 9996 clauses out of 20103 with flag 895001/897089 1160.61/1157.97 c cleaning 9999 clauses out of 20106 with flag 905000/907088 1172.72/1170.07 c cleaning 10018 clauses out of 20107 with flag 915000/917088 1184.85/1182.19 c cleaning 9991 clauses out of 20089 with flag 925000/927088 1196.97/1194.24 c cleaning 10004 clauses out of 20099 with flag 935001/937089 1203.79/1201.06 c cleaning 10014 clauses out of 20094 with flag 945000/947088 1208.21/1205.42 c cleaning 10007 clauses out of 20084 with flag 955004/957092 1214.52/1211.70 c cleaning 10002 clauses out of 20074 with flag 965001/967089 1221.74/1218.94 c cleaning 10019 clauses out of 20073 with flag 975002/977090 1231.15/1228.32 c cleaning 10010 clauses out of 20054 with flag 985002/987090 1240.47/1237.62 c cleaning 10003 clauses out of 20042 with flag 995000/997088 1249.99/1247.11 c cleaning 10002 clauses out of 20039 with flag 1005000/1007088 1258.21/1255.34 c cleaning 9998 clauses out of 20040 with flag 1015003/1017091 1263.83/1260.94 c cleaning 9999 clauses out of 20041 with flag 1025002/1027090 1270.45/1267.56 c cleaning 9994 clauses out of 20040 with flag 1035000/1037088 1279.76/1276.84 c cleaning 9998 clauses out of 20046 with flag 1045000/1047088 1286.99/1284.09 c cleaning 10007 clauses out of 20050 with flag 1055002/1057090 1295.90/1292.91 c cleaning 9999 clauses out of 20042 with flag 1065001/1067089 1304.42/1301.46 c cleaning 10002 clauses out of 20045 with flag 1075003/1077091 1312.05/1309.00 c cleaning 10006 clauses out of 20040 with flag 1085000/1087088 1323.16/1320.14 c cleaning 10002 clauses out of 20036 with flag 1095002/1097090 1334.29/1331.23 c cleaning 9986 clauses out of 20033 with flag 1105001/1107089 1346.01/1342.96 c cleaning 10009 clauses out of 20048 with flag 1115002/1117090 1356.94/1353.89 c cleaning 9993 clauses out of 20038 with flag 1125001/1127089 1368.96/1365.84 c cleaning 10004 clauses out of 20045 with flag 1135001/1137089 1379.79/1376.64 c cleaning 10002 clauses out of 20042 with flag 1145002/1147090 1390.51/1387.35 c cleaning 10002 clauses out of 20038 with flag 1155000/1157088 1400.63/1397.47 c cleaning 10003 clauses out of 20036 with flag 1165000/1167088 1412.13/1408.93 c cleaning 10000 clauses out of 20034 with flag 1175001/1177089 1418.36/1415.10 c cleaning 9990 clauses out of 20035 with flag 1185002/1187090 1423.97/1420.79 c cleaning 10006 clauses out of 20045 with flag 1195002/1197090 1429.48/1426.26 c cleaning 10003 clauses out of 20041 with flag 1205004/1207092 1434.60/1431.31 c cleaning 9997 clauses out of 20035 with flag 1215001/1217089 1440.11/1436.86 c cleaning 10001 clauses out of 20038 with flag 1225001/1227089 1445.72/1442.45 c cleaning 10001 clauses out of 20036 with flag 1235000/1237088 1451.34/1448.09 c cleaning 10000 clauses out of 20037 with flag 1245002/1247090 1456.85/1453.56 c cleaning 9999 clauses out of 20039 with flag 1255004/1257092 1462.27/1458.96 c cleaning 10001 clauses out of 20040 with flag 1265004/1267092 1468.78/1465.48 c cleaning 10000 clauses out of 20035 with flag 1275000/1277088 1475.39/1472.09 c cleaning 10001 clauses out of 20037 with flag 1285002/1287090 1481.90/1478.55 c cleaning 9997 clauses out of 20034 with flag 1295000/1297088 1487.42/1484.09 c cleaning 9999 clauses out of 20038 with flag 1305001/1307089 1492.73/1489.38 c cleaning 10002 clauses out of 20039 with flag 1315001/1317089 1498.54/1495.16 c cleaning 10014 clauses out of 20037 with flag 1325001/1327089 1504.35/1500.95 c cleaning 9969 clauses out of 20025 with flag 1335003/1337091 1512.97/1509.57 c cleaning 9971 clauses out of 20054 with flag 1345001/1347089 1524.69/1521.25 c cleaning 9993 clauses out of 20084 with flag 1355002/1357090 1536.71/1533.23 c cleaning 10010 clauses out of 20090 with flag 1365001/1367089 1548.93/1545.46 c cleaning 10002 clauses out of 20080 with flag 1375001/1377089 1560.65/1557.11 c cleaning 9993 clauses out of 20078 with flag 1385001/1387089 1573.28/1569.79 c cleaning 10003 clauses out of 20086 with flag 1395002/1397090 1585.09/1581.52 c cleaning 10004 clauses out of 20081 with flag 1405000/1407088 1594.91/1591.35 c cleaning 9989 clauses out of 20077 with flag 1415000/1417088 1604.63/1601.08 c cleaning 9995 clauses out of 20089 with flag 1425001/1427089 1613.85/1610.22 c cleaning 9996 clauses out of 20095 with flag 1435002/1437090 1622.96/1619.33 c cleaning 9998 clauses out of 20097 with flag 1445000/1447088 1632.79/1629.17 c cleaning 9993 clauses out of 20099 with flag 1455000/1457088 1641.59/1637.91 c cleaning 10033 clauses out of 20106 with flag 1465000/1467088 1650.91/1647.22 c cleaning 10019 clauses out of 20075 with flag 1475002/1477090 1660.83/1657.19 c cleaning 10007 clauses out of 20055 with flag 1485001/1487089 1672.05/1668.36 c cleaning 9998 clauses out of 20050 with flag 1495003/1497091 1683.48/1679.79 c cleaning 10005 clauses out of 20051 with flag 1505002/1507090 1694.89/1691.10 c cleaning 10003 clauses out of 20045 with flag 1515001/1517089 1702.72/1698.92 c cleaning 9991 clauses out of 20042 with flag 1525001/1527089 1710.13/1706.33 c cleaning 9995 clauses out of 20051 with flag 1535001/1537089 1718.85/1715.06 c cleaning 9988 clauses out of 20056 with flag 1545001/1547089 1727.77/1723.90 c cleaning 9998 clauses out of 20068 with flag 1555001/1557089 1736.29/1732.47 c cleaning 10004 clauses out of 20069 with flag 1565000/1567088 1743.30/1739.44 c cleaning 10004 clauses out of 20067 with flag 1575002/1577090 1749.52/1745.64 c cleaning 10000 clauses out of 20066 with flag 1585005/1587093 1756.23/1752.35 c cleaning 10003 clauses out of 20063 with flag 1595002/1597090 1764.44/1760.59 c cleaning 9997 clauses out of 20058 with flag 1605000/1607088 1771.85/1767.96 c cleaning 9999 clauses out of 20062 with flag 1615001/1617089 1782.86/1778.99 c cleaning 9981 clauses out of 20063 with flag 1625001/1627089 1798.49/1794.55 c cleaning 10010 clauses out of 20081 with flag 1635000/1637088 1800.03/1796.01 c starts : 215 1800.03/1796.01 c conflicts : 1638626 1800.03/1796.01 c decisions : 3282428 1800.03/1796.01 c propagations : 75682510 1800.03/1796.01 c inspects : 2166646171 1800.03/1796.01 c shortcuts : 0 1800.03/1796.01 c learnt literals : 0 1800.03/1796.01 c learnt binary clauses : 0 1800.03/1796.01 c learnt ternary clauses : 0 1800.03/1796.01 c learnt constraints : 1638625 1800.03/1796.01 c ignored constraints : 0 1800.03/1796.01 c root simplifications : 0 1800.03/1796.01 c removed literals (reason simplification) : 8698241 1800.03/1796.01 c reason swapping (by a shorter reason) : 0 1800.03/1796.01 c Calls to reduceDB : 165 1800.03/1796.01 c number of reductions to clauses (during analyze) : 0 1800.03/1796.01 c number of learned constraints concerned by reduction : 0 1800.03/1796.01 c number of learning phase by resolution : 0 1800.03/1796.01 c number of learning phase by cutting planes : 0 1800.03/1796.01 c speed (assignments/second) : 42169.72416744302 1800.03/1796.01 c non guided choices 356551 1800.03/1796.02 c learnt constraints type 1800.03/1796.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11618 1800.03/1796.02 c constraints type 1800.03/1796.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81 1800.03/1796.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 45 1800.03/1796.02 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 36 1800.03/1796.02 s SATISFIABLE 1800.03/1796.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 1800.03/1796.04 c objective function=1 1800.03/1796.04 c Total wall clock time (in seconds): 1795.754
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492299-1307909011/watcher-3492299-1307909011 -o /tmp/evaluation-result-3492299-1307909011/solver-3492299-1307909011 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492299-1307909011.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.11 1/186 7294 /proc/meminfo: memFree=32452676/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=9100 CPUtime=0 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 228 0 0 0 0 0 0 0 22 0 1 0 902503436 9318400 165 33554432000 1073741824 1073778376 140733415119760 18446744073709551615 212436015104 0 2147483391 4096 0 18446744071699207358 0 0 17 5 0 0 0 /proc/7294/statm: 2275 165 125 9 0 67 0 [startup+0.066203 s] /proc/loadavg: 1.00 1.00 1.11 1/186 7294 /proc/meminfo: memFree=32452676/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 11385 0 1 0 2 1 0 0 17 0 13 0 902503436 10718699520 11082 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2616870 11082 1682 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.101235 s] /proc/loadavg: 1.00 1.00 1.11 1/186 7294 /proc/meminfo: memFree=32452676/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 11438 0 1 0 3 1 0 0 17 0 13 0 902503436 10718838784 11135 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2616904 11135 1684 9 0 2607652 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.30422 s] /proc/loadavg: 1.00 1.00 1.11 1/186 7294 /proc/meminfo: memFree=32452676/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10540380 CPUtime=0.14 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 13470 0 1 0 12 2 0 0 17 0 18 0 902503436 10793349120 13137 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2635095 13137 2137 9 0 2625829 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10540380 [startup+0.701114 s] /proc/loadavg: 1.00 1.00 1.11 1/186 7294 /proc/meminfo: memFree=32452676/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=1.18 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 20394 0 1 0 115 3 0 0 17 0 19 0 902503436 10799329280 18826 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 18826 2226 9 0 2627289 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 10546220 [startup+1.50097 s] /proc/loadavg: 1.48 1.10 1.14 3/214 7322 /proc/meminfo: memFree=32357016/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=2.06 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 22200 0 1 0 202 4 0 0 17 0 19 0 902503436 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 20632 2229 9 0 2627289 0 [pid=7294/tid=7296] ppid=7292 vsize=10546220 CPUtime=1.31 cores=1,3,5,7 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 5088 0 -1 4202560 16616 0 1 0 128 3 0 0 20 0 19 0 902503438 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 46912505330880 0 4 0 16800975 0 0 0 -1 3 0 0 16 [pid=7294/tid=7298] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503439 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902503440 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902503441 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 902503441 10799329280 20632 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 20633 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.35 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 1807 0 0 0 35 0 0 0 17 0 19 0 902503457 10799329280 20633 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.38 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2617 0 0 0 38 0 0 0 16 0 19 0 902503457 10799329280 20633 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 20633 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 20633 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 20633 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 10546220 [startup+3.10066 s] /proc/loadavg: 1.48 1.10 1.14 3/214 7322 /proc/meminfo: memFree=32337240/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=3.66 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 23918 0 1 0 362 4 0 0 17 0 19 0 902503436 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 22349 2229 9 0 2627289 0 [pid=7294/tid=7296] ppid=7292 vsize=10546220 CPUtime=2.91 cores=1,3,5,7 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 5088 0 -1 4202560 18333 0 1 0 288 3 0 0 25 0 19 0 902503438 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 46912505712258 0 4 0 16800975 0 0 0 -1 3 0 0 16 [pid=7294/tid=7298] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503439 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902503440 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902503441 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 902503441 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.35 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 1807 0 0 0 35 0 0 0 15 0 19 0 902503457 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.38 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2617 0 0 0 38 0 0 0 16 0 19 0 902503457 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 22349 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 10546220 [startup+6.30105 s] /proc/loadavg: 1.48 1.10 1.14 3/214 7322 /proc/meminfo: memFree=32295884/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=6.92 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 28999 0 1 0 687 5 0 0 17 0 19 0 902503436 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 27421 2254 9 0 2627289 0 [pid=7294/tid=7296] ppid=7292 vsize=10546220 CPUtime=6.08 cores=1,3,5,7 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 5088 0 -1 4202560 19259 0 1 0 605 3 0 0 25 0 19 0 902503438 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 46912505698364 0 4 0 16800975 0 0 0 -1 3 0 0 16 [pid=7294/tid=7298] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 5088 0 -1 4202560 788 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 5088 0 -1 4202560 1117 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 5088 0 -1 4202560 150 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 5088 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902503439 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=0.01 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 2055 0 0 0 1 0 0 0 15 0 19 0 902503440 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.38 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 1815 0 0 0 38 0 0 0 15 0 19 0 902503457 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.4 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2625 0 0 0 40 0 0 0 16 0 19 0 902503457 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 27421 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.92 Current children cumulated vsize (KiB) 10546220 [startup+12.7009 s] ################ # More data... # ################ [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0.51 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 2984 0 0 0 51 0 0 0 15 0 19 0 902503439 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0.56 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 4594 0 0 0 56 0 0 0 15 0 19 0 902503439 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0.48 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 6196 0 0 0 47 1 0 0 16 0 19 0 902503439 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=5.83 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 17233 0 0 0 580 3 0 0 15 0 19 0 902503440 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.44 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 2095 0 0 0 44 0 0 0 15 0 19 0 902503457 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.41 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2625 0 0 0 41 0 0 0 15 0 19 0 902503457 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 94576 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1666.05 Current children cumulated vsize (KiB) 10546220 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.83 3/214 7369 /proc/meminfo: memFree=31912412/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=1726.17 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 96898 0 1 0 172599 18 0 0 17 0 19 0 902503436 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 94725 2255 9 0 2627289 0 [pid=7294/tid=7296] ppid=7292 vsize=10546220 CPUtime=1714.71 cores=1,3,5,7 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 5088 0 -1 4202560 31871 0 1 0 171466 5 0 0 25 0 19 0 902503438 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 46912505687836 0 4 0 16800975 0 0 0 -1 5 0 0 16 [pid=7294/tid=7298] ppid=7292 vsize=10546220 CPUtime=0.53 cores=1,3,5,7 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 5088 0 -1 4202560 4480 0 0 0 53 0 0 0 15 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=10546220 CPUtime=0.56 cores=1,3,5,7 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 5088 0 -1 4202560 3408 0 0 0 56 0 0 0 16 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=10546220 CPUtime=0.55 cores=1,3,5,7 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 5088 0 -1 4202560 7802 0 0 0 54 1 0 0 15 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=10546220 CPUtime=0.56 cores=1,3,5,7 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 5088 0 -1 4202560 5988 0 0 0 55 1 0 0 15 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=10546220 CPUtime=0.53 cores=1,3,5,7 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 5088 0 -1 4202560 6233 0 0 0 52 1 0 0 16 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0.53 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 2984 0 0 0 53 0 0 0 15 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0.58 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 4596 0 0 0 58 0 0 0 16 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0.51 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 6196 0 0 0 50 1 0 0 16 0 19 0 902503439 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=6.12 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 17369 0 0 0 609 3 0 0 15 0 19 0 902503440 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.44 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 2095 0 0 0 44 0 0 0 15 0 19 0 902503457 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.41 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2625 0 0 0 41 0 0 0 15 0 19 0 902503457 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 94725 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1726.17 Current children cumulated vsize (KiB) 10546220 [startup+1782.3 s] /proc/loadavg: 2.03 2.00 1.84 3/214 7370 /proc/meminfo: memFree=31910488/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=1786.29 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 97285 0 1 0 178610 19 0 0 17 0 19 0 902503436 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 95098 2255 9 0 2627289 0 [pid=7294/tid=7296] ppid=7292 vsize=10546220 CPUtime=1774.27 cores=1,3,5,7 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 5088 0 -1 4202560 31879 0 1 0 177422 5 0 0 23 0 19 0 902503438 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 46912505712913 0 4 0 16800975 0 0 0 -1 5 0 0 16 [pid=7294/tid=7298] ppid=7292 vsize=10546220 CPUtime=0.55 cores=1,3,5,7 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 5088 0 -1 4202560 4480 0 0 0 55 0 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=10546220 CPUtime=0.58 cores=1,3,5,7 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 5088 0 -1 4202560 3408 0 0 0 58 0 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=10546220 CPUtime=0.57 cores=1,3,5,7 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 5088 0 -1 4202560 7805 0 0 0 56 1 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=10546220 CPUtime=0.57 cores=1,3,5,7 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 5088 0 -1 4202560 5988 0 0 0 56 1 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=10546220 CPUtime=0.56 cores=1,3,5,7 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 5088 0 -1 4202560 6233 0 0 0 55 1 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0.55 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 2985 0 0 0 55 0 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0.6 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 4602 0 0 0 60 0 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0.53 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 6196 0 0 0 52 1 0 0 16 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=6.52 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 17736 0 0 0 648 4 0 0 15 0 19 0 902503440 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.44 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 2095 0 0 0 44 0 0 0 15 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.41 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2625 0 0 0 41 0 0 0 15 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1786.29 Current children cumulated vsize (KiB) 10546220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796 s] /proc/loadavg: 2.02 2.00 1.84 3/214 7371 /proc/meminfo: memFree=31910584/32951124 swapFree=67050540/67111528 [pid=7294] ppid=7292 vsize=10546220 CPUtime=1800.03 cores=1,3,5,7 /proc/7294/stat : 7294 (java) S 7292 7294 5088 0 -1 4202496 97290 0 1 0 179984 19 0 0 17 0 19 0 902503436 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/7294/statm: 2636555 95098 2255 9 0 2627289 0 [pid=7294/tid=7296] ppid=7292 vsize=10546220 CPUtime=1787.92 cores=1,3,5,7 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 5088 0 -1 4202560 31880 0 1 0 178787 5 0 0 25 0 19 0 902503438 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 46912505712176 0 4 0 16800975 0 0 0 -1 5 0 0 16 [pid=7294/tid=7298] ppid=7292 vsize=10546220 CPUtime=0.56 cores=1,3,5,7 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 5088 0 -1 4202560 4480 0 0 0 56 0 0 0 16 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=10546220 CPUtime=0.58 cores=1,3,5,7 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 5088 0 -1 4202560 3408 0 0 0 58 0 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=10546220 CPUtime=0.57 cores=1,3,5,7 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 5088 0 -1 4202560 7805 0 0 0 56 1 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=10546220 CPUtime=0.57 cores=1,3,5,7 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 5088 0 -1 4202560 5988 0 0 0 56 1 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=10546220 CPUtime=0.57 cores=1,3,5,7 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 5088 0 -1 4202560 6233 0 0 0 56 1 0 0 16 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=10546220 CPUtime=0.55 cores=1,3,5,7 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 5088 0 -1 4202560 2985 0 0 0 55 0 0 0 15 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7304] ppid=7292 vsize=10546220 CPUtime=0.61 cores=1,3,5,7 /proc/7294/task/7304/stat : 7304 (java) S 7292 7294 5088 0 -1 4202560 4602 0 0 0 61 0 0 0 16 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7305] ppid=7292 vsize=10546220 CPUtime=0.55 cores=1,3,5,7 /proc/7294/task/7305/stat : 7305 (java) S 7292 7294 5088 0 -1 4202560 6196 0 0 0 54 1 0 0 16 0 19 0 902503439 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7308] ppid=7292 vsize=10546220 CPUtime=6.57 cores=1,3,5,7 /proc/7294/task/7308/stat : 7308 (java) S 7292 7294 5088 0 -1 4202560 17738 0 0 0 653 4 0 0 15 0 19 0 902503440 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 0 0 16800975 18446604471107935168 0 0 -1 3 0 0 0 [pid=7294/tid=7309] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7309/stat : 7309 (java) S 7292 7294 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7310] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7310/stat : 7310 (java) S 7292 7294 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503441 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7312] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7312/stat : 7312 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447840689 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7314] ppid=7292 vsize=10546220 CPUtime=0.44 cores=1,3,5,7 /proc/7294/task/7314/stat : 7314 (java) S 7292 7294 5088 0 -1 4202560 2095 0 0 0 44 0 0 0 15 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7316] ppid=7292 vsize=10546220 CPUtime=0.41 cores=1,3,5,7 /proc/7294/task/7316/stat : 7316 (java) S 7292 7294 5088 0 -1 4202560 2625 0 0 0 41 0 0 0 15 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 5 0 0 0 [pid=7294/tid=7318] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7318/stat : 7318 (java) S 7292 7294 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447832985 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 [pid=7294/tid=7320] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7320/stat : 7320 (java) S 7292 7294 5088 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902503457 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 1 0 0 0 [pid=7294/tid=7322] ppid=7292 vsize=10546220 CPUtime=0 cores=1,3,5,7 /proc/7294/task/7322/stat : 7322 (java) S 7292 7294 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503485 10799329280 95098 33554432000 1073741824 1073778376 140734125886448 18446744073709551615 212447833600 0 4 0 16800975 18446604471107935168 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 10546220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1796.06 CPU time (s): 1800.13 CPU user time (s): 1799.92 CPU system time (s): 0.205968 CPU usage (%): 100.227 Max. virtual memory (cumulated for all children) (KiB): 10546220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.205968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97417 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= 40892 involuntary context switches= 10693 runsolver used 2.90256 second user time and 6.91595 second system time The end
Begin job on node102 at 2011-06-12 22:03:31 IDJOB=3492299 IDBENCH=78735 IDSOLVER=1982 FILE ID=node102/3492299-1307909011 RUNJOBID= node102-1307909011-7258 PBS_JOBID= 13559600 Free space on /tmp= 74136 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492299-1307909011/watcher-3492299-1307909011 -o /tmp/evaluation-result-3492299-1307909011/solver-3492299-1307909011 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492299-1307909011.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c1e8fe2f29e9730adde423ef6a1fb6a RANDOM SEED=198061168 node102.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.828 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.65 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 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.828 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: 32463892 kB Buffers: 117996 kB Cached: 125852 kB SwapCached: 25148 kB Active: 194404 kB Inactive: 105140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32463892 kB SwapTotal: 67111528 kB SwapFree: 67050540 kB Dirty: 796 kB Writeback: 0 kB AnonPages: 53100 kB Mapped: 11952 kB Slab: 121656 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10489628 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= 74132 MiB End job on node102 at 2011-06-12 22:33:29