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) | 28 | 1800.63 | 899.794 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb |
| MD5SUM | 1b0ac127de7b79f6251c1506cbcbe6c3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.155975 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 8805 |
| Total number of constraints | 27496 |
| Number of constraints which are clauses | 27496 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4284 |
| 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 | 4284 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4284 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081480-1465237672.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.68/0.70 c ... done. Wall clock time 0.584s. 1.68/0.70 c declared #vars 8805 1.68/0.70 c #constraints 27496 1.68/0.71 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.68/0.71 c constraints type 1.68/0.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 1.68/0.71 c org.sat4j.minisat.constraints.cnf.UnitClause => 681 1.68/0.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 1.68/0.71 c 27496 constraints processed. 1.68/0.71 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.68/0.71 c constraints type 1.68/0.71 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286 1.68/0.71 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529 1.68/0.71 c org.sat4j.pb.constraints.pb.UnitClausePB => 681 1.68/0.71 c 27496 constraints processed. 1.68/0.71 c objective function length is 4284 literals 2.87/1.04 c And the winner is solver1 3.18/1.21 c SATISFIABLE 3.18/1.21 c OPTIMIZING... 3.18/1.21 c Got one! Elapsed wall clock time (in seconds):1.096 3.18/1.22 o 37 4.05/1.50 c And the winner is solver0 4.29/1.74 c Got one! Elapsed wall clock time (in seconds):1.621 4.29/1.74 o 36 5.44/2.23 c And the winner is solver0 5.44/2.30 c Got one! Elapsed wall clock time (in seconds):2.183 5.44/2.30 o 35 11.32/5.05 c cleaning 3022 clauses out of 6045 with flag 17242/6045 19.66/8.95 c cleaning 4499 clauses out of 9023 with flag 47616/12045 20.04/9.13 c And the winner is solver0 20.27/9.36 c Got one! Elapsed wall clock time (in seconds):9.24 20.27/9.36 o 34 20.61/9.58 c And the winner is solver0 20.81/9.86 c Got one! Elapsed wall clock time (in seconds):9.743 20.81/9.86 o 33 27.25/13.02 c cleaning 5287 clauses out of 10586 with flag 21624/18107 35.85/17.36 c cleaning 5634 clauses out of 11298 with flag 51952/24106 46.65/22.68 c cleaning 6315 clauses out of 12664 with flag 89651/31106 59.25/28.92 c cleaning 7174 clauses out of 14349 with flag 131172/39106 72.72/35.63 c cleaning 8082 clauses out of 16175 with flag 177385/48106 87.79/43.10 c cleaning 9039 clauses out of 18093 with flag 240974/58106 103.47/50.94 c cleaning 10012 clauses out of 20054 with flag 301372/69106 120.48/59.44 c cleaning 11021 clauses out of 22042 with flag 373604/81106 139.76/69.07 c cleaning 12011 clauses out of 24021 with flag 448251/94106 160.44/79.31 c cleaning 12978 clauses out of 26010 with flag 536476/108106 182.45/90.27 c cleaning 13991 clauses out of 28032 with flag 615567/123106 206.53/102.22 c cleaning 15005 clauses out of 30041 with flag 708404/139106 231.99/114.97 c cleaning 16002 clauses out of 32036 with flag 818644/156106 258.70/128.21 c cleaning 16994 clauses out of 34034 with flag 944598/174106 286.19/141.93 c cleaning 18011 clauses out of 36042 with flag 1068372/193108 314.06/155.87 c cleaning 19002 clauses out of 38029 with flag 1180926/213106 339.44/168.49 c And the winner is solver1 339.67/168.90 c Got one! Elapsed wall clock time (in seconds):168.783 339.67/168.90 o 32 346.54/172.35 c cleaning 20540 clauses out of 41087 with flag 22485/235166 355.19/176.68 c cleaning 13273 clauses out of 26547 with flag 49389/241166 365.26/181.68 c cleaning 10137 clauses out of 20274 with flag 80825/248166 377.98/187.95 c cleaning 9069 clauses out of 18137 with flag 121661/256166 392.42/195.11 c cleaning 9034 clauses out of 18068 with flag 165962/265166 408.64/203.20 c cleaning 9506 clauses out of 19034 with flag 217795/275166 425.82/212.18 c cleaning 10258 clauses out of 20528 with flag 267524/286166 444.52/221.40 c cleaning 11135 clauses out of 22270 with flag 329560/298166 464.39/231.32 c cleaning 12049 clauses out of 24135 with flag 400699/311166 486.88/242.56 c cleaning 13043 clauses out of 26086 with flag 475760/325166 510.58/254.38 c cleaning 14019 clauses out of 28043 with flag 553079/340166 536.33/267.17 c cleaning 14979 clauses out of 30024 with flag 642584/356166 559.82/278.85 c cleaning 16020 clauses out of 32045 with flag 731577/373166 582.50/290.11 c cleaning 17005 clauses out of 34025 with flag 816011/391166 609.41/303.53 c cleaning 17999 clauses out of 36020 with flag 915602/410166 638.15/317.81 c cleaning 19000 clauses out of 38024 with flag 1022345/430169 640.77/319.16 c And the winner is solver1 640.95/319.33 c Got one! Elapsed wall clock time (in seconds):319.208 640.95/319.33 o 31 646.82/322.24 c cleaning 12411 clauses out of 24825 with flag 17639/435970 655.43/326.50 c cleaning 9203 clauses out of 18414 with flag 46132/441970 664.91/331.29 c cleaning 8106 clauses out of 16212 with flag 79400/448971 676.94/337.72 c cleaning 8049 clauses out of 16105 with flag 118392/456970 688.92/343.75 c cleaning 8523 clauses out of 17056 with flag 167505/465970 702.57/350.57 c cleaning 9259 clauses out of 18533 with flag 222523/475970 709.06/353.76 c And the winner is solver1 709.21/354.06 c Got one! Elapsed wall clock time (in seconds):353.937 709.21/354.06 o 30 710.48/354.72 c cleaning 7399 clauses out of 14797 with flag 5003/481493 718.56/358.75 c cleaning 6696 clauses out of 13398 with flag 31857/487493 728.40/363.63 c cleaning 6847 clauses out of 13705 with flag 62992/494496 740.10/369.40 c cleaning 7428 clauses out of 14855 with flag 98035/502493 752.82/375.77 c cleaning 8214 clauses out of 16428 with flag 140920/511494 767.82/383.16 c cleaning 9091 clauses out of 18213 with flag 191407/521493 784.35/391.38 c cleaning 10055 clauses out of 20122 with flag 245125/532493 802.35/400.35 c cleaning 11013 clauses out of 22067 with flag 305171/544493 821.82/410.03 c cleaning 12023 clauses out of 24054 with flag 372775/557493 842.64/420.48 c cleaning 13000 clauses out of 26031 with flag 440844/571493 866.05/432.13 c cleaning 14016 clauses out of 28031 with flag 513041/586493 891.73/444.96 c cleaning 14976 clauses out of 30015 with flag 601736/602493 918.39/458.23 c cleaning 16020 clauses out of 32039 with flag 689974/619493 946.23/472.20 c cleaning 17009 clauses out of 34019 with flag 787617/637493 976.77/487.34 c cleaning 17998 clauses out of 36010 with flag 888930/656493 1007.04/502.49 c cleaning 19007 clauses out of 38014 with flag 997290/676495 1038.75/518.23 c cleaning 19997 clauses out of 40006 with flag 1096001/697494 1070.84/534.26 c cleaning 21004 clauses out of 42008 with flag 1205090/719493 1105.60/552.34 c cleaning 21996 clauses out of 44005 with flag 1330694/742494 1140.81/569.69 c cleaning 22999 clauses out of 46009 with flag 1458705/766494 1162.92/580.66 c And the winner is solver1 1163.15/580.74 c Got one! Elapsed wall clock time (in seconds):580.616 1163.15/580.74 o 28 1169.67/584.10 c cleaning 21815 clauses out of 43630 with flag 24145/787114 1177.28/587.82 c cleaning 13907 clauses out of 27814 with flag 54475/793113 1186.48/592.40 c cleaning 10442 clauses out of 20905 with flag 92348/800111 1197.22/597.76 c cleaning 9232 clauses out of 18463 with flag 134207/808111 1209.42/603.84 c cleaning 9111 clauses out of 18231 with flag 177767/817111 1222.83/610.52 c cleaning 9561 clauses out of 19121 with flag 229647/827112 1237.11/617.62 c cleaning 10262 clauses out of 20559 with flag 282403/838111 1252.71/625.40 c cleaning 11099 clauses out of 22297 with flag 341997/850111 1268.31/633.21 c cleaning 12094 clauses out of 24198 with flag 405494/863111 1285.67/641.80 c cleaning 13050 clauses out of 26103 with flag 473169/877111 1303.87/650.95 c cleaning 14024 clauses out of 28053 with flag 539400/892111 1323.79/660.88 c cleaning 14995 clauses out of 30029 with flag 614758/908111 1347.79/672.74 c cleaning 16010 clauses out of 32034 with flag 701039/925111 1373.65/685.70 c cleaning 17010 clauses out of 34025 with flag 792050/943112 1401.38/699.49 c cleaning 17989 clauses out of 36014 with flag 894160/962111 1429.71/713.59 c cleaning 19011 clauses out of 38025 with flag 999021/982111 1457.91/727.62 c cleaning 20007 clauses out of 40014 with flag 1111770/1003111 1488.85/743.06 c cleaning 20994 clauses out of 42008 with flag 1214807/1025112 1523.84/760.56 c cleaning 22005 clauses out of 44013 with flag 1332125/1048111 1561.46/779.29 c cleaning 22990 clauses out of 46008 with flag 1451756/1072111 1599.50/798.16 c cleaning 24005 clauses out of 48018 with flag 1585324/1097111 1640.89/818.84 c cleaning 25000 clauses out of 50014 with flag 1723908/1123112 1681.33/838.94 c cleaning 25996 clauses out of 52013 with flag 1861844/1150111 1725.83/862.65 c cleaning 26999 clauses out of 54017 with flag 2002894/1178111 1768.03/883.75 c cleaning 27994 clauses out of 56018 with flag 2159668/1207111 1800.13/899.70 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.13/899.70 c starts : 19987 1800.13/899.70 c conflicts : 1229079 1800.13/899.70 c decisions : 10462307 1800.13/899.70 c propagations : 4446945462 1800.13/899.70 c inspects : 4838513358 1800.13/899.70 c shortcuts : 0 1800.13/899.70 c learnt literals : 1 1800.13/899.70 c learnt binary clauses : 2 1800.13/899.70 c learnt ternary clauses : 30 1800.13/899.70 c learnt constraints : 1229078 1800.13/899.70 c ignored constraints : 0 1800.13/899.70 c root simplifications : 0 1800.13/899.70 c removed literals (reason simplification) : 5661011 1800.13/899.70 c reason swapping (by a shorter reason) : 0 1800.13/899.70 c Calls to reduceDB : 85 1800.13/899.70 c Number of update (reduction) of LBD : 473064 1800.13/899.70 c Imported unit clauses : 0 1800.13/899.70 c number of reductions to clauses (during analyze) : 0 1800.13/899.70 c number of learned constraints concerned by reduction : 0 1800.13/899.70 c number of learning phase by resolution : 0 1800.13/899.70 c number of learning phase by cutting planes : 0 1800.13/899.70 c speed (assignments/second) : 1.3941973946658054E7 1800.13/899.70 c non guided choices 0 1800.13/899.73 c learnt constraints type 1800.13/899.73 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2 1800.13/899.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 49991 1800.13/899.73 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.13/899.73 c starts : 24 1800.13/899.73 c conflicts : 2616 1800.13/899.73 c decisions : 445554 1800.13/899.73 c propagations : 2412475 1800.13/899.73 c inspects : 38270028 1800.13/899.73 c shortcuts : 0 1800.13/899.73 c learnt literals : 0 1800.13/899.73 c learnt binary clauses : 0 1800.13/899.73 c learnt ternary clauses : 0 1800.13/899.73 c learnt constraints : 2615 1800.13/899.73 c ignored constraints : 0 1800.13/899.73 c root simplifications : 0 1800.13/899.73 c removed literals (reason simplification) : 0 1800.13/899.73 c reason swapping (by a shorter reason) : 0 1800.13/899.73 c Calls to reduceDB : 0 1800.13/899.73 c Number of update (reduction) of LBD : 0 1800.13/899.73 c Imported unit clauses : 0 1800.13/899.73 c number of reductions to clauses (during analyze) : 0 1800.13/899.73 c number of learned constraints concerned by reduction : 0 1800.13/899.73 c number of learning phase by resolution : 0 1800.13/899.73 c number of learning phase by cutting planes : 0 1800.13/899.73 c speed (assignments/second) : 2711.0633884092267 1800.13/899.73 c non guided choices 0 1800.13/899.73 c learnt constraints type 1800.13/899.73 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 91 1800.13/899.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 46 1800.13/899.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2478 1800.13/899.73 s SATISFIABLE 1800.13/899.73 c Found 9 solution(s) 1800.13/899.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 x6656 x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 x6801 x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 x7616 x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 x7670 x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8313 x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 x8656 x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 x8674 x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 x8684 x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 x8712 x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 x8740 x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 x8748 x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x8800 x8801 -x8802 -x8803 x8804 x8805 1800.13/899.77 c objective function=28 1800.13/899.77 c Total wall clock time (in seconds): 899.646
OK 28
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-4081480-1465237672/watcher-4081480-1465237672 -o /tmp/evaluation-result-4081480-1465237672/solver-4081480-1465237672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081480-1465237672.opb pid=16595 running on 4 cores: 0,2,4,6 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: 4.32 4.09 3.97 4/197 16598 /proc/meminfo: memFree=30548152/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/16598/stat : 16598 (java) R 16595 16598 12316 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 105700435 5767168 52 33554432000 1073741824 1073778376 140734177228336 140734177225464 262953594759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 1408 55 43 9 0 30 0 [startup+0.10006 s] /proc/loadavg: 4.32 4.09 3.97 4/197 16598 /proc/meminfo: memFree=30548152/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 105700435 9787879424 6030 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2389619 6030 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200211 s] /proc/loadavg: 4.32 4.09 3.97 4/197 16598 /proc/meminfo: memFree=30548152/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 4985 0 1 0 27 1 0 0 20 0 18 0 105700435 9787879424 6932 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2389619 6932 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300222 s] /proc/loadavg: 4.32 4.09 3.97 4/197 16598 /proc/meminfo: memFree=30548152/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9558476 CPUtime=0.49 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 6300 0 1 0 48 1 0 0 20 0 18 0 105700435 9787879424 9275 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2389619 9275 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700191 s] /proc/loadavg: 4.32 4.09 3.97 4/197 16598 /proc/meminfo: memFree=30548152/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9559080 CPUtime=1.68 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 25788 0 1 0 162 6 0 0 20 0 18 0 105700435 9788497920 38287 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2389770 38287 2251 9 0 2380447 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 9559080 [startup+1.50074 s] /proc/loadavg: 4.32 4.09 3.97 4/216 16620 /proc/meminfo: memFree=30399588/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9824732 CPUtime=4.05 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 27453 0 1 0 396 9 0 0 20 0 22 0 105700435 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2456183 40818 2274 9 0 2446860 0 [pid=16598/tid=16600] ppid=16595 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/16598/task/16600/stat : 16600 (java) S 16595 16598 12316 0 -1 4202560 2464 0 1 0 68 2 0 0 20 0 22 0 105700436 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140172392551288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16601] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16601/stat : 16601 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140172236204328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16602] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16602/stat : 16602 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140172235151528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16603] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16603/stat : 16603 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140172234099240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16604] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16604/stat : 16604 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140172233046440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16605] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16605/stat : 16605 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140172231994152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16606] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16606/stat : 16606 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171894844072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16607] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16607/stat : 16607 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171893791784 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16608] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16608/stat : 16608 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171892738984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16609] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16609/stat : 16609 (java) S 16595 16598 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105700438 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171880540392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16610] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16610/stat : 16610 (java) S 16595 16598 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171879486456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16611] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16611/stat : 16611 (java) S 16595 16598 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171878434056 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16612] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16612/stat : 16612 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171877382544 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16613] ppid=16595 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/16598/task/16613/stat : 16613 (java) R 16595 16598 12316 0 -1 4202560 11189 0 0 0 100 2 0 0 20 0 22 0 105700441 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171876330168 140172399525632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16614] ppid=16595 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/16598/task/16614/stat : 16614 (java) R 16595 16598 12316 0 -1 4202560 12457 0 0 0 107 3 0 0 20 0 22 0 105700441 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171875277368 140172396178489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16615] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16615/stat : 16615 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171874225272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16616] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16616/stat : 16616 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171873172680 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16619] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16619/stat : 16619 (java) S 16595 16598 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105700510 10060525568 40818 33554432000 1073741824 1073778376 140734177228336 140171868697768 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.05 Current children cumulated vsize (KiB) 9824732 [startup+3.10074 s] /proc/loadavg: 4.29 4.09 3.97 5/219 16626 /proc/meminfo: memFree=30382196/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9824732 CPUtime=7.38 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 27495 0 1 0 725 13 0 0 20 0 22 0 105700435 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2456183 47483 2276 9 0 2446860 0 [pid=16598/tid=16600] ppid=16595 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/16598/task/16600/stat : 16600 (java) S 16595 16598 12316 0 -1 4202560 2465 0 1 0 70 3 0 0 20 0 22 0 105700436 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140172392551288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16601] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16601/stat : 16601 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140172236204328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16602] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16602/stat : 16602 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140172235151528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16603] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16603/stat : 16603 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140172234099240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16604] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16604/stat : 16604 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140172233046440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16605] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16605/stat : 16605 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140172231994152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16606] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16606/stat : 16606 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171894844072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16607] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16607/stat : 16607 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171893791784 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16608] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16608/stat : 16608 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171892738984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16609] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16609/stat : 16609 (java) S 16595 16598 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105700438 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171880540392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16610] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16610/stat : 16610 (java) S 16595 16598 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171879486456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16611] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16611/stat : 16611 (java) S 16595 16598 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171878434056 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16612] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16612/stat : 16612 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171877382544 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16613] ppid=16595 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/16598/task/16613/stat : 16613 (java) R 16595 16598 12316 0 -1 4202560 11189 0 0 0 123 2 0 0 20 0 22 0 105700441 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171876330168 140172399013647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16614] ppid=16595 vsize=9824732 CPUtime=1.42 cores=0,2,4,6 /proc/16598/task/16614/stat : 16614 (java) S 16595 16598 12316 0 -1 4202560 12459 0 0 0 139 3 0 0 20 0 22 0 105700441 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171875277368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16615] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16615/stat : 16615 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171874225272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16616] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16616/stat : 16616 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171873172680 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16623] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16623/stat : 16623 (java) S 16595 16598 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105700559 10060525568 47483 33554432000 1073741824 1073778376 140734177228336 140171867645608 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.38 Current children cumulated vsize (KiB) 9824732 [startup+6.30096 s] /proc/loadavg: 4.29 4.09 3.97 5/219 16629 /proc/meminfo: memFree=30333656/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9824732 CPUtime=14.33 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 29030 0 1 0 1418 15 0 0 20 0 22 0 105700435 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2456183 55400 2292 9 0 2446860 0 [pid=16598/tid=16600] ppid=16595 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/16598/task/16600/stat : 16600 (java) S 16595 16598 12316 0 -1 4202560 2465 0 1 0 70 3 0 0 20 0 22 0 105700436 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140172392551288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16601] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16601/stat : 16601 (java) S 16595 16598 12316 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140172236204328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16602] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16602/stat : 16602 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140172235151528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16603] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16603/stat : 16603 (java) S 16595 16598 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140172234099240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16604] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16604/stat : 16604 (java) S 16595 16598 12316 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140172233046440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16605] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16605/stat : 16605 (java) S 16595 16598 12316 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140172231994152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16606] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16606/stat : 16606 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171894844072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16607] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16607/stat : 16607 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171893791784 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16608] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16608/stat : 16608 (java) S 16595 16598 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105700437 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171892738984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16609] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16609/stat : 16609 (java) S 16595 16598 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105700438 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171880540392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16610] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16610/stat : 16610 (java) S 16595 16598 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171879486456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16611] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16611/stat : 16611 (java) S 16595 16598 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171878434056 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16612] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16612/stat : 16612 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171877382544 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16613] ppid=16595 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/16598/task/16613/stat : 16613 (java) S 16595 16598 12316 0 -1 4202560 12659 0 0 0 173 2 0 0 20 0 22 0 105700441 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171876330168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16614] ppid=16595 vsize=9824732 CPUtime=1.45 cores=0,2,4,6 /proc/16598/task/16614/stat : 16614 (java) S 16595 16598 12316 0 -1 4202560 12463 0 0 0 142 3 0 0 20 0 22 0 105700441 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171875277368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16615] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16615/stat : 16615 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171874225272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16616] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16616/stat : 16616 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171873172680 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16623] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16623/stat : 16623 (java) S 16595 16598 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105700559 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171867645608 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16627] ppid=16595 vsize=9824732 CPUtime=3.94 cores=0,2,4,6 /proc/16598/task/16627/stat : 16627 (java) R 16595 16598 12316 0 -1 4202560 8 0 0 0 394 0 0 0 20 0 22 0 105700666 10060525568 55400 33554432000 1073741824 1073778376 140734177228336 140171870793744 140172247439172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16628] ppid=16595 vsize=9824732 CPUtime=3.95 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 3.93 3.98 3.97 5/219 16751 /proc/meminfo: memFree=28599232/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9824732 CPUtime=1765.25 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 39498 0 1 0 176299 226 0 0 20 0 22 0 105700435 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2456183 525495 2302 9 0 2446860 0 [pid=16598/tid=16600] ppid=16595 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/16598/task/16600/stat : 16600 (java) S 16595 16598 12316 0 -1 4202560 2475 0 1 0 74 4 0 0 20 0 22 0 105700436 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140172392551288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16601] ppid=16595 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/16598/task/16601/stat : 16601 (java) S 16595 16598 12316 0 -1 4202560 942 0 0 0 186 22 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140172236204328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16602] ppid=16595 vsize=9824732 CPUtime=1.92 cores=0,2,4,6 /proc/16598/task/16602/stat : 16602 (java) S 16595 16598 12316 0 -1 4202560 774 0 0 0 175 17 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140172235151528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16603] ppid=16595 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/16598/task/16603/stat : 16603 (java) S 16595 16598 12316 0 -1 4202560 1103 0 0 0 201 24 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140172234099240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16604] ppid=16595 vsize=9824732 CPUtime=2.12 cores=0,2,4,6 /proc/16598/task/16604/stat : 16604 (java) S 16595 16598 12316 0 -1 4202560 661 0 0 0 191 21 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140172233046440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16605] ppid=16595 vsize=9824732 CPUtime=2.05 cores=0,2,4,6 /proc/16598/task/16605/stat : 16605 (java) S 16595 16598 12316 0 -1 4202560 795 0 0 0 184 21 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140172231994152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16606] ppid=16595 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/16598/task/16606/stat : 16606 (java) S 16595 16598 12316 0 -1 4202560 793 0 0 0 191 20 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171894844072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16607] ppid=16595 vsize=9824732 CPUtime=2.31 cores=0,2,4,6 /proc/16598/task/16607/stat : 16607 (java) S 16595 16598 12316 0 -1 4202560 898 0 0 0 208 23 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171893791784 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16608] ppid=16595 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/16598/task/16608/stat : 16608 (java) S 16595 16598 12316 0 -1 4202560 1693 0 0 0 200 23 0 0 20 0 22 0 105700437 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171892738984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16609] ppid=16595 vsize=9824732 CPUtime=6.85 cores=0,2,4,6 /proc/16598/task/16609/stat : 16609 (java) S 16595 16598 12316 0 -1 4202560 1984 0 0 0 677 8 0 0 20 0 22 0 105700438 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171880540392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16610] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16610/stat : 16610 (java) S 16595 16598 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171879486456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16611] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16611/stat : 16611 (java) S 16595 16598 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171878434056 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16612] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16612/stat : 16612 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171877382544 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16613] ppid=16595 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/16598/task/16613/stat : 16613 (java) S 16595 16598 12316 0 -1 4202560 12660 0 0 0 183 3 0 0 20 0 22 0 105700441 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171876330168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16614] ppid=16595 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/16598/task/16614/stat : 16614 (java) S 16595 16598 12316 0 -1 4202560 12553 0 0 0 195 3 0 0 20 0 22 0 105700441 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171875277368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16615] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16615/stat : 16615 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171874225272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16616] ppid=16595 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/16598/task/16616/stat : 16616 (java) S 16595 16598 12316 0 -1 4202560 51 0 0 0 6 9 0 0 20 0 22 0 105700441 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171873172680 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16635] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16635/stat : 16635 (java) S 16595 16598 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105701422 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171869750440 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16737] ppid=16595 vsize=9824732 CPUtime=297.14 cores=0,2,4,6 /proc/16598/task/16737/stat : 16737 (java) R 16595 16598 12316 0 -1 4202560 5 0 0 0 29710 4 0 0 20 0 22 0 105758509 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171870794064 140172247746615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16738] ppid=16595 vsize=9824732 CPUtime=297.13 cores=0,2,4,6 /proc/16598/task/16738/stat : 16738 (java) R 16595 16598 12316 0 -1 4202560 37 0 0 0 29707 6 0 0 20 0 22 0 105758509 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171868695336 140172248473231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16739] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16739/stat : 16739 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105758510 10060525568 525495 33554432000 1073741824 1073778376 140734177228336 140171867645608 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1765.25 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.701 s] /proc/loadavg: 3.95 3.98 3.97 5/219 16751 /proc/meminfo: memFree=28586084/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 39528 0 1 0 179787 226 0 0 20 0 22 0 105700435 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2456183 525522 2302 9 0 2446860 0 [pid=16598/tid=16600] ppid=16595 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/16598/task/16600/stat : 16600 (java) S 16595 16598 12316 0 -1 4202560 2475 0 1 0 74 4 0 0 20 0 22 0 105700436 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172392551288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16601] ppid=16595 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/16598/task/16601/stat : 16601 (java) S 16595 16598 12316 0 -1 4202560 947 0 0 0 189 22 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172236204328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16602] ppid=16595 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/16598/task/16602/stat : 16602 (java) S 16595 16598 12316 0 -1 4202560 774 0 0 0 177 17 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172235151528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16603] ppid=16595 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/16598/task/16603/stat : 16603 (java) S 16595 16598 12316 0 -1 4202560 1103 0 0 0 202 24 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172234099240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16604] ppid=16595 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/16598/task/16604/stat : 16604 (java) S 16595 16598 12316 0 -1 4202560 661 0 0 0 196 21 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172233046440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16605] ppid=16595 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/16598/task/16605/stat : 16605 (java) S 16595 16598 12316 0 -1 4202560 798 0 0 0 185 21 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172231994152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16606] ppid=16595 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/16598/task/16606/stat : 16606 (java) S 16595 16598 12316 0 -1 4202560 793 0 0 0 197 20 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171894844072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16607] ppid=16595 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/16598/task/16607/stat : 16607 (java) S 16595 16598 12316 0 -1 4202560 898 0 0 0 210 23 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171893791784 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16608] ppid=16595 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/16598/task/16608/stat : 16608 (java) S 16595 16598 12316 0 -1 4202560 1693 0 0 0 202 23 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171892738984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16609] ppid=16595 vsize=9824732 CPUtime=6.85 cores=0,2,4,6 /proc/16598/task/16609/stat : 16609 (java) S 16595 16598 12316 0 -1 4202560 2005 0 0 0 677 8 0 0 20 0 22 0 105700438 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171880540392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16610] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16610/stat : 16610 (java) S 16595 16598 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171879486456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16611] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16611/stat : 16611 (java) S 16595 16598 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171878434056 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16612] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16612/stat : 16612 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171877382544 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16613] ppid=16595 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/16598/task/16613/stat : 16613 (java) S 16595 16598 12316 0 -1 4202560 12660 0 0 0 183 3 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171876330168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16614] ppid=16595 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/16598/task/16614/stat : 16614 (java) S 16595 16598 12316 0 -1 4202560 12553 0 0 0 195 3 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171875277368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16615] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16615/stat : 16615 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171874225272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16616] ppid=16595 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/16598/task/16616/stat : 16616 (java) S 16595 16598 12316 0 -1 4202560 51 0 0 0 7 9 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171873172680 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16635] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16635/stat : 16635 (java) S 16595 16598 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105701422 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171869750440 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16737] ppid=16595 vsize=9824732 CPUtime=314.48 cores=0,2,4,6 /proc/16598/task/16737/stat : 16737 (java) R 16595 16598 12316 0 -1 4202560 6 0 0 0 31444 4 0 0 20 0 22 0 105758509 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171870801712 140172248482384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16738] ppid=16595 vsize=9824732 CPUtime=314.47 cores=0,2,4,6 /proc/16598/task/16738/stat : 16738 (java) R 16595 16598 12316 0 -1 4202560 37 0 0 0 31441 6 0 0 20 0 22 0 105758509 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171868695136 140172248771558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16739] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16739/stat : 16739 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105758510 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171867645608 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 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 16598 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.701 s] /proc/loadavg: 3.95 3.98 3.97 5/219 16751 /proc/meminfo: memFree=28586084/32872528 swapFree=11320/319964 [pid=16598] ppid=16595 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6 /proc/16598/stat : 16598 (java) S 16595 16598 12316 0 -1 4202496 39528 0 1 0 179787 226 0 0 20 0 22 0 105700435 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140734177219472 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16598/statm: 2456183 525522 2302 9 0 2446860 0 [pid=16598/tid=16600] ppid=16595 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/16598/task/16600/stat : 16600 (java) S 16595 16598 12316 0 -1 4202560 2475 0 1 0 74 4 0 0 20 0 22 0 105700436 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172392551288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16601] ppid=16595 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/16598/task/16601/stat : 16601 (java) S 16595 16598 12316 0 -1 4202560 947 0 0 0 189 22 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172236204328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16602] ppid=16595 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/16598/task/16602/stat : 16602 (java) S 16595 16598 12316 0 -1 4202560 774 0 0 0 177 17 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172235151528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16603] ppid=16595 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/16598/task/16603/stat : 16603 (java) S 16595 16598 12316 0 -1 4202560 1103 0 0 0 202 24 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172234099240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16604] ppid=16595 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/16598/task/16604/stat : 16604 (java) S 16595 16598 12316 0 -1 4202560 661 0 0 0 196 21 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172233046440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16605] ppid=16595 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/16598/task/16605/stat : 16605 (java) S 16595 16598 12316 0 -1 4202560 798 0 0 0 185 21 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140172231994152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16606] ppid=16595 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/16598/task/16606/stat : 16606 (java) S 16595 16598 12316 0 -1 4202560 793 0 0 0 197 20 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171894844072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16607] ppid=16595 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/16598/task/16607/stat : 16607 (java) S 16595 16598 12316 0 -1 4202560 898 0 0 0 210 23 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171893791784 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16608] ppid=16595 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/16598/task/16608/stat : 16608 (java) S 16595 16598 12316 0 -1 4202560 1693 0 0 0 202 23 0 0 20 0 22 0 105700437 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171892738984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16609] ppid=16595 vsize=9824732 CPUtime=6.85 cores=0,2,4,6 /proc/16598/task/16609/stat : 16609 (java) S 16595 16598 12316 0 -1 4202560 2005 0 0 0 677 8 0 0 20 0 22 0 105700438 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171880540392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16610] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16610/stat : 16610 (java) S 16595 16598 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171879486456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16611] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16611/stat : 16611 (java) S 16595 16598 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105700439 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171878434056 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16612] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16612/stat : 16612 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171877382544 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16613] ppid=16595 vsize=9824732 CPUtime=1.86 cores=0,2,4,6 /proc/16598/task/16613/stat : 16613 (java) S 16595 16598 12316 0 -1 4202560 12660 0 0 0 183 3 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171876330168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16614] ppid=16595 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/16598/task/16614/stat : 16614 (java) S 16595 16598 12316 0 -1 4202560 12553 0 0 0 195 3 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171875277368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16615] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16615/stat : 16615 (java) S 16595 16598 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171874225272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16616] ppid=16595 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/16598/task/16616/stat : 16616 (java) S 16595 16598 12316 0 -1 4202560 51 0 0 0 7 9 0 0 20 0 22 0 105700441 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171873172680 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16598/tid=16635] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16635/stat : 16635 (java) S 16595 16598 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105701422 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171869750440 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16598/tid=16737] ppid=16595 vsize=9824732 CPUtime=314.48 cores=0,2,4,6 /proc/16598/task/16737/stat : 16737 (java) R 16595 16598 12316 0 -1 4202560 6 0 0 0 31444 4 0 0 20 0 22 0 105758509 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171870801712 140172248482384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16598/tid=16738] ppid=16595 vsize=9824732 CPUtime=314.47 cores=0,2,4,6 /proc/16598/task/16738/stat : 16738 (java) R 16595 16598 12316 0 -1 4202560 37 0 0 0 31441 6 0 0 20 0 22 0 105758509 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171868695136 140172248771558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16598/tid=16739] ppid=16595 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16598/task/16739/stat : 16739 (java) S 16595 16598 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105758510 10060525568 525522 33554432000 1073741824 1073778376 140734177228336 140171867645608 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 899.794 CPU time (s): 1800.63 CPU user time (s): 1798.06 CPU system time (s): 2.57361 CPU usage (%): 200.116 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.06 system time used= 2.57361 maximum resident set size= 2102204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39566 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24546 involuntary context switches= 31010 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.32634 second user time and 3.9354 second system time The end
Begin job on node128 at 2016-06-06 20:27:52 IDJOB=4081480 IDBENCH=24992 IDSOLVER=2543 FILE ID=node128/4081480-1465237672 RUNJOBID= node128-1465223671-12332 PBS_JOBID= 19843236 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081480-1465237672/watcher-4081480-1465237672 -o /tmp/evaluation-result-4081480-1465237672/solver-4081480-1465237672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081480-1465237672.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3 RANDOM SEED=903310974 node128.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.486 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.97 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.486 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.486 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.486 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.56 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.486 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.54 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.486 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.56 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.486 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.55 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.486 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30548492 kB Buffers: 30812 kB Cached: 97400 kB SwapCached: 1664 kB Active: 1226140 kB Inactive: 65880 kB Active(anon): 1165800 kB Inactive(anon): 528 kB Active(file): 60340 kB Inactive(file): 65352 kB Unevictable: 319964 kB Mlocked: 11320 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 1692 kB Writeback: 4 kB AnonPages: 1474748 kB Mapped: 15364 kB Shmem: 0 kB Slab: 568528 kB SReclaimable: 12116 kB SUnreclaim: 556412 kB KernelStack: 1600 kB PageTables: 7256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1703276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1400832 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= 71744 MiB End job on node128 at 2016-06-06 20:42:51