Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 29 | 1800.82 | 927.559 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
| MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
| 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 | 27 |
| Best CPU time to get the best result obtained on this benchmark | 2.41263 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 27 |
| Optimality of the best value was proved | YES |
| Number of variables | 5828 |
| Total number of constraints | 17411 |
| Number of constraints which are clauses | 17411 |
| 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 | 63 |
| Number of terms in the objective function | 2817 |
| 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 | 2817 |
| 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 | 2817 |
| 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.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.09 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3735564-1338695605.opb 0.09/0.12 c reading problem ... 0.80/0.47 c ... done. Wall clock time 0.354s. 0.80/0.47 c #vars 5828 0.80/0.47 c #constraints 17411 0.80/0.47 c constraints type 0.80/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020 0.80/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108 0.80/0.47 c constraints type 0.80/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 0.80/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 1.51/0.60 c And the winner is CuttingPlanes 1.72/0.99 c SATISFIABLE 1.72/0.99 c OPTIMIZING... 1.72/0.99 c Got one! Elapsed wall clock time (in seconds):0.869 1.72/0.99 o 39 2.17/1.12 c And the winner is Resolution 2.33/1.51 c Got one! Elapsed wall clock time (in seconds):1.395 2.33/1.51 o 36 2.33/1.56 c And the winner is Resolution 2.58/2.03 c Got one! Elapsed wall clock time (in seconds):1.913 2.58/2.03 o 35 2.58/2.09 c And the winner is Resolution 3.22/2.54 c Got one! Elapsed wall clock time (in seconds):2.425 3.22/2.54 o 32 4.37/3.05 c And the winner is Resolution 4.53/3.55 c Got one! Elapsed wall clock time (in seconds):3.436 4.53/3.55 o 29 7.32/4.99 c cleaning 2995 clauses out of 5991 with flag 4000/5991 11.65/7.04 c cleaning 4497 clauses out of 8997 with flag 10001/11992 16.24/9.32 c cleaning 5746 clauses out of 11500 with flag 17001/18992 21.06/11.72 c cleaning 6872 clauses out of 13754 with flag 25001/26992 26.27/14.38 c cleaning 7938 clauses out of 15885 with flag 34004/35995 32.41/17.47 c cleaning 8961 clauses out of 17943 with flag 44000/45991 39.41/20.92 c cleaning 9986 clauses out of 19982 with flag 55000/56991 46.33/24.50 c cleaning 10995 clauses out of 21997 with flag 67001/68992 54.65/28.62 c cleaning 11993 clauses out of 24001 with flag 80000/81991 64.00/33.33 c cleaning 12995 clauses out of 26008 with flag 94000/95991 73.76/38.24 c cleaning 13996 clauses out of 28013 with flag 109000/110991 83.28/43.06 c cleaning 15006 clauses out of 30019 with flag 125002/126993 93.35/48.16 c cleaning 16003 clauses out of 32015 with flag 142004/143995 104.45/53.74 c cleaning 16996 clauses out of 34011 with flag 160003/161994 115.14/59.15 c cleaning 17502 clauses out of 35013 with flag 178001/179992 127.03/65.12 c cleaning 17746 clauses out of 35510 with flag 196000/197991 138.43/70.92 c cleaning 17873 clauses out of 35764 with flag 214000/215991 150.12/76.90 c cleaning 17940 clauses out of 35892 with flag 232001/233992 162.40/83.03 c cleaning 17969 clauses out of 35953 with flag 250002/251993 173.85/88.88 c cleaning 17986 clauses out of 35982 with flag 268000/269991 184.82/94.48 c cleaning 17988 clauses out of 35996 with flag 286000/287991 195.88/100.08 c cleaning 17993 clauses out of 36008 with flag 304000/305991 206.51/105.47 c cleaning 18003 clauses out of 36016 with flag 322001/323992 217.76/111.13 c cleaning 17998 clauses out of 36013 with flag 340001/341992 228.28/116.59 c cleaning 17997 clauses out of 36014 with flag 358000/359991 239.24/122.08 c cleaning 18003 clauses out of 36017 with flag 376000/377991 250.26/127.65 c cleaning 17999 clauses out of 36014 with flag 394000/395991 261.09/133.18 c cleaning 18003 clauses out of 36016 with flag 412001/413992 272.37/138.99 c cleaning 18000 clauses out of 36012 with flag 430000/431991 284.61/145.15 c cleaning 17997 clauses out of 36012 with flag 448000/449991 295.62/150.78 c cleaning 18001 clauses out of 36017 with flag 466002/467993 307.46/156.71 c cleaning 18001 clauses out of 36014 with flag 484000/485991 318.75/162.52 c cleaning 17994 clauses out of 36013 with flag 502000/503991 331.96/169.21 c cleaning 18004 clauses out of 36019 with flag 520000/521991 343.59/175.14 c cleaning 18001 clauses out of 36015 with flag 538000/539991 354.78/180.82 c cleaning 18002 clauses out of 36015 with flag 556001/557992 365.66/186.40 c cleaning 18001 clauses out of 36014 with flag 574002/575993 376.88/192.18 c cleaning 18001 clauses out of 36013 with flag 592002/593993 388.53/198.06 c cleaning 18000 clauses out of 36012 with flag 610002/611993 400.92/204.33 c cleaning 17997 clauses out of 36010 with flag 628000/629991 412.22/210.14 c cleaning 18001 clauses out of 36013 with flag 646000/647991 423.82/216.05 c cleaning 18004 clauses out of 36014 with flag 664002/665993 436.04/222.21 c cleaning 17995 clauses out of 36008 with flag 682000/683991 449.61/229.13 c cleaning 17997 clauses out of 36015 with flag 700002/701993 462.89/235.91 c cleaning 18000 clauses out of 36016 with flag 718000/719991 474.09/241.69 c cleaning 18003 clauses out of 36016 with flag 736000/737991 485.67/247.51 c cleaning 17995 clauses out of 36013 with flag 754000/755991 496.65/253.18 c cleaning 18001 clauses out of 36019 with flag 772001/773992 507.89/258.96 c cleaning 17996 clauses out of 36017 with flag 790000/791991 520.87/265.51 c cleaning 18002 clauses out of 36021 with flag 808000/809991 532.65/271.53 c cleaning 18004 clauses out of 36019 with flag 826000/827991 545.03/277.89 c cleaning 17992 clauses out of 36015 with flag 844000/845991 557.88/284.48 c cleaning 18004 clauses out of 36023 with flag 862000/863991 570.26/290.74 c cleaning 17996 clauses out of 36019 with flag 880000/881991 581.62/296.52 c cleaning 18006 clauses out of 36023 with flag 898000/899991 592.60/302.15 c cleaning 18002 clauses out of 36018 with flag 916001/917992 604.59/308.36 c cleaning 17995 clauses out of 36015 with flag 934000/935991 615.94/314.13 c cleaning 18005 clauses out of 36020 with flag 952000/953991 627.09/319.89 c cleaning 17996 clauses out of 36015 with flag 970000/971991 638.82/325.90 c cleaning 18002 clauses out of 36020 with flag 988001/989992 651.41/332.32 c cleaning 17990 clauses out of 36017 with flag 1006000/1007991 663.99/338.78 c cleaning 18005 clauses out of 36027 with flag 1024000/1025991 676.35/345.01 c cleaning 18002 clauses out of 36022 with flag 1042000/1043991 688.32/351.19 c cleaning 17998 clauses out of 36020 with flag 1060000/1061991 701.52/357.95 c cleaning 18009 clauses out of 36022 with flag 1078000/1079991 713.27/363.94 c cleaning 18001 clauses out of 36014 with flag 1096001/1097992 724.99/369.97 c cleaning 17998 clauses out of 36012 with flag 1114000/1115991 736.72/375.97 c cleaning 18002 clauses out of 36015 with flag 1132001/1133992 749.45/382.58 c cleaning 17999 clauses out of 36013 with flag 1150001/1151992 761.37/388.65 c cleaning 17988 clauses out of 36013 with flag 1168000/1169991 772.50/394.34 c cleaning 18006 clauses out of 36025 with flag 1186000/1187991 783.81/400.15 c cleaning 18004 clauses out of 36019 with flag 1204000/1205991 794.55/405.73 c cleaning 17999 clauses out of 36015 with flag 1222000/1223991 805.04/411.10 c cleaning 17996 clauses out of 36017 with flag 1240001/1241992 815.73/416.67 c cleaning 18001 clauses out of 36021 with flag 1258001/1259992 826.41/422.15 c cleaning 17993 clauses out of 36019 with flag 1276000/1277991 837.53/427.93 c cleaning 17999 clauses out of 36026 with flag 1294000/1295991 847.79/433.30 c cleaning 17999 clauses out of 36028 with flag 1312001/1313992 858.89/438.94 c cleaning 18012 clauses out of 36029 with flag 1330001/1331992 869.76/444.53 c cleaning 18002 clauses out of 36017 with flag 1348001/1349992 884.25/452.10 c cleaning 18001 clauses out of 36017 with flag 1366003/1367994 896.75/458.46 c cleaning 18000 clauses out of 36013 with flag 1384000/1385991 911.47/465.90 c cleaning 17991 clauses out of 36013 with flag 1402000/1403991 924.58/472.61 c cleaning 17999 clauses out of 36022 with flag 1420000/1421991 936.85/479.03 c cleaning 17999 clauses out of 36023 with flag 1438000/1439991 948.72/485.17 c cleaning 18007 clauses out of 36024 with flag 1456000/1457991 963.97/492.95 c cleaning 17995 clauses out of 36018 with flag 1474001/1475992 978.66/500.50 c cleaning 17999 clauses out of 36022 with flag 1492000/1493991 993.33/508.00 c cleaning 18007 clauses out of 36025 with flag 1510002/1511993 1006.19/514.61 c cleaning 17999 clauses out of 36016 with flag 1528000/1529991 1017.47/520.48 c cleaning 17999 clauses out of 36017 with flag 1546000/1547991 1028.91/526.36 c cleaning 18003 clauses out of 36019 with flag 1564001/1565992 1040.93/532.69 c cleaning 17997 clauses out of 36015 with flag 1582000/1583991 1052.95/538.84 c cleaning 18005 clauses out of 36018 with flag 1600000/1601991 1066.19/545.62 c cleaning 17996 clauses out of 36014 with flag 1618001/1619992 1080.38/552.95 c cleaning 18003 clauses out of 36017 with flag 1636000/1637991 1093.86/559.91 c cleaning 18003 clauses out of 36015 with flag 1654001/1655992 1108.93/567.66 c cleaning 17999 clauses out of 36011 with flag 1672000/1673991 1123.15/574.97 c cleaning 18001 clauses out of 36013 with flag 1690001/1691992 1137.75/582.41 c cleaning 17999 clauses out of 36011 with flag 1708000/1709991 1152.26/590.02 c cleaning 18001 clauses out of 36013 with flag 1726001/1727992 1165.65/596.91 c cleaning 17997 clauses out of 36012 with flag 1744001/1745992 1180.42/604.55 c cleaning 17989 clauses out of 36016 with flag 1762002/1763993 1193.07/611.03 c cleaning 18008 clauses out of 36025 with flag 1780000/1781991 1205.05/617.31 c cleaning 18002 clauses out of 36017 with flag 1798000/1799991 1216.45/623.25 c cleaning 17998 clauses out of 36016 with flag 1816001/1817992 1227.84/629.14 c cleaning 17999 clauses out of 36017 with flag 1834000/1835991 1239.43/635.11 c cleaning 18002 clauses out of 36019 with flag 1852001/1853992 1251.57/641.51 c cleaning 18000 clauses out of 36017 with flag 1870001/1871992 1263.56/647.78 c cleaning 18002 clauses out of 36016 with flag 1888000/1889991 1274.77/653.56 c cleaning 18000 clauses out of 36014 with flag 1906000/1907991 1286.81/659.70 c cleaning 17999 clauses out of 36015 with flag 1924001/1925992 1298.98/666.16 c cleaning 17998 clauses out of 36015 with flag 1942000/1943991 1310.58/672.12 c cleaning 18001 clauses out of 36018 with flag 1960001/1961992 1321.99/678.04 c cleaning 17999 clauses out of 36016 with flag 1978000/1979991 1333.36/683.91 c cleaning 18005 clauses out of 36018 with flag 1996001/1997992 1344.69/689.99 c cleaning 18001 clauses out of 36013 with flag 2014001/2015992 1356.86/696.21 c cleaning 17994 clauses out of 36012 with flag 2032001/2033992 1367.62/701.87 c cleaning 18005 clauses out of 36018 with flag 2050001/2051992 1378.96/707.71 c cleaning 17995 clauses out of 36012 with flag 2068000/2069991 1390.47/713.88 c cleaning 18002 clauses out of 36017 with flag 2086000/2087991 1402.02/719.83 c cleaning 17996 clauses out of 36015 with flag 2104000/2105991 1413.57/725.86 c cleaning 18002 clauses out of 36021 with flag 2122002/2123993 1425.11/731.88 c cleaning 18004 clauses out of 36018 with flag 2140001/2141992 1437.00/738.12 c cleaning 17995 clauses out of 36018 with flag 2158005/2159996 1449.39/744.51 c cleaning 18003 clauses out of 36020 with flag 2176002/2177993 1460.74/750.41 c cleaning 18001 clauses out of 36018 with flag 2194003/2195994 1471.87/756.23 c cleaning 17994 clauses out of 36014 with flag 2212000/2213991 1483.48/762.47 c cleaning 18000 clauses out of 36020 with flag 2230000/2231991 1495.50/768.63 c cleaning 17997 clauses out of 36020 with flag 2248000/2249991 1507.42/774.86 c cleaning 18007 clauses out of 36024 with flag 2266001/2267992 1519.77/781.26 c cleaning 18001 clauses out of 36019 with flag 2284003/2285994 1536.22/789.88 c cleaning 17998 clauses out of 36016 with flag 2302001/2303992 1550.95/797.42 c cleaning 17994 clauses out of 36017 with flag 2320000/2321991 1565.71/805.06 c cleaning 18006 clauses out of 36023 with flag 2338000/2339991 1579.27/812.05 c cleaning 17998 clauses out of 36019 with flag 2356002/2357993 1594.96/820.25 c cleaning 17999 clauses out of 36019 with flag 2374000/2375991 1610.91/828.48 c cleaning 18004 clauses out of 36020 with flag 2392000/2393991 1624.25/835.39 c cleaning 18001 clauses out of 36016 with flag 2410000/2411991 1639.17/843.09 c cleaning 18001 clauses out of 36016 with flag 2428001/2429992 1652.60/850.16 c cleaning 18002 clauses out of 36015 with flag 2446001/2447992 1665.32/856.70 c cleaning 17999 clauses out of 36014 with flag 2464002/2465993 1677.68/863.17 c cleaning 17996 clauses out of 36013 with flag 2482000/2483991 1689.78/869.43 c cleaning 17993 clauses out of 36017 with flag 2500000/2501991 1701.20/875.60 c cleaning 18003 clauses out of 36024 with flag 2518000/2519991 1713.33/881.81 c cleaning 18001 clauses out of 36021 with flag 2536000/2537991 1725.03/887.93 c cleaning 18001 clauses out of 36023 with flag 2554003/2555994 1736.53/893.92 c cleaning 18003 clauses out of 36021 with flag 2572002/2573993 1748.53/900.38 c cleaning 18001 clauses out of 36016 with flag 2590000/2591991 1760.04/906.33 c cleaning 18000 clauses out of 36015 with flag 2608000/2609991 1771.89/912.57 c cleaning 17999 clauses out of 36015 with flag 2626000/2627991 1783.58/918.64 c cleaning 17999 clauses out of 36017 with flag 2644001/2645992 1797.14/925.82 c cleaning 18001 clauses out of 36018 with flag 2662001/2663992 1800.08/927.51 c starts : 236 1800.08/927.51 c conflicts : 2667127 1800.08/927.51 c decisions : 9011108 1800.08/927.51 c propagations : 3592480934 1800.08/927.51 c inspects : 4043083750 1800.08/927.51 c shortcuts : 0 1800.08/927.51 c learnt literals : 0 1800.08/927.51 c learnt binary clauses : 0 1800.08/927.51 c learnt ternary clauses : 1 1800.08/927.51 c learnt constraints : 2667127 1800.08/927.51 c ignored constraints : 0 1800.08/927.51 c root simplifications : 0 1800.08/927.51 c removed literals (reason simplification) : 3297920 1800.08/927.51 c reason swapping (by a shorter reason) : 0 1800.08/927.51 c Calls to reduceDB : 153 1800.08/927.51 c number of reductions to clauses (during analyze) : 0 1800.08/927.51 c number of learned constraints concerned by reduction : 0 1800.08/927.51 c number of learning phase by resolution : 0 1800.08/927.51 c number of learning phase by cutting planes : 0 1800.08/927.51 c speed (assignments/second) : 3888155.7510917736 1800.08/927.51 c non guided choices 14212 1800.08/927.52 c learnt constraints type 1800.08/927.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 21199 1800.08/927.52 c constraints type 1800.08/927.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020 1800.08/927.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/927.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108 1800.08/927.52 c constraints type 1800.08/927.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 1800.08/927.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 1800.08/927.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.08/927.52 s SATISFIABLE 1800.08/927.53 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 1800.08/927.54 c objective function=29 1800.08/927.54 c Total wall clock time (in seconds): 927.423
OK 29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735564-1338695605/watcher-3735564-1338695605 -o /tmp/evaluation-result-3735564-1338695605/solver-3735564-1338695605 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735564-1338695605.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.03 3.99 3.82 4/197 28288 /proc/meminfo: memFree=23582072/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=268 CPUtime=0 cores=0,2,4,6 /proc/28288/stat : 28288 (java) R 28286 28288 23082 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 335685406 274432 17 33554432000 1073741824 1073778376 140733320508816 140735469015832 223642396926 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 68 28 20 9 0 25 0 [startup+0.063683 s] /proc/loadavg: 4.03 3.99 3.82 4/197 28288 /proc/meminfo: memFree=23582072/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11253516 CPUtime=0.04 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 4309 0 1 0 3 1 0 0 20 0 13 0 335685406 11523600384 12160 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2813379 12160 1709 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.100197 s] /proc/loadavg: 4.03 3.99 3.82 4/197 28288 /proc/meminfo: memFree=23582072/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11586392 CPUtime=0.09 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 5225 0 1 0 7 2 0 0 20 0 18 0 335685406 11864465408 13574 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2896598 13574 2106 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300165 s] /proc/loadavg: 4.03 3.99 3.82 4/197 28288 /proc/meminfo: memFree=23582072/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11586392 CPUtime=0.5 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 6783 0 1 0 47 3 0 0 20 0 18 0 335685406 11864465408 17053 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2896598 17053 2224 9 0 2887285 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 11586392 [startup+0.700273 s] /proc/loadavg: 4.03 3.99 3.82 4/197 28288 /proc/meminfo: memFree=23582072/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=1.72 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 17596 0 1 0 165 7 0 0 20 0 19 0 335685406 12137111552 32401 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 32401 2259 9 0 2953849 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 11852648 [startup+1.50066 s] /proc/loadavg: 4.03 3.99 3.82 6/216 28310 /proc/meminfo: memFree=23456444/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=2.33 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 18161 0 1 0 224 9 0 0 20 0 19 0 335685406 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 33498 2265 9 0 2953849 0 [pid=28288/tid=28290] ppid=28286 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/28288/task/28290/stat : 28290 (java) S 28286 28288 23082 0 -1 4202560 3443 0 1 0 44 2 0 0 20 0 19 0 335685407 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724558509208 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28291] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28291/stat : 28291 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724547570728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28292] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28292/stat : 28292 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724546517928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28293] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28293/stat : 28293 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724545465128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28294] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28294/stat : 28294 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724544412328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28295] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28295/stat : 28295 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724543359528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28296] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28296/stat : 28296 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724542306728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28297] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28297/stat : 28297 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724541253928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28298] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28298/stat : 28298 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724540201128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28299] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28299/stat : 28299 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335685410 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724375116776 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28300] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28300/stat : 28300 (java) S 28286 28288 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335685410 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724374062840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28301] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28301/stat : 28301 (java) S 28286 28288 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335685410 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724373009928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28302] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28302/stat : 28302 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685413 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724371958416 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28303] ppid=28286 vsize=11852648 CPUtime=0.62 cores=0,2,4,6 /proc/28288/task/28303/stat : 28303 (java) S 28286 28288 23082 0 -1 4202560 6144 0 0 0 61 1 0 0 20 0 19 0 335685413 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724370905528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28304] ppid=28286 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/28288/task/28304/stat : 28304 (java) S 28286 28288 23082 0 -1 4202560 7255 0 0 0 63 2 0 0 20 0 19 0 335685413 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724369852728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28305] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28305/stat : 28305 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685413 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724368800120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28306] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28306/stat : 28306 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685413 12137111552 33498 33554432000 1073741824 1073778376 140733320508816 140724367747528 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 11852648 [startup+3.10074 s] /proc/loadavg: 4.03 3.99 3.82 5/217 28319 /proc/meminfo: memFree=23441348/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=4.53 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 22953 0 1 0 437 16 0 0 20 0 19 0 335685406 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 43049 2266 9 0 2953849 0 [pid=28288/tid=28290] ppid=28286 vsize=11852648 CPUtime=0.51 cores=0,2,4,6 /proc/28288/task/28290/stat : 28290 (java) S 28286 28288 23082 0 -1 4202560 3446 0 1 0 48 3 0 0 20 0 19 0 335685407 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724558509208 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28291] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28291/stat : 28291 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724547570728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28292] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28292/stat : 28292 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724546517928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28293] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28293/stat : 28293 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724545465128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28294] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28294/stat : 28294 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724544412328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28295] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28295/stat : 28295 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724543359528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28296] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28296/stat : 28296 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724542306728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28297] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28297/stat : 28297 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724541253928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28298] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28298/stat : 28298 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335685409 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724540201128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28299] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28299/stat : 28299 (java) S 28286 28288 23082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335685410 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724375116776 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28300] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28300/stat : 28300 (java) S 28286 28288 23082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335685410 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724374062840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28301] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28301/stat : 28301 (java) S 28286 28288 23082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335685410 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724373009928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28302] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28302/stat : 28302 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685413 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724371958416 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28303] ppid=28286 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/28288/task/28303/stat : 28303 (java) S 28286 28288 23082 0 -1 4202560 6170 0 0 0 86 1 0 0 20 0 19 0 335685413 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724370905528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28304] ppid=28286 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/28288/task/28304/stat : 28304 (java) S 28286 28288 23082 0 -1 4202560 11978 0 0 0 117 2 0 0 20 0 19 0 335685413 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724369852728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28305] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28305/stat : 28305 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685413 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724368800120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28306] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28306/stat : 28306 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335685413 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724367747528 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28313] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28313/stat : 28313 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335685507 12137111552 43049 33554432000 1073741824 1073778376 140733320508816 140724363535272 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.53 Current children cumulated vsize (KiB) 11852648 [startup+6.30084 s] /proc/loadavg: 3.95 3.97 3.82 5/219 28325 /proc/meminfo: memFree=23020880/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=10.14 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 23449 0 1 0 984 30 0 0 20 0 22 0 335685406 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 247329 2291 9 0 2953849 0 [pid=28288/tid=28290] ppid=28286 vsize=11852648 CPUtime=0.52 cores=0,2,4,6 /proc/28288/task/28290/stat : 28290 (java) S 28286 28288 23082 0 -1 4202560 3446 0 1 0 49 3 0 0 20 0 22 0 335685407 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724558509208 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28291] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28291/stat : 28291 (java) S 28286 28288 23082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724547570728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28292] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28292/stat : 28292 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724546517928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28293] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28293/stat : 28293 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724545465128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28294] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28294/stat : 28294 (java) S 28286 28288 23082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724544412328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28295] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28295/stat : 28295 (java) S 28286 28288 23082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724543359528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28296] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28296/stat : 28296 (java) S 28286 28288 23082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724542306728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28297] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28297/stat : 28297 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724541253928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28298] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28298/stat : 28298 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685409 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724540201128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28299] ppid=28286 vsize=11852648 CPUtime=0.03 cores=0,2,4,6 /proc/28288/task/28299/stat : 28299 (java) S 28286 28288 23082 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 335685410 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724375116776 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28300] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28300/stat : 28300 (java) S 28286 28288 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724374062840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28301] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28301/stat : 28301 (java) S 28286 28288 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724373009928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28302] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28302/stat : 28302 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724371958416 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28303] ppid=28286 vsize=11852648 CPUtime=0.98 cores=0,2,4,6 /proc/28288/task/28303/stat : 28303 (java) S 28286 28288 23082 0 -1 4202560 6191 0 0 0 97 1 0 0 20 0 22 0 335685413 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724370905528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28304] ppid=28286 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/28288/task/28304/stat : 28304 (java) S 28286 28288 23082 0 -1 4202560 11980 0 0 0 120 2 0 0 20 0 22 0 335685413 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724369852728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28305] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28305/stat : 28305 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724368800120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28306] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28306/stat : 28306 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724367747528 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28313] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28313/stat : 28313 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685507 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724363535272 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28323] ppid=28286 vsize=11852648 CPUtime=2.66 cores=0,2,4,6 /proc/28288/task/28323/stat : 28323 (java) R 28286 28288 23082 0 -1 4202560 7 0 0 0 266 0 0 0 20 0 22 0 335685762 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724366693304 140724419922614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28324] ppid=28286 vsize=11852648 CPUtime=2.66 cores=0,2,4,6 /proc/28288/task/28324/stat : 28324 (java) R 28286 28288 23082 0 -1 4202560 392 0 0 0 253 13 0 0 20 0 22 0 335685762 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724364585456 140724420310098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28325] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28325/stat : 28325 (java) S 28286 28288 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335685762 12137111552 247329 33554432000 1073741824 1073778376 140733320508816 140724365641128 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=28288/tid=28323] ppid=28286 vsize=11852648 CPUtime=767.45 cores=0,2,4,6 /proc/28288/task/28323/stat : 28323 (java) R 28286 28288 23082 0 -1 4202560 99 0 0 0 76731 14 0 0 20 0 22 0 335685762 12137111552 963565 33554432000 1073741824 1073778376 140733320508816 140724366693328 140724419922825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28324] ppid=28286 vsize=11852648 CPUtime=767.38 cores=0,2,4,6 /proc/28288/task/28324/stat : 28324 (java) R 28286 28288 23082 0 -1 4202560 1644 0 0 0 76669 69 0 0 20 0 22 0 335685762 12137111552 963565 33554432000 1073741824 1073778376 140733320508816 140724364585632 140724420309836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28325] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28325/stat : 28325 (java) S 28286 28288 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335685762 12137111552 963565 33554432000 1073741824 1073778376 140733320508816 140724365641128 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1598.68 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 4.00 3.94 3.88 4/219 28431 /proc/meminfo: memFree=20131380/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=1713.9 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 25922 0 1 0 171256 134 0 0 20 0 22 0 335685406 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 966143 2293 9 0 2953849 0 [pid=28288/tid=28290] ppid=28286 vsize=11852648 CPUtime=0.56 cores=0,2,4,6 /proc/28288/task/28290/stat : 28290 (java) S 28286 28288 23082 0 -1 4202560 3527 0 1 0 51 5 0 0 20 0 22 0 335685407 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724558508920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28291] ppid=28286 vsize=11852648 CPUtime=1.51 cores=0,2,4,6 /proc/28288/task/28291/stat : 28291 (java) S 28286 28288 23082 0 -1 4202560 112 0 0 0 146 5 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724547570728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28292] ppid=28286 vsize=11852648 CPUtime=1.42 cores=0,2,4,6 /proc/28288/task/28292/stat : 28292 (java) S 28286 28288 23082 0 -1 4202560 79 0 0 0 139 3 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724546517928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28293] ppid=28286 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/28288/task/28293/stat : 28293 (java) S 28286 28288 23082 0 -1 4202560 102 0 0 0 140 5 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724545465128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28294] ppid=28286 vsize=11852648 CPUtime=1.52 cores=0,2,4,6 /proc/28288/task/28294/stat : 28294 (java) S 28286 28288 23082 0 -1 4202560 101 0 0 0 148 4 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724544412328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28295] ppid=28286 vsize=11852648 CPUtime=1.37 cores=0,2,4,6 /proc/28288/task/28295/stat : 28295 (java) S 28286 28288 23082 0 -1 4202560 114 0 0 0 133 4 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724543359528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28296] ppid=28286 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/28288/task/28296/stat : 28296 (java) S 28286 28288 23082 0 -1 4202560 110 0 0 0 140 4 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724542306728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28297] ppid=28286 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/28288/task/28297/stat : 28297 (java) S 28286 28288 23082 0 -1 4202560 104 0 0 0 145 4 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724541253928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28298] ppid=28286 vsize=11852648 CPUtime=1.47 cores=0,2,4,6 /proc/28288/task/28298/stat : 28298 (java) S 28286 28288 23082 0 -1 4202560 119 0 0 0 143 4 0 0 20 0 22 0 335685409 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724540201128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28299] ppid=28286 vsize=11852648 CPUtime=53.38 cores=0,2,4,6 /proc/28288/task/28299/stat : 28299 (java) R 28286 28288 23082 0 -1 4202560 215 0 0 0 5326 12 0 0 20 0 22 0 335685410 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724375115632 140724565016648 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28300] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28300/stat : 28300 (java) S 28286 28288 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724374062840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28301] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28301/stat : 28301 (java) S 28286 28288 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724373009928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28302] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28302/stat : 28302 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724371958416 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28303] ppid=28286 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/28288/task/28303/stat : 28303 (java) S 28286 28288 23082 0 -1 4202560 6193 0 0 0 116 1 0 0 20 0 22 0 335685413 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724370905528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28304] ppid=28286 vsize=11852648 CPUtime=1.62 cores=0,2,4,6 /proc/28288/task/28304/stat : 28304 (java) S 28286 28288 23082 0 -1 4202560 11993 0 0 0 160 2 0 0 20 0 22 0 335685413 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724369852728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28305] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28305/stat : 28305 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724368800120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28306] ppid=28286 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/28288/task/28306/stat : 28306 (java) S 28286 28288 23082 0 -1 4202560 51 0 0 0 10 17 0 0 20 0 22 0 335685413 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724367747528 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28313] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28313/stat : 28313 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685507 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724363535272 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28323] ppid=28286 vsize=11852648 CPUtime=821.82 cores=0,2,4,6 /proc/28288/task/28323/stat : 28323 (java) S 28286 28288 23082 0 -1 4202560 108 0 0 0 82167 15 0 0 20 0 22 0 335685762 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724366693448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28324] ppid=28286 vsize=11852648 CPUtime=821.75 cores=0,2,4,6 /proc/28288/task/28324/stat : 28324 (java) S 28286 28288 23082 0 -1 4202560 1646 0 0 0 82105 70 0 0 20 0 22 0 335685762 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724364585752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28325] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28325/stat : 28325 (java) S 28286 28288 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335685762 12137111552 966143 33554432000 1073741824 1073778376 140733320508816 140724365641128 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1713.9 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+927.501 s] /proc/loadavg: 3.96 3.94 3.88 5/219 28431 /proc/meminfo: memFree=20104632/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 25965 0 1 0 179872 136 0 0 20 0 22 0 335685406 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 969235 2293 9 0 2953849 0 [pid=28288/tid=28290] ppid=28286 vsize=11852648 CPUtime=0.56 cores=0,2,4,6 /proc/28288/task/28290/stat : 28290 (java) S 28286 28288 23082 0 -1 4202560 3533 0 1 0 51 5 0 0 20 0 22 0 335685407 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724558509208 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28291] ppid=28286 vsize=11852648 CPUtime=1.59 cores=0,2,4,6 /proc/28288/task/28291/stat : 28291 (java) S 28286 28288 23082 0 -1 4202560 134 0 0 0 154 5 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724547570728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28292] ppid=28286 vsize=11852648 CPUtime=1.48 cores=0,2,4,6 /proc/28288/task/28292/stat : 28292 (java) S 28286 28288 23082 0 -1 4202560 79 0 0 0 145 3 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724546517928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28293] ppid=28286 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/28288/task/28293/stat : 28293 (java) S 28286 28288 23082 0 -1 4202560 103 0 0 0 149 5 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724545465128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28294] ppid=28286 vsize=11852648 CPUtime=1.6 cores=0,2,4,6 /proc/28288/task/28294/stat : 28294 (java) S 28286 28288 23082 0 -1 4202560 103 0 0 0 156 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724544412328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28295] ppid=28286 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/28288/task/28295/stat : 28295 (java) S 28286 28288 23082 0 -1 4202560 115 0 0 0 140 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724543359528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28296] ppid=28286 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/28288/task/28296/stat : 28296 (java) S 28286 28288 23082 0 -1 4202560 110 0 0 0 146 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724542306728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28297] ppid=28286 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/28288/task/28297/stat : 28297 (java) S 28286 28288 23082 0 -1 4202560 105 0 0 0 151 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724541253928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28298] ppid=28286 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/28288/task/28298/stat : 28298 (java) S 28286 28288 23082 0 -1 4202560 119 0 0 0 151 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724540201128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28299] ppid=28286 vsize=11852648 CPUtime=57.85 cores=0,2,4,6 /proc/28288/task/28299/stat : 28299 (java) S 28286 28288 23082 0 -1 4202560 221 0 0 0 5772 13 0 0 20 0 22 0 335685410 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724375116776 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28300] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28300/stat : 28300 (java) S 28286 28288 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724374062840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28301] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28301/stat : 28301 (java) S 28286 28288 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724373009928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28302] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28302/stat : 28302 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724371958416 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28303] ppid=28286 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/28288/task/28303/stat : 28303 (java) S 28286 28288 23082 0 -1 4202560 6193 0 0 0 116 1 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724370905528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28304] ppid=28286 vsize=11852648 CPUtime=1.62 cores=0,2,4,6 /proc/28288/task/28304/stat : 28304 (java) S 28286 28288 23082 0 -1 4202560 11993 0 0 0 160 2 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724369852728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28305] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28305/stat : 28305 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724368800120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28306] ppid=28286 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/28288/task/28306/stat : 28306 (java) S 28286 28288 23082 0 -1 4202560 53 0 0 0 11 18 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724367747528 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28313] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28313/stat : 28313 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685507 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724363535272 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28323] ppid=28286 vsize=11852648 CPUtime=862.41 cores=0,2,4,6 /proc/28288/task/28323/stat : 28323 (java) R 28286 28288 23082 0 -1 4202560 109 0 0 0 86225 16 0 0 20 0 22 0 335685762 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724366693328 140724419893312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28324] ppid=28286 vsize=11852648 CPUtime=862.32 cores=0,2,4,6 /proc/28288/task/28324/stat : 28324 (java) R 28286 28288 23082 0 -1 4202560 1647 0 0 0 86161 71 0 0 20 0 22 0 335685762 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724364585632 140724420309963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28325] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28325/stat : 28325 (java) S 28286 28288 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335685762 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724365641128 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+927.501 s] /proc/loadavg: 3.96 3.94 3.88 5/219 28431 /proc/meminfo: memFree=20104632/32873844 swapFree=7628/7628 [pid=28288] ppid=28286 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6 /proc/28288/stat : 28288 (java) S 28286 28288 23082 0 -1 4202496 25965 0 1 0 179872 136 0 0 20 0 22 0 335685406 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140733320499952 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28288/statm: 2963162 969235 2293 9 0 2953849 0 [pid=28288/tid=28290] ppid=28286 vsize=11852648 CPUtime=0.56 cores=0,2,4,6 /proc/28288/task/28290/stat : 28290 (java) S 28286 28288 23082 0 -1 4202560 3533 0 1 0 51 5 0 0 20 0 22 0 335685407 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724558509208 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28291] ppid=28286 vsize=11852648 CPUtime=1.59 cores=0,2,4,6 /proc/28288/task/28291/stat : 28291 (java) S 28286 28288 23082 0 -1 4202560 134 0 0 0 154 5 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724547570728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28292] ppid=28286 vsize=11852648 CPUtime=1.48 cores=0,2,4,6 /proc/28288/task/28292/stat : 28292 (java) S 28286 28288 23082 0 -1 4202560 79 0 0 0 145 3 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724546517928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28293] ppid=28286 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/28288/task/28293/stat : 28293 (java) S 28286 28288 23082 0 -1 4202560 103 0 0 0 149 5 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724545465128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28294] ppid=28286 vsize=11852648 CPUtime=1.6 cores=0,2,4,6 /proc/28288/task/28294/stat : 28294 (java) S 28286 28288 23082 0 -1 4202560 103 0 0 0 156 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724544412328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28295] ppid=28286 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/28288/task/28295/stat : 28295 (java) S 28286 28288 23082 0 -1 4202560 115 0 0 0 140 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724543359528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28296] ppid=28286 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/28288/task/28296/stat : 28296 (java) S 28286 28288 23082 0 -1 4202560 110 0 0 0 146 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724542306728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28297] ppid=28286 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/28288/task/28297/stat : 28297 (java) S 28286 28288 23082 0 -1 4202560 105 0 0 0 151 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724541253928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28298] ppid=28286 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/28288/task/28298/stat : 28298 (java) S 28286 28288 23082 0 -1 4202560 119 0 0 0 151 4 0 0 20 0 22 0 335685409 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724540201128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28299] ppid=28286 vsize=11852648 CPUtime=57.85 cores=0,2,4,6 /proc/28288/task/28299/stat : 28299 (java) S 28286 28288 23082 0 -1 4202560 221 0 0 0 5772 13 0 0 20 0 22 0 335685410 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724375116776 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28300] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28300/stat : 28300 (java) S 28286 28288 23082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724374062840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28301] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28301/stat : 28301 (java) S 28286 28288 23082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335685410 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724373009928 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28302] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28302/stat : 28302 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724371958416 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28303] ppid=28286 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/28288/task/28303/stat : 28303 (java) S 28286 28288 23082 0 -1 4202560 6193 0 0 0 116 1 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724370905528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28304] ppid=28286 vsize=11852648 CPUtime=1.62 cores=0,2,4,6 /proc/28288/task/28304/stat : 28304 (java) S 28286 28288 23082 0 -1 4202560 11993 0 0 0 160 2 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724369852728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28288/tid=28305] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28305/stat : 28305 (java) S 28286 28288 23082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724368800120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28288/tid=28306] ppid=28286 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/28288/task/28306/stat : 28306 (java) S 28286 28288 23082 0 -1 4202560 53 0 0 0 11 18 0 0 20 0 22 0 335685413 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724367747528 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28313] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28313/stat : 28313 (java) S 28286 28288 23082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335685507 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724363535272 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28323] ppid=28286 vsize=11852648 CPUtime=862.41 cores=0,2,4,6 /proc/28288/task/28323/stat : 28323 (java) R 28286 28288 23082 0 -1 4202560 109 0 0 0 86225 16 0 0 20 0 22 0 335685762 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724366693328 140724419893312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28288/tid=28324] ppid=28286 vsize=11852648 CPUtime=862.32 cores=0,2,4,6 /proc/28288/task/28324/stat : 28324 (java) R 28286 28288 23082 0 -1 4202560 1647 0 0 0 86161 71 0 0 20 0 22 0 335685762 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724364585632 140724420309963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28288/tid=28325] ppid=28286 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/28288/task/28325/stat : 28325 (java) S 28286 28288 23082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335685762 12137111552 969235 33554432000 1073741824 1073778376 140733320508816 140724365641128 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 927.559 CPU time (s): 1800.82 CPU user time (s): 1798.96 CPU system time (s): 1.86372 CPU usage (%): 194.146 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.96 system time used= 1.86372 maximum resident set size= 3877060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25997 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28861 involuntary context switches= 36636 runsolver used 3.37049 second user time and 8.20675 second system time The end
Begin job on node144 at 2012-06-03 05:53:25 IDJOB=3735564 IDBENCH=24974 IDSOLVER=2328 FILE ID=node144/3735564-1338695605 RUNJOBID= node144-1338678623-23101 PBS_JOBID= 14636669 Free space on /tmp= 70836 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735564-1338695605/watcher-3735564-1338695605 -o /tmp/evaluation-result-3735564-1338695605/solver-3735564-1338695605 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735564-1338695605.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=178994071 node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.39 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 23581700 kB Buffers: 630124 kB Cached: 3643744 kB SwapCached: 464 kB Active: 6521008 kB Inactive: 1881584 kB Active(anon): 4111448 kB Inactive(anon): 11192 kB Active(file): 2409560 kB Inactive(file): 1870392 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108384 kB Dirty: 836 kB Writeback: 0 kB AnonPages: 4143812 kB Mapped: 22480 kB Shmem: 172 kB Slab: 725496 kB SReclaimable: 167628 kB SUnreclaim: 557868 kB KernelStack: 1632 kB PageTables: 12308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10459128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4085760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70832 MiB End job on node144 at 2012-06-03 06:08:55