Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 1800.72 | 1792.91 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_2.opb |
| MD5SUM | 0c9f9f4d9069e955741fce23953a7e72 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3385647 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| 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 | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 147197952 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 48050028218 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 147197952 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 48050028218 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.2.v20120418 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 501472288 0.06/0.09 c Max memory 7480803328 0.06/0.09 c Total memory 504102912 0.06/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3690175-1337896978.opb 0.09/0.11 c reading problem ... 0.83/0.45 c ... done. Wall clock time 0.34s. 0.83/0.45 c declared #vars 5100 0.83/0.45 c #constraints 12510 0.83/0.45 c constraints type 0.83/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 0.83/0.45 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 0.83/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 0.83/0.45 c ignored satisfied constraints => 2 0.83/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 0.83/0.45 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 0.83/0.45 c 12512 constraints processed. 0.83/0.45 c objective function length is 4950 literals 1.40/0.63 c SATISFIABLE 1.40/0.63 c OPTIMIZING... 1.40/0.63 c Got one! Elapsed wall clock time (in seconds):0.52 1.40/0.63 o 3491593 1.64/0.70 c Got one! Elapsed wall clock time (in seconds):0.588 1.64/0.70 o 3413901 1.64/0.74 c Got one! Elapsed wall clock time (in seconds):0.626 1.64/0.74 o 3406633 3.37/2.27 c cleaning 2530 clauses out of 5062 with flag 5000/5138 4.35/3.16 c cleaning 4259 clauses out of 8531 with flag 11000/11138 5.37/4.16 c cleaning 5631 clauses out of 11273 with flag 18001/18139 6.89/5.67 c cleaning 6804 clauses out of 13621 with flag 26001/26139 8.16/6.86 c cleaning 7907 clauses out of 15816 with flag 35000/35138 9.46/8.19 c cleaning 8953 clauses out of 17909 with flag 45000/45138 10.98/9.64 c cleaning 9974 clauses out of 19957 with flag 56001/56139 12.58/11.22 c cleaning 10991 clauses out of 21983 with flag 68001/68139 14.29/12.92 c cleaning 11992 clauses out of 23991 with flag 81000/81138 16.10/14.76 c cleaning 12999 clauses out of 25999 with flag 95000/95138 18.14/16.72 c cleaning 14001 clauses out of 28001 with flag 110001/110139 20.24/18.85 c cleaning 14997 clauses out of 30000 with flag 126001/126139 22.47/21.01 c cleaning 15996 clauses out of 32002 with flag 143000/143138 24.89/23.42 c cleaning 16996 clauses out of 34007 with flag 161001/161139 27.40/25.92 c cleaning 18001 clauses out of 36010 with flag 180000/180138 30.02/28.57 c cleaning 19001 clauses out of 38009 with flag 200000/200138 32.82/31.39 c cleaning 20000 clauses out of 40009 with flag 221001/221139 35.83/34.30 c cleaning 21001 clauses out of 42008 with flag 243000/243138 38.87/37.38 c cleaning 21999 clauses out of 44007 with flag 266000/266138 42.08/40.54 c cleaning 23002 clauses out of 46009 with flag 290001/290139 45.39/43.82 c cleaning 23999 clauses out of 48006 with flag 315000/315138 48.90/47.38 c cleaning 25000 clauses out of 50008 with flag 341001/341139 52.62/51.04 c cleaning 26004 clauses out of 52008 with flag 368001/368139 56.45/54.86 c cleaning 27002 clauses out of 54004 with flag 396001/396139 60.50/58.83 c cleaning 27998 clauses out of 56001 with flag 425000/425138 64.51/62.81 c cleaning 29000 clauses out of 58003 with flag 455000/455138 68.52/66.85 c cleaning 30001 clauses out of 60003 with flag 486000/486138 72.97/71.21 c cleaning 31001 clauses out of 62003 with flag 518001/518139 77.40/75.62 c cleaning 32001 clauses out of 64001 with flag 551000/551138 81.92/80.11 c cleaning 32998 clauses out of 66000 with flag 585000/585138 86.34/84.60 c cleaning 33997 clauses out of 68003 with flag 620001/620139 91.17/89.38 c cleaning 35001 clauses out of 70005 with flag 656000/656138 96.21/94.39 c cleaning 35990 clauses out of 72004 with flag 693000/693138 101.42/99.52 c cleaning 37004 clauses out of 74014 with flag 731000/731138 106.64/104.71 c cleaning 37997 clauses out of 76010 with flag 770000/770138 111.97/110.04 c cleaning 39002 clauses out of 78013 with flag 810000/810138 117.39/115.43 c cleaning 39999 clauses out of 80011 with flag 851000/851138 123.31/121.33 c cleaning 41003 clauses out of 82012 with flag 893000/893138 128.82/126.85 c cleaning 42003 clauses out of 84009 with flag 936000/936138 134.65/132.63 c cleaning 43000 clauses out of 86006 with flag 980000/980138 140.67/138.62 c cleaning 43998 clauses out of 88006 with flag 1025000/1025138 147.10/145.02 c cleaning 45003 clauses out of 90009 with flag 1071001/1071139 153.42/151.32 c cleaning 46000 clauses out of 92005 with flag 1118000/1118138 159.78/157.69 c cleaning 47000 clauses out of 94005 with flag 1166000/1166138 166.29/164.19 c cleaning 47995 clauses out of 96005 with flag 1215000/1215138 173.30/171.17 c cleaning 49000 clauses out of 98010 with flag 1265000/1265138 180.43/178.21 c cleaning 50001 clauses out of 100010 with flag 1316000/1316138 187.39/185.16 c cleaning 51003 clauses out of 102009 with flag 1368000/1368138 194.81/192.51 c cleaning 52002 clauses out of 104007 with flag 1421001/1421139 202.24/199.95 c cleaning 52998 clauses out of 106004 with flag 1475000/1475138 210.06/207.73 c cleaning 53997 clauses out of 108006 with flag 1530000/1530138 218.21/215.80 c cleaning 54997 clauses out of 110009 with flag 1586000/1586138 226.75/224.37 c cleaning 55999 clauses out of 112012 with flag 1643000/1643138 235.18/232.78 c cleaning 57006 clauses out of 114013 with flag 1701000/1701138 243.72/241.21 c cleaning 58000 clauses out of 116007 with flag 1760000/1760138 252.33/249.82 c cleaning 58996 clauses out of 118008 with flag 1820001/1820139 261.07/258.57 c cleaning 60001 clauses out of 120012 with flag 1881001/1881139 269.99/267.44 c cleaning 61003 clauses out of 122011 with flag 1943001/1943139 278.91/276.38 c cleaning 61996 clauses out of 124008 with flag 2006001/2006139 287.47/284.87 c cleaning 63001 clauses out of 126012 with flag 2070001/2070139 296.60/293.98 c cleaning 63999 clauses out of 128011 with flag 2135001/2135139 305.92/303.21 c cleaning 65003 clauses out of 130012 with flag 2201001/2201139 315.69/312.94 c cleaning 66003 clauses out of 132008 with flag 2268000/2268138 325.25/322.49 c cleaning 66998 clauses out of 134005 with flag 2336000/2336138 335.19/332.34 c cleaning 67999 clauses out of 136008 with flag 2405001/2405139 345.03/342.20 c cleaning 68998 clauses out of 138009 with flag 2475001/2475139 355.65/352.70 c cleaning 69998 clauses out of 140011 with flag 2546001/2546139 365.89/362.92 c cleaning 70998 clauses out of 142013 with flag 2618001/2618139 376.00/373.07 c cleaning 72006 clauses out of 144015 with flag 2691001/2691139 386.74/383.74 c cleaning 73000 clauses out of 146010 with flag 2765002/2765140 397.88/394.84 c cleaning 74002 clauses out of 148008 with flag 2840000/2840138 409.49/406.47 c cleaning 75004 clauses out of 150007 with flag 2916001/2916139 420.95/417.87 c cleaning 75996 clauses out of 152002 with flag 2993000/2993138 432.38/429.21 c cleaning 76998 clauses out of 154007 with flag 3071001/3071139 443.59/440.48 c cleaning 78004 clauses out of 156008 with flag 3150000/3150138 455.31/452.18 c cleaning 78998 clauses out of 158004 with flag 3230000/3230138 466.82/463.62 c cleaning 79999 clauses out of 160006 with flag 3311000/3311138 479.04/475.84 c cleaning 81001 clauses out of 162008 with flag 3393001/3393139 491.26/488.05 c cleaning 81993 clauses out of 164006 with flag 3476000/3476138 503.70/500.50 c cleaning 83000 clauses out of 166013 with flag 3560000/3560138 516.88/513.51 c cleaning 84006 clauses out of 168013 with flag 3645000/3645138 530.12/526.71 c cleaning 84998 clauses out of 170009 with flag 3731002/3731140 542.87/539.42 c cleaning 85998 clauses out of 172010 with flag 3818001/3818139 555.80/552.37 c cleaning 87003 clauses out of 174011 with flag 3906000/3906138 569.42/565.95 c cleaning 87996 clauses out of 176008 with flag 3995000/3995138 583.15/579.64 c cleaning 89000 clauses out of 178012 with flag 4085000/4085138 596.70/593.13 c cleaning 90000 clauses out of 180012 with flag 4176000/4176138 611.15/607.53 c cleaning 91002 clauses out of 182013 with flag 4268001/4268139 625.51/621.84 c cleaning 91999 clauses out of 184011 with flag 4361001/4361139 640.09/636.32 c cleaning 93000 clauses out of 186011 with flag 4455000/4455138 654.37/650.52 c cleaning 93997 clauses out of 188003 with flag 4550000/4550138 668.10/664.23 c cleaning 95001 clauses out of 190006 with flag 4646000/4646138 682.98/679.02 c cleaning 95999 clauses out of 192006 with flag 4743001/4743139 698.24/694.28 c cleaning 97004 clauses out of 194007 with flag 4841001/4841139 713.71/709.68 c cleaning 97996 clauses out of 196002 with flag 4940000/4940138 729.89/725.78 c cleaning 98999 clauses out of 198006 with flag 5040000/5040138 746.56/742.21 c cleaning 100002 clauses out of 200008 with flag 5141001/5141139 762.95/758.56 c cleaning 101001 clauses out of 202005 with flag 5243000/5243138 778.94/774.41 c cleaning 102002 clauses out of 204005 with flag 5346001/5346139 795.53/790.93 c cleaning 102999 clauses out of 206003 with flag 5450001/5450139 812.90/808.23 c cleaning 104000 clauses out of 208005 with flag 5555002/5555140 829.68/824.95 c cleaning 104996 clauses out of 210003 with flag 5661000/5661138 849.24/844.48 c cleaning 106001 clauses out of 212008 with flag 5768001/5768139 867.33/862.45 c cleaning 107002 clauses out of 214006 with flag 5876000/5876138 886.31/881.34 c cleaning 108000 clauses out of 216004 with flag 5985000/5985138 903.18/898.16 c cleaning 108997 clauses out of 218005 with flag 6095001/6095139 920.62/915.51 c cleaning 109993 clauses out of 220007 with flag 6206000/6206138 938.15/933.03 c cleaning 111000 clauses out of 222014 with flag 6318000/6318138 955.78/950.66 c cleaning 112007 clauses out of 224014 with flag 6431000/6431138 974.95/969.78 c cleaning 113002 clauses out of 226007 with flag 6545000/6545138 992.67/987.45 c cleaning 113999 clauses out of 228005 with flag 6660000/6660138 1010.54/1005.20 c cleaning 114999 clauses out of 230007 with flag 6776001/6776139 1028.00/1022.64 c cleaning 115998 clauses out of 232008 with flag 6893001/6893139 1045.52/1040.15 c cleaning 116996 clauses out of 234009 with flag 7011000/7011138 1063.75/1058.36 c cleaning 118005 clauses out of 236014 with flag 7130001/7130139 1081.56/1076.12 c cleaning 118995 clauses out of 238008 with flag 7250000/7250138 1100.78/1095.32 c cleaning 120003 clauses out of 240014 with flag 7371001/7371139 1121.12/1115.69 c cleaning 121001 clauses out of 242010 with flag 7493000/7493138 1141.09/1135.52 c cleaning 122004 clauses out of 244009 with flag 7616000/7616138 1162.46/1156.87 c cleaning 122996 clauses out of 246006 with flag 7740001/7740139 1182.42/1176.77 c cleaning 124002 clauses out of 248009 with flag 7865000/7865138 1201.46/1195.77 c cleaning 124998 clauses out of 250008 with flag 7991001/7991139 1222.18/1216.44 c cleaning 125997 clauses out of 252010 with flag 8118001/8118139 1241.38/1235.52 c cleaning 126996 clauses out of 254012 with flag 8246000/8246138 1261.51/1255.64 c cleaning 127996 clauses out of 256017 with flag 8375001/8375139 1282.43/1276.57 c cleaning 128999 clauses out of 258020 with flag 8505000/8505138 1303.15/1297.28 c cleaning 130002 clauses out of 260022 with flag 8636001/8636139 1325.48/1319.58 c cleaning 131005 clauses out of 262019 with flag 8768000/8768138 1347.76/1341.70 c cleaning 131999 clauses out of 264015 with flag 8901001/8901139 1368.18/1362.16 c cleaning 132998 clauses out of 266017 with flag 9035002/9035140 1390.53/1384.49 c cleaning 134004 clauses out of 268018 with flag 9170001/9170139 1412.81/1406.64 c cleaning 135005 clauses out of 270013 with flag 9306000/9306138 1435.44/1429.23 c cleaning 135996 clauses out of 272009 with flag 9443001/9443139 1459.26/1453.03 c cleaning 137001 clauses out of 274013 with flag 9581001/9581139 1482.23/1475.95 c cleaning 138003 clauses out of 276012 with flag 9720001/9720139 1505.31/1498.90 c cleaning 139004 clauses out of 278008 with flag 9860000/9860138 1528.37/1521.90 c cleaning 139997 clauses out of 280005 with flag 10001001/10001139 1550.03/1543.55 c cleaning 140997 clauses out of 282007 with flag 10143000/10143138 1571.19/1564.62 c cleaning 141994 clauses out of 284010 with flag 10286000/10286138 1592.52/1585.97 c cleaning 143001 clauses out of 286017 with flag 10430001/10430139 1614.59/1607.99 c cleaning 144002 clauses out of 288015 with flag 10575000/10575138 1640.01/1633.40 c cleaning 144998 clauses out of 290014 with flag 10721001/10721139 1662.65/1655.86 c cleaning 145995 clauses out of 292015 with flag 10868000/10868138 1687.07/1680.21 c cleaning 146996 clauses out of 294021 with flag 11016001/11016139 1709.89/1703.09 c cleaning 148000 clauses out of 296020 with flag 11165000/11165138 1734.66/1727.74 c cleaning 149001 clauses out of 298020 with flag 11315000/11315138 1765.16/1758.14 c cleaning 149999 clauses out of 300019 with flag 11466000/11466138 1794.57/1787.41 c cleaning 150999 clauses out of 302020 with flag 11618000/11618138 1800.04/1792.85 c starts : 326 1800.04/1792.85 c conflicts : 11654385 1800.04/1792.85 c decisions : 12718346 1800.04/1792.85 c propagations : 126673474 1800.04/1792.85 c inspects : 3773032159 1800.04/1792.85 c shortcuts : 0 1800.04/1792.85 c learnt literals : 110 1800.04/1792.85 c learnt binary clauses : 13 1800.04/1792.85 c learnt ternary clauses : 230 1800.04/1792.85 c learnt constraints : 11654275 1800.04/1792.85 c ignored constraints : 0 1800.04/1792.85 c root simplifications : 0 1800.04/1792.85 c removed literals (reason simplification) : 0 1800.04/1792.85 c reason swapping (by a shorter reason) : 0 1800.04/1792.85 c Calls to reduceDB : 148 1800.04/1792.85 c number of reductions to clauses (during analyze) : 0 1800.04/1792.85 c number of learned constraints concerned by reduction : 0 1800.04/1792.85 c number of learning phase by resolution : 0 1800.04/1792.85 c number of learning phase by cutting planes : 0 1800.04/1792.85 c speed (assignments/second) : 70674.92551636409 1800.04/1792.85 c non guided choices 155 1800.04/1792.88 c learnt constraints type 1800.04/1792.88 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 13 1800.04/1792.88 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 187445 1800.04/1792.88 c constraints type 1800.04/1792.88 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276 1800.04/1792.88 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.04/1792.88 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.04/1792.88 c ignored satisfied constraints => 2 1800.04/1792.88 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850 1800.04/1792.88 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376 1800.04/1792.88 c 12513 constraints processed. 1800.04/1792.88 s SATISFIABLE 1800.04/1792.89 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 1800.04/1792.90 c objective function=3406633 1800.04/1792.90 c Total wall clock time (in seconds): 1792.782
OK 3406633
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690175-1337896978/watcher-3690175-1337896978 -o /tmp/evaluation-result-3690175-1337896978/solver-3690175-1337896978 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690175-1337896978.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.71 1.89 3/177 32477 /proc/meminfo: memFree=29312620/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=89736 CPUtime=0 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 2 0 255822587 91889664 870 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 22434 881 667 9 0 16769 0 [pid=32477/tid=32480] ppid=32475 vsize=89740 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 255822588 91893760 893 33554432000 1073741824 1073778376 140733644099424 140733644088488 215143499040 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0 [startup+0.0858669 s] /proc/loadavg: 1.11 1.71 1.89 3/177 32477 /proc/meminfo: memFree=29312620/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 3409 0 1 0 5 1 0 0 20 0 18 0 255822587 9787813888 4619 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2389603 4619 1772 9 0 2380296 0 [pid=32477/tid=32480] ppid=32475 vsize=9558412 CPUtime=0.05 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2201 0 1 0 5 0 0 0 20 0 18 0 255822588 9787813888 4619 33554432000 1073741824 1073778376 140733644099424 140308407265952 215143169897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.100309 s] /proc/loadavg: 1.11 1.71 1.89 3/177 32477 /proc/meminfo: memFree=29312620/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 4267 0 1 0 8 1 0 0 20 0 18 0 255822587 9787813888 5465 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2389603 5466 2108 9 0 2380296 0 [pid=32477/tid=32480] ppid=32475 vsize=9558412 CPUtime=0.07 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2317 0 1 0 5 2 0 0 20 0 18 0 255822588 9787813888 5467 33554432000 1073741824 1073778376 140733644099424 140308407262128 140308415028020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300194 s] /proc/loadavg: 1.11 1.71 1.89 3/177 32477 /proc/meminfo: memFree=29312620/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9558412 CPUtime=0.52 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 7119 0 1 0 51 1 0 0 20 0 18 0 255822587 9787813888 10256 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2389603 10256 2218 9 0 2380296 0 [pid=32477/tid=32480] ppid=32475 vsize=9558412 CPUtime=0.27 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2445 0 1 0 25 2 0 0 20 0 18 0 255822588 9787813888 10257 33554432000 1073741824 1073778376 140733644099424 140308407262632 140308276953488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558412 [startup+0.700212 s] /proc/loadavg: 1.11 1.71 1.89 3/177 32477 /proc/meminfo: memFree=29312620/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=1.64 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 10896 0 1 0 161 3 0 0 20 0 19 0 255822587 9855975424 17561 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 17561 2255 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2468 0 1 0 64 3 0 0 20 0 19 0 255822588 9855975424 17561 33554432000 1073741824 1073778376 140733644099424 140308407263560 140308410549114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9624976 [startup+1.50075 s] /proc/loadavg: 1.18 1.71 1.89 4/215 32515 /proc/meminfo: memFree=29181664/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=2.62 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 10905 0 1 0 259 3 0 0 20 0 19 0 255822587 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 19102 2259 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=1.47 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2472 0 1 0 144 3 0 0 20 0 19 0 255822588 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308407255464 140308277711146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32483] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32483/stat : 32483 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308396325288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32485] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32485/stat : 32485 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308249262632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32486] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32486/stat : 32486 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308248209576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32488] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32488/stat : 32488 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308247157032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32491] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32491/stat : 32491 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308246105000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255822590 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.59 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4548 0 0 0 59 0 0 0 20 0 19 0 255822593 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2686 0 0 0 52 0 0 0 20 0 19 0 255822593 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32510] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32510/stat : 32510 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308224432888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32512] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32512/stat : 32512 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308223380552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32515] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32515/stat : 32515 (java) S 32475 32477 32434 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255822638 9855975424 19102 33554432000 1073741824 1073778376 140733644099424 140308222325800 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 9624976 [startup+3.10068 s] /proc/loadavg: 1.18 1.71 1.89 4/215 32515 /proc/meminfo: memFree=29160804/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=4.35 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 10970 0 1 0 431 4 0 0 20 0 19 0 255822587 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 23754 2284 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=3.04 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2476 0 1 0 301 3 0 0 20 0 19 0 255822588 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308407263608 140308277711120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32483] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32483/stat : 32483 (java) S 32475 32477 32434 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308396325288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32485] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32485/stat : 32485 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308249262632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32486] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32486/stat : 32486 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308248209576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32488] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32488/stat : 32488 (java) S 32475 32477 32434 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308247157032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32491] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32491/stat : 32491 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308246105000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 255822590 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.64 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4552 0 0 0 64 0 0 0 20 0 19 0 255822593 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.58 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2688 0 0 0 58 0 0 0 20 0 19 0 255822593 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32510] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32510/stat : 32510 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308224432888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32512] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32512/stat : 32512 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308223380552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32515] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32515/stat : 32515 (java) S 32475 32477 32434 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255822638 9855975424 23754 33554432000 1073741824 1073778376 140733644099424 140308222325800 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 9624976 [startup+6.30075 s] /proc/loadavg: 1.18 1.71 1.89 4/215 32515 /proc/meminfo: memFree=29126484/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=7.66 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 11043 0 1 0 761 5 0 0 20 0 19 0 255822587 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 25066 2284 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=6.15 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2478 0 1 0 612 3 0 0 20 0 19 0 255822588 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308407263752 140308277821158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32483] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32483/stat : 32483 (java) S 32475 32477 32434 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308396325288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32485] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32485/stat : 32485 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308249262632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32486] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32486/stat : 32486 (java) S 32475 32477 32434 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308248209576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32488] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32488/stat : 32488 (java) S 32475 32477 32434 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308247157032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32491] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32491/stat : 32491 (java) S 32475 32477 32434 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308246105000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255822589 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=0.08 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 52 0 0 0 8 0 0 0 20 0 19 0 255822590 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4560 0 0 0 65 0 0 0 20 0 19 0 255822593 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.64 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2703 0 0 0 64 0 0 0 20 0 19 0 255822593 9855975424 25066 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0.94 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 404 0 0 0 90 4 0 0 20 0 19 0 255822589 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0.89 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 347 0 0 0 85 4 0 0 20 0 19 0 255822589 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=0.98 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 102 0 0 0 95 3 0 0 20 0 19 0 255822589 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=10.1 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 175 0 0 0 1006 4 0 0 20 0 19 0 255822590 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4560 0 0 0 65 0 0 0 20 0 19 0 255822593 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2709 0 0 0 67 0 0 0 20 0 19 0 255822593 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32510] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32510/stat : 32510 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308224432888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32512] ppid=32475 vsize=9624976 CPUtime=0.34 cores=1,3,5,7 /proc/32477/task/32512/stat : 32512 (java) S 32475 32477 32434 0 -1 4202560 95 0 0 0 19 15 0 0 20 0 19 0 255822593 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308223380552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32515] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32515/stat : 32515 (java) S 32475 32477 32434 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255822638 9855975424 95107 33554432000 1073741824 1073778376 140733644099424 140308222325800 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1669.17 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.06 2.10 2.02 4/215 32530 /proc/meminfo: memFree=28352012/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=1729.26 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 13633 0 1 0 172876 50 0 0 20 0 19 0 255822587 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 96131 2285 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=1709.82 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2661 0 1 0 170952 30 0 0 20 0 19 0 255822588 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308407263520 140308277633906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32483] ppid=32475 vsize=9624976 CPUtime=0.97 cores=1,3,5,7 /proc/32477/task/32483/stat : 32483 (java) S 32475 32477 32434 0 -1 4202560 313 0 0 0 92 5 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308396325288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32485] ppid=32475 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/32477/task/32485/stat : 32485 (java) S 32475 32477 32434 0 -1 4202560 147 0 0 0 87 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308249262632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32486] ppid=32475 vsize=9624976 CPUtime=1.01 cores=1,3,5,7 /proc/32477/task/32486/stat : 32486 (java) S 32475 32477 32434 0 -1 4202560 198 0 0 0 99 2 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308248209576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32488] ppid=32475 vsize=9624976 CPUtime=0.93 cores=1,3,5,7 /proc/32477/task/32488/stat : 32488 (java) S 32475 32477 32434 0 -1 4202560 437 0 0 0 90 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308247157032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32491] ppid=32475 vsize=9624976 CPUtime=0.98 cores=1,3,5,7 /proc/32477/task/32491/stat : 32491 (java) S 32475 32477 32434 0 -1 4202560 292 0 0 0 94 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308246105000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0.95 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 404 0 0 0 91 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 347 0 0 0 86 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=0.99 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 102 0 0 0 96 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=10.36 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 179 0 0 0 1032 4 0 0 20 0 19 0 255822590 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4560 0 0 0 65 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2709 0 0 0 67 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32510] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32510/stat : 32510 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308224432888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32512] ppid=32475 vsize=9624976 CPUtime=0.35 cores=1,3,5,7 /proc/32477/task/32512/stat : 32512 (java) S 32475 32477 32434 0 -1 4202560 99 0 0 0 19 16 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308223380552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32515] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32515/stat : 32515 (java) S 32475 32477 32434 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255822638 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308222325800 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1729.26 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.02 2.08 2.02 4/215 32531 /proc/meminfo: memFree=28341524/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=1789.46 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 13641 0 1 0 178895 51 0 0 20 0 19 0 255822587 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 96131 2285 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=1769.49 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2663 0 1 0 176918 31 0 0 20 0 19 0 255822588 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308407263520 140308277711304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32483] ppid=32475 vsize=9624976 CPUtime=1.01 cores=1,3,5,7 /proc/32477/task/32483/stat : 32483 (java) S 32475 32477 32434 0 -1 4202560 313 0 0 0 96 5 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308396325288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32485] ppid=32475 vsize=9624976 CPUtime=0.94 cores=1,3,5,7 /proc/32477/task/32485/stat : 32485 (java) S 32475 32477 32434 0 -1 4202560 147 0 0 0 91 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308249262632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32486] ppid=32475 vsize=9624976 CPUtime=1.03 cores=1,3,5,7 /proc/32477/task/32486/stat : 32486 (java) S 32475 32477 32434 0 -1 4202560 198 0 0 0 101 2 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308248209576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32488] ppid=32475 vsize=9624976 CPUtime=0.95 cores=1,3,5,7 /proc/32477/task/32488/stat : 32488 (java) S 32475 32477 32434 0 -1 4202560 437 0 0 0 92 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308247157032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32491] ppid=32475 vsize=9624976 CPUtime=1 cores=1,3,5,7 /proc/32477/task/32491/stat : 32491 (java) S 32475 32477 32434 0 -1 4202560 292 0 0 0 96 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308246105000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0.98 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 404 0 0 0 94 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0.92 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 347 0 0 0 88 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=1.04 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 102 0 0 0 101 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=10.63 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 181 0 0 0 1059 4 0 0 20 0 19 0 255822590 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4560 0 0 0 65 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2709 0 0 0 67 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32510] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32510/stat : 32510 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308224432888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32512] ppid=32475 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/32477/task/32512/stat : 32512 (java) S 32475 32477 32434 0 -1 4202560 103 0 0 0 21 17 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308223380552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32515] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32515/stat : 32515 (java) S 32475 32477 32434 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255822638 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308222325800 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.8 s] /proc/loadavg: 2.02 2.07 2.02 3/195 32534 /proc/meminfo: memFree=28926252/32873844 swapFree=7364/7364 [pid=32477] ppid=32475 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7 /proc/32477/stat : 32477 (java) S 32475 32477 32434 0 -1 4202496 13644 0 1 0 179953 51 0 0 20 0 19 0 255822587 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140733644090560 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/32477/statm: 2406244 96131 2285 9 0 2396937 0 [pid=32477/tid=32480] ppid=32475 vsize=9624976 CPUtime=1779.83 cores=1,3,5,7 /proc/32477/task/32480/stat : 32480 (java) R 32475 32477 32434 0 -1 4202560 2664 0 1 0 177951 32 0 0 20 0 19 0 255822588 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308407263520 140308277577946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32483] ppid=32475 vsize=9624976 CPUtime=1.02 cores=1,3,5,7 /proc/32477/task/32483/stat : 32483 (java) S 32475 32477 32434 0 -1 4202560 313 0 0 0 97 5 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308396325288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32485] ppid=32475 vsize=9624976 CPUtime=0.95 cores=1,3,5,7 /proc/32477/task/32485/stat : 32485 (java) S 32475 32477 32434 0 -1 4202560 147 0 0 0 91 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308249262632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32486] ppid=32475 vsize=9624976 CPUtime=1.04 cores=1,3,5,7 /proc/32477/task/32486/stat : 32486 (java) S 32475 32477 32434 0 -1 4202560 198 0 0 0 102 2 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308248209576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32477/tid=32488] ppid=32475 vsize=9624976 CPUtime=0.97 cores=1,3,5,7 /proc/32477/task/32488/stat : 32488 (java) S 32475 32477 32434 0 -1 4202560 437 0 0 0 94 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308247157032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32491] ppid=32475 vsize=9624976 CPUtime=1.01 cores=1,3,5,7 /proc/32477/task/32491/stat : 32491 (java) S 32475 32477 32434 0 -1 4202560 292 0 0 0 97 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308246105000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32493] ppid=32475 vsize=9624976 CPUtime=0.99 cores=1,3,5,7 /proc/32477/task/32493/stat : 32493 (java) S 32475 32477 32434 0 -1 4202560 404 0 0 0 95 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308245052456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32495] ppid=32475 vsize=9624976 CPUtime=0.93 cores=1,3,5,7 /proc/32477/task/32495/stat : 32495 (java) S 32475 32477 32434 0 -1 4202560 347 0 0 0 89 4 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308243999400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32477/tid=32497] ppid=32475 vsize=9624976 CPUtime=1.06 cores=1,3,5,7 /proc/32477/task/32497/stat : 32497 (java) S 32475 32477 32434 0 -1 4202560 102 0 0 0 103 3 0 0 20 0 19 0 255822589 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308242946856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32499] ppid=32475 vsize=9624976 CPUtime=10.78 cores=1,3,5,7 /proc/32477/task/32499/stat : 32499 (java) S 32475 32477 32434 0 -1 4202560 183 0 0 0 1073 5 0 0 20 0 19 0 255822590 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308230748520 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32502] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32502/stat : 32502 (java) S 32475 32477 32434 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308229694840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32503] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32503/stat : 32503 (java) S 32475 32477 32434 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255822591 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308228641672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32504] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32504/stat : 32504 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308227590416 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32506] ppid=32475 vsize=9624976 CPUtime=0.65 cores=1,3,5,7 /proc/32477/task/32506/stat : 32506 (java) S 32475 32477 32434 0 -1 4202560 4560 0 0 0 65 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308226538296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32508] ppid=32475 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/32477/task/32508/stat : 32508 (java) S 32475 32477 32434 0 -1 4202560 2709 0 0 0 67 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308225485752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32477/tid=32510] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32510/stat : 32510 (java) S 32475 32477 32434 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308224432888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32512] ppid=32475 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/32477/task/32512/stat : 32512 (java) S 32475 32477 32434 0 -1 4202560 103 0 0 0 21 17 0 0 20 0 19 0 255822593 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308223380552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32477/tid=32515] ppid=32475 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/32477/task/32515/stat : 32515 (java) S 32475 32477 32434 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255822638 9855975424 96131 33554432000 1073741824 1073778376 140733644099424 140308222325800 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1792.91 CPU time (s): 1800.72 CPU user time (s): 1799.75 CPU system time (s): 0.972852 CPU usage (%): 100.436 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.972852 maximum resident set size= 384648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13678 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41982 involuntary context switches= 14506 runsolver used 6.24005 second user time and 14.1239 second system time The end
Begin job on node133 at 2012-05-25 00:02:58 IDJOB=3690175 IDBENCH=92747 IDSOLVER=2269 FILE ID=node133/3690175-1337896978 RUNJOBID= node133-1337896978-32451 PBS_JOBID= 14620110 Free space on /tmp= 71624 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690175-1337896978/watcher-3690175-1337896978 -o /tmp/evaluation-result-3690175-1337896978/solver-3690175-1337896978 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690175-1337896978.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c9f9f4d9069e955741fce23953a7e72 RANDOM SEED=113605920 node133.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.540 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.08 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29313544 kB Buffers: 234328 kB Cached: 2545032 kB SwapCached: 0 kB Active: 434948 kB Inactive: 2355184 kB Active(anon): 13244 kB Inactive(anon): 0 kB Active(file): 421704 kB Inactive(file): 2355184 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1600 kB Writeback: 0 kB AnonPages: 17868 kB Mapped: 13612 kB Shmem: 212 kB Slab: 632080 kB SReclaimable: 74168 kB SUnreclaim: 557912 kB KernelStack: 1408 kB PageTables: 3732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104228 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node133 at 2012-05-25 00:32:53