Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 1601 | 1800.31 | 935.763 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1601 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2754 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 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 phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No 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-3454480-1307643043.opb 0.10/0.11 c reading problem ... 0.84/0.43 c ... done. Wall clock time 0.314s. 0.84/0.43 c #vars 7195 0.84/0.43 c #constraints 958 0.84/0.43 c constraints type 0.84/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 0.84/0.43 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 0.84/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 900 0.84/0.43 c constraints type 0.84/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29 0.84/0.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 29 0.84/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 900 6.68/2.73 c cleaning 2497 clauses out of 5001 with flag 5001/5001 11.77/5.25 c cleaning 4259 clauses out of 8526 with flag 11023/11023 21.07/9.88 c cleaning 5623 clauses out of 11252 with flag 18008/18008 28.40/13.41 c cleaning 6809 clauses out of 13629 with flag 26008/26008 44.22/21.08 c cleaning 7898 clauses out of 15821 with flag 35009/35009 56.95/27.50 c And the winner is Resolution 57.25/27.65 c SATISFIABLE 57.25/27.65 c OPTIMIZING... 57.25/27.65 c Got one! Elapsed wall clock time (in seconds):27.534 57.25/27.65 o 5131 58.03/28.02 c And the winner is Resolution 58.26/28.26 c Got one! Elapsed wall clock time (in seconds):28.146 58.26/28.26 o 1655 61.39/29.84 c And the winner is Resolution 61.75/30.27 c Got one! Elapsed wall clock time (in seconds):30.159 61.75/30.27 o 1601 63.63/31.21 c cleaning 11320 clauses out of 22659 with flag 2001/49746 73.56/36.21 c cleaning 8656 clauses out of 17338 with flag 8000/55745 82.15/40.53 c cleaning 7839 clauses out of 15682 with flag 15000/62745 91.00/45.06 c cleaning 7918 clauses out of 15843 with flag 23000/70745 100.26/49.77 c cleaning 8455 clauses out of 16925 with flag 32000/79745 109.93/54.64 c cleaning 9230 clauses out of 18470 with flag 42000/89745 120.59/60.02 c cleaning 9612 clauses out of 19240 with flag 52000/99745 130.38/65.01 c cleaning 9803 clauses out of 19629 with flag 62001/109746 140.64/70.26 c cleaning 9903 clauses out of 19827 with flag 72002/119747 150.49/75.25 c cleaning 9951 clauses out of 19922 with flag 82000/129745 160.93/80.51 c cleaning 9980 clauses out of 19971 with flag 92000/139745 170.91/85.66 c cleaning 9986 clauses out of 19991 with flag 102000/149745 181.15/90.80 c cleaning 9988 clauses out of 20006 with flag 112001/159746 189.98/95.34 c cleaning 10004 clauses out of 20018 with flag 122001/169746 198.81/99.84 c cleaning 9996 clauses out of 20013 with flag 132000/179745 209.54/105.36 c cleaning 9994 clauses out of 20017 with flag 142000/189745 218.96/110.12 c cleaning 10004 clauses out of 20023 with flag 152000/199745 229.17/115.37 c cleaning 10002 clauses out of 20019 with flag 162000/209745 239.78/120.71 c cleaning 10004 clauses out of 20017 with flag 172000/219745 251.30/126.69 c cleaning 9987 clauses out of 20013 with flag 182000/229745 262.12/132.14 c cleaning 10002 clauses out of 20026 with flag 192000/239745 274.32/138.32 c cleaning 9989 clauses out of 20024 with flag 202000/249745 286.31/144.44 c cleaning 10009 clauses out of 20036 with flag 212001/259746 296.99/149.98 c cleaning 10004 clauses out of 20026 with flag 222000/269745 307.78/155.46 c cleaning 10008 clauses out of 20024 with flag 232002/279747 317.79/160.51 c cleaning 10001 clauses out of 20014 with flag 242000/289745 326.16/164.83 c cleaning 9999 clauses out of 20014 with flag 252001/299746 335.63/169.79 c cleaning 10001 clauses out of 20014 with flag 262000/309745 345.40/174.71 c cleaning 9997 clauses out of 20013 with flag 272000/319745 354.39/179.35 c cleaning 9999 clauses out of 20016 with flag 282000/329745 363.96/184.26 c cleaning 10002 clauses out of 20018 with flag 292001/339746 373.21/189.06 c cleaning 10003 clauses out of 20015 with flag 302000/349745 382.57/193.83 c cleaning 10001 clauses out of 20013 with flag 312001/359746 392.54/198.96 c cleaning 9996 clauses out of 20011 with flag 322000/369745 403.10/204.36 c cleaning 9997 clauses out of 20015 with flag 332000/379745 412.73/209.39 c cleaning 10001 clauses out of 20023 with flag 342005/389750 422.28/214.29 c cleaning 10006 clauses out of 20019 with flag 352002/399747 433.04/219.79 c cleaning 9999 clauses out of 20011 with flag 362000/409745 442.20/224.46 c cleaning 9994 clauses out of 20012 with flag 372000/419745 452.00/229.56 c cleaning 10003 clauses out of 20018 with flag 382000/429745 461.15/234.23 c cleaning 10000 clauses out of 20015 with flag 392000/439745 470.08/238.80 c cleaning 9998 clauses out of 20015 with flag 402000/449745 479.81/243.89 c cleaning 10003 clauses out of 20020 with flag 412003/459748 488.20/248.29 c cleaning 10002 clauses out of 20015 with flag 422001/469746 497.33/252.93 c cleaning 10000 clauses out of 20012 with flag 432000/479745 506.87/257.83 c cleaning 10000 clauses out of 20013 with flag 442001/489746 517.79/263.41 c cleaning 10003 clauses out of 20015 with flag 452003/499748 528.37/268.95 c cleaning 9997 clauses out of 20009 with flag 462000/509745 539.29/274.52 c cleaning 9996 clauses out of 20012 with flag 472000/519745 549.40/279.74 c cleaning 10000 clauses out of 20019 with flag 482003/529748 560.32/285.33 c cleaning 9995 clauses out of 20016 with flag 492000/539745 571.27/291.01 c cleaning 10004 clauses out of 20022 with flag 502001/549746 582.17/296.70 c cleaning 10002 clauses out of 20020 with flag 512003/559748 592.67/302.06 c cleaning 10000 clauses out of 20015 with flag 522000/569745 602.77/307.26 c cleaning 9998 clauses out of 20015 with flag 532000/579745 612.52/312.37 c cleaning 9999 clauses out of 20017 with flag 542000/589745 622.60/317.59 c cleaning 10003 clauses out of 20018 with flag 552000/599745 633.52/323.17 c cleaning 10001 clauses out of 20015 with flag 562000/609745 644.02/328.50 c cleaning 9999 clauses out of 20014 with flag 572000/619745 654.15/333.85 c cleaning 10003 clauses out of 20020 with flag 582005/629750 664.26/339.03 c cleaning 10001 clauses out of 20013 with flag 592001/639746 674.15/344.20 c cleaning 9998 clauses out of 20012 with flag 602001/649746 683.66/349.07 c cleaning 10000 clauses out of 20013 with flag 612000/659745 693.97/354.43 c cleaning 9996 clauses out of 20013 with flag 622000/669745 704.06/359.63 c cleaning 10000 clauses out of 20017 with flag 632000/679745 713.73/364.61 c cleaning 9999 clauses out of 20017 with flag 642000/689745 723.21/369.51 c cleaning 10000 clauses out of 20018 with flag 652000/699745 733.91/375.11 c cleaning 10003 clauses out of 20019 with flag 662001/709746 744.38/380.58 c cleaning 9997 clauses out of 20017 with flag 672002/719747 755.04/386.01 c cleaning 10006 clauses out of 20024 with flag 682006/729751 766.48/391.92 c cleaning 9995 clauses out of 20013 with flag 692001/739746 778.35/398.19 c cleaning 10004 clauses out of 20020 with flag 702003/749748 789.78/404.06 c cleaning 9997 clauses out of 20013 with flag 712000/759745 800.63/409.63 c cleaning 10001 clauses out of 20016 with flag 722000/769745 811.67/415.31 c cleaning 10000 clauses out of 20015 with flag 732000/779745 822.12/420.88 c cleaning 10000 clauses out of 20015 with flag 742000/789745 832.35/426.16 c cleaning 9999 clauses out of 20016 with flag 752001/799746 841.99/431.13 c cleaning 10000 clauses out of 20017 with flag 762001/809746 851.61/436.11 c cleaning 9995 clauses out of 20016 with flag 772000/819745 861.45/441.38 c cleaning 10001 clauses out of 20022 with flag 782001/829746 870.47/446.09 c cleaning 10000 clauses out of 20020 with flag 792000/839745 880.68/451.30 c cleaning 9998 clauses out of 20020 with flag 802000/849745 890.51/456.43 c cleaning 10007 clauses out of 20022 with flag 812000/859745 900.93/461.91 c cleaning 10002 clauses out of 20018 with flag 822003/869748 909.93/466.68 c cleaning 9994 clauses out of 20013 with flag 832000/879745 919.33/471.51 c cleaning 9995 clauses out of 20019 with flag 842000/889745 930.14/477.19 c cleaning 10008 clauses out of 20030 with flag 852006/899751 940.96/482.88 c cleaning 9998 clauses out of 20016 with flag 862000/909745 950.76/487.97 c cleaning 10004 clauses out of 20018 with flag 872000/919745 961.96/493.71 c cleaning 10004 clauses out of 20014 with flag 882000/929745 971.55/498.77 c cleaning 10000 clauses out of 20015 with flag 892005/939750 982.14/504.31 c cleaning 10001 clauses out of 20010 with flag 902000/949745 991.93/509.45 c cleaning 9998 clauses out of 20009 with flag 912000/959745 1002.33/514.82 c cleaning 10000 clauses out of 20012 with flag 922001/969746 1012.71/520.21 c cleaning 10000 clauses out of 20012 with flag 932001/979746 1022.86/525.68 c cleaning 9999 clauses out of 20011 with flag 942000/989745 1032.44/530.66 c cleaning 9995 clauses out of 20012 with flag 952000/999745 1042.24/535.76 c cleaning 9999 clauses out of 20017 with flag 962000/1009745 1052.24/540.98 c cleaning 9998 clauses out of 20020 with flag 972002/1019747 1063.22/546.71 c cleaning 9998 clauses out of 20021 with flag 982001/1029746 1073.60/552.13 c cleaning 9996 clauses out of 20022 with flag 992000/1039745 1083.57/557.34 c cleaning 10004 clauses out of 20026 with flag 1002000/1049745 1093.74/562.66 c cleaning 10006 clauses out of 20022 with flag 1012000/1059745 1104.68/568.44 c cleaning 10002 clauses out of 20019 with flag 1022003/1069748 1115.45/574.08 c cleaning 9993 clauses out of 20016 with flag 1032002/1079747 1125.81/579.49 c cleaning 10007 clauses out of 20021 with flag 1042000/1089745 1136.79/585.17 c cleaning 9996 clauses out of 20016 with flag 1052002/1099747 1148.51/591.38 c cleaning 9999 clauses out of 20018 with flag 1062000/1109745 1159.87/597.22 c cleaning 10000 clauses out of 20019 with flag 1072000/1119745 1170.21/602.67 c cleaning 10001 clauses out of 20019 with flag 1082000/1129745 1179.76/607.67 c cleaning 10002 clauses out of 20019 with flag 1092001/1139746 1189.08/612.62 c cleaning 10000 clauses out of 20016 with flag 1102000/1149745 1198.61/617.62 c cleaning 10001 clauses out of 20016 with flag 1112000/1159745 1209.15/623.10 c cleaning 10000 clauses out of 20015 with flag 1122000/1169745 1219.50/628.54 c cleaning 9999 clauses out of 20015 with flag 1132000/1179745 1230.59/634.41 c cleaning 10002 clauses out of 20016 with flag 1142000/1189745 1240.33/639.54 c cleaning 9998 clauses out of 20014 with flag 1152000/1199745 1250.07/644.66 c cleaning 9997 clauses out of 20017 with flag 1162001/1209746 1260.19/649.94 c cleaning 10001 clauses out of 20021 with flag 1172002/1219747 1270.88/655.67 c cleaning 9998 clauses out of 20019 with flag 1182001/1229746 1282.20/661.58 c cleaning 10000 clauses out of 20020 with flag 1192000/1239745 1292.12/666.71 c cleaning 9989 clauses out of 20020 with flag 1202000/1249745 1301.84/671.89 c cleaning 10002 clauses out of 20032 with flag 1212001/1259746 1313.51/678.09 c cleaning 9999 clauses out of 20031 with flag 1222002/1269747 1324.63/683.84 c cleaning 10002 clauses out of 20030 with flag 1232000/1279745 1334.54/689.06 c cleaning 10001 clauses out of 20028 with flag 1242000/1289745 1344.64/694.38 c cleaning 10006 clauses out of 20028 with flag 1252001/1299746 1355.69/700.23 c cleaning 9993 clauses out of 20022 with flag 1262001/1309746 1365.40/705.40 c cleaning 10005 clauses out of 20033 with flag 1272005/1319750 1375.31/710.53 c cleaning 10003 clauses out of 20024 with flag 1282001/1329746 1385.42/715.88 c cleaning 10004 clauses out of 20020 with flag 1292000/1339745 1397.45/722.23 c cleaning 10000 clauses out of 20016 with flag 1302000/1349745 1408.35/727.91 c cleaning 9999 clauses out of 20016 with flag 1312000/1359745 1418.25/733.14 c cleaning 10002 clauses out of 20017 with flag 1322000/1369745 1427.76/738.18 c cleaning 10003 clauses out of 20016 with flag 1332001/1379746 1436.98/743.15 c cleaning 10003 clauses out of 20014 with flag 1342002/1389747 1446.68/748.28 c cleaning 9999 clauses out of 20014 with flag 1352005/1399750 1457.17/753.71 c cleaning 9991 clauses out of 20010 with flag 1362000/1409745 1468.24/759.56 c cleaning 10001 clauses out of 20019 with flag 1372000/1419745 1477.46/764.55 c cleaning 9999 clauses out of 20018 with flag 1382000/1429745 1487.52/769.80 c cleaning 10004 clauses out of 20022 with flag 1392003/1439748 1497.00/774.86 c cleaning 10000 clauses out of 20015 with flag 1402000/1449745 1506.07/779.61 c cleaning 10004 clauses out of 20017 with flag 1412002/1459747 1516.05/785.03 c cleaning 10003 clauses out of 20011 with flag 1422000/1469745 1526.71/790.64 c cleaning 9985 clauses out of 20008 with flag 1432000/1479745 1537.17/796.11 c cleaning 10001 clauses out of 20023 with flag 1442000/1489745 1547.02/801.34 c cleaning 10005 clauses out of 20023 with flag 1452001/1499746 1556.57/806.53 c cleaning 10001 clauses out of 20017 with flag 1462000/1509745 1566.65/811.86 c cleaning 9993 clauses out of 20016 with flag 1472000/1519745 1576.49/817.05 c cleaning 9997 clauses out of 20023 with flag 1482000/1529745 1587.12/822.67 c cleaning 10006 clauses out of 20027 with flag 1492001/1539746 1598.28/828.65 c cleaning 10004 clauses out of 20020 with flag 1502000/1549745 1609.74/834.65 c cleaning 10001 clauses out of 20018 with flag 1512002/1559747 1620.19/840.13 c cleaning 10002 clauses out of 20016 with flag 1522001/1569746 1630.25/845.45 c cleaning 9997 clauses out of 20014 with flag 1532001/1579746 1640.82/851.15 c cleaning 9992 clauses out of 20016 with flag 1542000/1589745 1649.67/855.88 c cleaning 10000 clauses out of 20024 with flag 1552000/1599745 1659.10/860.85 c cleaning 10004 clauses out of 20025 with flag 1562001/1609746 1668.74/865.96 c cleaning 9997 clauses out of 20020 with flag 1572000/1619745 1677.27/870.66 c cleaning 10008 clauses out of 20025 with flag 1582002/1629747 1689.47/877.07 c cleaning 9996 clauses out of 20015 with flag 1592000/1639745 1702.46/883.80 c cleaning 9998 clauses out of 20019 with flag 1602000/1649745 1714.28/890.07 c cleaning 10003 clauses out of 20021 with flag 1612000/1659745 1726.57/896.65 c cleaning 9993 clauses out of 20019 with flag 1622001/1669746 1737.58/902.48 c cleaning 10009 clauses out of 20026 with flag 1632001/1679746 1749.20/908.54 c cleaning 10002 clauses out of 20016 with flag 1642000/1689745 1760.59/914.57 c cleaning 10001 clauses out of 20016 with flag 1652002/1699747 1772.09/920.72 c cleaning 9996 clauses out of 20013 with flag 1662000/1709745 1783.27/926.68 c cleaning 9998 clauses out of 20018 with flag 1672001/1719746 1795.08/932.85 c cleaning 9998 clauses out of 20019 with flag 1682000/1729745 1800.08/935.61 c starts : 212 1800.08/935.61 c conflicts : 1733818 1800.08/935.61 c decisions : 4047259 1800.08/935.61 c propagations : 784810476 1800.08/935.61 c inspects : 1723131667 1800.08/935.61 c shortcuts : 0 1800.08/935.61 c learnt literals : 1 1800.08/935.61 c learnt binary clauses : 5 1800.08/935.61 c learnt ternary clauses : 6 1800.08/935.61 c learnt constraints : 1733816 1800.08/935.61 c ignored constraints : 0 1800.08/935.61 c root simplifications : 0 1800.08/935.61 c removed literals (reason simplification) : 23071444 1800.08/935.61 c reason swapping (by a shorter reason) : 0 1800.08/935.61 c Calls to reduceDB : 175 1800.08/935.61 c number of reductions to clauses (during analyze) : 0 1800.08/935.61 c number of learned constraints concerned by reduction : 0 1800.08/935.61 c number of learning phase by resolution : 0 1800.08/935.61 c number of learning phase by cutting planes : 0 1800.08/935.61 c speed (assignments/second) : 866870.1368991471 1800.08/935.61 c non guided choices 1993 1800.08/935.62 c learnt constraints type 1800.08/935.62 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5 1800.08/935.62 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14098 1800.08/935.62 c constraints type 1800.08/935.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 1800.08/935.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 1800.08/935.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 901 1800.08/935.62 c constraints type 1800.08/935.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29 1800.08/935.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 29 1800.08/935.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 901 1800.08/935.62 s SATISFIABLE 1800.08/935.63 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 x3377 x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 x3526 -x3527 -x3528 x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 x4019 x4020 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 x5094 x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 -x6662 x6663 x6664 -x6665 -x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 x6812 x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 x7143 -x7144 x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1800.08/935.64 c objective function=1601 1800.08/935.64 c Total wall clock time (in seconds): 935.527
OK 1601
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454480-1307643043/watcher-3454480-1307643043 -o /tmp/evaluation-result-3454480-1307643043/solver-3454480-1307643043 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454480-1307643043.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.79 3.86 3.87 4/196 11798 /proc/meminfo: memFree=31267364/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=9100 CPUtime=0 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 875903910 9318400 172 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274659884679 0 2147483391 4096 0 18446744071699109054 0 0 17 3 0 0 0 /proc/11798/statm: 2275 172 132 9 0 67 0 [startup+0.0471711 s] /proc/loadavg: 3.79 3.86 3.87 4/196 11798 /proc/meminfo: memFree=31267364/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 11263 0 1 0 2 1 0 0 25 0 13 0 875903910 10718699520 10960 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2616870 10960 1673 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.101164 s] /proc/loadavg: 3.79 3.86 3.87 4/196 11798 /proc/meminfo: memFree=31267364/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10539840 CPUtime=0.1 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 13040 0 1 0 8 2 0 0 25 0 18 0 875903910 10792796160 12698 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2634960 12698 2092 9 0 2625694 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539840 [startup+0.301123 s] /proc/loadavg: 3.79 3.86 3.87 4/196 11798 /proc/meminfo: memFree=31267364/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10543240 CPUtime=0.56 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 18866 0 1 0 53 3 0 0 25 0 18 0 875903910 10796277760 17509 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2635810 17510 2200 9 0 2626544 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 10543240 [startup+0.701023 s] /proc/loadavg: 3.79 3.86 3.87 4/196 11798 /proc/meminfo: memFree=31267364/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10559324 CPUtime=2 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 34902 0 1 0 194 6 0 0 25 0 22 0 875903910 10812747776 30086 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639831 30086 2229 9 0 2630565 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 10559324 [startup+1.50096 s] /proc/loadavg: 3.79 3.86 3.87 8/218 11820 /proc/meminfo: memFree=31087164/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10559324 CPUtime=4.18 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 89874 0 1 0 405 13 0 0 25 0 22 0 875903910 10812747776 85057 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639831 85058 2238 9 0 2630565 0 [pid=11798/tid=11800] ppid=11796 vsize=10559324 CPUtime=0.41 cores=1,3,5,7 /proc/11798/task/11800/stat : 11800 (java) S 11796 11798 11485 0 -1 4202560 19727 0 1 0 38 3 0 0 15 0 22 0 875903910 10812747776 85059 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11801] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11801/stat : 11801 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85059 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11802] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11802/stat : 11802 (java) S 11796 11798 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85060 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11803] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11803/stat : 11803 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85062 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11804] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11804/stat : 11804 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85062 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11805] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11805/stat : 11805 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85063 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11806] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11806/stat : 11806 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85064 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11807] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11807/stat : 11807 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85064 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11808] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11808/stat : 11808 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903912 10812747776 85065 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11809] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11809/stat : 11809 (java) S 11796 11798 11485 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 875903913 10812747776 85066 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 0 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11810] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11810/stat : 11810 (java) S 11796 11798 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 875903914 10812747776 85067 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11811] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11811/stat : 11811 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 875903914 10812747776 85068 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11812] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11812/stat : 11812 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10812747776 85069 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676631985 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11813] ppid=11796 vsize=10559324 CPUtime=0.84 cores=1,3,5,7 /proc/11798/task/11813/stat : 11813 (java) S 11796 11798 11485 0 -1 4202560 6932 0 0 0 83 1 0 0 24 0 22 0 875903916 10812747776 85070 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11814] ppid=11796 vsize=10559324 CPUtime=0.77 cores=1,3,5,7 /proc/11798/task/11814/stat : 11814 (java) S 11796 11798 11485 0 -1 4202560 5443 0 0 0 77 0 0 0 15 0 22 0 875903916 10812747776 85070 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11815] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11815/stat : 11815 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10812747776 85071 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11816] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11816/stat : 11816 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875903916 10812747776 85073 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11817] ppid=11796 vsize=10559324 CPUtime=1.06 cores=1,3,5,7 /proc/11798/task/11817/stat : 11817 (java) R 11796 11798 11485 0 -1 4202560 1163 0 0 0 106 0 0 0 24 0 22 0 875903953 10812747776 85073 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 47627372280659 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=11798/tid=11818] ppid=11796 vsize=10559324 CPUtime=1.06 cores=1,3,5,7 /proc/11798/task/11818/stat : 11818 (java) R 11796 11798 11485 0 -1 4202560 55460 0 0 0 99 7 0 0 25 0 22 0 875903953 10812747776 85074 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505589074 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11798/tid=11819] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11819/stat : 11819 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875903955 10812747776 85075 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11820] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11820/stat : 11820 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 875903955 10812747776 85076 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.18 Current children cumulated vsize (KiB) 10559324 [startup+3.10164 s] /proc/loadavg: 3.80 3.86 3.87 5/218 11821 /proc/meminfo: memFree=30748060/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10559324 CPUtime=7.49 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 204684 0 1 0 723 26 0 0 25 0 22 0 875903910 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639831 199856 2263 9 0 2630565 0 [pid=11798/tid=11800] ppid=11796 vsize=10559324 CPUtime=0.41 cores=1,3,5,7 /proc/11798/task/11800/stat : 11800 (java) S 11796 11798 11485 0 -1 4202560 19727 0 1 0 38 3 0 0 15 0 22 0 875903910 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11801] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11801/stat : 11801 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11802] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11802/stat : 11802 (java) S 11796 11798 11485 0 -1 4202560 222 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11803] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11803/stat : 11803 (java) S 11796 11798 11485 0 -1 4202560 238 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11804] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11804/stat : 11804 (java) S 11796 11798 11485 0 -1 4202560 235 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11805] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11805/stat : 11805 (java) S 11796 11798 11485 0 -1 4202560 720 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11806] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11806/stat : 11806 (java) S 11796 11798 11485 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11807] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11807/stat : 11807 (java) S 11796 11798 11485 0 -1 4202560 1032 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11808] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11808/stat : 11808 (java) S 11796 11798 11485 0 -1 4202560 783 0 0 0 0 0 0 0 18 0 22 0 875903912 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11809] ppid=11796 vsize=10559324 CPUtime=0.03 cores=1,3,5,7 /proc/11798/task/11809/stat : 11809 (java) S 11796 11798 11485 0 -1 4202560 3373 0 0 0 3 0 0 0 16 0 22 0 875903913 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 0 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11810] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11810/stat : 11810 (java) S 11796 11798 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875903914 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11811] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11811/stat : 11811 (java) S 11796 11798 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 875903914 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11812] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11812/stat : 11812 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676631985 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11813] ppid=11796 vsize=10559324 CPUtime=0.87 cores=1,3,5,7 /proc/11798/task/11813/stat : 11813 (java) S 11796 11798 11485 0 -1 4202560 6937 0 0 0 86 1 0 0 17 0 22 0 875903916 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11814] ppid=11796 vsize=10559324 CPUtime=0.88 cores=1,3,5,7 /proc/11798/task/11814/stat : 11814 (java) S 11796 11798 11485 0 -1 4202560 5457 0 0 0 88 0 0 0 16 0 22 0 875903916 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11815] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11815/stat : 11815 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11816] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11816/stat : 11816 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875903916 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11817] ppid=11796 vsize=10559324 CPUtime=2.6 cores=1,3,5,7 /proc/11798/task/11817/stat : 11817 (java) R 11796 11798 11485 0 -1 4202560 2373 0 0 0 260 0 0 0 25 0 22 0 875903953 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505795632 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11798/tid=11818] ppid=11796 vsize=10559324 CPUtime=2.6 cores=1,3,5,7 /proc/11798/task/11818/stat : 11818 (java) R 11796 11798 11485 0 -1 4202560 162243 0 0 0 242 18 0 0 25 0 22 0 875903953 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505588976 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11798/tid=11819] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11819/stat : 11819 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875903955 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11820] ppid=11796 vsize=10559324 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11820/stat : 11820 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 875903955 10812747776 199856 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 7.49 Current children cumulated vsize (KiB) 10559324 [startup+6.30109 s] /proc/loadavg: 3.80 3.86 3.87 5/218 11821 /proc/meminfo: memFree=30274404/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10556940 CPUtime=14.05 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 255343 0 1 0 1373 32 0 0 25 0 22 0 875903910 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639235 249531 2263 9 0 2629969 0 [pid=11798/tid=11800] ppid=11796 vsize=10556940 CPUtime=0.41 cores=1,3,5,7 /proc/11798/task/11800/stat : 11800 (java) S 11796 11798 11485 0 -1 4202560 19727 0 1 0 38 3 0 0 15 0 22 0 875903910 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11801] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11801/stat : 11801 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11802] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11802/stat : 11802 (java) S 11796 11798 11485 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11803] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11803/stat : 11803 (java) S 11796 11798 11485 0 -1 4202560 238 0 0 0 0 0 0 0 16 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11804] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11804/stat : 11804 (java) S 11796 11798 11485 0 -1 4202560 235 0 0 0 0 0 0 0 18 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11805] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11805/stat : 11805 (java) S 11796 11798 11485 0 -1 4202560 720 0 0 0 0 0 0 0 17 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11806] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11806/stat : 11806 (java) S 11796 11798 11485 0 -1 4202560 1883 0 0 0 0 0 0 0 16 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11807] ppid=11796 vsize=10556940 CPUtime=0.01 cores=1,3,5,7 /proc/11798/task/11807/stat : 11807 (java) S 11796 11798 11485 0 -1 4202560 1974 0 0 0 1 0 0 0 18 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11808] ppid=11796 vsize=10556940 CPUtime=0.01 cores=1,3,5,7 /proc/11798/task/11808/stat : 11808 (java) S 11796 11798 11485 0 -1 4202560 1766 0 0 0 1 0 0 0 18 0 22 0 875903912 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11809] ppid=11796 vsize=10556940 CPUtime=0.08 cores=1,3,5,7 /proc/11798/task/11809/stat : 11809 (java) S 11796 11798 11485 0 -1 4202560 5264 0 0 0 8 0 0 0 16 0 22 0 875903913 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 0 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11810] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11810/stat : 11810 (java) S 11796 11798 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875903914 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11811] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11811/stat : 11811 (java) S 11796 11798 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 875903914 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11812] ppid=11796 vsize=10556940 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11812/stat : 11812 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676631985 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11813] ppid=11796 vsize=10556940 CPUtime=1.05 cores=1,3,5,7 /proc/11798/task/11813/stat : 11813 (java) S 11796 11798 11485 0 -1 4202560 7712 0 0 0 104 1 0 0 15 0 22 0 875903916 10810306560 249531 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 3.10 3.63 3.77 4/217 11935 /proc/meminfo: memFree=25006208/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10557640 CPUtime=1586.52 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 801298 0 1 0 158558 94 0 0 25 0 22 0 875903910 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639410 788004 2265 9 0 2630144 0 [pid=11798/tid=11800] ppid=11796 vsize=10557640 CPUtime=0.43 cores=1,3,5,7 /proc/11798/task/11800/stat : 11800 (java) S 11796 11798 11485 0 -1 4202560 19754 0 1 0 40 3 0 0 15 0 22 0 875903910 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11801] ppid=11796 vsize=10557640 CPUtime=0.64 cores=1,3,5,7 /proc/11798/task/11801/stat : 11801 (java) S 11796 11798 11485 0 -1 4202560 595 0 0 0 64 0 0 0 16 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11802] ppid=11796 vsize=10557640 CPUtime=0.58 cores=1,3,5,7 /proc/11798/task/11802/stat : 11802 (java) S 11796 11798 11485 0 -1 4202560 2846 0 0 0 58 0 0 0 16 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11803] ppid=11796 vsize=10557640 CPUtime=0.62 cores=1,3,5,7 /proc/11798/task/11803/stat : 11803 (java) S 11796 11798 11485 0 -1 4202560 2314 0 0 0 62 0 0 0 16 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11804] ppid=11796 vsize=10557640 CPUtime=0.62 cores=1,3,5,7 /proc/11798/task/11804/stat : 11804 (java) S 11796 11798 11485 0 -1 4202560 5991 0 0 0 62 0 0 0 15 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11805] ppid=11796 vsize=10557640 CPUtime=0.7 cores=1,3,5,7 /proc/11798/task/11805/stat : 11805 (java) S 11796 11798 11485 0 -1 4202560 3400 0 0 0 70 0 0 0 16 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11806] ppid=11796 vsize=10557640 CPUtime=0.66 cores=1,3,5,7 /proc/11798/task/11806/stat : 11806 (java) S 11796 11798 11485 0 -1 4202560 3661 0 0 0 66 0 0 0 16 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11807] ppid=11796 vsize=10557640 CPUtime=0.84 cores=1,3,5,7 /proc/11798/task/11807/stat : 11807 (java) S 11796 11798 11485 0 -1 4202560 3796 0 0 0 84 0 0 0 15 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11808] ppid=11796 vsize=10557640 CPUtime=0.77 cores=1,3,5,7 /proc/11798/task/11808/stat : 11808 (java) S 11796 11798 11485 0 -1 4202560 4268 0 0 0 77 0 0 0 15 0 22 0 875903912 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11809] ppid=11796 vsize=10557640 CPUtime=62.12 cores=1,3,5,7 /proc/11798/task/11809/stat : 11809 (java) S 11796 11798 11485 0 -1 4202560 101639 0 0 0 6202 10 0 0 15 0 22 0 875903913 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 0 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11810] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11810/stat : 11810 (java) S 11796 11798 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875903914 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11811] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11811/stat : 11811 (java) S 11796 11798 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 875903914 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11812] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11812/stat : 11812 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676631985 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11813] ppid=11796 vsize=10557640 CPUtime=1.58 cores=1,3,5,7 /proc/11798/task/11813/stat : 11813 (java) S 11796 11798 11485 0 -1 4202560 12145 0 0 0 157 1 0 0 15 0 22 0 875903916 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11814] ppid=11796 vsize=10557640 CPUtime=1.61 cores=1,3,5,7 /proc/11798/task/11814/stat : 11814 (java) S 11796 11798 11485 0 -1 4202560 8157 0 0 0 161 0 0 0 15 0 22 0 875903916 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11815] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11815/stat : 11815 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11816] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11816/stat : 11816 (java) S 11796 11798 11485 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 875903916 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11819] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11819/stat : 11819 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875903955 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11829] ppid=11796 vsize=10557640 CPUtime=728.79 cores=1,3,5,7 /proc/11798/task/11829/stat : 11829 (java) R 11796 11798 11485 0 -1 4202560 109 0 0 0 72879 0 0 0 25 0 22 0 875906937 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505795468 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=11798/tid=11830] ppid=11796 vsize=10557640 CPUtime=728.77 cores=1,3,5,7 /proc/11798/task/11830/stat : 11830 (java) R 11796 11798 11485 0 -1 4202560 34 0 0 0 72877 0 0 0 25 0 22 0 875906937 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505816387 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11798/tid=11831] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11831/stat : 11831 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 875906938 10811023360 788004 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1586.52 Current children cumulated vsize (KiB) 10557640 [startup+882.301 s] /proc/loadavg: 2.87 3.47 3.70 4/217 11937 /proc/meminfo: memFree=24963392/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10557640 CPUtime=1699.46 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 807017 0 1 0 169850 96 0 0 25 0 22 0 875903910 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639410 793704 2265 9 0 2630144 0 [pid=11798/tid=11800] ppid=11796 vsize=10557640 CPUtime=0.43 cores=1,3,5,7 /proc/11798/task/11800/stat : 11800 (java) S 11796 11798 11485 0 -1 4202560 19754 0 1 0 40 3 0 0 15 0 22 0 875903910 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11801] ppid=11796 vsize=10557640 CPUtime=0.7 cores=1,3,5,7 /proc/11798/task/11801/stat : 11801 (java) S 11796 11798 11485 0 -1 4202560 595 0 0 0 70 0 0 0 15 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11802] ppid=11796 vsize=10557640 CPUtime=0.66 cores=1,3,5,7 /proc/11798/task/11802/stat : 11802 (java) S 11796 11798 11485 0 -1 4202560 2848 0 0 0 66 0 0 0 15 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11803] ppid=11796 vsize=10557640 CPUtime=0.67 cores=1,3,5,7 /proc/11798/task/11803/stat : 11803 (java) S 11796 11798 11485 0 -1 4202560 2319 0 0 0 67 0 0 0 15 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11804] ppid=11796 vsize=10557640 CPUtime=0.67 cores=1,3,5,7 /proc/11798/task/11804/stat : 11804 (java) S 11796 11798 11485 0 -1 4202560 5991 0 0 0 67 0 0 0 15 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11805] ppid=11796 vsize=10557640 CPUtime=0.74 cores=1,3,5,7 /proc/11798/task/11805/stat : 11805 (java) S 11796 11798 11485 0 -1 4202560 3400 0 0 0 74 0 0 0 15 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11806] ppid=11796 vsize=10557640 CPUtime=0.71 cores=1,3,5,7 /proc/11798/task/11806/stat : 11806 (java) S 11796 11798 11485 0 -1 4202560 3661 0 0 0 71 0 0 0 16 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11807] ppid=11796 vsize=10557640 CPUtime=0.88 cores=1,3,5,7 /proc/11798/task/11807/stat : 11807 (java) S 11796 11798 11485 0 -1 4202560 3796 0 0 0 88 0 0 0 15 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11808] ppid=11796 vsize=10557640 CPUtime=0.84 cores=1,3,5,7 /proc/11798/task/11808/stat : 11808 (java) S 11796 11798 11485 0 -1 4202560 4271 0 0 0 84 0 0 0 16 0 22 0 875903912 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11809] ppid=11796 vsize=10557640 CPUtime=69.39 cores=1,3,5,7 /proc/11798/task/11809/stat : 11809 (java) S 11796 11798 11485 0 -1 4202560 107333 0 0 0 6928 11 0 0 15 0 22 0 875903913 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 0 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11810] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11810/stat : 11810 (java) S 11796 11798 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875903914 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11811] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11811/stat : 11811 (java) S 11796 11798 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 875903914 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11812] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11812/stat : 11812 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676631985 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11813] ppid=11796 vsize=10557640 CPUtime=1.58 cores=1,3,5,7 /proc/11798/task/11813/stat : 11813 (java) S 11796 11798 11485 0 -1 4202560 12145 0 0 0 157 1 0 0 15 0 22 0 875903916 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11814] ppid=11796 vsize=10557640 CPUtime=1.61 cores=1,3,5,7 /proc/11798/task/11814/stat : 11814 (java) S 11796 11798 11485 0 -1 4202560 8157 0 0 0 161 0 0 0 15 0 22 0 875903916 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11815] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11815/stat : 11815 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11816] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11816/stat : 11816 (java) S 11796 11798 11485 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 875903916 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11819] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11819/stat : 11819 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875903955 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11829] ppid=11796 vsize=10557640 CPUtime=781.39 cores=1,3,5,7 /proc/11798/task/11829/stat : 11829 (java) R 11796 11798 11485 0 -1 4202560 120 0 0 0 78139 0 0 0 25 0 22 0 875906937 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505721248 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=11798/tid=11830] ppid=11796 vsize=10557640 CPUtime=781.38 cores=1,3,5,7 /proc/11798/task/11830/stat : 11830 (java) R 11796 11798 11485 0 -1 4202560 34 0 0 0 78138 0 0 0 25 0 22 0 875906937 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912506013103 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11798/tid=11831] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11831/stat : 11831 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 875906938 10811023360 793704 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1699.46 Current children cumulated vsize (KiB) 10557640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.601 s] /proc/loadavg: 2.94 3.40 3.66 4/217 11939 /proc/meminfo: memFree=24942280/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=10557640 CPUtime=1800.08 cores=1,3,5,7 /proc/11798/stat : 11798 (java) S 11796 11798 11485 0 -1 4202496 807453 0 1 0 179912 96 0 0 25 0 22 0 875903910 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 2639410 794125 2265 9 0 2630144 0 [pid=11798/tid=11800] ppid=11796 vsize=10557640 CPUtime=0.43 cores=1,3,5,7 /proc/11798/task/11800/stat : 11800 (java) S 11796 11798 11485 0 -1 4202560 19758 0 1 0 40 3 0 0 15 0 22 0 875903910 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11801] ppid=11796 vsize=10557640 CPUtime=0.73 cores=1,3,5,7 /proc/11798/task/11801/stat : 11801 (java) S 11796 11798 11485 0 -1 4202560 595 0 0 0 73 0 0 0 16 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11802] ppid=11796 vsize=10557640 CPUtime=0.7 cores=1,3,5,7 /proc/11798/task/11802/stat : 11802 (java) S 11796 11798 11485 0 -1 4202560 2851 0 0 0 70 0 0 0 16 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11803] ppid=11796 vsize=10557640 CPUtime=0.72 cores=1,3,5,7 /proc/11798/task/11803/stat : 11803 (java) S 11796 11798 11485 0 -1 4202560 2319 0 0 0 72 0 0 0 15 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11804] ppid=11796 vsize=10557640 CPUtime=0.74 cores=1,3,5,7 /proc/11798/task/11804/stat : 11804 (java) S 11796 11798 11485 0 -1 4202560 5994 0 0 0 74 0 0 0 16 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11805] ppid=11796 vsize=10557640 CPUtime=0.76 cores=1,3,5,7 /proc/11798/task/11805/stat : 11805 (java) S 11796 11798 11485 0 -1 4202560 3400 0 0 0 76 0 0 0 15 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11806] ppid=11796 vsize=10557640 CPUtime=0.79 cores=1,3,5,7 /proc/11798/task/11806/stat : 11806 (java) S 11796 11798 11485 0 -1 4202560 3661 0 0 0 79 0 0 0 15 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11807] ppid=11796 vsize=10557640 CPUtime=0.94 cores=1,3,5,7 /proc/11798/task/11807/stat : 11807 (java) S 11796 11798 11485 0 -1 4202560 3796 0 0 0 94 0 0 0 16 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11808] ppid=11796 vsize=10557640 CPUtime=0.87 cores=1,3,5,7 /proc/11798/task/11808/stat : 11808 (java) S 11796 11798 11485 0 -1 4202560 4275 0 0 0 87 0 0 0 16 0 22 0 875903912 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11809] ppid=11796 vsize=10557640 CPUtime=75.56 cores=1,3,5,7 /proc/11798/task/11809/stat : 11809 (java) S 11796 11798 11485 0 -1 4202560 107746 0 0 0 7545 11 0 0 15 0 22 0 875903913 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 0 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11810] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11810/stat : 11810 (java) S 11796 11798 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875903914 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11811] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11811/stat : 11811 (java) S 11796 11798 11485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 875903914 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 7 0 0 0 [pid=11798/tid=11812] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11812/stat : 11812 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676631985 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11813] ppid=11796 vsize=10557640 CPUtime=1.58 cores=1,3,5,7 /proc/11798/task/11813/stat : 11813 (java) S 11796 11798 11485 0 -1 4202560 12145 0 0 0 157 1 0 0 15 0 22 0 875903916 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11814] ppid=11796 vsize=10557640 CPUtime=1.61 cores=1,3,5,7 /proc/11798/task/11814/stat : 11814 (java) S 11796 11798 11485 0 -1 4202560 8157 0 0 0 161 0 0 0 15 0 22 0 875903916 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 5 0 0 0 [pid=11798/tid=11815] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11815/stat : 11815 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875903916 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624281 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11816] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11816/stat : 11816 (java) S 11796 11798 11485 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 875903916 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 1 0 0 0 [pid=11798/tid=11819] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11819/stat : 11819 (java) S 11796 11798 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875903955 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 [pid=11798/tid=11829] ppid=11796 vsize=10557640 CPUtime=828.44 cores=1,3,5,7 /proc/11798/task/11829/stat : 11829 (java) R 11796 11798 11485 0 -1 4202560 125 0 0 0 82844 0 0 0 25 0 22 0 875906937 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912505796000 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=11798/tid=11830] ppid=11796 vsize=10557640 CPUtime=828.42 cores=1,3,5,7 /proc/11798/task/11830/stat : 11830 (java) R 11796 11798 11485 0 -1 4202560 34 0 0 0 82842 0 0 0 25 0 22 0 875906937 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 46912506013103 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11798/tid=11831] ppid=11796 vsize=10557640 CPUtime=0 cores=1,3,5,7 /proc/11798/task/11831/stat : 11831 (java) S 11796 11798 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 875906938 10811023360 794125 33554432000 1073741824 1073778376 140734229164336 18446744073709551615 274676624896 0 4 0 16800975 18446604470987089216 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10557640 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+935.713 s] /proc/loadavg: 2.94 3.40 3.66 4/217 11939 /proc/meminfo: memFree=24942280/32951132 swapFree=67054608/67111528 [pid=11798] ppid=11796 vsize=0 CPUtime=1800.26 cores=1,3,5,7 /proc/11798/stat : 11798 (java) Z 11796 11798 11485 0 -1 4203548 807490 0 1 0 179923 103 0 0 17 0 2 0 875903910 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/11798/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 935.763 CPU time (s): 1800.31 CPU user time (s): 1799.23 CPU system time (s): 1.08183 CPU usage (%): 192.39 Max. virtual memory (cumulated for all children) (KiB): 10566864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 1.08183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 807490 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= 26863 involuntary context switches= 22489 runsolver used 1.58576 second user time and 3.55146 second system time The end
Begin job on node131 at 2011-06-09 20:10:43 IDJOB=3454480 IDBENCH=1525 IDSOLVER=1950 FILE ID=node131/3454480-1307643043 RUNJOBID= node131-1307642772-11504 PBS_JOBID= 13549400 Free space on /tmp= 74120 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454480-1307643043/watcher-3454480-1307643043 -o /tmp/evaluation-result-3454480-1307643043/solver-3454480-1307643043 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454480-1307643043.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED=999774574 node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31268288 kB Buffers: 213180 kB Cached: 617788 kB SwapCached: 9832 kB Active: 913768 kB Inactive: 521760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31268288 kB SwapTotal: 67111528 kB SwapFree: 67054608 kB Dirty: 492 kB Writeback: 0 kB AnonPages: 603124 kB Mapped: 21496 kB Slab: 183024 kB PageTables: 6072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 10576728 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74116 MiB End job on node131 at 2011-06-09 20:26:20