Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 26 | 1800.3 | 1798.7 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 3.14552 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 2987 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2987 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2987 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.24/0.21 c Pseudo Boolean Optimization 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.21 c Expensive reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 c solving HOME/instance-2658695-1276634444.opb 0.24/0.21 c reading problem ... 1.73/1.22 c ... done. Wall clock time 1.007s. 1.73/1.22 c #vars 6148 1.73/1.22 c #constraints 19000 1.73/1.22 c constraints type 1.73/1.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1.73/1.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 2.36/1.61 c SATISFIABLE 2.36/1.61 c OPTIMIZING... 2.36/1.61 c Got one! Elapsed wall clock time (in seconds):1.393 2.36/1.61 o 37 2.70/1.86 c Got one! Elapsed wall clock time (in seconds):1.648 2.70/1.86 o 36 3.19/2.13 c Got one! Elapsed wall clock time (in seconds):1.913 3.19/2.13 o 29 3.61/2.41 c Got one! Elapsed wall clock time (in seconds):2.198 3.61/2.41 o 28 4.55/3.31 c Got one! Elapsed wall clock time (in seconds):3.1 4.55/3.31 o 27 6.72/5.41 c Got one! Elapsed wall clock time (in seconds):5.201 6.72/5.41 o 26 7.63/6.39 c cleaning 2497 clauses out of 5001 with flag 5001/5001 12.19/10.81 c cleaning 4249 clauses out of 8504 with flag 11001/11001 17.30/15.91 c cleaning 5623 clauses out of 11255 with flag 18001/18001 23.53/22.10 c cleaning 6812 clauses out of 13632 with flag 26001/26001 30.73/29.34 c cleaning 7904 clauses out of 15819 with flag 35000/35000 37.32/35.93 c cleaning 8954 clauses out of 17915 with flag 45000/45000 45.52/44.12 c cleaning 9976 clauses out of 19961 with flag 56000/56000 54.33/52.99 c cleaning 10987 clauses out of 21985 with flag 68000/68000 63.92/62.56 c cleaning 11994 clauses out of 23999 with flag 81001/81001 74.22/72.87 c cleaning 12998 clauses out of 26004 with flag 95000/95000 85.23/83.84 c cleaning 13994 clauses out of 28006 with flag 110000/110000 96.43/95.02 c cleaning 15003 clauses out of 30013 with flag 126001/126001 108.23/106.89 c cleaning 16001 clauses out of 32009 with flag 143000/143000 121.43/120.02 c cleaning 16997 clauses out of 34009 with flag 161001/161001 135.33/134.00 c cleaning 18002 clauses out of 36011 with flag 180000/180000 150.25/148.88 c cleaning 18499 clauses out of 37009 with flag 199000/199000 166.16/164.73 c cleaning 18745 clauses out of 37510 with flag 218000/218000 181.77/180.39 c cleaning 18873 clauses out of 37766 with flag 237001/237001 195.57/194.13 c cleaning 18942 clauses out of 37893 with flag 256001/256001 210.47/209.02 c cleaning 18951 clauses out of 37950 with flag 275000/275000 224.27/222.83 c cleaning 18996 clauses out of 38000 with flag 294001/294001 238.27/236.84 c cleaning 18994 clauses out of 38004 with flag 313001/313001 252.47/251.08 c cleaning 18990 clauses out of 38009 with flag 332000/332000 267.58/266.17 c cleaning 19003 clauses out of 38019 with flag 351000/351000 282.37/280.96 c cleaning 19000 clauses out of 38016 with flag 370000/370000 296.77/295.30 c cleaning 18999 clauses out of 38016 with flag 389000/389000 310.68/309.25 c cleaning 19004 clauses out of 38017 with flag 408000/408000 324.38/322.96 c cleaning 18991 clauses out of 38013 with flag 427000/427000 339.38/337.91 c cleaning 18996 clauses out of 38022 with flag 446000/446000 352.99/351.52 c cleaning 19005 clauses out of 38026 with flag 465000/465000 366.70/365.26 c cleaning 19003 clauses out of 38022 with flag 484001/484001 381.89/380.48 c cleaning 18999 clauses out of 38019 with flag 503001/503001 396.69/395.24 c cleaning 18985 clauses out of 38019 with flag 522000/522000 409.29/407.82 c cleaning 18997 clauses out of 38034 with flag 541000/541000 422.29/420.85 c cleaning 19008 clauses out of 38037 with flag 560000/560000 435.90/434.50 c cleaning 19008 clauses out of 38029 with flag 579000/579000 449.59/448.19 c cleaning 18999 clauses out of 38021 with flag 598000/598000 463.39/461.91 c cleaning 19004 clauses out of 38022 with flag 617000/617000 477.48/476.04 c cleaning 19002 clauses out of 38018 with flag 636000/636000 491.08/489.64 c cleaning 18990 clauses out of 38016 with flag 655000/655000 505.78/504.36 c cleaning 19005 clauses out of 38026 with flag 674000/674000 518.78/517.32 c cleaning 19001 clauses out of 38021 with flag 693000/693000 532.07/530.64 c cleaning 18989 clauses out of 38020 with flag 712000/712000 545.18/543.78 c cleaning 19013 clauses out of 38031 with flag 731000/731000 560.07/558.61 c cleaning 18999 clauses out of 38018 with flag 750000/750000 576.06/574.69 c cleaning 19001 clauses out of 38019 with flag 769000/769000 590.87/589.46 c cleaning 19001 clauses out of 38018 with flag 788000/788000 606.87/605.43 c cleaning 19002 clauses out of 38017 with flag 807000/807000 622.37/620.96 c cleaning 19000 clauses out of 38015 with flag 826000/826000 637.47/636.01 c cleaning 19006 clauses out of 38017 with flag 845002/845002 652.58/651.19 c cleaning 18996 clauses out of 38009 with flag 864000/864000 667.67/666.22 c cleaning 19004 clauses out of 38013 with flag 883000/883000 680.57/679.18 c cleaning 18994 clauses out of 38009 with flag 902000/902000 694.08/692.69 c cleaning 18989 clauses out of 38016 with flag 921001/921001 707.38/705.96 c cleaning 19000 clauses out of 38026 with flag 940000/940000 724.98/723.57 c cleaning 18998 clauses out of 38026 with flag 959000/959000 742.18/740.70 c cleaning 19004 clauses out of 38028 with flag 978000/978000 755.08/753.63 c cleaning 18996 clauses out of 38024 with flag 997000/997000 767.79/766.34 c cleaning 19004 clauses out of 38028 with flag 1016000/1016000 783.49/782.01 c cleaning 19004 clauses out of 38024 with flag 1035000/1035000 800.01/798.51 c cleaning 18992 clauses out of 38020 with flag 1054000/1054000 815.20/813.74 c cleaning 19002 clauses out of 38028 with flag 1073000/1073000 828.40/826.93 c cleaning 18999 clauses out of 38026 with flag 1092000/1092000 840.81/839.39 c cleaning 19001 clauses out of 38027 with flag 1111000/1111000 853.30/851.83 c cleaning 19005 clauses out of 38027 with flag 1130001/1130001 865.10/863.67 c cleaning 19004 clauses out of 38021 with flag 1149000/1149000 877.20/875.79 c cleaning 19001 clauses out of 38018 with flag 1168001/1168001 890.89/889.43 c cleaning 18996 clauses out of 38016 with flag 1187000/1187000 905.42/903.96 c cleaning 18996 clauses out of 38020 with flag 1206000/1206000 921.02/919.54 c cleaning 19002 clauses out of 38024 with flag 1225000/1225000 936.42/934.95 c cleaning 19003 clauses out of 38022 with flag 1244000/1244000 951.82/950.36 c cleaning 19002 clauses out of 38022 with flag 1263003/1263003 967.01/965.54 c cleaning 19001 clauses out of 38017 with flag 1282000/1282000 982.21/980.72 c cleaning 19000 clauses out of 38017 with flag 1301001/1301001 997.71/996.27 c cleaning 19004 clauses out of 38017 with flag 1320001/1320001 1013.31/1011.81 c cleaning 18993 clauses out of 38012 with flag 1339000/1339000 1026.91/1025.45 c cleaning 19005 clauses out of 38019 with flag 1358000/1358000 1041.40/1039.98 c cleaning 19003 clauses out of 38015 with flag 1377001/1377001 1056.70/1055.23 c cleaning 18995 clauses out of 38011 with flag 1396000/1396000 1070.72/1069.25 c cleaning 19000 clauses out of 38016 with flag 1415000/1415000 1088.61/1087.17 c cleaning 18998 clauses out of 38017 with flag 1434001/1434001 1107.41/1105.96 c cleaning 19000 clauses out of 38018 with flag 1453000/1453000 1122.32/1120.86 c cleaning 18996 clauses out of 38018 with flag 1472000/1472000 1137.61/1136.11 c cleaning 19002 clauses out of 38022 with flag 1491000/1491000 1152.71/1151.21 c cleaning 18996 clauses out of 38024 with flag 1510004/1510004 1168.31/1166.86 c cleaning 19008 clauses out of 38025 with flag 1529001/1529001 1184.11/1182.60 c cleaning 18997 clauses out of 38016 with flag 1548000/1548000 1200.31/1198.84 c cleaning 18996 clauses out of 38019 with flag 1567000/1567000 1217.11/1215.65 c cleaning 19002 clauses out of 38023 with flag 1586000/1586000 1232.70/1231.28 c cleaning 18996 clauses out of 38021 with flag 1605000/1605000 1249.90/1248.46 c cleaning 18996 clauses out of 38025 with flag 1624000/1624000 1262.80/1261.34 c cleaning 19006 clauses out of 38029 with flag 1643000/1643000 1276.90/1275.49 c cleaning 19003 clauses out of 38024 with flag 1662001/1662001 1290.60/1289.12 c cleaning 19006 clauses out of 38021 with flag 1681001/1681001 1304.40/1302.95 c cleaning 19000 clauses out of 38015 with flag 1700001/1700001 1317.90/1316.45 c cleaning 19005 clauses out of 38015 with flag 1719001/1719001 1332.20/1330.79 c cleaning 18997 clauses out of 38010 with flag 1738001/1738001 1347.10/1345.64 c cleaning 18998 clauses out of 38014 with flag 1757002/1757002 1362.90/1361.41 c cleaning 18996 clauses out of 38014 with flag 1776000/1776000 1379.01/1377.55 c cleaning 19005 clauses out of 38019 with flag 1795001/1795001 1394.41/1392.90 c cleaning 18997 clauses out of 38013 with flag 1814000/1814000 1409.41/1408.00 c cleaning 19003 clauses out of 38016 with flag 1833000/1833000 1425.11/1423.67 c cleaning 18997 clauses out of 38013 with flag 1852000/1852000 1441.41/1439.94 c cleaning 19000 clauses out of 38017 with flag 1871001/1871001 1456.91/1455.40 c cleaning 18999 clauses out of 38017 with flag 1890001/1890001 1472.90/1471.47 c cleaning 18999 clauses out of 38019 with flag 1909002/1909002 1488.71/1487.23 c cleaning 19003 clauses out of 38019 with flag 1928001/1928001 1505.00/1503.58 c cleaning 18998 clauses out of 38018 with flag 1947003/1947003 1522.50/1521.05 c cleaning 18994 clauses out of 38020 with flag 1966003/1966003 1540.09/1538.61 c cleaning 18992 clauses out of 38023 with flag 1985000/1985000 1556.29/1554.83 c cleaning 19011 clauses out of 38033 with flag 2004002/2004002 1572.21/1570.77 c cleaning 18997 clauses out of 38020 with flag 2023000/2023000 1587.30/1585.83 c cleaning 19005 clauses out of 38023 with flag 2042000/2042000 1601.80/1600.36 c cleaning 19006 clauses out of 38019 with flag 2061001/2061001 1617.09/1615.66 c cleaning 19001 clauses out of 38014 with flag 2080002/2080002 1632.89/1631.42 c cleaning 18995 clauses out of 38011 with flag 2099000/2099000 1649.09/1647.67 c cleaning 19000 clauses out of 38016 with flag 2118000/2118000 1663.89/1662.48 c cleaning 19002 clauses out of 38017 with flag 2137001/2137001 1677.90/1676.46 c cleaning 18987 clauses out of 38014 with flag 2156000/2156000 1692.29/1690.81 c cleaning 19000 clauses out of 38027 with flag 2175000/2175000 1706.50/1705.06 c cleaning 19008 clauses out of 38027 with flag 2194000/2194000 1722.19/1720.71 c cleaning 19001 clauses out of 38019 with flag 2213000/2213000 1737.88/1736.46 c cleaning 19003 clauses out of 38019 with flag 2232001/2232001 1754.18/1752.70 c cleaning 18996 clauses out of 38015 with flag 2251000/2251000 1769.89/1768.47 c cleaning 19003 clauses out of 38023 with flag 2270004/2270004 1785.49/1784.06 c cleaning 19001 clauses out of 38016 with flag 2289000/2289000 1800.01/1798.52 c starts : 235 1800.01/1798.52 c conflicts : 2305807 1800.01/1798.52 c decisions : 9114291 1800.01/1798.52 c propagations : 3233306613 1800.01/1798.52 c inspects : 3415660880 1800.01/1798.52 c learnt literals : 0 1800.01/1798.52 c learnt binary clauses : 0 1800.01/1798.52 c learnt ternary clauses : 0 1800.01/1798.52 c learnt clauses : 2305807 1800.01/1798.52 c ignored clauses : 0 1800.01/1798.52 c root simplifications : 0 1800.01/1798.52 c removed literals (reason simplification) : 1821434 1800.01/1798.52 c reason swapping (by a shorter reason) : 0 1800.01/1798.52 c Calls to reduceDB : 126 1800.01/1798.52 c number of reductions to clauses (during analyze) : 0 1800.01/1798.52 c number of learned constraints concerned by reduction : 0 1800.01/1798.52 c number of learning phase by resolution : 0 1800.01/1798.52 c number of learning phase by cutting planes : 0 1800.01/1798.52 c speed (assignments/second) : 1803190.7955092373 1800.01/1798.52 c non guided choices 11387 1800.01/1798.58 c learnt constraints type 1800.01/1798.58 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 35878 1800.01/1798.58 c constraints type 1800.01/1798.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1800.01/1798.58 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.01/1798.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1800.01/1798.58 s SATISFIABLE 1800.01/1798.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 x6140 -x6141 -x6142 x6143 x6144 -x6145 -x6146 x6147 x6148 1800.20/1798.63 c objective function=26 1800.20/1798.63 c Total wall clock time (in seconds): 1798.417
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658695-1276634444/watcher-2658695-1276634444 -o /tmp/evaluation-result-2658695-1276634444/solver-2658695-1276634444 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658695-1276634444.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11219 /proc/meminfo: memFree=1725184/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=444 CPUtime=0 /proc/11219/stat : 11219 (java6) R 11217 11219 10926 0 -1 4194304 127 0 0 0 0 0 0 0 19 0 1 0 4737193 454656 47 1992294400 134512640 134550932 4293150336 18446744073709551615 10488489 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11219/statm: 111 48 38 10 0 25 0 [startup+0.070951 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11219 /proc/meminfo: memFree=1725184/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1521796 CPUtime=0.06 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 3679 0 1 0 4 2 0 0 15 0 7 0 4737193 1558319104 3121 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 380449 3121 1033 10 0 377759 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1521796 [startup+0.101954 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11219 /proc/meminfo: memFree=1725184/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1524024 CPUtime=0.08 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 3933 0 1 0 6 2 0 0 15 0 12 0 4737193 1560600576 3373 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 381006 3373 1073 10 0 378308 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524024 [startup+0.35483 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11219 /proc/meminfo: memFree=1725184/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1526664 CPUtime=0.45 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 5468 0 1 0 42 3 0 0 15 0 12 0 4737193 1563303936 4906 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 381666 4906 1369 10 0 378968 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 1526664 [startup+0.700286 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11219 /proc/meminfo: memFree=1725184/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529420 CPUtime=1.01 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 7927 0 1 0 96 5 0 0 15 0 12 0 4737193 1566126080 6876 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382355 6876 1401 10 0 379657 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1529420 [startup+1.50228 s] /proc/loadavg: 1.00 1.00 1.00 4/118 11231 /proc/meminfo: memFree=1690432/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=2.19 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 15631 0 1 0 210 9 0 0 15 0 13 0 4737193 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 14062 1419 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=1.12 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 12003 0 1 0 104 8 0 0 25 0 13 0 4737194 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 4737196 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 4737196 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 4737198 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 4737198 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=0.54 /proc/11219/task/11228/stat : 11228 (java) R 11217 11219 10926 0 -1 4202560 1352 0 0 0 54 0 0 0 15 0 13 0 4737203 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 105708624 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=0.51 /proc/11219/task/11229/stat : 11229 (java) R 11217 11219 10926 0 -1 4202560 1208 0 0 0 51 0 0 0 15 0 13 0 4737203 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 103345969 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 14062 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 1529744 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 1.00 3/119 11232 /proc/meminfo: memFree=1665872/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=4.34 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 19901 0 1 0 422 12 0 0 15 0 13 0 4737193 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 17952 1433 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=2.38 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 15772 0 1 0 229 9 0 0 25 0 13 0 4737194 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4109624170 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 4737196 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 4737196 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 4737198 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 4737198 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=0.96 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1806 0 0 0 95 1 0 0 15 0 13 0 4737203 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=0.96 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1255 0 0 0 96 0 0 0 15 0 13 0 4737203 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 17952 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 1529744 [startup+6.30124 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11232 /proc/meminfo: memFree=1653720/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=7.63 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 21986 0 1 0 751 12 0 0 15 0 13 0 4737193 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 19961 1433 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=5.52 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17845 0 1 0 542 10 0 0 25 0 13 0 4737194 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4109612308 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 4737196 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 4737196 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 4737198 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 4737198 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 4737198 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=1.02 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1811 0 0 0 101 1 0 0 16 0 13 0 4737203 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=1.06 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1262 0 0 0 106 0 0 0 15 0 13 0 4737203 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 19961 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.63 Current children cumulated vsize (KiB) 1529744 [startup+12.7002 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11232 /proc/meminfo: memFree=1641196/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=14.09 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 24143 0 1 0 1396 13 0 0 15 0 13 0 4737193 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 22108 1447 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=11.77 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17850 0 1 0 1167 10 0 0 25 0 13 0 4737194 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4109526671 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0.02 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 531 0 0 0 2 0 0 0 15 0 13 0 4737196 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0.01 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 521 0 0 0 1 0 0 0 18 0 13 0 4737196 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=0.06 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 1038 0 0 0 6 0 0 0 15 0 13 0 4737198 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=1.07 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1863 0 0 0 106 1 0 0 15 0 13 0 4737203 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=1.12 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1273 0 0 0 112 0 0 0 16 0 13 0 4737203 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 22108 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.09 Current children cumulated vsize (KiB) 1529744 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11234 /proc/meminfo: memFree=1640328/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=26.93 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 24379 0 1 0 2679 14 0 0 15 0 13 0 4737193 1566457856 22342 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 22342 1447 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=24.46 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17852 0 1 0 2436 10 0 0 25 0 13 0 4737194 1566457856 22342 1992294400 134512640 134550932 4289601120 18446744073709551615 4109565993 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0.03 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 603 0 0 0 3 0 0 0 15 0 13 0 4737196 1566457856 22342 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0.01 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 553 0 0 0 1 0 0 0 18 0 13 0 4737196 1566457856 22342 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=0.14 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 1163 0 0 0 14 0 0 0 15 0 13 0 4737198 1566457856 22342 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 ################ # More data... # ################ [pid=11219] ppid=11217 vsize=1529744 CPUtime=1663.79 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 28075 0 1 0 166348 31 0 0 15 0 13 0 4737193 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 25728 1447 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=1654.14 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17964 0 1 0 165393 21 0 0 25 0 13 0 4737194 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4159324354 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0.72 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 1014 0 0 0 70 2 0 0 16 0 13 0 4737196 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0.7 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 946 0 0 0 68 2 0 0 15 0 13 0 4737196 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=5.87 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 3844 0 0 0 585 2 0 0 15 0 13 0 4737198 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=1.08 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1864 0 0 0 107 1 0 0 15 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=1.22 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1280 0 0 0 122 0 0 0 15 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1663.79 Current children cumulated vsize (KiB) 1529744 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11287 /proc/meminfo: memFree=1624332/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=1723.79 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 28090 0 1 0 172348 31 0 0 15 0 13 0 4737193 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 25728 1447 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=1713.81 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17969 0 1 0 171360 21 0 0 20 0 13 0 4737194 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4109676410 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0.74 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 1014 0 0 0 72 2 0 0 15 0 13 0 4737196 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0.73 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 946 0 0 0 71 2 0 0 16 0 13 0 4737196 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=6.14 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 3850 0 0 0 612 2 0 0 15 0 13 0 4737198 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=1.08 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1864 0 0 0 107 1 0 0 15 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=1.22 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1280 0 0 0 122 0 0 0 15 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 25728 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1723.79 Current children cumulated vsize (KiB) 1529744 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/119 11289 /proc/meminfo: memFree=1624084/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=1783.79 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 28112 0 1 0 178347 32 0 0 15 0 13 0 4737193 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 25743 1447 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=1773.61 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17972 0 1 0 177340 21 0 0 25 0 13 0 4737194 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4109554186 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0.76 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 1014 0 0 0 74 2 0 0 15 0 13 0 4737196 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0.75 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 946 0 0 0 73 2 0 0 16 0 13 0 4737196 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=6.31 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 3867 0 0 0 629 2 0 0 15 0 13 0 4737198 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=1.08 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1864 0 0 0 107 1 0 0 15 0 13 0 4737203 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=1.22 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1280 0 0 0 122 0 0 0 15 0 13 0 4737203 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 25743 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1783.79 Current children cumulated vsize (KiB) 1529744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11289 /proc/meminfo: memFree=1624084/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1529744 CPUtime=1800.01 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 28136 0 1 0 179969 32 0 0 15 0 13 0 4737193 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382436 25764 1447 10 0 379738 0 [pid=11219/tid=11221] ppid=11217 vsize=1529744 CPUtime=1789.76 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17973 0 1 0 178955 21 0 0 25 0 13 0 4737194 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4109612287 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1529744 CPUtime=0.77 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 1014 0 0 0 75 2 0 0 16 0 13 0 4737196 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1529744 CPUtime=0.76 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 946 0 0 0 74 2 0 0 16 0 13 0 4737196 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1529744 CPUtime=6.36 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 3888 0 0 0 634 2 0 0 15 0 13 0 4737198 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 4737198 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 4737202 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1529744 CPUtime=1.08 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1864 0 0 0 107 1 0 0 15 0 13 0 4737203 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1529744 CPUtime=1.22 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1280 0 0 0 122 0 0 0 15 0 13 0 4737203 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 4737203 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 4737203 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1529744 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 4737339 1566457856 25764 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1529744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798.62 s] /proc/loadavg: 1.00 1.00 1.00 2/119 11289 /proc/meminfo: memFree=1624084/2059040 swapFree=4192956/4192956 [pid=11219] ppid=11217 vsize=1530392 CPUtime=1800.2 /proc/11219/stat : 11219 (java) S 11217 11219 10926 0 -1 4202496 28155 0 1 0 179988 32 0 0 15 0 15 0 4737193 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11219/statm: 382598 25781 1447 10 0 379900 0 [pid=11219/tid=11221] ppid=11217 vsize=1530392 CPUtime=1789.86 /proc/11219/task/11221/stat : 11221 (java) R 11217 11219 10926 0 -1 4202560 17973 0 1 0 178965 21 0 0 25 0 15 0 4737194 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4109557430 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11219/tid=11222] ppid=11217 vsize=1530392 CPUtime=0.77 /proc/11219/task/11222/stat : 11222 (java) S 11217 11219 10926 0 -1 4202560 1014 0 0 0 75 2 0 0 16 0 15 0 4737196 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11223] ppid=11217 vsize=1530392 CPUtime=0.76 /proc/11219/task/11223/stat : 11223 (java) S 11217 11219 10926 0 -1 4202560 946 0 0 0 74 2 0 0 16 0 15 0 4737196 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11224] ppid=11217 vsize=1530392 CPUtime=6.36 /proc/11219/task/11224/stat : 11224 (java) S 11217 11219 10926 0 -1 4202560 3888 0 0 0 634 2 0 0 15 0 15 0 4737198 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 0 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11225] ppid=11217 vsize=1530392 CPUtime=0 /proc/11219/task/11225/stat : 11225 (java) S 11217 11219 10926 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 15 0 4737198 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11226] ppid=11217 vsize=1530392 CPUtime=0 /proc/11219/task/11226/stat : 11226 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 4737198 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11227] ppid=11217 vsize=1530392 CPUtime=0 /proc/11219/task/11227/stat : 11227 (java) S 11217 11219 10926 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 4737202 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11228] ppid=11217 vsize=1530392 CPUtime=1.08 /proc/11219/task/11228/stat : 11228 (java) S 11217 11219 10926 0 -1 4202560 1864 0 0 0 107 1 0 0 15 0 15 0 4737203 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 [pid=11219/tid=11229] ppid=11217 vsize=1530392 CPUtime=1.27 /proc/11219/task/11229/stat : 11229 (java) S 11217 11219 10926 0 -1 4202560 1281 0 0 0 127 0 0 0 15 0 15 0 4737203 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11230] ppid=11217 vsize=1530392 CPUtime=0 /proc/11219/task/11230/stat : 11230 (java) S 11217 11219 10926 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 15 0 4737203 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11231] ppid=11217 vsize=1530392 CPUtime=0 /proc/11219/task/11231/stat : 11231 (java) S 11217 11219 10926 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 15 0 4737203 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 0 0 0 0 [pid=11219/tid=11232] ppid=11217 vsize=1530392 CPUtime=0 /proc/11219/task/11232/stat : 11232 (java) S 11217 11219 10926 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 4737339 1567121408 25781 1992294400 134512640 134550932 4289601120 18446744073709551615 4294960144 0 4 0 16800975 18446604437839488256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 1530392 Child status: 143 Real time (s): 1798.7 CPU time (s): 1800.3 CPU user time (s): 1799.97 CPU system time (s): 0.332949 CPU usage (%): 100.089 Max. virtual memory (cumulated for all children) (KiB): 1530768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.332949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28159 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38267 involuntary context switches= 14696 runsolver used 3.72443 second user time and 9.44256 second system time The end
Begin job on node037 at 2010-06-15 22:40:44 IDJOB=2658695 IDBENCH=24991 IDSOLVER=1164 FILE ID=node037/2658695-1276634444 PBS_JOBID= 11172372 Free space on /tmp= 62584 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658695-1276634444/watcher-2658695-1276634444 -o /tmp/evaluation-result-2658695-1276634444/solver-2658695-1276634444 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658695-1276634444.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=1786834607 node037.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1725704 kB Buffers: 52768 kB Cached: 144780 kB SwapCached: 0 kB Active: 122324 kB Inactive: 134828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1725704 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 756 kB Writeback: 0 kB AnonPages: 59536 kB Mapped: 15452 kB Slab: 54508 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180640 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62584 MiB End job on node037 at 2010-06-15 23:10:44