Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 16 | 1800.6 | 1796.37 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 0.591909 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14 |
Optimality of the best value was proved | YES |
Number of variables | 3659 |
Total number of constraints | 9385 |
Number of constraints which are clauses | 9385 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1787 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1787 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1787 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710873-1338160489.opb 0.09/0.12 c reading problem ... 0.50/0.36 c ... done. Wall clock time 0.238s. 0.50/0.36 c declared #vars 3659 0.50/0.36 c #constraints 9382 0.50/0.36 c constraints type 0.50/0.36 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893 0.50/0.36 c ignored satisfied constraints => 3 0.50/0.36 c org.sat4j.minisat.constraints.cnf.UnitClause => 99 0.50/0.36 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390 0.50/0.36 c 9385 constraints processed. 0.73/0.40 c SATISFIABLE 0.73/0.40 c OPTIMIZING... 0.73/0.40 c Got one! Elapsed wall clock time (in seconds):0.282 0.73/0.40 o 17 2.61/1.91 c cleaning 2495 clauses out of 5000 with flag 5000/5000 4.18/3.48 c cleaning 4244 clauses out of 8506 with flag 11001/11001 6.00/5.20 c cleaning 5625 clauses out of 11261 with flag 18000/18000 8.12/7.30 c cleaning 6812 clauses out of 13636 with flag 26000/26000 10.49/9.62 c cleaning 7907 clauses out of 15825 with flag 35001/35001 12.81/11.97 c cleaning 8952 clauses out of 17922 with flag 45005/45005 15.42/14.57 c cleaning 9979 clauses out of 19966 with flag 56001/56001 18.34/17.41 c cleaning 10985 clauses out of 21986 with flag 68000/68000 21.96/21.01 c cleaning 11997 clauses out of 24001 with flag 81000/81000 25.46/24.58 c cleaning 12992 clauses out of 26004 with flag 95000/95000 29.36/28.45 c cleaning 13997 clauses out of 28012 with flag 110000/110000 33.48/32.53 c cleaning 14999 clauses out of 30016 with flag 126001/126001 37.89/36.94 c cleaning 15989 clauses out of 32016 with flag 143000/143000 42.53/41.54 c cleaning 17000 clauses out of 34029 with flag 161002/161002 47.44/46.46 c cleaning 18008 clauses out of 36027 with flag 180000/180000 52.94/51.97 c cleaning 18994 clauses out of 38019 with flag 200000/200000 58.15/57.19 c cleaning 20003 clauses out of 40025 with flag 221000/221000 64.04/63.01 c cleaning 20989 clauses out of 42025 with flag 243003/243003 70.16/69.13 c cleaning 22013 clauses out of 44034 with flag 266001/266001 75.88/74.89 c cleaning 23003 clauses out of 46020 with flag 290000/290000 82.49/81.48 c cleaning 23988 clauses out of 48017 with flag 315000/315000 89.58/88.56 c cleaning 25006 clauses out of 50029 with flag 341000/341000 97.40/96.30 c cleaning 26002 clauses out of 52026 with flag 368003/368003 105.64/104.55 c cleaning 27005 clauses out of 54022 with flag 396001/396001 113.15/112.02 c cleaning 27997 clauses out of 56016 with flag 425000/425000 121.27/120.10 c cleaning 29006 clauses out of 58019 with flag 455000/455000 129.03/127.84 c cleaning 29985 clauses out of 60013 with flag 486000/486000 138.64/137.43 c cleaning 30990 clauses out of 62028 with flag 518000/518000 147.04/145.80 c cleaning 31994 clauses out of 64038 with flag 551000/551000 156.37/155.12 c cleaning 33015 clauses out of 66044 with flag 585000/585000 165.69/164.41 c cleaning 34012 clauses out of 68029 with flag 620000/620000 174.62/173.40 c cleaning 34999 clauses out of 70017 with flag 656000/656000 184.28/182.86 c cleaning 35997 clauses out of 72018 with flag 693000/693000 194.97/193.25 c cleaning 37003 clauses out of 74021 with flag 731000/731000 205.95/204.05 c cleaning 37990 clauses out of 76019 with flag 770001/770001 216.86/214.91 c cleaning 38998 clauses out of 78028 with flag 810000/810000 228.48/226.56 c cleaning 39994 clauses out of 80031 with flag 851001/851001 240.18/238.28 c cleaning 41014 clauses out of 82038 with flag 893002/893002 252.00/250.01 c cleaning 41989 clauses out of 84022 with flag 936000/936000 263.92/261.97 c cleaning 42984 clauses out of 86033 with flag 980000/980000 276.03/274.05 c cleaning 44020 clauses out of 88051 with flag 1025002/1025002 287.96/285.93 c cleaning 45003 clauses out of 90031 with flag 1071002/1071002 300.68/298.69 c cleaning 46005 clauses out of 92026 with flag 1118000/1118000 314.60/312.51 c cleaning 46994 clauses out of 94022 with flag 1166001/1166001 327.42/325.35 c cleaning 47999 clauses out of 96027 with flag 1215000/1215000 341.84/339.78 c cleaning 48995 clauses out of 98028 with flag 1265000/1265000 356.86/354.72 c cleaning 49990 clauses out of 100033 with flag 1316000/1316000 371.08/368.97 c cleaning 51009 clauses out of 102045 with flag 1368002/1368002 385.70/383.59 c cleaning 52010 clauses out of 104034 with flag 1421000/1421000 400.32/398.10 c cleaning 53007 clauses out of 106024 with flag 1475000/1475000 415.02/412.80 c cleaning 53999 clauses out of 108017 with flag 1530000/1530000 431.16/428.96 c cleaning 54985 clauses out of 110018 with flag 1586000/1586000 446.35/444.11 c cleaning 56008 clauses out of 112034 with flag 1643001/1643001 461.67/459.47 c cleaning 56998 clauses out of 114025 with flag 1701000/1701000 478.59/476.32 c cleaning 57992 clauses out of 116027 with flag 1760000/1760000 495.61/493.39 c cleaning 59012 clauses out of 118035 with flag 1820000/1820000 514.12/511.82 c cleaning 59983 clauses out of 120023 with flag 1881000/1881000 532.95/530.61 c cleaning 61011 clauses out of 122041 with flag 1943001/1943001 552.06/549.73 c cleaning 62008 clauses out of 124031 with flag 2006002/2006002 569.68/567.33 c cleaning 62999 clauses out of 126021 with flag 2070000/2070000 587.28/584.98 c cleaning 63986 clauses out of 128022 with flag 2135000/2135000 606.31/603.99 c cleaning 65008 clauses out of 130036 with flag 2201000/2201000 623.55/621.13 c cleaning 66005 clauses out of 132028 with flag 2268000/2268000 642.96/640.54 c cleaning 67000 clauses out of 134023 with flag 2336000/2336000 663.99/661.59 c cleaning 67987 clauses out of 136023 with flag 2405000/2405000 685.21/682.71 c cleaning 69007 clauses out of 138037 with flag 2475001/2475001 706.65/704.13 c cleaning 69993 clauses out of 140029 with flag 2546000/2546000 728.37/725.80 c cleaning 70985 clauses out of 142036 with flag 2618000/2618000 749.78/747.22 c cleaning 71988 clauses out of 144052 with flag 2691001/2691001 750.99/748.42 c Got one! Elapsed wall clock time (in seconds):748.297 750.99/748.42 o 16 751.49/748.99 c cleaning 38994 clauses out of 78020 with flag 2000/2696957 753.21/750.61 c cleaning 22506 clauses out of 45028 with flag 8002/2702959 755.03/752.44 c cleaning 14738 clauses out of 29520 with flag 15000/2709957 757.14/754.58 c cleaning 11378 clauses out of 22782 with flag 23000/2717957 759.54/756.91 c cleaning 10193 clauses out of 20404 with flag 32000/2726957 762.05/759.48 c cleaning 10100 clauses out of 20213 with flag 42002/2736959 764.87/762.24 c cleaning 10537 clauses out of 21111 with flag 53000/2747957 767.88/765.20 c cleaning 11279 clauses out of 22575 with flag 65001/2759958 771.08/768.49 c cleaning 12133 clauses out of 24295 with flag 78000/2772957 774.48/771.86 c cleaning 13065 clauses out of 26163 with flag 92001/2786958 777.99/775.38 c cleaning 14035 clauses out of 28097 with flag 107000/2801957 781.80/779.19 c cleaning 15016 clauses out of 30062 with flag 123000/2817957 786.01/783.38 c cleaning 16012 clauses out of 32046 with flag 140000/2834957 790.62/787.92 c cleaning 17002 clauses out of 34034 with flag 158000/2852957 795.34/792.68 c cleaning 18009 clauses out of 36035 with flag 177003/2871960 800.15/797.50 c cleaning 19001 clauses out of 38023 with flag 197000/2891957 805.15/802.45 c cleaning 19994 clauses out of 40022 with flag 218000/2912957 810.66/807.92 c cleaning 21005 clauses out of 42028 with flag 240000/2934957 816.68/813.91 c cleaning 22003 clauses out of 44034 with flag 263011/2957968 822.98/820.24 c cleaning 22990 clauses out of 46020 with flag 287000/2981957 829.40/826.62 c cleaning 24005 clauses out of 48030 with flag 312000/3006957 836.31/833.53 c cleaning 25005 clauses out of 50026 with flag 338001/3032958 843.43/840.64 c cleaning 25990 clauses out of 52020 with flag 365000/3059957 850.86/848.10 c cleaning 26998 clauses out of 54030 with flag 393000/3087957 858.06/855.26 c cleaning 28009 clauses out of 56033 with flag 422001/3116958 866.39/863.55 c cleaning 29001 clauses out of 58023 with flag 452000/3146957 874.89/872.06 c cleaning 29987 clauses out of 60024 with flag 483002/3177959 884.01/881.17 c cleaning 31010 clauses out of 62036 with flag 515001/3209958 893.92/891.03 c cleaning 31986 clauses out of 64025 with flag 548000/3242957 904.11/901.23 c cleaning 33006 clauses out of 66039 with flag 582000/3276957 913.75/910.83 c cleaning 34008 clauses out of 68033 with flag 617000/3311957 923.04/920.18 c cleaning 35000 clauses out of 70025 with flag 653000/3347957 932.45/929.59 c cleaning 35990 clauses out of 72025 with flag 690000/3384957 942.57/939.61 c cleaning 37002 clauses out of 74035 with flag 728000/3422957 952.69/949.71 c cleaning 38004 clauses out of 76033 with flag 767000/3461957 963.13/960.11 c cleaning 39007 clauses out of 78029 with flag 807000/3501957 973.63/970.68 c cleaning 39997 clauses out of 80022 with flag 848000/3542957 984.84/981.83 c cleaning 40980 clauses out of 82025 with flag 890000/3584957 997.25/994.24 c cleaning 42012 clauses out of 84045 with flag 933000/3627957 1008.66/1005.69 c cleaning 43008 clauses out of 86033 with flag 977000/3671957 1020.28/1017.20 c cleaning 43997 clauses out of 88025 with flag 1022000/3716957 1031.59/1028.51 c cleaning 44990 clauses out of 90028 with flag 1068000/3762957 1043.90/1040.84 c cleaning 46010 clauses out of 92041 with flag 1115003/3809960 1056.02/1052.97 c cleaning 46995 clauses out of 94029 with flag 1163001/3857958 1068.83/1065.79 c cleaning 47998 clauses out of 96033 with flag 1212000/3906957 1081.95/1078.85 c cleaning 49004 clauses out of 98037 with flag 1262002/3956959 1095.97/1092.88 c cleaning 50004 clauses out of 100031 with flag 1313000/4007957 1111.17/1108.01 c cleaning 50997 clauses out of 102027 with flag 1365000/4059957 1126.48/1123.32 c cleaning 51992 clauses out of 104030 with flag 1418000/4112957 1142.20/1139.02 c cleaning 53005 clauses out of 106038 with flag 1472000/4166957 1158.11/1154.98 c cleaning 53998 clauses out of 108035 with flag 1527002/4221959 1174.51/1171.32 c cleaning 54998 clauses out of 110035 with flag 1583000/4277957 1190.91/1187.72 c cleaning 56011 clauses out of 112038 with flag 1640001/4334958 1208.02/1204.82 c cleaning 56991 clauses out of 114026 with flag 1698000/4392957 1225.53/1222.39 c cleaning 58005 clauses out of 116035 with flag 1757000/4451957 1242.55/1239.39 c cleaning 59004 clauses out of 118030 with flag 1817000/4511957 1260.77/1257.53 c cleaning 59999 clauses out of 120026 with flag 1878000/4572957 1277.69/1274.49 c cleaning 61001 clauses out of 122027 with flag 1940000/4634957 1296.61/1293.36 c cleaning 61992 clauses out of 124028 with flag 2003002/4697959 1316.03/1312.71 c cleaning 63004 clauses out of 126034 with flag 2067000/4761957 1334.05/1330.71 c cleaning 64008 clauses out of 128030 with flag 2132000/4826957 1352.46/1349.15 c cleaning 65003 clauses out of 130022 with flag 2198000/4892957 1370.38/1367.02 c cleaning 66001 clauses out of 132019 with flag 2265000/4959957 1389.20/1385.82 c cleaning 66999 clauses out of 134019 with flag 2333001/5027958 1408.51/1405.14 c cleaning 67986 clauses out of 136019 with flag 2402000/5096957 1427.11/1423.72 c cleaning 69008 clauses out of 138035 with flag 2472002/5166959 1446.03/1442.63 c cleaning 70001 clauses out of 140025 with flag 2543000/5237957 1465.65/1462.25 c cleaning 71000 clauses out of 142024 with flag 2615000/5309957 1485.58/1482.14 c cleaning 72005 clauses out of 144024 with flag 2688000/5382957 1505.99/1502.56 c cleaning 72977 clauses out of 146019 with flag 2762000/5456957 1527.19/1523.74 c cleaning 74010 clauses out of 148043 with flag 2837001/5531958 1549.22/1545.72 c cleaning 74996 clauses out of 150032 with flag 2913000/5607957 1571.44/1567.93 c cleaning 76003 clauses out of 152037 with flag 2990001/5684958 1594.84/1591.33 c cleaning 76996 clauses out of 154033 with flag 3068000/5762957 1618.97/1615.47 c cleaning 77990 clauses out of 156037 with flag 3147000/5841957 1642.30/1638.74 c cleaning 79002 clauses out of 158049 with flag 3227002/5921959 1665.21/1661.67 c cleaning 80007 clauses out of 160046 with flag 3308001/6002958 1689.63/1686.03 c cleaning 80980 clauses out of 162038 with flag 3390000/6084957 1715.05/1711.42 c cleaning 82007 clauses out of 164058 with flag 3473000/6167957 1740.79/1737.14 c cleaning 83003 clauses out of 166053 with flag 3557002/6251959 1767.22/1763.55 c cleaning 84007 clauses out of 168048 with flag 3642000/6336957 1792.84/1789.18 c cleaning 84991 clauses out of 170041 with flag 3728000/6422957 1800.08/1796.31 c starts : 278 1800.08/1796.31 c conflicts : 6447350 1800.08/1796.31 c decisions : 18638921 1800.08/1796.31 c propagations : 9776293906 1800.08/1796.31 c inspects : 11150543403 1800.08/1796.32 c shortcuts : 0 1800.08/1796.32 c learnt literals : 0 1800.08/1796.32 c learnt binary clauses : 17 1800.08/1796.32 c learnt ternary clauses : 32 1800.08/1796.32 c learnt constraints : 6447351 1800.08/1796.32 c ignored constraints : 0 1800.08/1796.32 c root simplifications : 278 1800.08/1796.32 c removed literals (reason simplification) : 20479932 1800.08/1796.32 c reason swapping (by a shorter reason) : 0 1800.08/1796.32 c Calls to reduceDB : 151 1800.08/1796.32 c number of reductions to clauses (during analyze) : 0 1800.08/1796.32 c number of learned constraints concerned by reduction : 0 1800.08/1796.32 c number of learning phase by resolution : 0 1800.08/1796.32 c number of learning phase by cutting planes : 0 1800.08/1796.32 c speed (assignments/second) : 5443523.146524124 1800.08/1796.32 c non guided choices 2784 1800.08/1796.34 c learnt constraints type 1800.08/1796.34 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17 1800.08/1796.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109509 1800.08/1796.34 c constraints type 1800.08/1796.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893 1800.08/1796.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/1796.34 c ignored satisfied constraints => 3 1800.08/1796.34 c org.sat4j.minisat.constraints.cnf.UnitClause => 99 1800.08/1796.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390 1800.08/1796.34 c 9386 constraints processed. 1800.08/1796.34 s SATISFIABLE 1800.08/1796.35 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 1800.08/1796.35 c objective function=16 1800.08/1796.35 c Total wall clock time (in seconds): 1796.236
OK 16
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710873-1338160489/watcher-3710873-1338160489 -o /tmp/evaluation-result-3710873-1338160489/solver-3710873-1338160489 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710873-1338160489.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: 2.00 2.00 2.00 3/194 23282 /proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/23282/stat : 23282 (java) D 23280 23282 21838 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 282174802 9515008 182 33554432000 1073741824 1073778376 140736103261760 140736103252792 242167398069 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0 /proc/23282/statm: 2323 182 140 9 0 71 0 [startup+0.0897349 s] /proc/loadavg: 2.00 2.00 2.00 3/194 23282 /proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9558440 CPUtime=0.06 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 3915 0 1 0 6 0 0 0 20 0 18 0 282174802 9787842560 4611 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2389610 4617 2043 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.100179 s] /proc/loadavg: 2.00 2.00 2.00 3/194 23282 /proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 4339 0 1 0 8 1 0 0 20 0 18 0 282174802 9787842560 5545 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2389610 5545 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300172 s] /proc/loadavg: 2.00 2.00 2.00 3/194 23282 /proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9558440 CPUtime=0.5 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 6096 0 1 0 49 1 0 0 20 0 18 0 282174802 9787842560 8731 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2389610 8731 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558440 [startup+0.700186 s] /proc/loadavg: 2.00 2.00 2.00 3/194 23282 /proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=1.33 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 9913 0 1 0 131 2 0 0 20 0 19 0 282174802 9856004096 13499 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 13499 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9625004 [startup+1.50061 s] /proc/loadavg: 2.00 2.00 2.00 4/213 23301 /proc/meminfo: memFree=30874820/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=2.21 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 9957 0 1 0 219 2 0 0 20 0 19 0 282174802 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 13514 2261 9 0 2396937 0 [pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2565 0 1 0 144 2 0 0 20 0 19 0 282174803 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021363573128 140021303940038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2957 0 0 0 30 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 3239 0 0 0 40 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.21 Current children cumulated vsize (KiB) 9625004 [startup+3.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/213 23301 /proc/meminfo: memFree=30864324/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=3.86 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 10061 0 1 0 384 2 0 0 20 0 19 0 282174802 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 16125 2286 9 0 2396937 0 [pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=3.05 cores=1,3,5,7 /proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2568 0 1 0 303 2 0 0 20 0 19 0 282174803 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021363581592 140021303920513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2958 0 0 0 32 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=0.44 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 3294 0 0 0 44 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 9625004 [startup+6.30061 s] /proc/loadavg: 2.00 2.00 2.00 3/213 23301 /proc/meminfo: memFree=30864208/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=7.11 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 10084 0 1 0 709 2 0 0 20 0 19 0 282174802 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 16129 2286 9 0 2396937 0 [pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=6.21 cores=1,3,5,7 /proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2570 0 1 0 619 2 0 0 20 0 19 0 282174803 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021363581448 140021303908205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 41 0 0 0 2 0 0 0 20 0 19 0 282174805 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2959 0 0 0 33 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 3300 0 0 0 46 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.11 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.81 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 169 0 0 0 378 3 0 0 20 0 19 0 282174805 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.23 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 99 0 0 0 8 15 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1725.98 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/213 23377 /proc/meminfo: memFree=30866728/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=1786.04 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 21147 0 1 0 178580 24 0 0 20 0 19 0 282174802 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 28293 2287 9 0 2396937 0 [pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1777.46 cores=1,3,5,7 /proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2717 0 1 0 177717 29 0 0 20 0 19 0 282174803 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021363581216 140021303944792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 36 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 49 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 43 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 38 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.88 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 172 0 0 0 385 3 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.24 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 103 0 0 0 9 15 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1786.04 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.31 s] /proc/loadavg: 2.06 2.02 2.00 3/213 23377 /proc/meminfo: memFree=30866732/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 21150 0 1 0 179983 25 0 0 20 0 19 0 282174802 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 28293 2287 9 0 2396937 0 [pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1791.43 cores=1,3,5,7 /proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2718 0 1 0 179114 29 0 0 20 0 19 0 282174803 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021363581216 140021303929310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 36 0 0 0 40 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 49 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.44 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 44 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 38 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.92 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 174 0 0 0 389 3 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.24 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 103 0 0 0 9 15 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.31 s] /proc/loadavg: 2.06 2.02 2.00 3/213 23377 /proc/meminfo: memFree=30866732/32873648 swapFree=7112/7112 [pid=23282] ppid=23280 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7 /proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 21150 0 1 0 179983 25 0 0 20 0 19 0 282174802 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23282/statm: 2406251 28293 2287 9 0 2396937 0 [pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1791.43 cores=1,3,5,7 /proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2718 0 1 0 179114 29 0 0 20 0 19 0 282174803 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021363581216 140021303929310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0.4 cores=1,3,5,7 /proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 36 0 0 0 40 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 49 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.44 cores=1,3,5,7 /proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 44 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 38 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.92 cores=1,3,5,7 /proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 174 0 0 0 389 3 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7 /proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.24 cores=1,3,5,7 /proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 103 0 0 0 9 15 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1796.37 CPU time (s): 1800.6 CPU user time (s): 1799.97 CPU system time (s): 0.631903 CPU usage (%): 100.235 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.631903 maximum resident set size= 113292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21182 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42125 involuntary context switches= 11352 runsolver used 6.22105 second user time and 13.143 second system time The end
Begin job on node126 at 2012-05-28 01:14:49 IDJOB=3710873 IDBENCH=25007 IDSOLVER=2289 FILE ID=node126/3710873-1338160489 RUNJOBID= node126-1338147557-21855 PBS_JOBID= 14624519 Free space on /tmp= 71356 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710873-1338160489/watcher-3710873-1338160489 -o /tmp/evaluation-result-3710873-1338160489/solver-3710873-1338160489 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710873-1338160489.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=1026539305 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30920696 kB Buffers: 318192 kB Cached: 587848 kB SwapCached: 17756 kB Active: 960376 kB Inactive: 184588 kB Active(anon): 220612 kB Inactive(anon): 20452 kB Active(file): 739764 kB Inactive(file): 164136 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 1008 kB Writeback: 0 kB AnonPages: 228788 kB Mapped: 18024 kB Shmem: 0 kB Slab: 669008 kB SReclaimable: 113160 kB SUnreclaim: 555848 kB KernelStack: 1592 kB PageTables: 4280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 825880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71356 MiB End job on node126 at 2012-05-28 01:44:47