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.21 | 1796.16 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo |
| MD5SUM | bbaf7e04a2e14186c5cc5b74d1689780 |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.556914 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5250 |
| Total number of constraints | 145 |
| Number of soft constraints | 94 |
| Number of constraints which are clauses | 75 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 75 |
| Top cost | 4943 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 4942 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| 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.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492311-1307909277.wbo 0.10/0.11 c reading problem ... 0.28/0.29 c ... done. Wall clock time 0.179s. 0.28/0.29 c #vars 5344 0.28/0.29 c #constraints 145 0.28/0.29 c constraints type 0.28/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75 0.28/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 23 0.28/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47 0.85/0.49 c SATISFIABLE 0.85/0.49 c OPTIMIZING... 0.85/0.49 c Got one! Elapsed wall clock time (in seconds):0.383 0.85/0.49 o 94 1.14/0.57 c Got one! Elapsed wall clock time (in seconds):0.464 1.14/0.57 o 76 1.31/0.67 c Got one! Elapsed wall clock time (in seconds):0.565 1.31/0.67 o 36 1.56/0.81 c Got one! Elapsed wall clock time (in seconds):0.697 1.56/0.81 o 18 1.98/1.24 c Got one! Elapsed wall clock time (in seconds):1.135 1.98/1.24 o 6 4.58/3.85 c cleaning 3605 clauses out of 7259 with flag 5001/7259 8.05/7.29 c cleaning 4805 clauses out of 9655 with flag 11002/13260 12.27/11.50 c cleaning 5889 clauses out of 11849 with flag 18001/20259 17.68/16.83 c cleaning 6909 clauses out of 13962 with flag 26003/28261 23.63/22.71 c cleaning 7958 clauses out of 16051 with flag 35001/37259 30.13/29.21 c cleaning 9004 clauses out of 18092 with flag 45000/47258 36.35/35.46 c cleaning 9510 clauses out of 19089 with flag 55001/57259 43.36/42.48 c cleaning 9756 clauses out of 19579 with flag 65001/67259 50.87/49.99 c cleaning 9869 clauses out of 19823 with flag 75001/77259 56.98/56.10 c cleaning 9936 clauses out of 19953 with flag 85000/87258 63.89/62.97 c cleaning 9978 clauses out of 20018 with flag 95001/97259 73.62/72.63 c cleaning 9987 clauses out of 20039 with flag 105000/107258 83.02/82.00 c cleaning 9988 clauses out of 20053 with flag 115001/117259 90.15/89.15 c cleaning 10011 clauses out of 20065 with flag 125001/127259 97.45/96.41 c cleaning 10009 clauses out of 20055 with flag 135002/137260 108.26/107.21 c cleaning 10000 clauses out of 20044 with flag 145000/147258 120.18/119.14 c cleaning 9957 clauses out of 20044 with flag 155000/157258 133.31/132.26 c cleaning 9989 clauses out of 20090 with flag 165003/167261 141.83/140.72 c cleaning 10028 clauses out of 20101 with flag 175003/177261 148.55/147.45 c cleaning 10006 clauses out of 20072 with flag 185002/187260 156.06/154.94 c cleaning 9993 clauses out of 20068 with flag 195004/197262 168.47/167.38 c cleaning 9980 clauses out of 20071 with flag 205000/207258 179.39/178.21 c cleaning 10022 clauses out of 20096 with flag 215005/217263 190.41/189.28 c cleaning 10009 clauses out of 20070 with flag 225001/227259 198.22/197.03 c cleaning 10016 clauses out of 20061 with flag 235001/237259 205.24/204.06 c cleaning 10001 clauses out of 20044 with flag 245000/247258 213.25/212.01 c cleaning 9992 clauses out of 20044 with flag 255001/257259 219.27/218.04 c cleaning 9996 clauses out of 20052 with flag 265001/267259 226.18/224.93 c cleaning 9999 clauses out of 20055 with flag 275000/277258 233.59/232.31 c cleaning 10004 clauses out of 20058 with flag 285002/287260 244.60/243.34 c cleaning 10000 clauses out of 20052 with flag 295000/297258 255.52/254.23 c cleaning 10007 clauses out of 20053 with flag 305001/307259 268.34/267.01 c cleaning 9999 clauses out of 20046 with flag 315001/317259 277.57/276.25 c cleaning 10001 clauses out of 20047 with flag 325001/327259 284.48/283.18 c cleaning 9998 clauses out of 20046 with flag 335001/337259 291.89/290.58 c cleaning 10003 clauses out of 20048 with flag 345001/347259 305.71/304.37 c cleaning 9975 clauses out of 20046 with flag 355002/357260 323.33/321.97 c cleaning 9984 clauses out of 20069 with flag 365000/367258 339.66/338.23 c cleaning 9997 clauses out of 20086 with flag 375001/377259 354.09/352.64 c cleaning 9992 clauses out of 20088 with flag 385000/387258 362.22/360.72 c cleaning 9998 clauses out of 20096 with flag 395000/397258 368.93/367.44 c cleaning 10002 clauses out of 20098 with flag 405000/407258 376.04/374.53 c cleaning 10018 clauses out of 20097 with flag 415001/417259 389.87/388.37 c cleaning 10001 clauses out of 20078 with flag 425000/427258 401.58/400.04 c cleaning 10006 clauses out of 20082 with flag 435005/437263 415.00/413.46 c cleaning 10011 clauses out of 20071 with flag 445000/447258 422.52/420.95 c cleaning 10010 clauses out of 20060 with flag 455000/457258 430.93/429.33 c cleaning 10004 clauses out of 20052 with flag 465002/467260 439.55/437.93 c cleaning 9998 clauses out of 20048 with flag 475002/477260 446.66/445.07 c cleaning 10004 clauses out of 20049 with flag 485001/487259 453.47/451.83 c cleaning 10007 clauses out of 20046 with flag 495002/497260 460.79/459.19 c cleaning 10004 clauses out of 20038 with flag 505001/507259 468.51/466.81 c cleaning 10005 clauses out of 20041 with flag 515008/517266 476.12/474.45 c cleaning 9950 clauses out of 20028 with flag 525000/527258 488.74/487.04 c cleaning 9998 clauses out of 20078 with flag 535000/537258 500.96/499.23 c cleaning 9985 clauses out of 20080 with flag 545000/547258 513.88/512.17 c cleaning 10004 clauses out of 20095 with flag 555000/557258 527.50/525.71 c cleaning 10004 clauses out of 20095 with flag 565004/567262 541.63/539.83 c cleaning 9999 clauses out of 20087 with flag 575000/577258 555.45/553.65 c cleaning 9989 clauses out of 20090 with flag 585002/587260 561.58/559.77 c cleaning 10019 clauses out of 20099 with flag 595000/597258 568.30/566.42 c cleaning 10012 clauses out of 20080 with flag 605000/607258 576.90/575.06 c cleaning 10015 clauses out of 20069 with flag 615001/617259 589.23/587.34 c cleaning 10001 clauses out of 20053 with flag 625000/627258 602.26/600.37 c cleaning 10003 clauses out of 20053 with flag 635001/637259 613.59/611.69 c cleaning 10004 clauses out of 20049 with flag 645000/647258 622.00/620.08 c cleaning 9999 clauses out of 20045 with flag 655000/657258 630.12/628.19 c cleaning 9999 clauses out of 20046 with flag 665000/667258 637.53/635.50 c cleaning 9972 clauses out of 20047 with flag 675000/677258 647.55/645.57 c cleaning 9997 clauses out of 20076 with flag 685001/687259 663.77/661.75 c cleaning 10001 clauses out of 20078 with flag 695000/697258 677.50/675.42 c cleaning 10009 clauses out of 20078 with flag 705001/707259 690.92/688.88 c cleaning 10002 clauses out of 20068 with flag 715000/717258 702.14/700.02 c cleaning 9997 clauses out of 20067 with flag 725001/727259 713.57/711.40 c cleaning 9999 clauses out of 20070 with flag 735001/737259 726.38/724.21 c cleaning 9983 clauses out of 20072 with flag 745002/747260 739.70/737.55 c cleaning 10000 clauses out of 20088 with flag 755001/757259 753.43/751.28 c cleaning 9986 clauses out of 20090 with flag 765003/767261 767.06/764.88 c cleaning 10014 clauses out of 20108 with flag 775007/777265 779.27/777.09 c cleaning 9983 clauses out of 20088 with flag 785001/787259 792.00/789.72 c cleaning 10019 clauses out of 20108 with flag 795004/797262 805.82/803.55 c cleaning 9988 clauses out of 20085 with flag 805000/807258 819.24/816.97 c cleaning 10011 clauses out of 20098 with flag 815001/817259 833.57/831.21 c cleaning 9999 clauses out of 20087 with flag 825001/827259 845.79/843.50 c cleaning 10008 clauses out of 20087 with flag 835000/837258 858.01/855.62 c cleaning 9996 clauses out of 20085 with flag 845006/847264 871.83/869.46 c cleaning 9987 clauses out of 20086 with flag 855003/857261 883.15/880.74 c cleaning 10018 clauses out of 20097 with flag 865001/867259 896.05/893.65 c cleaning 9994 clauses out of 20079 with flag 875001/877259 905.06/902.69 c cleaning 10014 clauses out of 20084 with flag 885000/887258 912.09/909.61 c cleaning 10011 clauses out of 20072 with flag 895002/897260 920.00/917.50 c cleaning 10017 clauses out of 20059 with flag 905000/907258 932.21/929.73 c cleaning 9999 clauses out of 20042 with flag 915000/917258 943.63/941.13 c cleaning 9993 clauses out of 20044 with flag 925001/927259 955.16/952.61 c cleaning 9996 clauses out of 20051 with flag 935001/937259 963.57/961.01 c cleaning 9991 clauses out of 20056 with flag 945002/947260 970.08/967.59 c cleaning 10008 clauses out of 20065 with flag 955002/957260 976.20/973.62 c cleaning 9999 clauses out of 20056 with flag 965001/967259 985.71/983.12 c cleaning 10004 clauses out of 20056 with flag 975000/977258 998.62/996.06 c cleaning 9949 clauses out of 20052 with flag 985000/987258 1011.75/1009.16 c cleaning 10033 clauses out of 20104 with flag 995001/997259 1024.77/1022.11 c cleaning 9964 clauses out of 20073 with flag 1005003/1007261 1036.99/1034.38 c cleaning 9970 clauses out of 20106 with flag 1015000/1017258 1051.03/1048.37 c cleaning 10002 clauses out of 20139 with flag 1025003/1027261 1064.15/1061.47 c cleaning 10000 clauses out of 20134 with flag 1035000/1037258 1077.38/1074.65 c cleaning 9999 clauses out of 20134 with flag 1045000/1047258 1092.19/1089.43 c cleaning 9979 clauses out of 20136 with flag 1055001/1057259 1107.41/1104.64 c cleaning 10000 clauses out of 20158 with flag 1065002/1067260 1121.14/1118.33 c cleaning 9998 clauses out of 20157 with flag 1075001/1077259 1131.37/1128.56 c cleaning 10016 clauses out of 20158 with flag 1085000/1087258 1142.08/1139.27 c cleaning 10025 clauses out of 20143 with flag 1095001/1097259 1154.41/1151.55 c cleaning 10011 clauses out of 20117 with flag 1105000/1107258 1166.93/1164.08 c cleaning 10008 clauses out of 20108 with flag 1115002/1117260 1178.15/1175.25 c cleaning 10003 clauses out of 20098 with flag 1125000/1127258 1189.77/1186.85 c cleaning 9982 clauses out of 20096 with flag 1135001/1137259 1200.89/1197.95 c cleaning 10021 clauses out of 20117 with flag 1145004/1147262 1212.89/1209.93 c cleaning 9978 clauses out of 20092 with flag 1155000/1157258 1225.91/1222.96 c cleaning 10009 clauses out of 20114 with flag 1165000/1167258 1237.14/1234.12 c cleaning 9983 clauses out of 20107 with flag 1175002/1177260 1244.44/1241.49 c cleaning 10022 clauses out of 20123 with flag 1185001/1187259 1254.87/1251.82 c cleaning 9988 clauses out of 20102 with flag 1195002/1197260 1265.08/1262.01 c cleaning 10044 clauses out of 20114 with flag 1205002/1207260 1275.10/1272.04 c cleaning 10018 clauses out of 20072 with flag 1215004/1217262 1285.32/1282.27 c cleaning 10005 clauses out of 20051 with flag 1225001/1227259 1294.84/1291.72 c cleaning 10004 clauses out of 20046 with flag 1235001/1237259 1307.56/1304.50 c cleaning 9986 clauses out of 20042 with flag 1245001/1247259 1319.47/1316.39 c cleaning 10013 clauses out of 20057 with flag 1255002/1257260 1332.68/1329.51 c cleaning 9957 clauses out of 20045 with flag 1265003/1267261 1345.30/1342.12 c cleaning 10030 clauses out of 20091 with flag 1275006/1277264 1357.22/1354.06 c cleaning 10015 clauses out of 20056 with flag 1285001/1287259 1370.83/1367.63 c cleaning 9995 clauses out of 20041 with flag 1295001/1297259 1386.96/1383.76 c cleaning 10005 clauses out of 20046 with flag 1305001/1307259 1403.77/1400.58 c cleaning 10006 clauses out of 20044 with flag 1315004/1317262 1414.79/1411.56 c cleaning 10011 clauses out of 20035 with flag 1325001/1327259 1420.91/1417.64 c cleaning 9987 clauses out of 20025 with flag 1335002/1337260 1427.84/1424.56 c cleaning 9979 clauses out of 20036 with flag 1345000/1347258 1437.05/1433.75 c cleaning 9978 clauses out of 20057 with flag 1355000/1357258 1448.96/1445.65 c cleaning 9998 clauses out of 20082 with flag 1365003/1367261 1461.28/1457.90 c cleaning 10000 clauses out of 20081 with flag 1375000/1377258 1471.41/1468.04 c cleaning 10025 clauses out of 20086 with flag 1385005/1387263 1478.73/1475.30 c cleaning 10007 clauses out of 20056 with flag 1395000/1397258 1485.65/1482.26 c cleaning 10005 clauses out of 20050 with flag 1405001/1407259 1490.66/1487.25 c cleaning 10008 clauses out of 20044 with flag 1415000/1417258 1501.77/1498.38 c cleaning 10003 clauses out of 20036 with flag 1425000/1427258 1511.19/1507.70 c cleaning 10002 clauses out of 20033 with flag 1435000/1437258 1521.11/1517.62 c cleaning 9988 clauses out of 20032 with flag 1445001/1447259 1539.03/1535.59 c cleaning 10007 clauses out of 20043 with flag 1455000/1457258 1551.56/1548.06 c cleaning 9972 clauses out of 20036 with flag 1465000/1467258 1563.39/1559.80 c cleaning 9977 clauses out of 20066 with flag 1475002/1477260 1575.81/1572.20 c cleaning 9970 clauses out of 20087 with flag 1485000/1487258 1588.64/1585.01 c cleaning 10014 clauses out of 20118 with flag 1495001/1497259 1601.76/1598.20 c cleaning 10002 clauses out of 20103 with flag 1505000/1507258 1613.77/1610.14 c cleaning 10008 clauses out of 20102 with flag 1515001/1517259 1622.29/1618.61 c cleaning 9990 clauses out of 20096 with flag 1525003/1527261 1627.31/1623.64 c cleaning 9998 clauses out of 20103 with flag 1535000/1537258 1633.01/1629.37 c cleaning 9997 clauses out of 20105 with flag 1545000/1547258 1641.93/1638.29 c cleaning 9961 clauses out of 20112 with flag 1555004/1557262 1653.04/1649.33 c cleaning 10005 clauses out of 20148 with flag 1565001/1567259 1664.26/1660.54 c cleaning 9989 clauses out of 20142 with flag 1575000/1577258 1675.47/1671.70 c cleaning 10002 clauses out of 20155 with flag 1585002/1587260 1687.80/1684.09 c cleaning 9993 clauses out of 20152 with flag 1595001/1597259 1701.91/1698.18 c cleaning 10017 clauses out of 20158 with flag 1605000/1607258 1713.32/1709.54 c cleaning 9996 clauses out of 20143 with flag 1615002/1617260 1724.34/1720.55 c cleaning 10041 clauses out of 20146 with flag 1625001/1627259 1736.96/1733.10 c cleaning 10003 clauses out of 20104 with flag 1635000/1637258 1749.39/1745.56 c cleaning 10016 clauses out of 20102 with flag 1645001/1647259 1764.01/1760.11 c cleaning 10005 clauses out of 20085 with flag 1655000/1657258 1777.44/1773.59 c cleaning 10006 clauses out of 20080 with flag 1665000/1667258 1790.85/1786.93 c cleaning 10001 clauses out of 20075 with flag 1675001/1677259 1800.08/1796.11 c starts : 214 1800.08/1796.11 c conflicts : 1683961 1800.08/1796.11 c decisions : 3039458 1800.08/1796.11 c propagations : 78811062 1800.08/1796.11 c inspects : 2222887191 1800.08/1796.11 c shortcuts : 0 1800.08/1796.11 c learnt literals : 0 1800.08/1796.11 c learnt binary clauses : 0 1800.08/1796.11 c learnt ternary clauses : 0 1800.08/1796.11 c learnt constraints : 1683961 1800.08/1796.11 c ignored constraints : 0 1800.08/1796.11 c root simplifications : 0 1800.08/1796.11 c removed literals (reason simplification) : 7604265 1800.08/1796.11 c reason swapping (by a shorter reason) : 0 1800.08/1796.11 c Calls to reduceDB : 169 1800.08/1796.11 c number of reductions to clauses (during analyze) : 0 1800.08/1796.11 c number of learned constraints concerned by reduction : 0 1800.08/1796.11 c number of learning phase by resolution : 0 1800.08/1796.11 c number of learning phase by cutting planes : 0 1800.08/1796.11 c speed (assignments/second) : 43909.20714972594 1800.08/1796.11 c non guided choices 236296 1800.08/1796.12 c learnt constraints type 1800.08/1796.12 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16782 1800.08/1796.12 c constraints type 1800.08/1796.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75 1800.08/1796.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 23 1800.08/1796.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 48 1800.08/1796.12 s SATISFIABLE 1800.08/1796.13 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 1800.08/1796.14 c objective function=6 1800.08/1796.14 c Total wall clock time (in seconds): 1796.03
OK 6
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492311-1307909277/watcher-3492311-1307909277 -o /var/tmp/evaluation-result-3492311-1307909277/solver-3492311-1307909277 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492311-1307909277.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 3/195 26159 /proc/meminfo: memFree=10096836/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/26159/stat : 26159 (java) R 26157 26159 24181 0 -1 4202496 916 0 0 0 0 0 0 0 25 0 1 0 981158250 23580672 658 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260015433472 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/26159/statm: 5757 670 490 9 0 124 0 [startup+0.040409 s] /proc/loadavg: 2.00 2.00 1.94 3/195 26159 /proc/meminfo: memFree=10096836/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 11117 0 1 0 2 1 0 0 25 0 13 0 981158250 10718699520 10813 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2616870 10817 1651 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.100385 s] /proc/loadavg: 2.00 2.00 1.94 3/195 26159 /proc/meminfo: memFree=10096836/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10539832 CPUtime=0.1 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 13022 0 1 0 9 1 0 0 25 0 18 0 981158250 10792787968 12706 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2634958 12710 2092 9 0 2625692 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539832 [startup+0.300326 s] /proc/loadavg: 2.00 2.00 1.94 3/195 26159 /proc/meminfo: memFree=10096836/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10543944 CPUtime=0.55 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 18627 0 1 0 53 2 0 0 25 0 18 0 981158250 10796998656 17307 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2635986 17308 2211 9 0 2626720 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 10543944 [startup+0.700288 s] /proc/loadavg: 2.00 2.00 1.94 3/195 26159 /proc/meminfo: memFree=10096836/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10545872 CPUtime=1.46 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 21003 0 1 0 144 2 0 0 25 0 19 0 981158250 10798972928 18681 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636468 18681 2224 9 0 2627202 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 10545872 [startup+1.50115 s] /proc/loadavg: 2.00 2.00 1.94 3/214 26178 /proc/meminfo: memFree=10029252/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10545872 CPUtime=2.28 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 22107 0 1 0 226 2 0 0 25 0 19 0 981158250 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636468 19784 2226 9 0 2627202 0 [pid=26159/tid=26161] ppid=26157 vsize=10545872 CPUtime=1.48 cores=1,3,5,7 /proc/26159/task/26161/stat : 26161 (java) R 26157 26159 24181 0 -1 4202560 15656 0 1 0 147 1 0 0 25 0 19 0 981158251 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 46912505712950 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=26159/tid=26162] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26162/stat : 26162 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26163] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26163/stat : 26163 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26164] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26164/stat : 26164 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26165] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26165/stat : 26165 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26166] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26166/stat : 26166 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26167] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981158253 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981158254 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 981158254 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 981158254 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10545872 CPUtime=0.44 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2431 0 0 0 44 0 0 0 15 0 19 0 981158257 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10545872 CPUtime=0.34 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 2858 0 0 0 34 0 0 0 24 0 19 0 981158257 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981158257 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10798972928 19784 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 10545872 [startup+3.10084 s] /proc/loadavg: 2.00 2.00 1.94 3/214 26178 /proc/meminfo: memFree=10022680/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10545872 CPUtime=3.88 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 23875 0 1 0 385 3 0 0 25 0 19 0 981158250 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636468 21552 2226 9 0 2627202 0 [pid=26159/tid=26161] ppid=26157 vsize=10545872 CPUtime=3.09 cores=1,3,5,7 /proc/26159/task/26161/stat : 26161 (java) R 26157 26159 24181 0 -1 4202560 17424 0 1 0 307 2 0 0 25 0 19 0 981158251 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 46945035803475 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=26159/tid=26162] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26162/stat : 26162 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26163] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26163/stat : 26163 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26164] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26164/stat : 26164 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26165] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26165/stat : 26165 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26166] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26166/stat : 26166 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26167] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981158253 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981158254 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 981158254 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 981158254 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10545872 CPUtime=0.44 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2431 0 0 0 44 0 0 0 15 0 19 0 981158257 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10545872 CPUtime=0.34 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 2858 0 0 0 34 0 0 0 24 0 19 0 981158257 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981158257 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10545872 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10798972928 21552 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 10545872 [startup+6.30126 s] /proc/loadavg: 2.00 2.00 1.94 3/214 26178 /proc/meminfo: memFree=9998496/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10544656 CPUtime=7.15 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 29157 0 1 0 712 3 0 0 25 0 19 0 981158250 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636164 26537 2252 9 0 2626898 0 [pid=26159/tid=26161] ppid=26157 vsize=10544656 CPUtime=6.26 cores=1,3,5,7 /proc/26159/task/26161/stat : 26161 (java) R 26157 26159 24181 0 -1 4202560 18102 0 1 0 624 2 0 0 18 0 19 0 981158251 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 46912505679788 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=26159/tid=26162] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26162/stat : 26162 (java) S 26157 26159 24181 0 -1 4202560 534 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26163] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26163/stat : 26163 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26164] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26164/stat : 26164 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26165] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26165/stat : 26165 (java) S 26157 26159 24181 0 -1 4202560 355 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26166] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26166/stat : 26166 (java) S 26157 26159 24181 0 -1 4202560 744 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26167] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 690 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981158253 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10544656 CPUtime=0.01 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 2272 0 0 0 1 0 0 0 15 0 19 0 981158254 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10544656 CPUtime=0.47 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2439 0 0 0 47 0 0 0 15 0 19 0 981158257 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10544656 CPUtime=0.37 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 2864 0 0 0 37 0 0 0 16 0 19 0 981158257 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981158257 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10797727744 26537 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.15 Current children cumulated vsize (KiB) 10544656 [startup+12.7011 s] ################ # More data... # ################ [pid=26159/tid=26167] ppid=26157 vsize=10544656 CPUtime=0.52 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 4315 0 0 0 52 0 0 0 15 0 19 0 981158253 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10544656 CPUtime=0.54 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 5518 0 0 0 54 0 0 0 16 0 19 0 981158253 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10544656 CPUtime=0.52 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 4075 0 0 0 52 0 0 0 15 0 19 0 981158253 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10544656 CPUtime=6.28 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 18673 0 0 0 624 4 0 0 15 0 19 0 981158254 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10544656 CPUtime=0.48 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2441 0 0 0 48 0 0 0 15 0 19 0 981158257 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10544656 CPUtime=0.43 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 3123 0 0 0 43 0 0 0 15 0 19 0 981158257 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 981158257 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10797727744 81167 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1726.16 Current children cumulated vsize (KiB) 10544656 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 27140 /proc/meminfo: memFree=10801120/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10544656 CPUtime=1786.25 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 84414 0 1 0 178610 15 0 0 25 0 19 0 981158250 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636164 81173 2253 9 0 2626898 0 [pid=26159/tid=26161] ppid=26157 vsize=10544656 CPUtime=1774.57 cores=1,3,5,7 /proc/26159/task/26161/stat : 26161 (java) R 26157 26159 24181 0 -1 4202560 26946 0 1 0 177453 4 0 0 25 0 19 0 981158251 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 46912505712176 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=26159/tid=26162] ppid=26157 vsize=10544656 CPUtime=0.54 cores=1,3,5,7 /proc/26159/task/26162/stat : 26162 (java) S 26157 26159 24181 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26163] ppid=26157 vsize=10544656 CPUtime=0.49 cores=1,3,5,7 /proc/26159/task/26163/stat : 26163 (java) S 26157 26159 24181 0 -1 4202560 2763 0 0 0 49 0 0 0 15 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26164] ppid=26157 vsize=10544656 CPUtime=0.53 cores=1,3,5,7 /proc/26159/task/26164/stat : 26164 (java) S 26157 26159 24181 0 -1 4202560 4137 0 0 0 53 0 0 0 16 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26165] ppid=26157 vsize=10544656 CPUtime=0.51 cores=1,3,5,7 /proc/26159/task/26165/stat : 26165 (java) S 26157 26159 24181 0 -1 4202560 3212 0 0 0 51 0 0 0 16 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26166] ppid=26157 vsize=10544656 CPUtime=0.46 cores=1,3,5,7 /proc/26159/task/26166/stat : 26166 (java) S 26157 26159 24181 0 -1 4202560 4248 0 0 0 46 0 0 0 15 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26167] ppid=26157 vsize=10544656 CPUtime=0.53 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 4317 0 0 0 53 0 0 0 15 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10544656 CPUtime=0.55 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 5518 0 0 0 55 0 0 0 15 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10544656 CPUtime=0.55 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 4075 0 0 0 55 0 0 0 16 0 19 0 981158253 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10544656 CPUtime=6.47 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 18675 0 0 0 643 4 0 0 15 0 19 0 981158254 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10544656 CPUtime=0.48 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2441 0 0 0 48 0 0 0 15 0 19 0 981158257 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10544656 CPUtime=0.43 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 3123 0 0 0 43 0 0 0 15 0 19 0 981158257 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981158257 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10797727744 81173 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1786.25 Current children cumulated vsize (KiB) 10544656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.1 s] /proc/loadavg: 2.00 2.00 2.00 3/214 27140 /proc/meminfo: memFree=10801096/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10544656 CPUtime=1800.08 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 84421 0 1 0 179993 15 0 0 25 0 19 0 981158250 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636164 81177 2253 9 0 2626898 0 [pid=26159/tid=26161] ppid=26157 vsize=10544656 CPUtime=1788.32 cores=1,3,5,7 /proc/26159/task/26161/stat : 26161 (java) R 26157 26159 24181 0 -1 4202560 26947 0 1 0 178828 4 0 0 25 0 19 0 981158251 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 46912505750859 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=26159/tid=26162] ppid=26157 vsize=10544656 CPUtime=0.54 cores=1,3,5,7 /proc/26159/task/26162/stat : 26162 (java) S 26157 26159 24181 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26163] ppid=26157 vsize=10544656 CPUtime=0.49 cores=1,3,5,7 /proc/26159/task/26163/stat : 26163 (java) S 26157 26159 24181 0 -1 4202560 2763 0 0 0 49 0 0 0 15 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26164] ppid=26157 vsize=10544656 CPUtime=0.53 cores=1,3,5,7 /proc/26159/task/26164/stat : 26164 (java) S 26157 26159 24181 0 -1 4202560 4137 0 0 0 53 0 0 0 15 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26165] ppid=26157 vsize=10544656 CPUtime=0.52 cores=1,3,5,7 /proc/26159/task/26165/stat : 26165 (java) S 26157 26159 24181 0 -1 4202560 3216 0 0 0 52 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26166] ppid=26157 vsize=10544656 CPUtime=0.46 cores=1,3,5,7 /proc/26159/task/26166/stat : 26166 (java) S 26157 26159 24181 0 -1 4202560 4248 0 0 0 46 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26167] ppid=26157 vsize=10544656 CPUtime=0.54 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 4317 0 0 0 54 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10544656 CPUtime=0.55 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 5518 0 0 0 55 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10544656 CPUtime=0.56 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 4075 0 0 0 56 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10544656 CPUtime=6.52 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 18677 0 0 0 648 4 0 0 15 0 19 0 981158254 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10544656 CPUtime=0.48 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2441 0 0 0 48 0 0 0 15 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10544656 CPUtime=0.43 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 3123 0 0 0 43 0 0 0 15 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10544656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.1 s] /proc/loadavg: 2.00 2.00 2.00 3/214 27140 /proc/meminfo: memFree=10801096/32951124 swapFree=67056304/67111528 [pid=26159] ppid=26157 vsize=10544656 CPUtime=1800.08 cores=1,3,5,7 /proc/26159/stat : 26159 (java) S 26157 26159 24181 0 -1 4202496 84421 0 1 0 179993 15 0 0 25 0 19 0 981158250 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/26159/statm: 2636164 81177 2253 9 0 2626898 0 [pid=26159/tid=26161] ppid=26157 vsize=10544656 CPUtime=1788.32 cores=1,3,5,7 /proc/26159/task/26161/stat : 26161 (java) R 26157 26159 24181 0 -1 4202560 26947 0 1 0 178828 4 0 0 25 0 19 0 981158251 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 46912505750859 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=26159/tid=26162] ppid=26157 vsize=10544656 CPUtime=0.54 cores=1,3,5,7 /proc/26159/task/26162/stat : 26162 (java) S 26157 26159 24181 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26163] ppid=26157 vsize=10544656 CPUtime=0.49 cores=1,3,5,7 /proc/26159/task/26163/stat : 26163 (java) S 26157 26159 24181 0 -1 4202560 2763 0 0 0 49 0 0 0 15 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26164] ppid=26157 vsize=10544656 CPUtime=0.53 cores=1,3,5,7 /proc/26159/task/26164/stat : 26164 (java) S 26157 26159 24181 0 -1 4202560 4137 0 0 0 53 0 0 0 15 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26165] ppid=26157 vsize=10544656 CPUtime=0.52 cores=1,3,5,7 /proc/26159/task/26165/stat : 26165 (java) S 26157 26159 24181 0 -1 4202560 3216 0 0 0 52 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 7 0 0 0 [pid=26159/tid=26166] ppid=26157 vsize=10544656 CPUtime=0.46 cores=1,3,5,7 /proc/26159/task/26166/stat : 26166 (java) S 26157 26159 24181 0 -1 4202560 4248 0 0 0 46 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26167] ppid=26157 vsize=10544656 CPUtime=0.54 cores=1,3,5,7 /proc/26159/task/26167/stat : 26167 (java) S 26157 26159 24181 0 -1 4202560 4317 0 0 0 54 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26168] ppid=26157 vsize=10544656 CPUtime=0.55 cores=1,3,5,7 /proc/26159/task/26168/stat : 26168 (java) S 26157 26159 24181 0 -1 4202560 5518 0 0 0 55 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26169] ppid=26157 vsize=10544656 CPUtime=0.56 cores=1,3,5,7 /proc/26159/task/26169/stat : 26169 (java) S 26157 26159 24181 0 -1 4202560 4075 0 0 0 56 0 0 0 16 0 19 0 981158253 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26170] ppid=26157 vsize=10544656 CPUtime=6.52 cores=1,3,5,7 /proc/26159/task/26170/stat : 26170 (java) S 26157 26159 24181 0 -1 4202560 18677 0 0 0 648 4 0 0 15 0 19 0 981158254 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 0 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26171] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26171/stat : 26171 (java) S 26157 26159 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26172] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26172/stat : 26172 (java) S 26157 26159 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981158254 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26173] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26173/stat : 26173 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032219569 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26174] ppid=26157 vsize=10544656 CPUtime=0.48 cores=1,3,5,7 /proc/26159/task/26174/stat : 26174 (java) S 26157 26159 24181 0 -1 4202560 2441 0 0 0 48 0 0 0 15 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 1 0 0 0 [pid=26159/tid=26175] ppid=26157 vsize=10544656 CPUtime=0.43 cores=1,3,5,7 /proc/26159/task/26175/stat : 26175 (java) S 26157 26159 24181 0 -1 4202560 3123 0 0 0 43 0 0 0 15 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26176] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26176/stat : 26176 (java) S 26157 26159 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032211865 0 4 0 16800975 18446604471119604480 0 0 -1 3 0 0 0 [pid=26159/tid=26177] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26177/stat : 26177 (java) S 26157 26159 24181 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981158257 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 [pid=26159/tid=26178] ppid=26157 vsize=10544656 CPUtime=0 cores=1,3,5,7 /proc/26159/task/26178/stat : 26178 (java) S 26157 26159 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981158281 10797727744 81177 33554432000 1073741824 1073778376 140736267420640 18446744073709551615 260032212480 0 4 0 16800975 18446604471119604480 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10544656 Child status: 143 Real time (s): 1796.16 CPU time (s): 1800.21 CPU user time (s): 1800.04 CPU system time (s): 0.173973 CPU usage (%): 100.225 Max. virtual memory (cumulated for all children) (KiB): 10545872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.173973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84544 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= 40897 involuntary context switches= 26298 runsolver used 2.90656 second user time and 6.91295 second system time The end
Begin job on node110 at 2011-06-12 22:07:57 IDJOB=3492311 IDBENCH=78742 IDSOLVER=1982 FILE ID=node110/3492311-1307909277 RUNJOBID= node110-1307907269-25819 PBS_JOBID= 13559603 Free space on /var/tmp= 2876 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492311-1307909277/watcher-3492311-1307909277 -o /var/tmp/evaluation-result-3492311-1307909277/solver-3492311-1307909277 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492311-1307909277.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bbaf7e04a2e14186c5cc5b74d1689780 RANDOM SEED=1163545996 node110.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.830 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.66 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.830 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 : 5332.83 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.83 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.830 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.76 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.830 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.83 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 10097380 kB Buffers: 51168 kB Cached: 20961064 kB SwapCached: 9144 kB Active: 6830592 kB Inactive: 15306116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 10097380 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 324 kB Writeback: 0 kB AnonPages: 1122236 kB Mapped: 21584 kB Slab: 649468 kB PageTables: 6624 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10562024 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2880 MiB End job on node110 at 2011-06-12 22:37:55