Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1801.47 | 1001.03 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
| MD5SUM | f4c34ee83da7e36be7881d34beece196 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1396365 |
| Best CPU time to get the best result obtained on this benchmark | 680.72 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 57066625 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 2537601947 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 57066625 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 2537601947 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.2.v20120418 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 501472288 0.01/0.09 c Max memory 7480803328 0.01/0.09 c Total memory 504102912 0.01/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3690040-1337887375.opb 0.09/0.11 c reading problem ... 1.35/0.65 c ... done. Wall clock time 0.537s. 1.35/0.65 c declared #vars 9765 1.35/0.65 c #constraints 21927 1.35/0.65 c constraints type 1.35/0.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.35/0.65 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.35/0.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.35/0.65 c ignored satisfied constraints => 4 1.35/0.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.35/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.35/0.65 c 21931 constraints processed. 1.35/0.65 c constraints type 1.35/0.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.35/0.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.35/0.65 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.35/0.65 c ignored satisfied constraints => 4 1.35/0.65 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.35/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.35/0.65 c 21931 constraints processed. 1.35/0.65 c objective function length is 4005 literals 2.45/0.94 c And the winner is solver0 2.87/1.16 c SATISFIABLE 2.87/1.16 c OPTIMIZING... 2.87/1.16 c Got one! Elapsed wall clock time (in seconds):1.046 2.87/1.16 o 3133059 3.01/1.29 c And the winner is solver0 3.64/1.68 c Got one! Elapsed wall clock time (in seconds):1.564 3.64/1.68 o 1865162 3.69/1.75 c And the winner is solver0 3.89/2.19 c Got one! Elapsed wall clock time (in seconds):2.076 3.89/2.19 o 1832467 4.89/2.62 c And the winner is solver1 4.98/2.70 c Got one! Elapsed wall clock time (in seconds):2.587 4.98/2.70 o 1775746 7.28/3.89 c cleaning 2811 clauses out of 5622 with flag 4000/5623 11.00/5.61 c cleaning 4405 clauses out of 8809 with flag 10002/11625 14.57/7.44 c cleaning 5698 clauses out of 11402 with flag 17000/18623 18.31/9.34 c cleaning 6853 clauses out of 13707 with flag 25003/26626 23.27/11.88 c cleaning 7922 clauses out of 15857 with flag 34006/35629 28.41/14.43 c cleaning 8964 clauses out of 17933 with flag 44004/45627 34.31/17.43 c cleaning 9975 clauses out of 19965 with flag 55000/56623 41.23/20.93 c cleaning 10993 clauses out of 21990 with flag 67001/68624 48.87/24.80 c cleaning 11989 clauses out of 23996 with flag 80000/81623 56.18/28.57 c cleaning 12995 clauses out of 26007 with flag 94000/95623 64.45/32.71 c cleaning 13995 clauses out of 28012 with flag 109000/110623 72.73/36.96 c cleaning 15009 clauses out of 30019 with flag 125002/126625 82.18/41.79 c cleaning 15996 clauses out of 32009 with flag 142001/143624 91.44/46.44 c cleaning 17008 clauses out of 34016 with flag 160004/161627 100.28/50.96 c And the winner is solver0 100.55/51.14 c Got one! Elapsed wall clock time (in seconds):51.028 100.55/51.14 o 1774097 103.03/52.34 c cleaning 19918 clauses out of 39840 with flag 5000/184460 106.25/54.09 c cleaning 12956 clauses out of 25922 with flag 11000/190460 109.97/56.01 c cleaning 9976 clauses out of 19967 with flag 18001/197461 114.17/58.23 c cleaning 8985 clauses out of 17991 with flag 26001/205461 119.17/60.84 c cleaning 8987 clauses out of 18006 with flag 35001/214461 124.18/63.46 c cleaning 9493 clauses out of 19018 with flag 45000/224460 129.46/66.29 c cleaning 10263 clauses out of 20525 with flag 56000/235460 135.46/69.32 c cleaning 11115 clauses out of 22264 with flag 68002/247462 142.23/72.89 c cleaning 12067 clauses out of 24147 with flag 81000/260460 149.21/76.48 c cleaning 13036 clauses out of 26082 with flag 95002/274462 157.45/80.70 c cleaning 14015 clauses out of 28045 with flag 110001/289461 162.00/83.13 c And the winner is solver0 162.26/83.49 c Got one! Elapsed wall clock time (in seconds):83.381 162.26/83.49 o 1728156 164.48/84.62 c cleaning 13729 clauses out of 27488 with flag 5001/302919 167.80/86.47 c cleaning 9866 clauses out of 19758 with flag 11000/308918 171.93/88.67 c cleaning 8435 clauses out of 16894 with flag 18002/315920 176.49/91.12 c cleaning 8216 clauses out of 16457 with flag 26000/323918 181.23/93.65 c cleaning 8609 clauses out of 17243 with flag 35002/332920 186.57/96.44 c cleaning 9297 clauses out of 18632 with flag 45000/342918 192.28/99.48 c cleaning 10153 clauses out of 20335 with flag 56000/353918 198.62/102.80 c And the winner is solver0 198.65/102.98 c Got one! Elapsed wall clock time (in seconds):102.866 198.65/102.98 o 1725682 199.08/103.24 c And the winner is solver0 199.30/103.49 c Got one! Elapsed wall clock time (in seconds):103.373 199.30/103.49 o 1648129 200.92/104.37 c cleaning 13201 clauses out of 26424 with flag 4002/370160 201.80/104.95 c And the winner is solver0 202.00/105.21 c Got one! Elapsed wall clock time (in seconds):105.098 202.00/105.21 o 1629631 203.37/105.96 c And the winner is solver0 203.59/106.22 c Got one! Elapsed wall clock time (in seconds):106.106 203.59/106.22 o 1606610 203.93/106.48 c cleaning 9535 clauses out of 19088 with flag 1000/376025 207.42/108.36 c cleaning 7764 clauses out of 15554 with flag 7002/382027 211.12/110.38 c cleaning 7361 clauses out of 14788 with flag 14000/389025 215.18/112.65 c cleaning 7699 clauses out of 15427 with flag 22000/397025 219.64/115.05 c cleaning 8352 clauses out of 16729 with flag 31001/406026 224.70/117.76 c cleaning 9177 clauses out of 18377 with flag 41001/416026 230.75/120.98 c cleaning 10093 clauses out of 20200 with flag 52001/427026 237.38/124.59 c cleaning 11045 clauses out of 22107 with flag 64001/439026 245.25/128.64 c cleaning 12011 clauses out of 24061 with flag 77000/452025 253.08/132.79 c cleaning 13002 clauses out of 26050 with flag 91000/466025 261.11/136.98 c cleaning 14016 clauses out of 28049 with flag 106001/481026 270.54/141.92 c cleaning 15008 clauses out of 30032 with flag 122000/497025 279.75/146.77 c cleaning 16003 clauses out of 32024 with flag 139000/514025 289.77/151.95 c cleaning 17004 clauses out of 34023 with flag 157002/532027 300.56/157.52 c cleaning 18004 clauses out of 36017 with flag 176000/551025 312.12/163.66 c cleaning 18990 clauses out of 38013 with flag 196000/571025 324.89/170.25 c cleaning 20001 clauses out of 40025 with flag 217002/592027 338.28/177.19 c cleaning 21004 clauses out of 42022 with flag 239000/614025 352.61/184.50 c cleaning 22007 clauses out of 44019 with flag 262001/637026 367.14/192.19 c cleaning 23004 clauses out of 46013 with flag 286002/661027 381.62/199.60 c cleaning 23999 clauses out of 48007 with flag 311000/686025 395.72/206.97 c cleaning 25000 clauses out of 50009 with flag 337001/712026 411.00/214.82 c cleaning 25985 clauses out of 52008 with flag 364000/739025 427.53/223.55 c cleaning 27008 clauses out of 54023 with flag 392000/767025 443.78/232.00 c cleaning 27997 clauses out of 56016 with flag 421002/796027 460.40/240.57 c cleaning 29006 clauses out of 58017 with flag 451000/826025 476.49/248.99 c cleaning 30002 clauses out of 60012 with flag 482001/857026 496.61/259.53 c cleaning 30989 clauses out of 62012 with flag 514003/889028 516.64/269.95 c cleaning 31995 clauses out of 64020 with flag 547000/922025 519.82/271.97 c And the winner is solver0 520.22/272.27 c Got one! Elapsed wall clock time (in seconds):272.154 520.22/272.27 o 1589857 520.88/272.62 c cleaning 18592 clauses out of 37222 with flag 1000/927222 524.79/274.91 c cleaning 12302 clauses out of 24629 with flag 7000/933222 528.87/277.59 c cleaning 9626 clauses out of 19327 with flag 14000/940222 533.75/280.36 c cleaning 8830 clauses out of 17701 with flag 22000/948222 538.83/283.22 c cleaning 8894 clauses out of 17871 with flag 31000/957222 544.70/286.51 c cleaning 9478 clauses out of 18978 with flag 41001/967223 551.54/290.52 c cleaning 10239 clauses out of 20499 with flag 52000/978222 558.59/294.46 c cleaning 11123 clauses out of 22260 with flag 64000/990222 562.44/296.70 c And the winner is solver0 562.55/296.86 c Got one! Elapsed wall clock time (in seconds):296.749 562.55/296.86 o 1574573 563.87/297.54 c And the winner is solver0 564.01/297.87 c Got one! Elapsed wall clock time (in seconds):297.758 564.01/297.87 o 1567844 565.04/298.43 c cleaning 11022 clauses out of 22052 with flag 2000/1001137 568.85/300.71 c cleaning 8504 clauses out of 17029 with flag 8000/1007137 573.50/303.63 c cleaning 7744 clauses out of 15529 with flag 15004/1014141 577.94/306.20 c cleaning 7863 clauses out of 15781 with flag 23000/1022137 583.00/309.11 c cleaning 8448 clauses out of 16921 with flag 32003/1031140 588.22/312.17 c cleaning 9229 clauses out of 18470 with flag 42000/1041137 594.42/315.86 c cleaning 10108 clauses out of 20241 with flag 53000/1052137 601.04/319.59 c cleaning 11060 clauses out of 22133 with flag 65000/1064137 608.85/323.81 c cleaning 12024 clauses out of 24076 with flag 78003/1077140 615.84/327.75 c cleaning 13015 clauses out of 26049 with flag 92000/1091137 624.78/332.87 c cleaning 14011 clauses out of 28034 with flag 107000/1106137 634.17/337.97 c cleaning 15003 clauses out of 30023 with flag 123000/1122137 644.11/343.39 c cleaning 16007 clauses out of 32020 with flag 140000/1139137 654.49/348.96 c cleaning 17007 clauses out of 34013 with flag 158000/1157137 666.35/355.53 c cleaning 17985 clauses out of 36007 with flag 177001/1176138 677.59/361.67 c cleaning 19011 clauses out of 38021 with flag 197000/1196137 688.73/367.63 c cleaning 19988 clauses out of 40010 with flag 218000/1217137 700.64/374.05 c cleaning 21009 clauses out of 42022 with flag 240000/1239137 712.87/380.81 c cleaning 22001 clauses out of 44013 with flag 263000/1262137 717.36/383.52 c And the winner is solver0 717.50/383.72 c Got one! Elapsed wall clock time (in seconds):383.602 717.50/383.72 o 1561041 720.45/385.28 c cleaning 17444 clauses out of 34980 with flag 5000/1275106 724.76/387.87 c cleaning 11736 clauses out of 23536 with flag 11000/1281106 729.31/390.58 c cleaning 9349 clauses out of 18800 with flag 18000/1288106 734.92/394.06 c cleaning 8713 clauses out of 17452 with flag 26001/1296107 739.65/396.85 c And the winner is solver0 739.92/397.09 c Got one! Elapsed wall clock time (in seconds):396.972 739.92/397.09 o 1551177 742.19/398.25 c cleaning 10719 clauses out of 21460 with flag 5001/1308828 745.87/400.56 c cleaning 8358 clauses out of 16740 with flag 11000/1314827 749.60/402.89 c cleaning 7678 clauses out of 15382 with flag 18000/1321827 754.61/406.07 c cleaning 7838 clauses out of 15704 with flag 26000/1329827 759.53/408.93 c cleaning 8430 clauses out of 16866 with flag 35000/1338827 765.64/412.49 c cleaning 9208 clauses out of 18438 with flag 45002/1348829 772.91/416.52 c cleaning 10105 clauses out of 20229 with flag 56001/1359828 780.90/421.21 c cleaning 11038 clauses out of 22124 with flag 68001/1371828 789.16/425.88 c cleaning 12030 clauses out of 24085 with flag 81000/1384827 798.21/430.85 c cleaning 13026 clauses out of 26056 with flag 95001/1398828 807.27/435.87 c cleaning 14008 clauses out of 28031 with flag 110002/1413829 817.22/441.58 c cleaning 14988 clauses out of 30021 with flag 126000/1429827 827.69/447.22 c cleaning 16005 clauses out of 32033 with flag 143000/1446827 837.53/452.69 c cleaning 17010 clauses out of 34028 with flag 161000/1464827 848.17/458.44 c cleaning 17997 clauses out of 36018 with flag 180000/1483827 860.03/465.16 c cleaning 19005 clauses out of 38021 with flag 200000/1503827 872.60/471.91 c cleaning 19998 clauses out of 40017 with flag 221001/1524828 885.99/479.14 c cleaning 21007 clauses out of 42019 with flag 243001/1546828 900.71/487.06 c cleaning 21997 clauses out of 44012 with flag 266001/1569828 915.86/495.50 c cleaning 22999 clauses out of 46015 with flag 290001/1593828 931.97/504.06 c cleaning 24002 clauses out of 48016 with flag 315001/1618828 951.23/514.20 c cleaning 25000 clauses out of 50013 with flag 341000/1644827 970.52/524.46 c cleaning 25995 clauses out of 52013 with flag 368000/1671827 990.41/535.25 c cleaning 26990 clauses out of 54018 with flag 396000/1699827 1011.23/546.87 c cleaning 27998 clauses out of 56028 with flag 425000/1728827 1030.69/556.75 c cleaning 28993 clauses out of 58031 with flag 455001/1758828 1049.75/567.19 c cleaning 30005 clauses out of 60037 with flag 486000/1789827 1068.77/577.27 c cleaning 30992 clauses out of 62033 with flag 518001/1821828 1088.01/587.45 c cleaning 31992 clauses out of 64040 with flag 551000/1854827 1107.79/597.99 c cleaning 33018 clauses out of 66048 with flag 585000/1888827 1129.17/609.51 c cleaning 34010 clauses out of 68030 with flag 620000/1923827 1150.18/620.60 c cleaning 34989 clauses out of 70020 with flag 656000/1959827 1173.11/633.45 c cleaning 36012 clauses out of 72032 with flag 693001/1996828 1195.48/645.32 c cleaning 37002 clauses out of 74020 with flag 731002/2034829 1217.18/656.77 c cleaning 37995 clauses out of 76019 with flag 770003/2073830 1239.01/668.29 c cleaning 38982 clauses out of 78019 with flag 810000/2113827 1243.84/671.21 c And the winner is solver0 1244.14/671.50 c Got one! Elapsed wall clock time (in seconds):671.39 1244.14/671.50 o 1542961 1246.51/672.79 c cleaning 25493 clauses out of 51025 with flag 5000/2125815 1248.85/674.83 c And the winner is solver0 1249.49/675.42 c Got one! Elapsed wall clock time (in seconds):675.303 1249.49/675.42 o 1540623 1252.25/676.81 c cleaning 15493 clauses out of 31014 with flag 5000/2131298 1256.69/679.64 c cleaning 10737 clauses out of 21522 with flag 11001/2137299 1261.51/682.69 c cleaning 8872 clauses out of 17784 with flag 18000/2144298 1266.94/685.98 c cleaning 8427 clauses out of 16912 with flag 26000/2152298 1273.47/690.17 c cleaning 8730 clauses out of 17485 with flag 35000/2161298 1279.91/693.90 c cleaning 9366 clauses out of 18757 with flag 45002/2171300 1286.52/697.87 c cleaning 10186 clauses out of 20390 with flag 56001/2182299 1293.73/702.01 c cleaning 11102 clauses out of 22203 with flag 68000/2194298 1302.26/707.21 c cleaning 12043 clauses out of 24102 with flag 81001/2207299 1310.65/712.04 c cleaning 13023 clauses out of 26058 with flag 95000/2221298 1319.87/717.24 c cleaning 14016 clauses out of 28037 with flag 110002/2236300 1329.84/722.88 c cleaning 15003 clauses out of 30019 with flag 126000/2252298 1341.49/729.63 c cleaning 16003 clauses out of 32018 with flag 143002/2269300 1352.65/735.82 c cleaning 17002 clauses out of 34013 with flag 161000/2287298 1365.22/742.72 c cleaning 17984 clauses out of 36011 with flag 180000/2306298 1377.60/749.53 c cleaning 18995 clauses out of 38028 with flag 200001/2326299 1391.22/757.38 c cleaning 20004 clauses out of 40032 with flag 221000/2347298 1398.35/761.53 c And the winner is solver0 1398.70/761.81 c Got one! Elapsed wall clock time (in seconds):761.696 1398.70/761.81 o 1532516 1401.27/763.19 c cleaning 17785 clauses out of 35607 with flag 5000/2362877 1405.82/766.07 c cleaning 11905 clauses out of 23822 with flag 11000/2368877 1410.54/769.06 c cleaning 9438 clauses out of 18917 with flag 18000/2375877 1416.52/773.07 c cleaning 8722 clauses out of 17479 with flag 26000/2383877 1419.64/775.25 c And the winner is solver0 1419.90/775.48 c Got one! Elapsed wall clock time (in seconds):775.362 1419.90/775.48 o 1523855 1420.80/775.93 c cleaning 7274 clauses out of 14583 with flag 2000/2389703 1424.22/778.24 c And the winner is solver0 1424.66/778.66 c Got one! Elapsed wall clock time (in seconds):778.545 1424.66/778.66 o 1520360 1425.16/778.95 c cleaning 6383 clauses out of 12820 with flag 1001/2395214 1429.50/781.77 c cleaning 6187 clauses out of 12436 with flag 7001/2401214 1435.44/785.79 c cleaning 6615 clauses out of 13248 with flag 14000/2408213 1440.96/789.14 c cleaning 7303 clauses out of 14633 with flag 22000/2416213 1447.28/792.96 c cleaning 8144 clauses out of 16330 with flag 31000/2425213 1454.01/796.90 c cleaning 9094 clauses out of 18192 with flag 41006/2435219 1461.55/801.79 c cleaning 10032 clauses out of 20092 with flag 52000/2446213 1467.84/805.57 c And the winner is solver0 1468.41/806.03 c Got one! Elapsed wall clock time (in seconds):805.917 1468.41/806.03 o 1504828 1470.77/807.30 c cleaning 12395 clauses out of 24798 with flag 5002/2460951 1475.27/810.13 c cleaning 9190 clauses out of 18404 with flag 11003/2466952 1479.75/813.09 c cleaning 8093 clauses out of 16212 with flag 18001/2473950 1485.85/817.18 c cleaning 8046 clauses out of 16119 with flag 26001/2481950 1491.73/820.74 c cleaning 8526 clauses out of 17072 with flag 35000/2490949 1497.83/824.46 c cleaning 9256 clauses out of 18547 with flag 45001/2500950 1504.70/828.55 c cleaning 10129 clauses out of 20292 with flag 56002/2511951 1513.19/833.83 c cleaning 11071 clauses out of 22161 with flag 68000/2523949 1520.85/838.32 c cleaning 12031 clauses out of 24090 with flag 81000/2536949 1529.14/843.16 c cleaning 13010 clauses out of 26059 with flag 95000/2550949 1537.61/848.03 c cleaning 14007 clauses out of 28049 with flag 110000/2565949 1547.83/854.22 c cleaning 15008 clauses out of 30042 with flag 126000/2581949 1557.49/859.70 c cleaning 15992 clauses out of 32036 with flag 143002/2598951 1564.56/863.93 c And the winner is solver0 1564.77/864.11 c Got one! Elapsed wall clock time (in seconds):863.994 1564.77/864.11 o 1474638 1567.54/865.58 c cleaning 16550 clauses out of 33120 with flag 5000/2616028 1572.59/868.72 c cleaning 11280 clauses out of 22570 with flag 11000/2622028 1578.60/872.80 c cleaning 9111 clauses out of 18290 with flag 18000/2629028 1584.02/876.29 c cleaning 8564 clauses out of 17179 with flag 26000/2637028 1590.28/880.05 c cleaning 8786 clauses out of 17615 with flag 35000/2646028 1596.70/883.94 c cleaning 9403 clauses out of 18829 with flag 45000/2656028 1604.70/889.02 c cleaning 10191 clauses out of 20426 with flag 56000/2667028 1611.91/893.38 c cleaning 11098 clauses out of 22235 with flag 68000/2679028 1619.91/898.02 c cleaning 12056 clauses out of 24137 with flag 81000/2692028 1628.10/902.80 c cleaning 13017 clauses out of 26081 with flag 95000/2706028 1638.29/909.05 c cleaning 14019 clauses out of 28064 with flag 110000/2721028 1647.90/914.55 c cleaning 15014 clauses out of 30048 with flag 126003/2737031 1657.72/920.11 c cleaning 15998 clauses out of 32031 with flag 143000/2754028 1668.52/926.21 c cleaning 17000 clauses out of 34033 with flag 161000/2772028 1681.04/933.63 c cleaning 18000 clauses out of 36034 with flag 180001/2791029 1693.43/940.51 c cleaning 19000 clauses out of 38033 with flag 200000/2811028 1706.21/947.65 c cleaning 20000 clauses out of 40034 with flag 221001/2832029 1720.60/955.52 c cleaning 20998 clauses out of 42034 with flag 243001/2854029 1735.53/964.11 c cleaning 22007 clauses out of 44035 with flag 266000/2877028 1750.29/972.22 c cleaning 23003 clauses out of 46029 with flag 290001/2901029 1765.46/980.51 c cleaning 24004 clauses out of 48025 with flag 315000/2926028 1780.82/988.99 c cleaning 24996 clauses out of 50021 with flag 341000/2952028 1799.49/999.45 c cleaning 25998 clauses out of 52025 with flag 368000/2979028 1801.11/1000.99 c starts : 258 1801.11/1000.99 c conflicts : 2979033 1801.11/1000.99 c decisions : 7100755 1801.11/1000.99 c propagations : 974966862 1801.11/1000.99 c inspects : 3965036581 1801.11/1000.99 c shortcuts : 0 1801.11/1000.99 c learnt literals : 18 1801.11/1000.99 c learnt binary clauses : 155 1801.11/1000.99 c learnt ternary clauses : 182 1801.11/1000.99 c learnt constraints : 2979015 1801.11/1000.99 c ignored constraints : 0 1801.11/1000.99 c root simplifications : 0 1801.11/1000.99 c removed literals (reason simplification) : 66757743 1801.11/1000.99 c reason swapping (by a shorter reason) : 0 1801.11/1000.99 c Calls to reduceDB : 195 1801.11/1000.99 c number of reductions to clauses (during analyze) : 0 1801.11/1000.99 c number of learned constraints concerned by reduction : 0 1801.11/1000.99 c number of learning phase by resolution : 0 1801.11/1000.99 c number of learning phase by cutting planes : 0 1801.11/1000.99 c speed (assignments/second) : 976649.7815736514 1801.11/1000.99 c non guided choices 4945 1801.11/1001.00 c learnt constraints type 1801.11/1001.00 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 155 1801.11/1001.00 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25913 1801.11/1001.00 c constraints type 1801.11/1001.00 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1801.11/1001.00 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1801.11/1001.00 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1801.11/1001.00 c ignored satisfied constraints => 4 1801.11/1001.00 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1801.11/1001.00 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1801.11/1001.00 c 21932 constraints processed. 1801.11/1001.00 c constraints type 1801.11/1001.00 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1801.11/1001.00 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1801.11/1001.00 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1801.11/1001.00 c ignored satisfied constraints => 4 1801.11/1001.00 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1801.11/1001.00 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1801.11/1001.00 c 21932 constraints processed. 1801.11/1001.00 s SATISFIABLE 1801.25/1001.01 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 x6228 x6229 -x6230 x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 x9536 -x9537 -x9538 x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 x9730 x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1801.25/1001.02 c objective function=1474638 1801.25/1001.02 c Total wall clock time (in seconds): 1000.902
OK 1474638
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-3690040-1337887375/watcher-3690040-1337887375 -o /tmp/evaluation-result-3690040-1337887375/solver-3690040-1337887375 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690040-1337887375.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.88 3.99 3.93 5/197 28212 /proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/28212/stat : 28212 (java) D 28210 28212 22184 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 254863521 9515008 175 33554432000 1073741824 1073778376 140735460894320 140735460877048 226084340624 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0 /proc/28212/statm: 2323 175 133 9 0 71 0 [startup+0.03467 s] /proc/loadavg: 3.88 3.99 3.93 5/197 28212 /proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9092432 CPUtime=0.01 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 2902 0 1 0 1 0 0 0 20 0 11 0 254863521 9310650368 3602 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2273108 3602 1631 9 0 2263809 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9092432 [startup+0.100198 s] /proc/loadavg: 3.88 3.99 3.93 5/197 28212 /proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 4334 0 1 0 8 1 0 0 20 0 18 0 254863521 9787813888 5529 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2389603 5529 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300155 s] /proc/loadavg: 3.88 3.99 3.93 5/197 28212 /proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9558412 CPUtime=0.51 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 5631 0 1 0 50 1 0 0 20 0 18 0 254863521 9787813888 10224 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2389603 10224 2228 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558412 [startup+0.709047 s] /proc/loadavg: 3.88 3.99 3.93 5/197 28212 /proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9824668 CPUtime=1.68 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 17094 0 1 0 162 6 0 0 20 0 22 0 254863521 10060460032 31405 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2456167 31405 2249 9 0 2446860 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 9824668 [startup+1.5007 s] /proc/loadavg: 3.88 3.99 3.93 5/216 28234 /proc/meminfo: memFree=22902868/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9824668 CPUtime=3.64 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 20269 0 1 0 353 11 0 0 20 0 19 0 254863521 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2456167 41584 2258 9 0 2446860 0 [pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.64 cores=1,3,5,7 /proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2495 0 1 0 61 3 0 0 20 0 19 0 254863522 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254863525 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254863525 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254863525 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.11 cores=1,3,5,7 /proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8189 0 0 0 109 2 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.01 cores=1,3,5,7 /proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8264 0 0 0 99 2 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28233] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28233/stat : 28233 (java) S 28210 28212 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254863591 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645724648360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.64 Current children cumulated vsize (KiB) 9824668 [startup+3.1006 s] /proc/loadavg: 3.88 3.99 3.93 3/216 28240 /proc/meminfo: memFree=22867028/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9824668 CPUtime=5.84 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 20685 0 1 0 564 20 0 0 20 0 22 0 254863521 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2456167 54707 2275 9 0 2446860 0 [pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.67 cores=1,3,5,7 /proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2497 0 1 0 64 3 0 0 20 0 22 0 254863522 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 79 0 0 0 1 1 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 69 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.3 cores=1,3,5,7 /proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8191 0 0 0 128 2 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.16 cores=1,3,5,7 /proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8269 0 0 0 113 3 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 5.84 Current children cumulated vsize (KiB) 9824668 [startup+6.3008 s] /proc/loadavg: 3.89 3.99 3.93 5/219 28246 /proc/meminfo: memFree=22778740/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9824668 CPUtime=12.37 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 20787 0 1 0 1213 24 0 0 20 0 22 0 254863521 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2456167 67996 2287 9 0 2446860 0 [pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.67 cores=1,3,5,7 /proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2497 0 1 0 64 3 0 0 20 0 22 0 254863522 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=0.06 cores=1,3,5,7 /proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 93 0 0 0 3 3 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 72 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=0.04 cores=1,3,5,7 /proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 66 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=0.16 cores=1,3,5,7 /proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 104 0 0 0 16 0 0 0 20 0 22 0 254863525 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.4 cores=1,3,5,7 /proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8194 0 0 0 138 2 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.3 cores=1,3,5,7 /proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8274 0 0 0 127 3 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28243] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28243/stat : 28243 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863745 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645723596456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28244] ppid=28210 vsize=9824668 CPUtime=3.35 cores=1,3,5,7 /proc/28212/task/28244/stat : 28244 (java) R 28210 28212 22184 0 -1 4202560 5 0 0 0 335 0 0 0 20 0 22 0 254863792 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645725701144 140645969510571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28245] ppid=28210 vsize=9824668 CPUtime=3.37 cores=1,3,5,7 /proc/28212/task/28245/stat : 28245 (java) R 28210 28212 22184 0 -1 4202560 4 0 0 0 337 0 0 0 20 0 22 0 254863793 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645724645976 140645969762034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28246] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863793 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=28212/tid=28460] ppid=28210 vsize=9824668 CPUtime=51.71 cores=1,3,5,7 /proc/28212/task/28460/stat : 28460 (java) R 28210 28212 22184 0 -1 4202560 7 0 0 0 5171 0 0 0 20 0 22 0 254949934 10060460032 507931 33554432000 1073741824 1073778376 140736538408304 140645723594832 140645969882537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28461] ppid=28210 vsize=9824668 CPUtime=51.72 cores=1,3,5,7 /proc/28212/task/28461/stat : 28461 (java) R 28210 28212 22184 0 -1 4202560 3 0 0 0 5172 0 0 0 20 0 22 0 254949934 10060460032 507931 33554432000 1073741824 1073778376 140736538408304 140645724646296 140645969751086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28462] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254949951 10060460032 507931 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1695.62 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+999.801 s] /proc/loadavg: 3.65 3.66 3.78 4/219 28463 /proc/meminfo: memFree=23655348/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9824668 CPUtime=1800.01 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 26100 0 1 0 179832 169 0 0 20 0 22 0 254863521 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2456167 514637 2288 9 0 2446860 0 [pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.85 cores=1,3,5,7 /proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2661 0 1 0 81 4 0 0 20 0 22 0 254863522 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=1.31 cores=1,3,5,7 /proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 209 0 0 0 124 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=1.55 cores=1,3,5,7 /proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 338 0 0 0 143 12 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=1.29 cores=1,3,5,7 /proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 471 0 0 0 123 6 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=1.42 cores=1,3,5,7 /proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 454 0 0 0 132 10 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=1.37 cores=1,3,5,7 /proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 129 0 0 0 132 5 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=1.34 cores=1,3,5,7 /proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 321 0 0 0 126 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=1.36 cores=1,3,5,7 /proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 374 0 0 0 129 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=1.61 cores=1,3,5,7 /proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 399 0 0 0 153 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=198.09 cores=1,3,5,7 /proc/28212/task/28223/stat : 28223 (java) R 28210 28212 22184 0 -1 4202560 1961 0 0 0 19790 19 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645735175536 140646118949280 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8197 0 0 0 149 2 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8294 0 0 0 155 3 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0.26 cores=1,3,5,7 /proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 57 0 0 0 11 15 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28246] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863793 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28460] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7 /proc/28212/task/28460/stat : 28460 (java) S 28210 28212 22184 0 -1 4202560 11 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645723594952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28461] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7 /proc/28212/task/28461/stat : 28461 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645724646328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28462] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254949951 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1000.6 s] /proc/loadavg: 3.65 3.66 3.78 4/219 28463 /proc/meminfo: memFree=23655348/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9824668 CPUtime=1800.8 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 26101 0 1 0 179911 169 0 0 20 0 22 0 254863521 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2456167 514637 2288 9 0 2446860 0 [pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.85 cores=1,3,5,7 /proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2661 0 1 0 81 4 0 0 20 0 22 0 254863522 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646112826072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=1.31 cores=1,3,5,7 /proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 209 0 0 0 124 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=1.55 cores=1,3,5,7 /proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 338 0 0 0 143 12 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=1.29 cores=1,3,5,7 /proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 471 0 0 0 123 6 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=1.42 cores=1,3,5,7 /proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 454 0 0 0 132 10 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=1.37 cores=1,3,5,7 /proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 129 0 0 0 132 5 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=1.34 cores=1,3,5,7 /proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 321 0 0 0 126 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=1.36 cores=1,3,5,7 /proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 374 0 0 0 129 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=1.61 cores=1,3,5,7 /proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 399 0 0 0 153 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=198.88 cores=1,3,5,7 /proc/28212/task/28223/stat : 28223 (java) R 28210 28212 22184 0 -1 4202560 1961 0 0 0 19869 19 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645735175536 140646116987170 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645732017864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8197 0 0 0 149 2 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8294 0 0 0 155 3 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0.26 cores=1,3,5,7 /proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 57 0 0 0 11 15 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28246] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863793 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28460] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7 /proc/28212/task/28460/stat : 28460 (java) S 28210 28212 22184 0 -1 4202560 11 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645723594952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28461] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7 /proc/28212/task/28461/stat : 28461 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645724646328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28462] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254949951 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 9824668 [startup+1001.01 s] /proc/loadavg: 3.65 3.66 3.78 4/220 28464 /proc/meminfo: memFree=23655340/32873648 swapFree=6864/6864 [pid=28212] ppid=28210 vsize=9957796 CPUtime=1801.25 cores=1,3,5,7 /proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 26136 0 1 0 179956 169 0 0 20 0 24 0 254863521 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/28212/statm: 2489449 517226 2288 9 0 2480142 0 [pid=28212/tid=28214] ppid=28210 vsize=9957796 CPUtime=0.85 cores=1,3,5,7 /proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2661 0 1 0 81 4 0 0 20 0 24 0 254863522 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28215] ppid=28210 vsize=9957796 CPUtime=1.31 cores=1,3,5,7 /proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 209 0 0 0 124 7 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28216] ppid=28210 vsize=9957796 CPUtime=1.55 cores=1,3,5,7 /proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 338 0 0 0 143 12 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28217] ppid=28210 vsize=9957796 CPUtime=1.29 cores=1,3,5,7 /proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 471 0 0 0 123 6 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28218] ppid=28210 vsize=9957796 CPUtime=1.42 cores=1,3,5,7 /proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 454 0 0 0 132 10 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28219] ppid=28210 vsize=9957796 CPUtime=1.37 cores=1,3,5,7 /proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 129 0 0 0 132 5 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28220] ppid=28210 vsize=9957796 CPUtime=1.34 cores=1,3,5,7 /proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 321 0 0 0 126 8 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28221] ppid=28210 vsize=9957796 CPUtime=1.36 cores=1,3,5,7 /proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 374 0 0 0 129 7 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28222] ppid=28210 vsize=9957796 CPUtime=1.61 cores=1,3,5,7 /proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 399 0 0 0 153 8 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28223] ppid=28210 vsize=9957796 CPUtime=199.27 cores=1,3,5,7 /proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 1966 0 0 0 19908 19 0 0 20 0 24 0 254863525 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28224] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 254863525 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28225] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 254863525 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28226] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28227] ppid=28210 vsize=9957796 CPUtime=1.52 cores=1,3,5,7 /proc/28212/task/28227/stat : 28227 (java) R 28210 28212 22184 0 -1 4202560 8198 0 0 0 150 2 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645730966336 140646119800198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28228] ppid=28210 vsize=9957796 CPUtime=1.58 cores=1,3,5,7 /proc/28212/task/28228/stat : 28228 (java) R 28210 28212 22184 0 -1 4202560 8294 0 0 0 155 3 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645729913656 140646118786673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28229] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28212/tid=28230] ppid=28210 vsize=9957796 CPUtime=0.26 cores=1,3,5,7 /proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 57 0 0 0 11 15 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28246] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 254863793 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28212/tid=28460] ppid=28210 vsize=9957796 CPUtime=98.12 cores=1,3,5,7 /proc/28212/task/28460/stat : 28460 (java) R 28210 28212 22184 0 -1 4202560 11 0 0 0 9811 1 0 0 20 0 24 0 254949934 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645723595096 140645969646464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28212/tid=28461] ppid=28210 vsize=9957796 CPUtime=98.13 cores=1,3,5,7 /proc/28212/task/28461/stat : 28461 (java) R 28210 28212 22184 0 -1 4202560 3 0 0 0 9812 1 0 0 20 0 24 0 254949934 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645724646208 140645969761950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28212/tid=28462] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7 /proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 254949951 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1801.25 Current children cumulated vsize (KiB) 9957796 Child status: 143 Real time (s): 1001.03 CPU time (s): 1801.47 CPU user time (s): 1799.56 CPU system time (s): 1.91071 CPU usage (%): 179.961 Max. virtual memory (cumulated for all children) (KiB): 9957796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 1.91071 maximum resident set size= 2068908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26137 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28030 involuntary context switches= 27170 runsolver used 3.44948 second user time and 8.97663 second system time The end
Begin job on node120 at 2012-05-24 21:22:55 IDJOB=3690040 IDBENCH=92667 IDSOLVER=2268 FILE ID=node120/3690040-1337887375 RUNJOBID= node120-1337871880-22201 PBS_JOBID= 14620084 Free space on /tmp= 71416 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690040-1337887375/watcher-3690040-1337887375 -o /tmp/evaluation-result-3690040-1337887375/solver-3690040-1337887375 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690040-1337887375.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=217624842 node120.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.456 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.91 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.88 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.83 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.456 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.456 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: 32873648 kB MemFree: 23038216 kB Buffers: 193520 kB Cached: 3503368 kB SwapCached: 492 kB Active: 6116092 kB Inactive: 2938876 kB Active(anon): 5347376 kB Inactive(anon): 12832 kB Active(file): 768716 kB Inactive(file): 2926044 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67107896 kB Dirty: 1208 kB Writeback: 0 kB AnonPages: 5369872 kB Mapped: 21628 kB Shmem: 120 kB Slab: 632504 kB SReclaimable: 76604 kB SUnreclaim: 555900 kB KernelStack: 1624 kB PageTables: 14188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 6064724 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 5111808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71604 MiB End job on node120 at 2012-05-24 21:39:37