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 Resolution PB16 | No Cert. | 1800 | 1769.36 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb |
| MD5SUM | 220afe097734e84aa95a93161cea83a3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 50985 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8640 |
| Total number of constraints | 24529 |
| Number of constraints which are clauses | 16324 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8204 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 8640 |
| Biggest coefficient in the objective function | 65126 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 550298 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 65126 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 550298 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4118803-1467235165.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.92/0.54 c ... done. Wall clock time 0.423s. 0.92/0.54 c declared #vars 8640 0.92/0.54 c #constraints 24530 0.92/0.54 c constraints type 0.92/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16324 0.92/0.54 c org.sat4j.specs.Constr$1 => 1 0.92/0.54 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.92/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8204 0.92/0.54 c 24530 constraints processed. 0.92/0.54 c objective function length is 8640 literals 1.09/0.65 c SATISFIABLE 1.09/0.65 c OPTIMIZING... 1.09/0.65 c Got one! Elapsed wall clock time (in seconds):0.534 1.09/0.65 o 55984 1.32/0.76 c Got one! Elapsed wall clock time (in seconds):0.638 1.32/0.76 o 55981 1.58/0.87 c Got one! Elapsed wall clock time (in seconds):0.751 1.58/0.87 o 55968 1.88/0.91 c Got one! Elapsed wall clock time (in seconds):0.787 1.88/0.91 o 55940 1.88/0.92 c Got one! Elapsed wall clock time (in seconds):0.803 1.88/0.92 o 55937 1.88/0.96 c Got one! Elapsed wall clock time (in seconds):0.841 1.88/0.96 o 55934 1.88/0.98 c Got one! Elapsed wall clock time (in seconds):0.855 1.88/0.98 o 55924 1.88/0.99 c Got one! Elapsed wall clock time (in seconds):0.87 1.88/0.99 o 55921 2.05/1.01 c Got one! Elapsed wall clock time (in seconds):0.892 2.05/1.01 o 55912 2.05/1.03 c Got one! Elapsed wall clock time (in seconds):0.907 2.05/1.03 o 55911 2.05/1.04 c Got one! Elapsed wall clock time (in seconds):0.922 2.05/1.04 o 55908 2.05/1.07 c Got one! Elapsed wall clock time (in seconds):0.951 2.05/1.07 o 55880 2.05/1.09 c Got one! Elapsed wall clock time (in seconds):0.965 2.05/1.09 o 55877 2.85/1.81 c Got one! Elapsed wall clock time (in seconds):1.688 2.85/1.81 o 55868 2.85/1.87 c Got one! Elapsed wall clock time (in seconds):1.752 2.85/1.87 o 55865 5.42/4.37 c Got one! Elapsed wall clock time (in seconds):4.253 5.42/4.37 o 55839 6.34/5.10 c cleaning 2854 clauses out of 5710 with flag 2235/5710 9.59/8.09 c Got one! Elapsed wall clock time (in seconds):7.965 9.59/8.09 o 55824 9.69/8.12 c Got one! Elapsed wall clock time (in seconds):7.995 9.69/8.12 o 55800 9.69/8.15 c Got one! Elapsed wall clock time (in seconds):8.032 9.69/8.15 o 55794 9.69/8.16 c Got one! Elapsed wall clock time (in seconds):8.043 9.69/8.16 o 55784 9.69/8.19 c Got one! Elapsed wall clock time (in seconds):8.071 9.69/8.19 o 55771 9.79/8.20 c Got one! Elapsed wall clock time (in seconds):8.083 9.79/8.20 o 55740 9.89/8.38 c Got one! Elapsed wall clock time (in seconds):8.257 9.89/8.38 o 55722 10.60/9.08 c cleaning 4348 clauses out of 8707 with flag 2050/11561 10.79/9.27 c Got one! Elapsed wall clock time (in seconds):9.144 10.79/9.27 o 55710 14.19/12.61 c cleaning 4828 clauses out of 9659 with flag 10448/16861 18.62/16.76 c cleaning 5416 clauses out of 10833 with flag 23014/22863 23.33/21.46 c cleaning 6201 clauses out of 12415 with flag 37174/29861 24.80/22.61 c Got one! Elapsed wall clock time (in seconds):22.493 24.80/22.61 o 55702 24.80/22.67 c Got one! Elapsed wall clock time (in seconds):22.552 24.80/22.67 o 55700 24.80/22.69 c Got one! Elapsed wall clock time (in seconds):22.574 24.80/22.69 o 55697 25.10/22.91 c Got one! Elapsed wall clock time (in seconds):22.788 25.10/22.91 o 55677 25.10/22.92 c Got one! Elapsed wall clock time (in seconds):22.799 25.10/22.92 o 55670 25.10/22.93 c Got one! Elapsed wall clock time (in seconds):22.81 25.10/22.93 o 55667 25.10/22.95 c Got one! Elapsed wall clock time (in seconds):22.829 25.10/22.95 o 55658 25.10/22.96 c Got one! Elapsed wall clock time (in seconds):22.84 25.10/22.96 o 55657 25.10/22.97 c Got one! Elapsed wall clock time (in seconds):22.851 25.10/22.97 o 55654 25.10/23.00 c Got one! Elapsed wall clock time (in seconds):22.876 25.10/23.00 o 55623 25.21/23.02 c Got one! Elapsed wall clock time (in seconds):22.895 25.21/23.02 o 55620 25.21/23.03 c Got one! Elapsed wall clock time (in seconds):22.905 25.21/23.03 o 55610 25.21/23.04 c Got one! Elapsed wall clock time (in seconds):22.916 25.21/23.04 o 55607 25.21/23.06 c Got one! Elapsed wall clock time (in seconds):22.935 25.21/23.06 o 55598 25.21/23.07 c Got one! Elapsed wall clock time (in seconds):22.945 25.21/23.07 o 55597 25.21/23.08 c Got one! Elapsed wall clock time (in seconds):22.956 25.21/23.08 o 55594 25.21/23.10 c Got one! Elapsed wall clock time (in seconds):22.982 25.21/23.10 o 55563 25.72/23.57 c Got one! Elapsed wall clock time (in seconds):23.45 25.72/23.57 o 55551 28.52/26.34 c cleaning 6388 clauses out of 12787 with flag 8281/36434 28.63/26.48 c Got one! Elapsed wall clock time (in seconds):26.359 28.63/26.48 o 55544 28.92/26.72 c Got one! Elapsed wall clock time (in seconds):26.595 28.92/26.72 o 55537 29.02/26.81 c Got one! Elapsed wall clock time (in seconds):26.685 29.02/26.81 o 55525 32.42/30.21 c cleaning 6005 clauses out of 12028 with flag 10351/42063 33.92/31.72 c Got one! Elapsed wall clock time (in seconds):31.599 33.92/31.72 o 55507 34.42/32.28 c Got one! Elapsed wall clock time (in seconds):32.157 34.42/32.28 o 55493 34.52/32.31 c Got one! Elapsed wall clock time (in seconds):32.188 34.52/32.31 o 55486 34.52/32.33 c Got one! Elapsed wall clock time (in seconds):32.206 34.52/32.33 o 55480 34.52/32.34 c Got one! Elapsed wall clock time (in seconds):32.218 34.52/32.34 o 55470 34.52/32.36 c Got one! Elapsed wall clock time (in seconds):32.238 34.52/32.36 o 55457 34.52/32.38 c Got one! Elapsed wall clock time (in seconds):32.263 34.52/32.38 o 55453 34.52/32.39 c Got one! Elapsed wall clock time (in seconds):32.273 34.52/32.39 o 55426 34.61/32.49 c Got one! Elapsed wall clock time (in seconds):32.369 34.61/32.49 o 55408 35.62/33.48 c Got one! Elapsed wall clock time (in seconds):33.361 35.62/33.48 o 55396 37.19/34.86 c cleaning 6461 clauses out of 12931 with flag 4134/48971 40.99/38.68 c cleaning 6230 clauses out of 12470 with flag 16541/54971 45.49/43.17 c cleaning 6617 clauses out of 13239 with flag 30915/61970 50.79/48.44 c cleaning 7310 clauses out of 14622 with flag 47080/69970 57.26/54.52 c cleaning 8154 clauses out of 16312 with flag 65811/78970 63.86/61.13 c cleaning 9074 clauses out of 18159 with flag 87364/88971 71.17/68.47 c cleaning 10041 clauses out of 20085 with flag 110891/99971 80.44/76.83 c cleaning 11018 clauses out of 22043 with flag 136238/111970 84.44/80.88 c Got one! Elapsed wall clock time (in seconds):80.763 84.44/80.88 o 55393 87.84/84.20 c cleaning 11174 clauses out of 22362 with flag 10370/123307 91.75/88.20 c cleaning 8586 clauses out of 17186 with flag 23979/129305 93.95/90.33 c Got one! Elapsed wall clock time (in seconds):90.206 93.95/90.33 o 55367 95.24/91.66 c cleaning 6941 clauses out of 13903 with flag 4193/134608 99.65/95.65 c cleaning 6471 clauses out of 12961 with flag 16670/140607 102.45/98.42 c Got one! Elapsed wall clock time (in seconds):98.295 102.45/98.42 o 55366 103.06/99.05 c Got one! Elapsed wall clock time (in seconds):98.934 103.06/99.05 o 55354 103.16/99.14 c Got one! Elapsed wall clock time (in seconds):99.019 103.16/99.14 o 55309 103.35/99.34 c Got one! Elapsed wall clock time (in seconds):99.216 103.35/99.34 o 55300 103.45/99.40 c Got one! Elapsed wall clock time (in seconds):99.281 103.45/99.40 o 55291 103.75/99.73 c Got one! Elapsed wall clock time (in seconds):99.614 103.75/99.73 o 55273 103.95/99.95 c Got one! Elapsed wall clock time (in seconds):99.826 103.95/99.95 o 55260 104.65/100.60 c cleaning 7017 clauses out of 14049 with flag 2107/148166 108.45/104.41 c cleaning 6507 clauses out of 13031 with flag 14652/154165 113.06/109.01 c cleaning 6752 clauses out of 13524 with flag 30078/161165 118.25/114.20 c cleaning 7374 clauses out of 14773 with flag 47752/169166 123.96/119.92 c cleaning 8188 clauses out of 16399 with flag 67565/178166 130.56/126.54 c cleaning 9103 clauses out of 18211 with flag 89728/188166 138.87/134.10 c cleaning 10044 clauses out of 20107 with flag 114301/199165 146.97/142.24 c cleaning 11026 clauses out of 22064 with flag 141282/211166 155.66/150.93 c cleaning 12014 clauses out of 24037 with flag 170007/224165 165.26/160.53 c cleaning 13004 clauses out of 26024 with flag 202944/238166 178.36/172.04 c cleaning 14008 clauses out of 28021 with flag 237358/253167 189.86/183.12 c cleaning 15004 clauses out of 30011 with flag 273639/269165 202.16/195.48 c cleaning 16003 clauses out of 32008 with flag 313302/286166 215.16/208.46 c cleaning 17001 clauses out of 34006 with flag 355053/304167 229.17/222.28 c cleaning 17997 clauses out of 36003 with flag 400077/323165 244.08/237.16 c cleaning 18997 clauses out of 38008 with flag 445641/343167 260.54/252.92 c cleaning 19996 clauses out of 40010 with flag 491586/364166 277.16/269.60 c cleaning 21001 clauses out of 42014 with flag 540127/386166 295.45/287.84 c cleaning 21999 clauses out of 44012 with flag 592121/409165 314.92/307.05 c cleaning 23006 clauses out of 46014 with flag 647324/433166 335.11/327.22 c cleaning 24000 clauses out of 48008 with flag 702617/458166 357.59/349.08 c cleaning 24995 clauses out of 50008 with flag 761601/484166 380.09/371.58 c cleaning 25999 clauses out of 52012 with flag 824803/511165 408.14/398.47 c cleaning 27007 clauses out of 54013 with flag 894032/539165 437.34/427.67 c cleaning 28004 clauses out of 56007 with flag 964322/568166 467.77/457.49 c cleaning 29000 clauses out of 58002 with flag 1036881/598165 498.57/488.26 c cleaning 29998 clauses out of 60004 with flag 1113129/629167 531.49/520.39 c cleaning 30998 clauses out of 62004 with flag 1200406/661165 564.10/552.63 c cleaning 31992 clauses out of 64006 with flag 1282749/694165 597.77/585.52 c cleaning 32997 clauses out of 66016 with flag 1371251/728167 631.19/618.59 c cleaning 34001 clauses out of 68019 with flag 1462406/763167 665.40/652.72 c cleaning 35001 clauses out of 70016 with flag 1559180/799165 702.02/688.96 c cleaning 35996 clauses out of 72016 with flag 1658855/836166 739.75/725.50 c cleaning 37005 clauses out of 74020 with flag 1763935/874166 777.51/762.66 c cleaning 38000 clauses out of 76014 with flag 1871047/913165 817.49/802.05 c cleaning 38993 clauses out of 78014 with flag 1967353/953165 856.61/840.82 c cleaning 40002 clauses out of 80022 with flag 2072306/994166 897.39/881.20 c cleaning 40999 clauses out of 82019 with flag 2184298/1036165 940.65/923.46 c cleaning 41997 clauses out of 84021 with flag 2290064/1079166 986.61/968.88 c cleaning 43000 clauses out of 86023 with flag 2393595/1123165 1035.34/1016.87 c cleaning 43999 clauses out of 88023 with flag 2506012/1168165 1088.17/1068.91 c cleaning 45002 clauses out of 90026 with flag 2610716/1214167 1140.96/1120.75 c cleaning 45997 clauses out of 92022 with flag 2722508/1261165 1189.76/1168.79 c cleaning 47001 clauses out of 94027 with flag 2839657/1309167 1239.43/1217.45 c cleaning 48005 clauses out of 96025 with flag 2959779/1358166 1289.25/1266.73 c cleaning 48997 clauses out of 98019 with flag 3082960/1408165 1341.59/1318.47 c cleaning 49998 clauses out of 100023 with flag 3211863/1459166 1396.44/1372.15 c cleaning 50999 clauses out of 102024 with flag 3349277/1511165 1452.06/1426.69 c cleaning 52002 clauses out of 104025 with flag 3485985/1564165 1508.95/1481.99 c cleaning 52997 clauses out of 106023 with flag 3618914/1618165 1564.89/1537.54 c cleaning 54001 clauses out of 108027 with flag 3753117/1673166 1590.23/1562.70 c Got one! Elapsed wall clock time (in seconds):1562.58 1590.23/1562.70 o 55247 1594.23/1566.79 c cleaning 43010 clauses out of 86031 with flag 10552/1705171 1598.66/1571.07 c cleaning 24501 clauses out of 49020 with flag 23133/1711170 1603.36/1575.76 c cleaning 15752 clauses out of 31519 with flag 37645/1718170 1608.66/1581.07 c cleaning 11873 clauses out of 23767 with flag 54370/1726170 1614.56/1586.99 c cleaning 10437 clauses out of 20895 with flag 72759/1735171 1621.37/1593.68 c cleaning 10218 clauses out of 20458 with flag 94521/1745171 1628.57/1600.89 c cleaning 10609 clauses out of 21239 with flag 118383/1756170 1636.74/1608.82 c cleaning 11304 clauses out of 22631 with flag 145027/1768171 1645.34/1617.46 c cleaning 12153 clauses out of 24327 with flag 173943/1781171 1654.75/1626.85 c cleaning 13079 clauses out of 26174 with flag 204285/1795171 1665.16/1637.13 c cleaning 14035 clauses out of 28094 with flag 237413/1810170 1676.46/1648.14 c cleaning 15021 clauses out of 30059 with flag 272813/1826170 1688.26/1659.95 c cleaning 16009 clauses out of 32038 with flag 309479/1843170 1700.94/1672.39 c cleaning 17007 clauses out of 34030 with flag 348934/1861171 1714.97/1685.94 c cleaning 18002 clauses out of 36022 with flag 389697/1880170 1729.07/1700.08 c cleaning 19002 clauses out of 38020 with flag 433081/1900170 1745.06/1715.75 c cleaning 20003 clauses out of 40019 with flag 478310/1921171 1761.39/1731.78 c cleaning 20997 clauses out of 42016 with flag 526206/1943171 1778.34/1748.26 c cleaning 22006 clauses out of 44020 with flag 576890/1966172 1796.60/1765.91 c cleaning 22996 clauses out of 46012 with flag 629732/1990170 1800.00/1769.30 c starts : 66 1800.00/1769.30 c conflicts : 1994970 1800.00/1769.30 c decisions : 2021571 1800.00/1769.30 c propagations : 48487064 1800.00/1769.30 c inspects : 6733264396 1800.00/1769.30 c shortcuts : 0 1800.00/1769.30 c learnt literals : 0 1800.00/1769.30 c learnt binary clauses : 1 1800.00/1769.30 c learnt ternary clauses : 139 1800.00/1769.30 c learnt constraints : 1994969 1800.00/1769.30 c ignored constraints : 0 1800.00/1769.30 c root simplifications : 0 1800.00/1769.30 c removed literals (reason simplification) : 0 1800.00/1769.30 c reason swapping (by a shorter reason) : 0 1800.00/1769.30 c Calls to reduceDB : 90 1800.00/1769.30 c Number of update (reduction) of LBD : 860 1800.00/1769.30 c Imported unit clauses : 0 1800.00/1769.30 c number of reductions to clauses (during analyze) : 0 1800.00/1769.30 c number of learned constraints concerned by reduction : 0 1800.00/1769.30 c number of learning phase by resolution : 0 1800.00/1769.30 c number of learning phase by cutting planes : 0 1800.00/1769.30 c speed (assignments/second) : 27413.46003803855 1800.00/1769.30 c non guided choices 0 1800.00/1769.31 c learnt constraints type 1800.00/1769.31 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.00/1769.31 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27815 1800.00/1769.31 s SATISFIABLE 1800.00/1769.31 c Found 65 solution(s) 1800.00/1769.32 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 -xc timeout 1800.00/1769.33 5885 -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 1800.00/1769.33 c objective function=55247 1800.00/1769.33 c Total wall clock time (in seconds): 1769.214
FAILED ERROR: unsatisfied constraint on line 19349 -2>=-1 Falsified constraint is: +1*x6047[=0] -1*x227[=1] -1*x228[=1] >= -1
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-4118803-1467235165/watcher-4118803-1467235165 -o /tmp/evaluation-result-4118803-1467235165/solver-4118803-1467235165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118803-1467235165.opb pid=8625 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: 2.50 2.28 2.21 2/196 8628 /proc/meminfo: memFree=26684036/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/8628/stat : 8628 (java) D 8625 8628 4818 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 4469017 2560000 46 33554432000 1073741824 1073778376 140736455432528 140736455429656 273896533287 0 0 4096 0 18446744072100756772 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 625 46 37 9 0 29 0 [startup+0.100117 s] /proc/loadavg: 2.50 2.28 2.21 2/196 8628 /proc/meminfo: memFree=26684036/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 4427 0 1 0 7 1 0 0 20 0 18 0 4469017 9787879424 5543 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2389619 5547 2124 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200281 s] /proc/loadavg: 2.50 2.28 2.21 2/196 8628 /proc/meminfo: memFree=26684036/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 5007 0 1 0 25 2 0 0 20 0 18 0 4469017 9787879424 6966 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2389619 6966 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300279 s] /proc/loadavg: 2.50 2.28 2.21 2/196 8628 /proc/meminfo: memFree=26684036/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 5904 0 1 0 45 2 0 0 20 0 18 0 4469017 9787879424 8901 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2389619 8901 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700234 s] /proc/loadavg: 2.50 2.28 2.21 2/196 8628 /proc/meminfo: memFree=26684036/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=1.32 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 7946 0 1 0 129 3 0 0 20 0 19 0 4469017 9856040960 23816 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 23816 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.50 2.28 2.21 4/215 8647 /proc/meminfo: memFree=26561048/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=2.55 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 10241 0 1 0 251 4 0 0 20 0 19 0 4469017 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 35994 2269 9 0 2396937 0 [pid=8628/tid=8630] ppid=8625 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/8628/task/8630/stat : 8630 (java) R 8625 8628 4818 0 -1 4202560 2495 0 1 0 143 3 0 0 20 0 19 0 4469018 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773800083752 139773740662236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8631] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8631/stat : 8631 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773643274792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8632] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8632/stat : 8632 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773642221992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8633] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8633/stat : 8633 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773641169192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8634] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8634/stat : 8634 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773640116392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8635] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8635/stat : 8635 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773639064616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8636] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8636/stat : 8636 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773638011816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8637] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8637/stat : 8637 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773636959016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8638] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8638/stat : 8638 (java) S 8625 8628 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773635906216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8639] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8639/stat : 8639 (java) S 8625 8628 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773623708136 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8640] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8640/stat : 8640 (java) S 8625 8628 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773622654200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8641] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8641/stat : 8641 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773621601288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8642] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8642/stat : 8642 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773620549776 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8643] ppid=8625 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/8628/task/8643/stat : 8643 (java) S 8625 8628 4818 0 -1 4202560 2573 0 0 0 52 0 0 0 20 0 19 0 4469024 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773619497912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8644] ppid=8625 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/8628/task/8644/stat : 8644 (java) S 8625 8628 4818 0 -1 4202560 3902 0 0 0 53 0 0 0 20 0 19 0 4469024 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773618445112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8645] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8645/stat : 8645 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773617392504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8646] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8646/stat : 8646 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773616339912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 35994 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.55 Current children cumulated vsize (KiB) 9625040 [startup+3.10076 s] /proc/loadavg: 2.50 2.28 2.21 4/215 8647 /proc/meminfo: memFree=26502276/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=4.22 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 10389 0 1 0 416 6 0 0 20 0 19 0 4469017 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 47854 2282 9 0 2396937 0 [pid=8628/tid=8630] ppid=8625 vsize=9625040 CPUtime=3.03 cores=0,2,4,6 /proc/8628/task/8630/stat : 8630 (java) R 8625 8628 4818 0 -1 4202560 2507 0 1 0 300 3 0 0 20 0 19 0 4469018 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773800082360 139773740662210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8631] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8631/stat : 8631 (java) S 8625 8628 4818 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773643274792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8632] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8632/stat : 8632 (java) S 8625 8628 4818 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773642221992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8633] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8633/stat : 8633 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773641169192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8634] ppid=8625 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8628/task/8634/stat : 8634 (java) S 8625 8628 4818 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773640116392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8635] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8635/stat : 8635 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773639064616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8636] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8636/stat : 8636 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773638011816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8637] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8637/stat : 8637 (java) S 8625 8628 4818 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773636959016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8638] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8638/stat : 8638 (java) S 8625 8628 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4469019 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773635906216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8639] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8639/stat : 8639 (java) S 8625 8628 4818 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773623708136 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8640] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8640/stat : 8640 (java) S 8625 8628 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773622654200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8641] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8641/stat : 8641 (java) S 8625 8628 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773621601288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8642] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8642/stat : 8642 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773620549776 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8643] ppid=8625 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/8628/task/8643/stat : 8643 (java) S 8625 8628 4818 0 -1 4202560 2573 0 0 0 53 0 0 0 20 0 19 0 4469024 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773619497912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8644] ppid=8625 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/8628/task/8644/stat : 8644 (java) S 8625 8628 4818 0 -1 4202560 3902 0 0 0 53 0 0 0 20 0 19 0 4469024 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773618445112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8645] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8645/stat : 8645 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773617392504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8646] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8646/stat : 8646 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773616339912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 47854 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 9625040 [startup+6.30082 s] /proc/loadavg: 2.46 2.27 2.21 10/215 8647 /proc/meminfo: memFree=26487800/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=7.87 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 17746 0 1 0 766 21 0 0 20 0 19 0 4469017 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 81340 2287 9 0 2396937 0 [pid=8628/tid=8630] ppid=8625 vsize=9625040 CPUtime=6.14 cores=0,2,4,6 /proc/8628/task/8630/stat : 8630 (java) R 8625 8628 4818 0 -1 4202560 2510 0 1 0 611 3 0 0 20 0 19 0 4469018 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773800082440 139773740662098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8631] ppid=8625 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/8628/task/8631/stat : 8631 (java) S 8625 8628 4818 0 -1 4202560 44 0 0 0 1 2 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773643274792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8632] ppid=8625 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/8628/task/8632/stat : 8632 (java) S 8625 8628 4818 0 -1 4202560 157 0 0 0 3 4 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773642221992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8633] ppid=8625 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/8628/task/8633/stat : 8633 (java) S 8625 8628 4818 0 -1 4202560 114 0 0 0 1 2 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773641169192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8634] ppid=8625 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/8628/task/8634/stat : 8634 (java) S 8625 8628 4818 0 -1 4202560 43 0 0 0 2 2 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773640116392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8635] ppid=8625 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/8628/task/8635/stat : 8635 (java) S 8625 8628 4818 0 -1 4202560 113 0 0 0 1 2 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773639064616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8636] ppid=8625 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8628/task/8636/stat : 8636 (java) S 8625 8628 4818 0 -1 4202560 111 0 0 0 0 2 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773638011816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8637] ppid=8625 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/8628/task/8637/stat : 8637 (java) S 8625 8628 4818 0 -1 4202560 49 0 0 0 1 2 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773636959016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8638] ppid=8625 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8628/task/8638/stat : 8638 (java) S 8625 8628 4818 0 -1 4202560 31 0 0 0 1 1 0 0 20 0 19 0 4469019 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773635906216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8639] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8639/stat : 8639 (java) S 8625 8628 4818 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773623708136 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8640] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8640/stat : 8640 (java) S 8625 8628 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773622654200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8641] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8641/stat : 8641 (java) S 8625 8628 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773621601288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8642] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8642/stat : 8642 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773620549776 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8643] ppid=8625 vsize=9625040 CPUtime=0.63 cores=0,2,4,6 /proc/8628/task/8643/stat : 8643 (java) S 8625 8628 4818 0 -1 4202560 3983 0 0 0 63 0 0 0 20 0 19 0 4469024 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773619497912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8644] ppid=8625 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/8628/task/8644/stat : 8644 (java) S 8625 8628 4818 0 -1 4202560 9260 0 0 0 65 2 0 0 20 0 19 0 4469024 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773618445112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8645] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8645/stat : 8645 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773617392504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8646] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8646/stat : 8646 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773616339912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 81340 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.87 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 1191942 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1690.66 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.21 2.18 2.17 3/215 8756 /proc/meminfo: memFree=22095356/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=1751.99 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 56548 0 1 0 174556 643 0 0 20 0 19 0 4469017 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 1191978 2296 9 0 2396937 0 [pid=8628/tid=8630] ppid=8625 vsize=9625040 CPUtime=1702.94 cores=0,2,4,6 /proc/8628/task/8630/stat : 8630 (java) R 8625 8628 4818 0 -1 4202560 3452 0 1 0 170256 38 0 0 20 0 19 0 4469018 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773800082656 139773740558200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8631] ppid=8625 vsize=9625040 CPUtime=4.87 cores=0,2,4,6 /proc/8628/task/8631/stat : 8631 (java) S 8625 8628 4818 0 -1 4202560 2909 0 0 0 411 76 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773643274792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8632] ppid=8625 vsize=9625040 CPUtime=4.23 cores=0,2,4,6 /proc/8628/task/8632/stat : 8632 (java) S 8625 8628 4818 0 -1 4202560 2515 0 0 0 354 69 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773642221992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8633] ppid=8625 vsize=9625040 CPUtime=4.28 cores=0,2,4,6 /proc/8628/task/8633/stat : 8633 (java) S 8625 8628 4818 0 -1 4202560 4135 0 0 0 348 80 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773641169192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8634] ppid=8625 vsize=9625040 CPUtime=4.88 cores=0,2,4,6 /proc/8628/task/8634/stat : 8634 (java) S 8625 8628 4818 0 -1 4202560 2971 0 0 0 413 75 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773640116392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8635] ppid=8625 vsize=9625040 CPUtime=4.76 cores=0,2,4,6 /proc/8628/task/8635/stat : 8635 (java) S 8625 8628 4818 0 -1 4202560 2844 0 0 0 398 78 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773639064616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8636] ppid=8625 vsize=9625040 CPUtime=5.25 cores=0,2,4,6 /proc/8628/task/8636/stat : 8636 (java) S 8625 8628 4818 0 -1 4202560 4292 0 0 0 430 95 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773638011816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8637] ppid=8625 vsize=9625040 CPUtime=4.85 cores=0,2,4,6 /proc/8628/task/8637/stat : 8637 (java) S 8625 8628 4818 0 -1 4202560 3119 0 0 0 415 70 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773636959016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8638] ppid=8625 vsize=9625040 CPUtime=4.47 cores=0,2,4,6 /proc/8628/task/8638/stat : 8638 (java) S 8625 8628 4818 0 -1 4202560 1379 0 0 0 388 59 0 0 20 0 19 0 4469019 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773635906216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8639] ppid=8625 vsize=9625040 CPUtime=4.95 cores=0,2,4,6 /proc/8628/task/8639/stat : 8639 (java) S 8625 8628 4818 0 -1 4202560 6868 0 0 0 490 5 0 0 20 0 19 0 4469021 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773623708136 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8640] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8640/stat : 8640 (java) S 8625 8628 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773622654200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8641] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8641/stat : 8641 (java) S 8625 8628 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773621601288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8642] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8642/stat : 8642 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773620549776 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8643] ppid=8625 vsize=9625040 CPUtime=1.11 cores=0,2,4,6 /proc/8628/task/8643/stat : 8643 (java) S 8625 8628 4818 0 -1 4202560 11448 0 0 0 108 3 0 0 20 0 19 0 4469024 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773619497912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8644] ppid=8625 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/8628/task/8644/stat : 8644 (java) S 8625 8628 4818 0 -1 4202560 9260 0 0 0 70 2 0 0 20 0 19 0 4469024 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773618445112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8645] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8645/stat : 8645 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773617392504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8646] ppid=8625 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/8628/task/8646/stat : 8646 (java) S 8625 8628 4818 0 -1 4202560 99 0 0 0 23 22 0 0 20 0 19 0 4469024 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773616339912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 1191978 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1751.99 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1769.3 s] /proc/loadavg: 2.58 2.29 2.21 3/215 8757 /proc/meminfo: memFree=21892856/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=1800 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 57000 0 1 0 179347 653 0 0 20 0 19 0 4469017 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 1216343 2296 9 0 2396937 0 [pid=8628/tid=8630] ppid=8625 vsize=9625040 CPUtime=1749.48 cores=0,2,4,6 /proc/8628/task/8630/stat : 8630 (java) R 8625 8628 4818 0 -1 4202560 3454 0 1 0 174909 39 0 0 20 0 19 0 4469018 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773800074960 139773740685656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8631] ppid=8625 vsize=9625040 CPUtime=5.17 cores=0,2,4,6 /proc/8628/task/8631/stat : 8631 (java) S 8625 8628 4818 0 -1 4202560 3053 0 0 0 439 78 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773643274792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8632] ppid=8625 vsize=9625040 CPUtime=4.39 cores=0,2,4,6 /proc/8628/task/8632/stat : 8632 (java) S 8625 8628 4818 0 -1 4202560 2546 0 0 0 369 70 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773642221992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8633] ppid=8625 vsize=9625040 CPUtime=4.45 cores=0,2,4,6 /proc/8628/task/8633/stat : 8633 (java) S 8625 8628 4818 0 -1 4202560 4166 0 0 0 364 81 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773641169192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8634] ppid=8625 vsize=9625040 CPUtime=5.02 cores=0,2,4,6 /proc/8628/task/8634/stat : 8634 (java) S 8625 8628 4818 0 -1 4202560 2985 0 0 0 426 76 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773640116392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8635] ppid=8625 vsize=9625040 CPUtime=4.93 cores=0,2,4,6 /proc/8628/task/8635/stat : 8635 (java) S 8625 8628 4818 0 -1 4202560 2862 0 0 0 415 78 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773639064616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8636] ppid=8625 vsize=9625040 CPUtime=5.38 cores=0,2,4,6 /proc/8628/task/8636/stat : 8636 (java) S 8625 8628 4818 0 -1 4202560 4305 0 0 0 443 95 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773638011816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8637] ppid=8625 vsize=9625040 CPUtime=4.99 cores=0,2,4,6 /proc/8628/task/8637/stat : 8637 (java) S 8625 8628 4818 0 -1 4202560 3233 0 0 0 427 72 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773636959016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8638] ppid=8625 vsize=9625040 CPUtime=4.6 cores=0,2,4,6 /proc/8628/task/8638/stat : 8638 (java) S 8625 8628 4818 0 -1 4202560 1390 0 0 0 401 59 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773635906216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8639] ppid=8625 vsize=9625040 CPUtime=4.96 cores=0,2,4,6 /proc/8628/task/8639/stat : 8639 (java) S 8625 8628 4818 0 -1 4202560 6938 0 0 0 491 5 0 0 20 0 19 0 4469021 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773623708136 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8640] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8640/stat : 8640 (java) S 8625 8628 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773622654200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8641] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8641/stat : 8641 (java) S 8625 8628 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773621601288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8642] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8642/stat : 8642 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773620549776 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8643] ppid=8625 vsize=9625040 CPUtime=1.11 cores=0,2,4,6 /proc/8628/task/8643/stat : 8643 (java) S 8625 8628 4818 0 -1 4202560 11448 0 0 0 108 3 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773619497912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8644] ppid=8625 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/8628/task/8644/stat : 8644 (java) S 8625 8628 4818 0 -1 4202560 9260 0 0 0 70 2 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773618445112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8645] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8645/stat : 8645 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773617392504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8646] ppid=8625 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/8628/task/8646/stat : 8646 (java) S 8625 8628 4818 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773616339912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 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 8628 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1769.3 s] /proc/loadavg: 2.58 2.29 2.21 3/215 8757 /proc/meminfo: memFree=21892856/32872528 swapFree=1483896/1661724 [pid=8628] ppid=8625 vsize=9625040 CPUtime=1800 cores=0,2,4,6 /proc/8628/stat : 8628 (java) S 8625 8628 4818 0 -1 4202496 57000 0 1 0 179347 653 0 0 20 0 19 0 4469017 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 140736455423664 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8628/statm: 2406260 1216343 2296 9 0 2396937 0 [pid=8628/tid=8630] ppid=8625 vsize=9625040 CPUtime=1749.48 cores=0,2,4,6 /proc/8628/task/8630/stat : 8630 (java) R 8625 8628 4818 0 -1 4202560 3454 0 1 0 174909 39 0 0 20 0 19 0 4469018 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773800074960 139773740685656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8631] ppid=8625 vsize=9625040 CPUtime=5.17 cores=0,2,4,6 /proc/8628/task/8631/stat : 8631 (java) S 8625 8628 4818 0 -1 4202560 3053 0 0 0 439 78 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773643274792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8632] ppid=8625 vsize=9625040 CPUtime=4.39 cores=0,2,4,6 /proc/8628/task/8632/stat : 8632 (java) S 8625 8628 4818 0 -1 4202560 2546 0 0 0 369 70 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773642221992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8633] ppid=8625 vsize=9625040 CPUtime=4.45 cores=0,2,4,6 /proc/8628/task/8633/stat : 8633 (java) S 8625 8628 4818 0 -1 4202560 4166 0 0 0 364 81 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773641169192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8634] ppid=8625 vsize=9625040 CPUtime=5.02 cores=0,2,4,6 /proc/8628/task/8634/stat : 8634 (java) S 8625 8628 4818 0 -1 4202560 2985 0 0 0 426 76 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773640116392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8635] ppid=8625 vsize=9625040 CPUtime=4.93 cores=0,2,4,6 /proc/8628/task/8635/stat : 8635 (java) S 8625 8628 4818 0 -1 4202560 2862 0 0 0 415 78 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773639064616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8636] ppid=8625 vsize=9625040 CPUtime=5.38 cores=0,2,4,6 /proc/8628/task/8636/stat : 8636 (java) S 8625 8628 4818 0 -1 4202560 4305 0 0 0 443 95 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773638011816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8637] ppid=8625 vsize=9625040 CPUtime=4.99 cores=0,2,4,6 /proc/8628/task/8637/stat : 8637 (java) S 8625 8628 4818 0 -1 4202560 3233 0 0 0 427 72 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773636959016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8638] ppid=8625 vsize=9625040 CPUtime=4.6 cores=0,2,4,6 /proc/8628/task/8638/stat : 8638 (java) S 8625 8628 4818 0 -1 4202560 1390 0 0 0 401 59 0 0 20 0 19 0 4469019 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773635906216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8639] ppid=8625 vsize=9625040 CPUtime=4.96 cores=0,2,4,6 /proc/8628/task/8639/stat : 8639 (java) S 8625 8628 4818 0 -1 4202560 6938 0 0 0 491 5 0 0 20 0 19 0 4469021 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773623708136 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8640] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8640/stat : 8640 (java) S 8625 8628 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773622654200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8641] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8641/stat : 8641 (java) S 8625 8628 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4469021 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773621601288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8642] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8642/stat : 8642 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773620549776 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8628/tid=8643] ppid=8625 vsize=9625040 CPUtime=1.11 cores=0,2,4,6 /proc/8628/task/8643/stat : 8643 (java) S 8625 8628 4818 0 -1 4202560 11448 0 0 0 108 3 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773619497912 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8644] ppid=8625 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/8628/task/8644/stat : 8644 (java) S 8625 8628 4818 0 -1 4202560 9260 0 0 0 70 2 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773618445112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8628/tid=8645] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8645/stat : 8645 (java) S 8625 8628 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773617392504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8628/tid=8646] ppid=8625 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/8628/task/8646/stat : 8646 (java) S 8625 8628 4818 0 -1 4202560 103 0 0 0 24 23 0 0 20 0 19 0 4469024 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773616339912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8628/tid=8647] ppid=8625 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8628/task/8647/stat : 8647 (java) S 8625 8628 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4469075 9856040960 1216343 33554432000 1073741824 1073778376 140736455432528 139773615285416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8628 and gives # childrusage.ru_utime.tv_sec=1789 # childrusage.ru_utime.tv_usec=79018 # childrusage.ru_stime.tv_sec=6 # childrusage.ru_stime.tv_usec=960941 # CPU time returned by wait4() is 1796.04 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1769.36 CPU time (s): 1800 CPU user time (s): 1793.47 CPU system time (s): 6.53 CPU usage (%): 101.732 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.08 system time used= 6.96094 maximum resident set size= 4865500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57038 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39909 involuntary context switches= 20124 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3414 second user time and 13.224 second system time The end
Begin job on node134 at 2016-06-29 23:19:25 IDJOB=4118803 IDBENCH=111534 IDSOLVER=2546 FILE ID=node134/4118803-1467235165 RUNJOBID= node134-1467208989-4834 PBS_JOBID= 19997576 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118803-1467235165/watcher-4118803-1467235165 -o /tmp/evaluation-result-4118803-1467235165/solver-4118803-1467235165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118803-1467235165.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 220afe097734e84aa95a93161cea83a3 RANDOM SEED=1121308192 node134.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.738 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 : 5333.47 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.738 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 : 7358.89 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.738 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.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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.738 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.55 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.738 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.738 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26684044 kB Buffers: 143732 kB Cached: 2995044 kB SwapCached: 0 kB Active: 774004 kB Inactive: 3005576 kB Active(anon): 643132 kB Inactive(anon): 112 kB Active(file): 130872 kB Inactive(file): 3005464 kB Unevictable: 1661724 kB Mlocked: 1483896 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1632 kB Writeback: 0 kB AnonPages: 2310244 kB Mapped: 21616 kB Shmem: 216 kB Slab: 611948 kB SReclaimable: 55880 kB SUnreclaim: 556068 kB KernelStack: 1776 kB PageTables: 9148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2489148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 782336 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= 71708 MiB End job on node134 at 2016-06-29 23:48:54