Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 175 | 1801.18 | 901.516 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb |
| MD5SUM | cb09f183d3805e6536d629586026461f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 158 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 121 |
| Optimality of the best value was proved | YES |
| Number of variables | 4688 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 403 |
| 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 | 2 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 4688 |
| 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 | 4688 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4688 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2013 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 version PB16.v20160501 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.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4105338-1466252976.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.29/0.29 c ... done. Wall clock time 0.182s. 0.29/0.29 c declared #vars 4688 0.29/0.29 c #constraints 403 0.29/0.30 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.29/0.30 c constraints type 0.29/0.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 402 0.29/0.30 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 0.29/0.30 c 403 constraints processed. 0.29/0.30 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.29/0.30 c constraints type 0.29/0.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 0.29/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 402 0.29/0.30 c 403 constraints processed. 0.55/0.30 c objective function length is 4688 literals 0.55/0.37 c And the winner is solver0 0.80/0.80 c SATISFIABLE 0.80/0.80 c OPTIMIZING... 0.80/0.80 c Got one! Elapsed wall clock time (in seconds):0.692 0.80/0.80 o 181 1.52/1.00 c And the winner is solver0 1.76/1.33 c Got one! Elapsed wall clock time (in seconds):1.22 1.76/1.33 o 180 4.67/2.52 c cleaning 2625 clauses out of 5277 with flag 16408/5277 8.48/4.32 c cleaning 4325 clauses out of 8652 with flag 39044/11277 12.90/6.56 c cleaning 5663 clauses out of 11327 with flag 59693/18277 13.32/6.73 c And the winner is solver1 13.41/6.84 c Got one! Elapsed wall clock time (in seconds):6.733 13.41/6.84 o 179 16.37/8.36 c cleaning 5562 clauses out of 11146 with flag 16677/23759 20.00/10.19 c cleaning 5789 clauses out of 11584 with flag 36606/29759 24.63/12.46 c cleaning 6392 clauses out of 12795 with flag 60109/36759 25.44/12.89 c And the winner is solver1 25.64/13.35 c Got one! Elapsed wall clock time (in seconds):13.239 25.64/13.35 o 178 27.86/14.46 c cleaning 5916 clauses out of 11836 with flag 12716/42192 31.45/16.24 c cleaning 5956 clauses out of 11919 with flag 32176/48191 35.85/18.42 c cleaning 6482 clauses out of 12963 with flag 54671/55191 38.25/19.60 c And the winner is solver1 38.26/19.85 c Got one! Elapsed wall clock time (in seconds):19.744 38.26/19.85 o 177 39.41/20.42 c cleaning 6192 clauses out of 12396 with flag 6885/61106 43.01/22.21 c cleaning 6103 clauses out of 12206 with flag 26380/67108 47.02/24.27 c cleaning 6548 clauses out of 13101 with flag 49176/74106 52.06/26.76 c cleaning 7275 clauses out of 14556 with flag 76688/82109 57.46/29.49 c cleaning 8122 clauses out of 16278 with flag 107153/91106 63.69/32.59 c cleaning 9073 clauses out of 18156 with flag 139913/101106 70.77/36.07 c cleaning 10041 clauses out of 20086 with flag 177185/112109 78.18/39.79 c cleaning 11022 clauses out of 22044 with flag 218068/124108 86.57/43.92 c cleaning 11996 clauses out of 24020 with flag 261676/137106 95.67/48.44 c cleaning 13012 clauses out of 26024 with flag 312772/151106 105.46/53.30 c cleaning 13999 clauses out of 28012 with flag 368906/166106 116.01/58.55 c cleaning 15009 clauses out of 30017 with flag 428261/182110 127.01/64.02 c cleaning 16003 clauses out of 32005 with flag 494708/199107 138.72/69.86 c cleaning 17001 clauses out of 34004 with flag 566195/217109 151.13/76.01 c cleaning 17994 clauses out of 36000 with flag 645339/236106 164.85/82.81 c cleaning 18998 clauses out of 38006 with flag 735329/256106 179.20/89.95 c cleaning 19996 clauses out of 40008 with flag 827825/277106 194.15/97.34 c cleaning 21001 clauses out of 42012 with flag 919351/299106 210.47/105.45 c cleaning 22002 clauses out of 44011 with flag 1010395/322106 227.59/113.90 c cleaning 22995 clauses out of 46009 with flag 1107014/346106 245.05/122.68 c cleaning 24002 clauses out of 48014 with flag 1207791/371106 264.42/132.53 c cleaning 25006 clauses out of 50012 with flag 1302954/397106 284.13/142.31 c cleaning 25985 clauses out of 52006 with flag 1388581/424106 304.31/152.38 c cleaning 27001 clauses out of 54027 with flag 1476635/452112 326.33/163.20 c cleaning 28007 clauses out of 56023 with flag 1569542/481109 348.53/174.31 c cleaning 29006 clauses out of 58018 with flag 1668484/511111 370.01/185.09 c And the winner is solver1 370.27/185.51 c Got one! Elapsed wall clock time (in seconds):185.395 370.27/185.51 o 176 373.45/187.12 c cleaning 30591 clauses out of 61183 with flag 16409/543282 377.05/188.97 c cleaning 18290 clauses out of 36591 with flag 35839/549281 381.69/191.22 c cleaning 12646 clauses out of 25300 with flag 58934/556280 386.49/193.67 c cleaning 10322 clauses out of 20654 with flag 85032/564280 392.28/196.51 c cleaning 9659 clauses out of 19332 with flag 113951/573280 399.49/200.58 c cleaning 9832 clauses out of 19673 with flag 147279/583280 406.29/203.99 c cleaning 10419 clauses out of 20841 with flag 183635/594280 413.89/207.77 c cleaning 11213 clauses out of 22426 with flag 221545/606284 422.56/212.05 c cleaning 12106 clauses out of 24211 with flag 263461/619282 431.36/216.47 c cleaning 13052 clauses out of 26103 with flag 308226/633280 441.44/221.48 c cleaning 14026 clauses out of 28051 with flag 354713/648280 451.64/226.59 c cleaning 15013 clauses out of 30025 with flag 405621/664280 463.05/232.24 c cleaning 16000 clauses out of 32012 with flag 463094/681280 476.01/238.65 c cleaning 17003 clauses out of 34012 with flag 520552/699280 489.98/245.50 c cleaning 17998 clauses out of 36009 with flag 582003/718280 505.15/253.06 c cleaning 19004 clauses out of 38011 with flag 647861/738280 520.76/260.84 c cleaning 20007 clauses out of 40013 with flag 717602/759286 537.53/269.19 c cleaning 21002 clauses out of 42004 with flag 792030/781284 554.93/277.89 c cleaning 21993 clauses out of 43998 with flag 867474/804280 572.29/286.50 c cleaning 22995 clauses out of 46005 with flag 944235/828280 591.44/295.95 c cleaning 24005 clauses out of 48010 with flag 1026166/853280 611.92/306.07 c cleaning 24996 clauses out of 50005 with flag 1113156/879280 635.31/318.35 c cleaning 25994 clauses out of 52009 with flag 1203606/906280 657.99/329.64 c cleaning 26999 clauses out of 54015 with flag 1299726/934280 681.13/341.04 c cleaning 28008 clauses out of 56016 with flag 1409288/963280 705.57/353.14 c cleaning 29001 clauses out of 58008 with flag 1522759/993280 731.21/365.88 c cleaning 29981 clauses out of 60007 with flag 1648916/1024280 757.60/379.06 c cleaning 31013 clauses out of 62026 with flag 1785957/1056280 784.40/392.44 c cleaning 32003 clauses out of 64013 with flag 1925366/1089280 813.18/406.72 c cleaning 33008 clauses out of 66015 with flag 2078303/1123285 842.37/421.39 c cleaning 34000 clauses out of 68002 with flag 2242024/1158280 874.20/437.16 c cleaning 34989 clauses out of 70002 with flag 2417364/1194280 907.81/453.87 c cleaning 36003 clauses out of 72013 with flag 2617638/1231280 946.24/473.92 c cleaning 36995 clauses out of 74010 with flag 2751278/1269280 982.73/492.17 c cleaning 37997 clauses out of 76015 with flag 2888589/1308280 1019.90/510.65 c cleaning 39000 clauses out of 78019 with flag 3019147/1348281 1058.47/529.90 c cleaning 39999 clauses out of 80022 with flag 3149753/1389284 1074.88/538.06 c And the winner is solver1 1075.14/538.33 c Got one! Elapsed wall clock time (in seconds):538.217 1075.14/538.33 o 175 1078.34/539.91 c cleaning 32551 clauses out of 65107 with flag 17056/1414368 1081.73/541.61 c cleaning 19279 clauses out of 38558 with flag 37181/1420370 1085.73/543.61 c cleaning 13130 clauses out of 26276 with flag 59568/1427367 1090.33/545.94 c cleaning 10573 clauses out of 21146 with flag 84563/1435367 1095.73/548.62 c cleaning 9777 clauses out of 19573 with flag 113759/1444367 1101.73/551.61 c cleaning 9886 clauses out of 19796 with flag 147852/1454367 1108.33/554.94 c cleaning 10455 clauses out of 20910 with flag 184804/1465367 1116.10/558.80 c cleaning 11228 clauses out of 22455 with flag 223589/1477367 1124.54/562.91 c cleaning 12109 clauses out of 24228 with flag 265741/1490368 1133.33/567.36 c cleaning 13047 clauses out of 26118 with flag 310791/1504367 1143.73/572.49 c cleaning 14037 clauses out of 28073 with flag 361157/1519369 1155.33/578.26 c cleaning 15013 clauses out of 30034 with flag 415632/1535367 1167.34/584.28 c cleaning 16002 clauses out of 32021 with flag 469883/1552367 1179.92/590.58 c cleaning 17008 clauses out of 34019 with flag 530474/1570367 1193.32/597.27 c cleaning 17991 clauses out of 36011 with flag 592517/1589367 1207.52/604.40 c cleaning 19007 clauses out of 38020 with flag 661753/1609367 1223.12/612.17 c cleaning 20001 clauses out of 40016 with flag 735483/1630370 1240.02/620.46 c cleaning 21006 clauses out of 42016 with flag 817547/1652371 1257.82/629.33 c cleaning 21983 clauses out of 44006 with flag 898040/1675367 1276.61/638.71 c cleaning 23009 clauses out of 46023 with flag 985133/1699367 1295.61/648.20 c cleaning 24000 clauses out of 48015 with flag 1068680/1724368 1315.42/658.18 c cleaning 24997 clauses out of 50015 with flag 1157264/1750368 1336.42/668.65 c cleaning 26009 clauses out of 52017 with flag 1245901/1777367 1359.51/680.04 c cleaning 27003 clauses out of 54008 with flag 1339193/1805367 1383.33/692.00 c cleaning 28003 clauses out of 56005 with flag 1436262/1834367 1408.32/704.46 c cleaning 29003 clauses out of 58006 with flag 1534385/1864371 1433.72/717.17 c cleaning 29994 clauses out of 59999 with flag 1635112/1895367 1460.17/730.29 c cleaning 30995 clauses out of 62005 with flag 1741382/1927367 1487.57/743.98 c cleaning 31999 clauses out of 64012 with flag 1849364/1960369 1516.56/758.45 c cleaning 32985 clauses out of 66011 with flag 1961352/1994367 1550.17/775.25 c cleaning 34005 clauses out of 68026 with flag 2079941/2029367 1585.97/794.38 c cleaning 34999 clauses out of 70021 with flag 2204581/2065367 1618.16/810.47 c cleaning 36004 clauses out of 72022 with flag 2337360/2102367 1652.36/827.60 c cleaning 37005 clauses out of 74019 with flag 2480856/2140368 1686.76/844.67 c cleaning 38007 clauses out of 76013 with flag 2607793/2179367 1721.56/862.02 c cleaning 38998 clauses out of 78006 with flag 2743814/2219367 1757.36/879.98 c cleaning 40004 clauses out of 80008 with flag 2892681/2260367 1793.17/897.87 c cleaning 40999 clauses out of 82004 with flag 3036599/2302367 1800.56/901.45 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.56/901.45 c starts : 40499 1800.56/901.45 c conflicts : 2311553 1800.56/901.45 c decisions : 20420059 1800.56/901.45 c propagations : 1930942914 1800.56/901.45 c inspects : 4401383717 1800.56/901.45 c shortcuts : 0 1800.56/901.45 c learnt literals : 0 1800.56/901.45 c learnt binary clauses : 0 1800.56/901.45 c learnt ternary clauses : 0 1800.56/901.45 c learnt constraints : 2311553 1800.56/901.45 c ignored constraints : 0 1800.56/901.45 c root simplifications : 0 1800.56/901.45 c removed literals (reason simplification) : 13963393 1800.56/901.45 c reason swapping (by a shorter reason) : 0 1800.56/901.45 c Calls to reduceDB : 110 1800.56/901.45 c Number of update (reduction) of LBD : 1053384 1800.56/901.45 c Imported unit clauses : 0 1800.56/901.45 c number of reductions to clauses (during analyze) : 0 1800.56/901.45 c number of learned constraints concerned by reduction : 0 1800.56/901.45 c number of learning phase by resolution : 0 1800.56/901.45 c number of learning phase by cutting planes : 0 1800.56/901.45 c speed (assignments/second) : 5317775.870188455 1800.56/901.45 c non guided choices 0 1800.56/901.47 c learnt constraints type 1800.56/901.47 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50191 1800.56/901.47 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.56/901.47 c starts : 28 1800.56/901.47 c conflicts : 5033 1800.56/901.47 c decisions : 245244 1800.56/901.47 c propagations : 1174082 1800.56/901.47 c inspects : 40715565 1800.56/901.47 c shortcuts : 0 1800.56/901.47 c learnt literals : 0 1800.56/901.47 c learnt binary clauses : 0 1800.56/901.47 c learnt ternary clauses : 0 1800.56/901.47 c learnt constraints : 5032 1800.56/901.47 c ignored constraints : 0 1800.56/901.47 c root simplifications : 0 1800.56/901.47 c removed literals (reason simplification) : 0 1800.56/901.47 c reason swapping (by a shorter reason) : 0 1800.56/901.47 c Calls to reduceDB : 0 1800.56/901.47 c Number of update (reduction) of LBD : 0 1800.56/901.47 c Imported unit clauses : 0 1800.56/901.47 c number of reductions to clauses (during analyze) : 0 1800.56/901.47 c number of learned constraints concerned by reduction : 0 1800.56/901.47 c number of learning phase by resolution : 0 1800.56/901.47 c number of learning phase by cutting planes : 0 1800.56/901.47 c speed (assignments/second) : 1304.33990456987 1800.56/901.47 c non guided choices 0 1800.56/901.48 c learnt constraints type 1800.56/901.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1493 1800.56/901.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3539 1800.56/901.48 s SATISFIABLE 1800.56/901.48 c Found 7 solution(s) 1800.56/901.49 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 x1282 x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 x4152 x4153 x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 1800.56/901.49 c objective function=175 1800.56/901.49 c Total wall clock time (in seconds): 901.382
OK 175
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4105338-1466252976/watcher-4105338-1466252976 -o /tmp/evaluation-result-4105338-1466252976/solver-4105338-1466252976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105338-1466252976.opb pid=619 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.09 3.36 3.60 2/194 622 /proc/meminfo: memFree=30493000/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/622/stat : 622 (java) R 619 622 18358 0 -1 4202496 842 0 0 0 0 0 0 0 20 0 1 0 27344423 23793664 493 33554432000 1073741824 1073778376 140733302573696 140733302562760 214360439361 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/622/statm: 5809 505 382 9 0 128 0 [pid=622/tid=623] ppid=619 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) D 619 622 18358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 27344423 95129600 927 33554432000 1073741824 1073778376 140733302573696 139783458291240 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0 [startup+0.100113 s] /proc/loadavg: 2.09 3.36 3.60 2/194 622 /proc/meminfo: memFree=30493000/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 4452 0 1 0 9 1 0 0 20 0 18 0 27344423 9787879424 6077 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2389619 6077 2141 9 0 2380296 0 [pid=622/tid=623] ppid=619 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) R 619 622 18358 0 -1 4202560 2388 0 1 0 6 1 0 0 20 0 18 0 27344423 9787879424 6077 33554432000 1073741824 1073778376 140733302573696 139783458294688 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200269 s] /proc/loadavg: 2.09 3.36 3.60 2/194 622 /proc/meminfo: memFree=30493000/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 5036 0 1 0 27 2 0 0 20 0 18 0 27344423 9787879424 6982 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2389619 6982 2219 9 0 2380296 0 [pid=622/tid=623] ppid=619 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) R 619 622 18358 0 -1 4202560 2403 0 1 0 16 1 0 0 20 0 18 0 27344423 9787879424 6982 33554432000 1073741824 1073778376 140733302573696 139783458295848 214373035053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300257 s] /proc/loadavg: 2.09 3.36 3.60 2/194 622 /proc/meminfo: memFree=30493000/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9558476 CPUtime=0.55 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 7413 0 1 0 53 2 0 0 20 0 18 0 27344423 9787879424 10911 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2389619 10911 2239 9 0 2380296 0 [pid=622/tid=623] ppid=619 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) R 619 622 18358 0 -1 4202560 2419 0 1 0 25 2 0 0 20 0 18 0 27344423 9787879424 10911 33554432000 1073741824 1073778376 140733302573696 139783458295848 214373033133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558476 [startup+0.700299 s] /proc/loadavg: 2.09 3.36 3.60 2/194 622 /proc/meminfo: memFree=30493000/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9824732 CPUtime=0.8 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 7513 0 1 0 76 4 0 0 20 0 19 0 27344423 10060525568 12022 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2456183 12022 2250 9 0 2446860 0 [pid=622/tid=623] ppid=619 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2426 0 1 0 25 2 0 0 20 0 19 0 27344423 10060525568 12022 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 2.08 3.34 3.59 3/214 719 /proc/meminfo: memFree=30443656/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9824732 CPUtime=2.18 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 9060 0 1 0 211 7 0 0 20 0 22 0 27344423 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2456183 16236 2256 9 0 2446860 0 [pid=622/tid=623] ppid=619 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2432 0 1 0 29 2 0 0 20 0 22 0 27344423 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=625] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/625/stat : 625 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783419787560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=626] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/626/stat : 626 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783418734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=627] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/627/stat : 627 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783417682472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=628] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/628/stat : 628 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783416629672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=629] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/629/stat : 629 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783415577384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=630] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/630/stat : 630 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783414524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=631] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/631/stat : 631 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783413472296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=632] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/632/stat : 632 (java) S 619 622 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783412419496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=633] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/633/stat : 633 (java) S 619 622 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783282084072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=634] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/634/stat : 634 (java) S 619 622 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783281030136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=635] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/635/stat : 635 (java) S 619 622 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783279977736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=636] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/636/stat : 636 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783278926224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=637] ppid=619 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/622/task/637/stat : 637 (java) S 619 622 18358 0 -1 4202560 2996 0 0 0 42 0 0 0 20 0 22 0 27344428 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783277873848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=638] ppid=619 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/622/task/638/stat : 638 (java) S 619 622 18358 0 -1 4202560 2283 0 0 0 39 0 0 0 20 0 22 0 27344428 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783276821048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=639] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/639/stat : 639 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783275768952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=640] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/640/stat : 640 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783274716360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=709] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/709/stat : 709 (java) S 619 622 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27344455 10060525568 16236 33554432000 1073741824 1073778376 140733302573696 139783270503464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 9824732 [startup+3.10097 s] /proc/loadavg: 2.08 3.34 3.59 3/192 759 /proc/meminfo: memFree=30441996/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9824732 CPUtime=5.94 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 18006 0 1 0 586 8 0 0 20 0 22 0 27344423 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2456183 25592 2271 9 0 2446860 0 [pid=622/tid=623] ppid=619 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2432 0 1 0 29 2 0 0 20 0 22 0 27344423 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=625] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/625/stat : 625 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783419787560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=626] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/626/stat : 626 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783418734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=627] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/627/stat : 627 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783417682472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=628] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/628/stat : 628 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783416629672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=629] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/629/stat : 629 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783415577384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=630] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/630/stat : 630 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783414524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=631] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/631/stat : 631 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783413472296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=632] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/632/stat : 632 (java) S 619 622 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783412419496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=633] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/633/stat : 633 (java) S 619 622 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783282084072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=634] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/634/stat : 634 (java) S 619 622 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783281030136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=635] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/635/stat : 635 (java) S 619 622 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783279977736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=636] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/636/stat : 636 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783278926224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=637] ppid=619 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/622/task/637/stat : 637 (java) S 619 622 18358 0 -1 4202560 10309 0 0 0 80 2 0 0 20 0 22 0 27344428 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783277873848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=638] ppid=619 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/622/task/638/stat : 638 (java) S 619 622 18358 0 -1 4202560 3892 0 0 0 61 0 0 0 20 0 22 0 27344428 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783276821048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=639] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/639/stat : 639 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783275768952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=640] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/640/stat : 640 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783274716360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=709] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/709/stat : 709 (java) S 619 622 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27344455 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783270503464 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=720] ppid=619 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/622/task/720/stat : 720 (java) R 619 622 18358 0 -1 4202560 9 0 0 0 174 0 0 0 20 0 22 0 27344557 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783273659576 139783284929526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=622/tid=721] ppid=619 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/622/task/721/stat : 721 (java) R 619 622 18358 0 -1 4202560 22 0 0 0 170 0 0 0 20 0 22 0 27344557 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783272605960 139783284960700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=722] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/722/stat : 722 (java) S 619 622 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27344557 10060525568 25592 33554432000 1073741824 1073778376 140733302573696 139783271555880 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 9824732 [startup+6.30093 s] /proc/loadavg: 2.15 3.34 3.58 4/216 805 /proc/meminfo: memFree=30341032/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9824732 CPUtime=12.5 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 18584 0 1 0 1241 9 0 0 20 0 22 0 27344423 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2456183 31235 2272 9 0 2446860 0 [pid=622/tid=623] ppid=619 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2432 0 1 0 29 2 0 0 20 0 22 0 27344423 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=625] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/625/stat : 625 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783419787560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=626] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/626/stat : 626 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783418734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=627] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/627/stat : 627 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783417682472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=628] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/628/stat : 628 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783416629672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=629] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/629/stat : 629 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783415577384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=630] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/630/stat : 630 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783414524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=631] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/631/stat : 631 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31235 33554432000 1073741824 1073778376 140733302573696 139783413472296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=632] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/632/stat : 632 (java) S 619 622 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27344424 10060525568 31747 33554432000 1073741824 1073778376 140733302573696 139783412419496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=633] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/633/stat : 633 (java) S 619 622 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 31747 33554432000 1073741824 1073778376 140733302573696 139783282084072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=634] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/634/stat : 634 (java) S 619 622 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 31747 33554432000 1073741824 1073778376 140733302573696 139783281030136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=635] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=622/tid=846] ppid=619 vsize=9824732 CPUtime=340.11 cores=1,3,5,7 /proc/622/task/846/stat : 846 (java) R 619 622 18358 0 -1 4202560 6 0 0 0 34006 5 0 0 20 0 22 0 27398257 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783273652832 139783284929264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=622/tid=847] ppid=619 vsize=9824732 CPUtime=340.14 cores=1,3,5,7 /proc/622/task/847/stat : 847 (java) R 619 622 18358 0 -1 4202560 13 0 0 0 34009 5 0 0 20 0 22 0 27398257 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783270501200 139783284960774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=848] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/848/stat : 848 (java) S 619 622 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27398257 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783272608680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1762.18 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+901.301 s] /proc/loadavg: 3.94 4.11 3.93 3/196 931 /proc/meminfo: memFree=27832704/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 29655 0 1 0 179729 288 0 0 20 0 22 0 27344423 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2456183 674118 2293 9 0 2446860 0 [pid=622/tid=623] ppid=619 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2451 0 1 0 35 3 0 0 20 0 22 0 27344423 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=625] ppid=619 vsize=9824732 CPUtime=2.62 cores=1,3,5,7 /proc/622/task/625/stat : 625 (java) S 619 622 18358 0 -1 4202560 899 0 0 0 227 35 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783419787560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=626] ppid=619 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/622/task/626/stat : 626 (java) S 619 622 18358 0 -1 4202560 830 0 0 0 178 29 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783418734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=627] ppid=619 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/622/task/627/stat : 627 (java) S 619 622 18358 0 -1 4202560 832 0 0 0 184 31 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783417682472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=628] ppid=619 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/622/task/628/stat : 628 (java) S 619 622 18358 0 -1 4202560 845 0 0 0 179 27 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783416629672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=629] ppid=619 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/622/task/629/stat : 629 (java) S 619 622 18358 0 -1 4202560 884 0 0 0 196 28 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783415577384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=630] ppid=619 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/622/task/630/stat : 630 (java) S 619 622 18358 0 -1 4202560 1150 0 0 0 176 30 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783414524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=631] ppid=619 vsize=9824732 CPUtime=2.11 cores=1,3,5,7 /proc/622/task/631/stat : 631 (java) S 619 622 18358 0 -1 4202560 700 0 0 0 187 24 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783413472296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=632] ppid=619 vsize=9824732 CPUtime=2.35 cores=1,3,5,7 /proc/622/task/632/stat : 632 (java) S 619 622 18358 0 -1 4202560 929 0 0 0 204 31 0 0 20 0 22 0 27344424 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783412419496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=633] ppid=619 vsize=9824732 CPUtime=8.45 cores=1,3,5,7 /proc/622/task/633/stat : 633 (java) S 619 622 18358 0 -1 4202560 2382 0 0 0 837 8 0 0 20 0 22 0 27344425 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783282084072 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=634] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/634/stat : 634 (java) S 619 622 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783281030136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=635] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/635/stat : 635 (java) S 619 622 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27344425 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783279977736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=636] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/636/stat : 636 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783278926224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=637] ppid=619 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/622/task/637/stat : 637 (java) S 619 622 18358 0 -1 4202560 10358 0 0 0 132 2 0 0 20 0 22 0 27344428 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783277873848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=638] ppid=619 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/622/task/638/stat : 638 (java) S 619 622 18358 0 -1 4202560 5830 0 0 0 104 0 0 0 20 0 22 0 27344428 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783276821048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=639] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/639/stat : 639 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27344428 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783275768952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=640] ppid=619 vsize=9824732 CPUtime=0.21 cores=1,3,5,7 /proc/622/task/640/stat : 640 (java) S 619 622 18358 0 -1 4202560 54 0 0 0 7 14 0 0 20 0 22 0 27344428 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783274716360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=722] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/722/stat : 722 (java) S 619 622 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27344557 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783271555880 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=846] ppid=619 vsize=9824732 CPUtime=359.1 cores=1,3,5,7 /proc/622/task/846/stat : 846 (java) R 619 622 18358 0 -1 4202560 6 0 0 0 35905 5 0 0 20 0 22 0 27398257 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783273652832 139783284929207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=622/tid=847] ppid=619 vsize=9824732 CPUtime=359.14 cores=1,3,5,7 /proc/622/task/847/stat : 847 (java) R 619 622 18358 0 -1 4202560 13 0 0 0 35909 5 0 0 20 0 22 0 27398257 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783270502968 139783284960844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=848] ppid=619 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/622/task/848/stat : 848 (java) S 619 622 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27398257 10060525568 674118 33554432000 1073741824 1073778376 140733302573696 139783272608680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 622 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+901.405 s] /proc/loadavg: 3.94 4.11 3.93 3/196 931 /proc/meminfo: memFree=27832704/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9891296 CPUtime=1800.56 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 29698 0 1 0 179768 288 0 0 20 0 23 0 27344423 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2472824 674161 2293 9 0 2463501 0 [pid=622/tid=623] ppid=619 vsize=9891296 CPUtime=0.38 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2451 0 1 0 35 3 0 0 20 0 23 0 27344423 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=625] ppid=619 vsize=9891296 CPUtime=2.67 cores=1,3,5,7 /proc/622/task/625/stat : 625 (java) R 619 622 18358 0 -1 4202560 899 0 0 0 232 35 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783419787736 139783464804751 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=622/tid=626] ppid=619 vsize=9891296 CPUtime=2.14 cores=1,3,5,7 /proc/622/task/626/stat : 626 (java) R 619 622 18358 0 -1 4202560 830 0 0 0 185 29 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783418734936 139783465192364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=627] ppid=619 vsize=9891296 CPUtime=2.18 cores=1,3,5,7 /proc/622/task/627/stat : 627 (java) R 619 622 18358 0 -1 4202560 832 0 0 0 187 31 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783417682648 139783464804751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=628] ppid=619 vsize=9891296 CPUtime=2.11 cores=1,3,5,7 /proc/622/task/628/stat : 628 (java) R 619 622 18358 0 -1 4202560 847 0 0 0 184 27 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783416629848 139783465192364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=622/tid=629] ppid=619 vsize=9891296 CPUtime=2.32 cores=1,3,5,7 /proc/622/task/629/stat : 629 (java) R 619 622 18358 0 -1 4202560 884 0 0 0 204 28 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783415577560 139783462471874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=630] ppid=619 vsize=9891296 CPUtime=2.11 cores=1,3,5,7 /proc/622/task/630/stat : 630 (java) R 619 622 18358 0 -1 4202560 1150 0 0 0 181 30 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783414524760 139783464804774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=622/tid=631] ppid=619 vsize=9891296 CPUtime=2.14 cores=1,3,5,7 /proc/622/task/631/stat : 631 (java) R 619 622 18358 0 -1 4202560 724 0 0 0 190 24 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783413472176 139783460767475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=622/tid=632] ppid=619 vsize=9891296 CPUtime=2.39 cores=1,3,5,7 /proc/622/task/632/stat : 632 (java) R 619 622 18358 0 -1 4202560 929 0 0 0 208 31 0 0 20 0 23 0 27344424 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783412419672 139783462471929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=622/tid=633] ppid=619 vsize=9891296 CPUtime=8.45 cores=1,3,5,7 /proc/622/task/633/stat : 633 (java) S 619 622 18358 0 -1 4202560 2382 0 0 0 837 8 0 0 20 0 23 0 27344425 10128687104 674161 33554432000 1073741824 1073778376 140733302573696 139783282082952 214373020732 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=634] ppid=619 vsize=9891296 CPUtime=0 cores=1,3,5,7 /proc/622/task/634/stat : 634 (java) S 619 622 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 27344425 10128687104 674162 33554432000 1073741824 1073778376 140733302573696 139783281030136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=635] ppid=619 vsize=9891296 CPUtime=0 cores=1,3,5,7 /proc/622/task/635/stat : 635 (java) S 619 622 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 23 0 27344425 10128687104 674162 33554432000 1073741824 1073778376 140733302573696 139783279977736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=636] ppid=619 vsize=9891296 CPUtime=0 cores=1,3,5,7 /proc/622/task/636/stat : 636 (java) S 619 622 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 23 0 27344428 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783278926224 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=637] ppid=619 vsize=9891296 CPUtime=1.34 cores=1,3,5,7 /proc/622/task/637/stat : 637 (java) S 619 622 18358 0 -1 4202560 10358 0 0 0 132 2 0 0 20 0 23 0 27344428 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783277873848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=638] ppid=619 vsize=9891296 CPUtime=1.04 cores=1,3,5,7 /proc/622/task/638/stat : 638 (java) S 619 622 18358 0 -1 4202560 5830 0 0 0 104 0 0 0 20 0 23 0 27344428 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783276821048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=639] ppid=619 vsize=9891296 CPUtime=0 cores=1,3,5,7 /proc/622/task/639/stat : 639 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 27344428 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783275768952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=640] ppid=619 vsize=9891296 CPUtime=0.21 cores=1,3,5,7 /proc/622/task/640/stat : 640 (java) S 619 622 18358 0 -1 4202560 54 0 0 0 7 14 0 0 20 0 23 0 27344428 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783274716360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=722] ppid=619 vsize=9891296 CPUtime=0 cores=1,3,5,7 /proc/622/task/722/stat : 722 (java) S 619 622 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 27344557 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783271555880 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=846] ppid=619 vsize=9891296 CPUtime=359.1 cores=1,3,5,7 /proc/622/task/846/stat : 846 (java) S 619 622 18358 0 -1 4202560 6 0 0 0 35905 5 0 0 20 0 23 0 27398257 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783273659864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=847] ppid=619 vsize=9891296 CPUtime=359.14 cores=1,3,5,7 /proc/622/task/847/stat : 847 (java) S 619 622 18358 0 -1 4202560 13 0 0 0 35909 5 0 0 20 0 23 0 27398257 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783270501320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=848] ppid=619 vsize=9891296 CPUtime=0 cores=1,3,5,7 /proc/622/task/848/stat : 848 (java) S 619 622 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 27398257 10128687104 674163 33554432000 1073741824 1073778376 140733302573696 139783272608680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (KiB) 9891296 [startup+901.501 s] /proc/loadavg: 3.94 4.11 3.93 3/196 931 /proc/meminfo: memFree=27832704/32872528 swapFree=1286400/1433568 [pid=622] ppid=619 vsize=9957860 CPUtime=1800.96 cores=1,3,5,7 /proc/622/stat : 622 (java) S 619 622 18358 0 -1 4202496 29784 0 1 0 179799 297 0 0 20 0 19 0 27344423 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 140733302564832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/622/statm: 2489465 674233 2302 9 0 2480142 0 [pid=622/tid=623] ppid=619 vsize=9957860 CPUtime=0.38 cores=1,3,5,7 /proc/622/task/623/stat : 623 (java) S 619 622 18358 0 -1 4202560 2451 0 1 0 35 3 0 0 20 0 19 0 27344423 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783458296696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=625] ppid=619 vsize=9957860 CPUtime=2.71 cores=1,3,5,7 /proc/622/task/625/stat : 625 (java) S 619 622 18358 0 -1 4202560 899 0 0 0 236 35 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783419787560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=626] ppid=619 vsize=9957860 CPUtime=2.16 cores=1,3,5,7 /proc/622/task/626/stat : 626 (java) S 619 622 18358 0 -1 4202560 833 0 0 0 187 29 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783418734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=627] ppid=619 vsize=9957860 CPUtime=2.2 cores=1,3,5,7 /proc/622/task/627/stat : 627 (java) S 619 622 18358 0 -1 4202560 832 0 0 0 189 31 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783417682472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=628] ppid=619 vsize=9957860 CPUtime=2.14 cores=1,3,5,7 /proc/622/task/628/stat : 628 (java) S 619 622 18358 0 -1 4202560 849 0 0 0 187 27 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783416629672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=629] ppid=619 vsize=9957860 CPUtime=2.33 cores=1,3,5,7 /proc/622/task/629/stat : 629 (java) S 619 622 18358 0 -1 4202560 884 0 0 0 205 28 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783415577384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=630] ppid=619 vsize=9957860 CPUtime=2.13 cores=1,3,5,7 /proc/622/task/630/stat : 630 (java) S 619 622 18358 0 -1 4202560 1150 0 0 0 183 30 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783414524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=631] ppid=619 vsize=9957860 CPUtime=2.15 cores=1,3,5,7 /proc/622/task/631/stat : 631 (java) S 619 622 18358 0 -1 4202560 724 0 0 0 191 24 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783413472296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=632] ppid=619 vsize=9957860 CPUtime=2.42 cores=1,3,5,7 /proc/622/task/632/stat : 632 (java) S 619 622 18358 0 -1 4202560 929 0 0 0 211 31 0 0 20 0 19 0 27344424 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783412419496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=633] ppid=619 vsize=9957860 CPUtime=8.46 cores=1,3,5,7 /proc/622/task/633/stat : 633 (java) S 619 622 18358 0 -1 4202560 2436 0 0 0 838 8 0 0 20 0 19 0 27344425 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783282083624 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=634] ppid=619 vsize=9957860 CPUtime=0 cores=1,3,5,7 /proc/622/task/634/stat : 634 (java) S 619 622 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27344425 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783281030136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=635] ppid=619 vsize=9957860 CPUtime=0 cores=1,3,5,7 /proc/622/task/635/stat : 635 (java) S 619 622 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27344425 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783279977736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=636] ppid=619 vsize=9957860 CPUtime=0 cores=1,3,5,7 /proc/622/task/636/stat : 636 (java) S 619 622 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27344428 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783278925256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=622/tid=637] ppid=619 vsize=9957860 CPUtime=1.35 cores=1,3,5,7 /proc/622/task/637/stat : 637 (java) S 619 622 18358 0 -1 4202560 10358 0 0 0 133 2 0 0 20 0 19 0 27344428 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783277860568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=622/tid=638] ppid=619 vsize=9957860 CPUtime=1.07 cores=1,3,5,7 /proc/622/task/638/stat : 638 (java) S 619 622 18358 0 -1 4202560 5839 0 0 0 107 0 0 0 20 0 19 0 27344428 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783276807768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=622/tid=639] ppid=619 vsize=9957860 CPUtime=0 cores=1,3,5,7 /proc/622/task/639/stat : 639 (java) S 619 622 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27344428 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783275768952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=622/tid=847] ppid=619 vsize=9957860 CPUtime=359.19 cores=1,3,5,7 /proc/622/task/847/stat : 847 (java) S 619 622 18358 0 -1 4202560 13 0 0 0 35914 5 0 0 20 0 19 0 27398257 10196848640 674233 33554432000 1073741824 1073778376 140733302573696 139783270501320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.96 Current children cumulated vsize (KiB) 9957860 Child status: 143 Real time (s): 901.516 CPU time (s): 1801.18 CPU user time (s): 1798.02 CPU system time (s): 3.16252 CPU usage (%): 199.795 Max. virtual memory (cumulated for all children) (KiB): 9957860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.02 system time used= 3.16252 maximum resident set size= 2696948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29784 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22975 involuntary context switches= 17768 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.32604 second user time and 6.47202 second system time The end
Begin job on node130 at 2016-06-18 14:29:37 IDJOB=4105338 IDBENCH=2837 IDSOLVER=2543 FILE ID=node130/4105338-1466252976 RUNJOBID= node130-1466240252-18375 PBS_JOBID= 19918180 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105338-1466252976/watcher-4105338-1466252976 -o /tmp/evaluation-result-4105338-1466252976/solver-4105338-1466252976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105338-1466252976.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cb09f183d3805e6536d629586026461f RANDOM SEED=1479825952 node130.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.365 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.73 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.365 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 : 5332.55 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.365 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 : 5332.55 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.365 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 : 5332.55 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.365 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 : 5332.55 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.365 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 : 5332.53 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.365 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 : 5332.56 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.365 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30493156 kB Buffers: 23720 kB Cached: 143528 kB SwapCached: 1896 kB Active: 87208 kB Inactive: 120880 kB Active(anon): 40984 kB Inactive(anon): 2208 kB Active(file): 46224 kB Inactive(file): 118672 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67098716 kB Dirty: 1784 kB Writeback: 0 kB AnonPages: 1489736 kB Mapped: 15164 kB Shmem: 0 kB Slab: 602272 kB SReclaimable: 43736 kB SUnreclaim: 558536 kB KernelStack: 1768 kB PageTables: 7240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2131328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node130 at 2016-06-18 14:44:38