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.14 | 1796.07 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo |
| MD5SUM | 3c416dfc7b9a20db215e1b491e013711 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.599908 |
| 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 | 145 |
| 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 | 7458 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 7457 |
| 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.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492591-1307910929.wbo 0.10/0.11 c reading problem ... 0.57/0.30 c ... done. Wall clock time 0.189s. 0.57/0.30 c #vars 5395 0.57/0.30 c #constraints 145 0.57/0.30 c constraints type 0.57/0.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75 0.57/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70 1.16/0.54 c SATISFIABLE 1.16/0.54 c OPTIMIZING... 1.16/0.54 c Got one! Elapsed wall clock time (in seconds):0.431 1.16/0.54 o 16 1.56/0.81 c Got one! Elapsed wall clock time (in seconds):0.702 1.56/0.81 o 13 1.67/0.90 c Got one! Elapsed wall clock time (in seconds):0.795 1.67/0.90 o 12 1.91/1.12 c Got one! Elapsed wall clock time (in seconds):1.014 1.91/1.12 o 6 2.11/1.38 c Got one! Elapsed wall clock time (in seconds):1.277 2.11/1.38 o 3 3.81/3.05 c Got one! Elapsed wall clock time (in seconds):2.941 3.81/3.05 o 1 4.94/4.10 c cleaning 3771 clauses out of 7551 with flag 2001/7551 8.76/7.99 c cleaning 4868 clauses out of 9779 with flag 8000/13550 13.77/12.91 c cleaning 5931 clauses out of 11913 with flag 15002/20552 19.36/18.40 c cleaning 6988 clauses out of 13981 with flag 23001/28551 25.90/24.93 c cleaning 7980 clauses out of 15992 with flag 32000/37550 34.31/33.36 c cleaning 8987 clauses out of 18015 with flag 42003/47553 41.73/40.77 c cleaning 9491 clauses out of 19027 with flag 52002/57552 50.64/49.64 c cleaning 9737 clauses out of 19535 with flag 62001/67551 60.05/59.02 c cleaning 9847 clauses out of 19798 with flag 72001/77551 67.07/66.08 c cleaning 9941 clauses out of 19950 with flag 82000/87550 76.88/75.81 c cleaning 9980 clauses out of 20013 with flag 92004/97554 87.89/86.85 c cleaning 9983 clauses out of 20029 with flag 102000/107550 99.41/98.38 c cleaning 10003 clauses out of 20046 with flag 112000/117550 107.74/106.67 c cleaning 10009 clauses out of 20044 with flag 122001/127551 116.25/115.16 c cleaning 10007 clauses out of 20039 with flag 132005/137555 127.96/126.87 c cleaning 9971 clauses out of 20027 with flag 142000/147550 140.78/139.69 c cleaning 9979 clauses out of 20057 with flag 152001/157551 154.60/153.43 c cleaning 9994 clauses out of 20079 with flag 162002/167552 163.72/162.53 c cleaning 10018 clauses out of 20083 with flag 172000/177550 171.94/170.71 c cleaning 10010 clauses out of 20067 with flag 182002/187552 181.67/180.42 c cleaning 10011 clauses out of 20057 with flag 192002/197552 191.48/190.20 c cleaning 10008 clauses out of 20046 with flag 202002/207552 203.60/202.30 c cleaning 9982 clauses out of 20038 with flag 212002/217552 217.21/215.92 c cleaning 9994 clauses out of 20063 with flag 222009/227559 224.94/223.64 c cleaning 9994 clauses out of 20060 with flag 232000/237550 231.35/230.08 c cleaning 9998 clauses out of 20066 with flag 242000/247550 239.97/238.62 c cleaning 10000 clauses out of 20068 with flag 252000/257550 246.98/245.60 c cleaning 9975 clauses out of 20069 with flag 262001/267551 255.99/254.62 c cleaning 10012 clauses out of 20094 with flag 272001/277551 266.21/264.89 c cleaning 10002 clauses out of 20081 with flag 282000/287550 277.22/275.87 c cleaning 9988 clauses out of 20081 with flag 292002/297552 289.64/288.22 c cleaning 10024 clauses out of 20092 with flag 302001/307551 303.46/302.08 c cleaning 10005 clauses out of 20067 with flag 312000/317550 312.48/311.01 c cleaning 10014 clauses out of 20063 with flag 322001/327551 324.70/323.26 c cleaning 10010 clauses out of 20048 with flag 332000/337550 335.93/334.42 c cleaning 9990 clauses out of 20039 with flag 342001/347551 345.75/344.26 c cleaning 10003 clauses out of 20049 with flag 352001/357551 358.46/356.91 c cleaning 10000 clauses out of 20046 with flag 362001/367551 368.68/367.19 c cleaning 9983 clauses out of 20048 with flag 372003/377553 380.89/379.35 c cleaning 10013 clauses out of 20065 with flag 382003/387553 389.20/387.61 c cleaning 10004 clauses out of 20050 with flag 392001/397551 397.72/396.14 c cleaning 9988 clauses out of 20045 with flag 402000/407550 406.74/405.11 c cleaning 9995 clauses out of 20057 with flag 412000/417550 418.26/416.66 c cleaning 10002 clauses out of 20064 with flag 422002/427552 430.77/429.13 c cleaning 10011 clauses out of 20061 with flag 432001/437551 445.79/444.13 c cleaning 10006 clauses out of 20051 with flag 442002/447552 455.01/453.30 c cleaning 9995 clauses out of 20044 with flag 452001/457551 464.63/462.95 c cleaning 9999 clauses out of 20049 with flag 462001/467551 475.55/473.81 c cleaning 9994 clauses out of 20051 with flag 472002/477552 486.77/485.08 c cleaning 9993 clauses out of 20057 with flag 482002/487552 498.90/497.15 c cleaning 9992 clauses out of 20065 with flag 492003/497553 512.02/510.20 c cleaning 9996 clauses out of 20074 with flag 502004/507554 524.45/522.60 c cleaning 10013 clauses out of 20090 with flag 512016/517566 533.17/531.33 c cleaning 9983 clauses out of 20074 with flag 522013/527563 544.19/542.35 c cleaning 9987 clauses out of 20079 with flag 532001/537551 555.50/553.67 c cleaning 9970 clauses out of 20091 with flag 542000/547550 567.33/565.43 c cleaning 10008 clauses out of 20125 with flag 552004/557554 580.25/578.32 c cleaning 9978 clauses out of 20113 with flag 562000/567550 592.98/591.02 c cleaning 10004 clauses out of 20135 with flag 572000/577550 608.30/606.36 c cleaning 10004 clauses out of 20132 with flag 582001/587551 615.72/613.77 c cleaning 10040 clauses out of 20128 with flag 592001/597551 624.24/622.28 c cleaning 10029 clauses out of 20091 with flag 602004/607554 634.75/632.71 c cleaning 10007 clauses out of 20059 with flag 612001/617551 647.78/645.77 c cleaning 9968 clauses out of 20051 with flag 622000/627550 661.52/659.49 c cleaning 9982 clauses out of 20083 with flag 632000/637550 676.03/673.99 c cleaning 10031 clauses out of 20101 with flag 642000/647550 686.36/684.20 c cleaning 10016 clauses out of 20071 with flag 652001/657551 696.57/694.49 c cleaning 10008 clauses out of 20054 with flag 662000/667550 705.49/703.36 c cleaning 10001 clauses out of 20046 with flag 672000/677550 710.81/708.61 c cleaning 10002 clauses out of 20047 with flag 682002/687552 717.23/715.08 c cleaning 10000 clauses out of 20045 with flag 692002/697552 722.94/720.70 c cleaning 9998 clauses out of 20043 with flag 702000/707550 729.05/726.84 c cleaning 10001 clauses out of 20046 with flag 712001/717551 737.86/735.63 c cleaning 10000 clauses out of 20046 with flag 722002/727552 748.18/745.94 c cleaning 10007 clauses out of 20047 with flag 732003/737553 757.80/755.54 c cleaning 9992 clauses out of 20037 with flag 742000/747550 768.31/766.07 c cleaning 9989 clauses out of 20046 with flag 752001/757551 779.83/777.60 c cleaning 10008 clauses out of 20056 with flag 762000/767550 789.45/787.17 c cleaning 10008 clauses out of 20049 with flag 772001/777551 797.26/794.90 c cleaning 10000 clauses out of 20043 with flag 782003/787553 811.07/808.72 c cleaning 9960 clauses out of 20040 with flag 792000/797550 831.70/829.34 c cleaning 10028 clauses out of 20080 with flag 802000/807550 851.54/849.18 c cleaning 10013 clauses out of 20052 with flag 812000/817550 870.87/868.49 c cleaning 9998 clauses out of 20041 with flag 822002/827552 887.29/884.85 c cleaning 9978 clauses out of 20041 with flag 832000/837550 905.52/903.03 c cleaning 10020 clauses out of 20066 with flag 842003/847553 922.15/919.61 c cleaning 9954 clauses out of 20043 with flag 852000/857550 939.67/937.19 c cleaning 9986 clauses out of 20090 with flag 862001/867551 960.49/957.93 c cleaning 10037 clauses out of 20104 with flag 872001/877551 973.82/971.23 c cleaning 10011 clauses out of 20068 with flag 882002/887552 982.14/979.52 c cleaning 10010 clauses out of 20055 with flag 892000/897550 991.46/988.90 c cleaning 10010 clauses out of 20052 with flag 902007/907557 1002.07/999.41 c cleaning 9998 clauses out of 20036 with flag 912001/917551 1013.79/1011.14 c cleaning 9975 clauses out of 20037 with flag 922000/927550 1027.21/1024.60 c cleaning 10002 clauses out of 20062 with flag 932000/937550 1035.82/1033.13 c cleaning 9996 clauses out of 20061 with flag 942001/947551 1045.34/1042.61 c cleaning 9995 clauses out of 20067 with flag 952003/957553 1054.86/1052.15 c cleaning 9983 clauses out of 20069 with flag 962000/967550 1065.19/1062.43 c cleaning 9984 clauses out of 20087 with flag 972001/977551 1082.71/1079.99 c cleaning 9986 clauses out of 20102 with flag 982000/987550 1101.94/1099.14 c cleaning 9983 clauses out of 20120 with flag 992004/997554 1118.28/1115.48 c cleaning 9999 clauses out of 20133 with flag 1002000/1007550 1133.60/1130.73 c cleaning 10022 clauses out of 20136 with flag 1012002/1017552 1144.33/1141.40 c cleaning 10009 clauses out of 20113 with flag 1022001/1027551 1154.75/1151.80 c cleaning 9992 clauses out of 20103 with flag 1032000/1037550 1166.86/1163.94 c cleaning 10006 clauses out of 20111 with flag 1042000/1047550 1177.38/1174.48 c cleaning 10005 clauses out of 20106 with flag 1052001/1057551 1189.80/1186.80 c cleaning 10002 clauses out of 20101 with flag 1062001/1067551 1202.12/1199.18 c cleaning 9994 clauses out of 20100 with flag 1072002/1077552 1214.04/1211.04 c cleaning 10033 clauses out of 20105 with flag 1082001/1087551 1227.27/1224.22 c cleaning 10014 clauses out of 20072 with flag 1092001/1097551 1240.59/1237.58 c cleaning 10008 clauses out of 20060 with flag 1102003/1107553 1253.60/1250.53 c cleaning 10002 clauses out of 20049 with flag 1112000/1117550 1267.23/1264.15 c cleaning 9997 clauses out of 20049 with flag 1122002/1127552 1281.75/1278.61 c cleaning 10001 clauses out of 20050 with flag 1132000/1137550 1295.47/1292.40 c cleaning 9998 clauses out of 20050 with flag 1142001/1147551 1310.07/1306.97 c cleaning 10003 clauses out of 20051 with flag 1152000/1157550 1323.70/1320.58 c cleaning 10001 clauses out of 20048 with flag 1162000/1167550 1337.22/1334.00 c cleaning 10002 clauses out of 20049 with flag 1172002/1177552 1348.04/1344.83 c cleaning 10002 clauses out of 20047 with flag 1182002/1187552 1357.46/1354.22 c cleaning 9998 clauses out of 20045 with flag 1192002/1197552 1369.98/1366.70 c cleaning 10004 clauses out of 20047 with flag 1202002/1207552 1380.70/1377.42 c cleaning 10002 clauses out of 20041 with flag 1212000/1217550 1391.32/1388.00 c cleaning 9993 clauses out of 20043 with flag 1222004/1227554 1404.04/1400.70 c cleaning 10003 clauses out of 20048 with flag 1232002/1237552 1414.26/1410.93 c cleaning 10001 clauses out of 20043 with flag 1242000/1247550 1425.08/1421.73 c cleaning 9988 clauses out of 20043 with flag 1252001/1257551 1436.60/1433.21 c cleaning 10006 clauses out of 20056 with flag 1262002/1267552 1447.90/1444.58 c cleaning 10003 clauses out of 20051 with flag 1272003/1277553 1459.51/1456.15 c cleaning 10000 clauses out of 20045 with flag 1282000/1287550 1471.02/1467.62 c cleaning 10000 clauses out of 20045 with flag 1292000/1297550 1482.95/1479.53 c cleaning 10003 clauses out of 20047 with flag 1302002/1307552 1493.66/1490.28 c cleaning 9993 clauses out of 20042 with flag 1312000/1317550 1503.77/1500.40 c cleaning 10020 clauses out of 20050 with flag 1322001/1327551 1511.19/1507.72 c cleaning 9979 clauses out of 20030 with flag 1332001/1337551 1520.51/1517.01 c cleaning 10009 clauses out of 20050 with flag 1342000/1347550 1530.13/1526.69 c cleaning 10000 clauses out of 20041 with flag 1352000/1357550 1541.15/1537.61 c cleaning 9983 clauses out of 20041 with flag 1362000/1367550 1556.48/1552.92 c cleaning 9989 clauses out of 20058 with flag 1372000/1377550 1566.60/1563.09 c cleaning 10003 clauses out of 20070 with flag 1382001/1387551 1573.41/1569.87 c cleaning 9997 clauses out of 20066 with flag 1392000/1397550 1581.53/1577.93 c cleaning 9998 clauses out of 20069 with flag 1402000/1407550 1590.95/1587.33 c cleaning 9989 clauses out of 20074 with flag 1412003/1417553 1605.07/1601.46 c cleaning 10013 clauses out of 20083 with flag 1422001/1427551 1620.50/1616.87 c cleaning 9972 clauses out of 20084 with flag 1432015/1437565 1637.63/1633.94 c cleaning 10000 clauses out of 20097 with flag 1442000/1447550 1652.26/1648.57 c cleaning 10047 clauses out of 20097 with flag 1452000/1457550 1664.48/1660.76 c cleaning 9999 clauses out of 20052 with flag 1462002/1467552 1678.02/1674.25 c cleaning 10001 clauses out of 20051 with flag 1472000/1477550 1692.24/1688.41 c cleaning 10002 clauses out of 20053 with flag 1482003/1487553 1707.35/1703.59 c cleaning 9997 clauses out of 20048 with flag 1492000/1497550 1720.27/1716.49 c cleaning 10001 clauses out of 20052 with flag 1502001/1507551 1735.79/1731.99 c cleaning 9999 clauses out of 20051 with flag 1512001/1517551 1746.41/1742.56 c cleaning 10001 clauses out of 20051 with flag 1522000/1527550 1755.84/1751.99 c cleaning 10000 clauses out of 20052 with flag 1532002/1537552 1766.25/1762.31 c cleaning 10002 clauses out of 20053 with flag 1542003/1547553 1774.57/1770.66 c cleaning 10001 clauses out of 20049 with flag 1552001/1557551 1783.69/1779.79 c cleaning 9990 clauses out of 20050 with flag 1562003/1567553 1792.40/1788.43 c cleaning 10005 clauses out of 20058 with flag 1572001/1577551 1800.01/1796.01 c starts : 214 1800.01/1796.01 c conflicts : 1585605 1800.01/1796.01 c decisions : 2816448 1800.01/1796.01 c propagations : 78118214 1800.01/1796.01 c inspects : 2121962303 1800.01/1796.01 c shortcuts : 0 1800.01/1796.01 c learnt literals : 0 1800.01/1796.01 c learnt binary clauses : 0 1800.01/1796.01 c learnt ternary clauses : 0 1800.01/1796.01 c learnt constraints : 1585604 1800.01/1796.01 c ignored constraints : 0 1800.01/1796.01 c root simplifications : 0 1800.01/1796.01 c removed literals (reason simplification) : 7451082 1800.01/1796.01 c reason swapping (by a shorter reason) : 0 1800.01/1796.01 c Calls to reduceDB : 159 1800.01/1796.01 c number of reductions to clauses (during analyze) : 0 1800.01/1796.01 c number of learned constraints concerned by reduction : 0 1800.01/1796.01 c number of learning phase by resolution : 0 1800.01/1796.01 c number of learning phase by cutting planes : 0 1800.01/1796.01 c speed (assignments/second) : 43569.36399098252 1800.01/1796.01 c non guided choices 222593 1800.01/1796.02 c learnt constraints type 1800.01/1796.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18115 1800.01/1796.02 c constraints type 1800.01/1796.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75 1800.01/1796.02 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 1800.01/1796.02 s SATISFIABLE 1800.01/1796.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1800.01/1796.04 c objective function=1 1800.01/1796.04 c Total wall clock time (in seconds): 1795.931
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492591-1307910929/watcher-3492591-1307910929 -o /var/tmp/evaluation-result-3492591-1307910929/solver-3492591-1307910929 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492591-1307910929.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.01 1.99 2/195 5987 /proc/meminfo: memFree=1219144/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/5987/stat : 5987 (java) R 5985 5987 3459 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 981323646 23580672 696 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 215983630225 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/5987/statm: 5757 697 514 9 0 124 0 [startup+0.0569729 s] /proc/loadavg: 2.00 2.01 1.99 2/195 5987 /proc/meminfo: memFree=1219144/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 11505 0 1 0 3 1 0 0 25 0 13 0 981323646 10718838784 11200 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2616904 11200 1685 9 0 2607652 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.100906 s] /proc/loadavg: 2.00 2.01 1.99 2/195 5987 /proc/meminfo: memFree=1219144/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10540148 CPUtime=0.1 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 13034 0 1 0 8 2 0 0 25 0 18 0 981323646 10793111552 12715 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2635037 12715 2092 9 0 2625771 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540148 [startup+0.300875 s] /proc/loadavg: 2.00 2.01 1.99 2/195 5987 /proc/meminfo: memFree=1219144/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10544712 CPUtime=0.57 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 18662 0 1 0 54 3 0 0 25 0 18 0 981323646 10797785088 17594 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636178 17595 2209 9 0 2626912 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 10544712 [startup+0.700799 s] /proc/loadavg: 2.00 2.01 1.99 2/195 5987 /proc/meminfo: memFree=1219144/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=1.46 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 19617 0 1 0 143 3 0 0 25 0 19 0 981323646 10799120384 18436 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 18436 2231 9 0 2627238 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 10546016 [startup+1.50066 s] /proc/loadavg: 2.00 2.01 1.99 3/214 6006 /proc/meminfo: memFree=1151880/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=2.31 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 21023 0 1 0 227 4 0 0 25 0 19 0 981323646 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 19841 2233 9 0 2627238 0 [pid=5987/tid=5989] ppid=5985 vsize=10546016 CPUtime=1.48 cores=1,3,5,7 /proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3459 0 -1 4202560 15527 0 1 0 146 2 0 0 25 0 19 0 981323647 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 46912505895781 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=5987/tid=5990] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5991] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5992] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5993] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5994] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981323649 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981323650 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 981323650 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 19841 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.42 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 1740 0 0 0 42 0 0 0 15 0 19 0 981323652 10799120384 19842 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.38 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2593 0 0 0 38 0 0 0 15 0 19 0 981323652 10799120384 19842 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 19842 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 19842 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 19842 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 10546016 [startup+3.10138 s] /proc/loadavg: 2.00 2.01 1.99 3/214 6006 /proc/meminfo: memFree=1144936/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=3.91 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 22949 0 1 0 387 4 0 0 25 0 19 0 981323646 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 21767 2233 9 0 2627238 0 [pid=5987/tid=5989] ppid=5985 vsize=10546016 CPUtime=3.09 cores=1,3,5,7 /proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3459 0 -1 4202560 17453 0 1 0 306 3 0 0 25 0 19 0 981323647 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 46912505722279 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=5987/tid=5990] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5991] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5992] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5993] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5994] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323648 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981323649 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981323650 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 981323650 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.42 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 1740 0 0 0 42 0 0 0 15 0 19 0 981323652 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.38 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2593 0 0 0 38 0 0 0 15 0 19 0 981323652 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 21767 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 10546016 [startup+6.30083 s] /proc/loadavg: 2.00 2.01 1.99 3/214 6006 /proc/meminfo: memFree=1113292/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=7.16 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 29697 0 1 0 711 5 0 0 25 0 19 0 981323646 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 28490 2259 9 0 2627238 0 [pid=5987/tid=5989] ppid=5985 vsize=10546016 CPUtime=6.25 cores=1,3,5,7 /proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3459 0 -1 4202560 19168 0 1 0 622 3 0 0 25 0 19 0 981323647 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 46912505329167 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=5987/tid=5990] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5991] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5992] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5993] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5994] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3459 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 889 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 633 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 982 0 0 0 0 0 0 0 18 0 19 0 981323648 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=0.01 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 2477 0 0 0 1 0 0 0 16 0 19 0 981323649 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.46 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 1746 0 0 0 46 0 0 0 15 0 19 0 981323652 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.4 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2602 0 0 0 40 0 0 0 16 0 19 0 981323652 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 28490 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.16 Current children cumulated vsize (KiB) 10546016 [startup+12.7007 s] ################ # More data... # ################ [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0.48 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 3008 0 0 0 48 0 0 0 16 0 19 0 981323648 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0.49 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 4340 0 0 0 49 0 0 0 15 0 19 0 981323648 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0.49 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 6331 0 0 0 48 1 0 0 16 0 19 0 981323648 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=5.55 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 19029 0 0 0 552 3 0 0 15 0 19 0 981323649 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.59 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 3020 0 0 0 59 0 0 0 15 0 19 0 981323652 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.4 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2603 0 0 0 40 0 0 0 15 0 19 0 981323652 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 88922 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1666.11 Current children cumulated vsize (KiB) 10546016 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 6123 /proc/meminfo: memFree=1138036/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=1726.19 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 92021 0 1 0 172603 16 0 0 25 0 19 0 981323646 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 89579 2260 9 0 2627238 0 [pid=5987/tid=5989] ppid=5985 vsize=10546016 CPUtime=1715.35 cores=1,3,5,7 /proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3459 0 -1 4202560 30076 0 1 0 171531 4 0 0 25 0 19 0 981323647 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 46912505727440 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5987/tid=5990] ppid=5985 vsize=10546016 CPUtime=0.51 cores=1,3,5,7 /proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3459 0 -1 4202560 6231 0 0 0 51 0 0 0 15 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5991] ppid=5985 vsize=10546016 CPUtime=0.52 cores=1,3,5,7 /proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3459 0 -1 4202560 4904 0 0 0 52 0 0 0 15 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5992] ppid=5985 vsize=10546016 CPUtime=0.52 cores=1,3,5,7 /proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3459 0 -1 4202560 4473 0 0 0 52 0 0 0 16 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5993] ppid=5985 vsize=10546016 CPUtime=0.51 cores=1,3,5,7 /proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3459 0 -1 4202560 3097 0 0 0 51 0 0 0 16 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5994] ppid=5985 vsize=10546016 CPUtime=0.4 cores=1,3,5,7 /proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3459 0 -1 4202560 3001 0 0 0 40 0 0 0 16 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0.49 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 3008 0 0 0 49 0 0 0 16 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0.5 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 4340 0 0 0 50 0 0 0 15 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0.51 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 6331 0 0 0 50 1 0 0 15 0 19 0 981323648 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=5.75 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 19686 0 0 0 571 4 0 0 15 0 19 0 981323649 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.59 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 3020 0 0 0 59 0 0 0 15 0 19 0 981323652 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.4 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2603 0 0 0 40 0 0 0 15 0 19 0 981323652 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 89579 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1726.19 Current children cumulated vsize (KiB) 10546016 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 6125 /proc/meminfo: memFree=1137580/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=1786.3 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 92049 0 1 0 178614 16 0 0 25 0 19 0 981323646 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 89593 2260 9 0 2627238 0 [pid=5987/tid=5989] ppid=5985 vsize=10546016 CPUtime=1775.03 cores=1,3,5,7 /proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3459 0 -1 4202560 30082 0 1 0 177499 4 0 0 25 0 19 0 981323647 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 46912505777256 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5987/tid=5990] ppid=5985 vsize=10546016 CPUtime=0.52 cores=1,3,5,7 /proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3459 0 -1 4202560 6233 0 0 0 52 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5991] ppid=5985 vsize=10546016 CPUtime=0.55 cores=1,3,5,7 /proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3459 0 -1 4202560 4908 0 0 0 55 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5992] ppid=5985 vsize=10546016 CPUtime=0.54 cores=1,3,5,7 /proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3459 0 -1 4202560 4473 0 0 0 54 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5993] ppid=5985 vsize=10546016 CPUtime=0.53 cores=1,3,5,7 /proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3459 0 -1 4202560 3098 0 0 0 53 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5994] ppid=5985 vsize=10546016 CPUtime=0.43 cores=1,3,5,7 /proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3459 0 -1 4202560 3005 0 0 0 43 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0.5 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 3009 0 0 0 50 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0.53 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 4341 0 0 0 53 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0.53 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 6332 0 0 0 52 1 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=6.02 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 19690 0 0 0 598 4 0 0 15 0 19 0 981323649 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.59 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 3020 0 0 0 59 0 0 0 15 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.4 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2603 0 0 0 40 0 0 0 15 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1786.3 Current children cumulated vsize (KiB) 10546016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796 s] /proc/loadavg: 2.00 2.00 2.00 3/214 6125 /proc/meminfo: memFree=1137560/32950940 swapFree=67053420/67111528 [pid=5987] ppid=5985 vsize=10546016 CPUtime=1800.01 cores=1,3,5,7 /proc/5987/stat : 5987 (java) S 5985 5987 3459 0 -1 4202496 92052 0 1 0 179985 16 0 0 25 0 19 0 981323646 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/5987/statm: 2636504 89593 2260 9 0 2627238 0 [pid=5987/tid=5989] ppid=5985 vsize=10546016 CPUtime=1788.69 cores=1,3,5,7 /proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3459 0 -1 4202560 30083 0 1 0 178865 4 0 0 25 0 19 0 981323647 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 46912505727560 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=5987/tid=5990] ppid=5985 vsize=10546016 CPUtime=0.52 cores=1,3,5,7 /proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3459 0 -1 4202560 6233 0 0 0 52 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5991] ppid=5985 vsize=10546016 CPUtime=0.55 cores=1,3,5,7 /proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3459 0 -1 4202560 4908 0 0 0 55 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5992] ppid=5985 vsize=10546016 CPUtime=0.54 cores=1,3,5,7 /proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3459 0 -1 4202560 4473 0 0 0 54 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5993] ppid=5985 vsize=10546016 CPUtime=0.53 cores=1,3,5,7 /proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3459 0 -1 4202560 3098 0 0 0 53 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=5994] ppid=5985 vsize=10546016 CPUtime=0.43 cores=1,3,5,7 /proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3459 0 -1 4202560 3005 0 0 0 43 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=5995] ppid=5985 vsize=10546016 CPUtime=0.5 cores=1,3,5,7 /proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3459 0 -1 4202560 3009 0 0 0 50 0 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5996] ppid=5985 vsize=10546016 CPUtime=0.53 cores=1,3,5,7 /proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3459 0 -1 4202560 4341 0 0 0 53 0 0 0 16 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5997] ppid=5985 vsize=10546016 CPUtime=0.53 cores=1,3,5,7 /proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3459 0 -1 4202560 6332 0 0 0 52 1 0 0 15 0 19 0 981323648 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 7 0 0 0 [pid=5987/tid=5998] ppid=5985 vsize=10546016 CPUtime=6.07 cores=1,3,5,7 /proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3459 0 -1 4202560 19690 0 0 0 603 4 0 0 15 0 19 0 981323649 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 0 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=5999] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6000] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3459 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981323650 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6001] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000416177 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6002] ppid=5985 vsize=10546016 CPUtime=0.59 cores=1,3,5,7 /proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3459 0 -1 4202560 3020 0 0 0 59 0 0 0 15 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 [pid=5987/tid=6003] ppid=5985 vsize=10546016 CPUtime=0.4 cores=1,3,5,7 /proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3459 0 -1 4202560 2603 0 0 0 40 0 0 0 15 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6004] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000408473 0 4 0 16800975 18446604464845002816 0 0 -1 5 0 0 0 [pid=5987/tid=6005] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3459 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 981323652 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 3 0 0 0 [pid=5987/tid=6006] ppid=5985 vsize=10546016 CPUtime=0 cores=1,3,5,7 /proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323677 10799120384 89593 33554432000 1073741824 1073778376 140737151367600 18446744073709551615 216000409088 0 4 0 16800975 18446604464845002816 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 10546016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1796.07 CPU time (s): 1800.14 CPU user time (s): 1799.96 CPU system time (s): 0.183972 CPU usage (%): 100.227 Max. virtual memory (cumulated for all children) (KiB): 10546016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.183972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92167 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= 40587 involuntary context switches= 43817 runsolver used 3.06453 second user time and 6.75597 second system time The end
Begin job on node117 at 2011-06-12 22:35:29 IDJOB=3492591 IDBENCH=79179 IDSOLVER=1982 FILE ID=node117/3492591-1307910929 RUNJOBID= node117-1307907339-4520 PBS_JOBID= 13559588 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492591-1307910929/watcher-3492591-1307910929 -o /var/tmp/evaluation-result-3492591-1307910929/solver-3492591-1307910929 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492591-1307910929.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c416dfc7b9a20db215e1b491e013711 RANDOM SEED=71563735 node117.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.75 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.849 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.74 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 1219680 kB Buffers: 65008 kB Cached: 30290088 kB SwapCached: 10872 kB Active: 15153152 kB Inactive: 15630920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 1219680 kB SwapTotal: 67111528 kB SwapFree: 67053420 kB Dirty: 476 kB Writeback: 0 kB AnonPages: 425840 kB Mapped: 21276 kB Slab: 882656 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 10548804 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= 2884 MiB End job on node117 at 2011-06-12 23:05:27