Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 22 | 1800.46 | 953.505 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.00/0.11 c Pseudo Boolean Optimization 0.00/0.11 c ManyCore solver with 2 solvers running in parallel 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.11 c Expensive reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.00/0.11 c No reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c solving HOME/instance-3454129-1307193681.opb 0.00/0.11 c reading problem ... 0.76/0.48 c ... done. Wall clock time 0.362s. 0.76/0.48 c #vars 6027 0.76/0.48 c #constraints 21278 0.76/0.48 c constraints type 0.76/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 0.76/0.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.76/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 0.76/0.48 c constraints type 0.76/0.48 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 0.76/0.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 0.76/0.48 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.99/0.53 c And the winner is Resolution 1.20/0.99 c SATISFIABLE 1.20/0.99 c OPTIMIZING... 1.20/0.99 c Got one! Elapsed wall clock time (in seconds):0.873 1.20/0.99 o 28 1.23/1.01 c And the winner is Resolution 1.31/1.50 c Got one! Elapsed wall clock time (in seconds):1.385 1.31/1.50 o 27 1.65/1.66 c And the winner is Resolution 2.10/2.01 c Got one! Elapsed wall clock time (in seconds):1.895 2.10/2.01 o 26 3.61/2.60 c And the winner is Resolution 3.64/3.02 c Got one! Elapsed wall clock time (in seconds):2.904 3.64/3.02 o 25 4.50/3.50 c cleaning 2748 clauses out of 5506 with flag 2000/5506 6.53/4.49 c cleaning 4371 clauses out of 8758 with flag 8000/11506 8.69/5.54 c cleaning 5678 clauses out of 11387 with flag 15000/18506 11.45/6.90 c cleaning 6845 clauses out of 13709 with flag 23000/26506 14.68/8.54 c cleaning 7920 clauses out of 15864 with flag 32000/35506 18.05/10.28 c cleaning 8962 clauses out of 17946 with flag 42002/45508 21.62/12.09 c cleaning 9970 clauses out of 19982 with flag 53000/56506 25.64/14.04 c cleaning 10994 clauses out of 22014 with flag 65002/68508 29.96/16.20 c cleaning 12007 clauses out of 24021 with flag 78003/81509 34.69/18.71 c cleaning 12981 clauses out of 26011 with flag 92000/95506 40.45/21.58 c cleaning 14009 clauses out of 28030 with flag 107000/110506 46.60/24.68 c cleaning 14999 clauses out of 30022 with flag 123001/126507 52.54/27.68 c cleaning 15999 clauses out of 32023 with flag 140001/143507 58.61/30.81 c cleaning 16993 clauses out of 34023 with flag 158000/161506 65.13/34.08 c cleaning 17996 clauses out of 36031 with flag 177001/180507 73.04/38.04 c cleaning 18990 clauses out of 38034 with flag 197000/200506 80.10/41.62 c cleaning 20009 clauses out of 40044 with flag 218000/221506 87.02/45.12 c cleaning 20993 clauses out of 42035 with flag 240000/243506 93.90/48.61 c cleaning 21506 clauses out of 43044 with flag 262002/265508 101.27/52.33 c cleaning 21749 clauses out of 43536 with flag 284000/287506 107.94/55.67 c cleaning 21883 clauses out of 43793 with flag 306006/309512 115.22/59.31 c cleaning 21927 clauses out of 43905 with flag 328001/331507 123.52/63.57 c cleaning 21978 clauses out of 43977 with flag 350000/353506 134.96/69.19 c cleaning 21982 clauses out of 43999 with flag 372000/375506 145.59/74.58 c cleaning 21978 clauses out of 44018 with flag 394001/397507 153.86/78.79 c cleaning 21976 clauses out of 44040 with flag 416001/419507 161.93/82.88 c cleaning 21994 clauses out of 44064 with flag 438001/441507 163.43/83.63 c And the winner is CuttingPlanes 163.47/83.76 c Got one! Elapsed wall clock time (in seconds):83.647 163.47/83.76 o 24 164.57/84.38 c cleaning 13909 clauses out of 27894 with flag 3001/447331 167.16/85.80 c cleaning 9979 clauses out of 19988 with flag 9004/453334 169.22/86.84 c And the winner is Resolution 169.53/87.28 c Got one! Elapsed wall clock time (in seconds):87.164 169.53/87.28 o 23 171.39/88.22 c cleaning 10160 clauses out of 20370 with flag 5000/463695 173.45/89.39 c cleaning 8076 clauses out of 16211 with flag 11001/469696 176.71/91.07 c cleaning 7548 clauses out of 15134 with flag 18000/476695 180.10/92.85 c cleaning 7769 clauses out of 15587 with flag 26001/484696 183.15/94.42 c cleaning 8375 clauses out of 16817 with flag 35000/493695 187.42/96.68 c cleaning 9206 clauses out of 18444 with flag 45002/503697 192.09/99.09 c cleaning 10112 clauses out of 20236 with flag 56000/514695 198.24/102.31 c cleaning 11053 clauses out of 22126 with flag 68002/526697 204.08/105.30 c cleaning 12023 clauses out of 24072 with flag 81001/539696 210.11/108.31 c cleaning 13010 clauses out of 26049 with flag 95001/553696 217.14/111.91 c cleaning 14012 clauses out of 28042 with flag 110004/568699 222.68/114.87 c cleaning 14994 clauses out of 30026 with flag 126000/584695 229.10/118.11 c cleaning 16003 clauses out of 32035 with flag 143003/601698 237.53/122.46 c cleaning 17005 clauses out of 34032 with flag 161003/619698 244.53/126.06 c cleaning 18000 clauses out of 36024 with flag 180000/638695 252.65/130.21 c cleaning 18996 clauses out of 38025 with flag 200001/658696 260.26/134.22 c cleaning 19994 clauses out of 40028 with flag 221000/679695 268.65/138.49 c cleaning 21002 clauses out of 42035 with flag 243001/701696 278.44/143.44 c cleaning 21504 clauses out of 43035 with flag 265003/723698 287.12/147.99 c cleaning 21754 clauses out of 43528 with flag 287000/745695 300.11/154.57 c cleaning 21863 clauses out of 43775 with flag 309001/767696 308.28/158.71 c cleaning 21928 clauses out of 43911 with flag 331000/789695 317.25/163.30 c And the winner is CuttingPlanes 317.26/163.48 c Got one! Elapsed wall clock time (in seconds):163.37 317.26/163.48 o 22 319.49/164.68 c cleaning 22128 clauses out of 44314 with flag 5001/812026 321.95/166.12 c cleaning 14045 clauses out of 28186 with flag 11001/818026 326.11/168.26 c cleaning 10538 clauses out of 21140 with flag 18000/825025 329.67/170.10 c cleaning 9276 clauses out of 18602 with flag 26000/833025 333.43/172.11 c cleaning 9137 clauses out of 18326 with flag 35000/842025 337.87/174.54 c cleaning 9577 clauses out of 19189 with flag 45000/852025 342.63/177.11 c cleaning 10297 clauses out of 20615 with flag 56003/863028 347.96/179.83 c cleaning 11140 clauses out of 22315 with flag 68000/875025 353.71/182.87 c cleaning 12075 clauses out of 24176 with flag 81001/888026 360.12/186.20 c cleaning 13042 clauses out of 26100 with flag 95000/902025 366.26/189.42 c cleaning 14017 clauses out of 28059 with flag 110001/917026 373.98/193.49 c cleaning 15004 clauses out of 30041 with flag 126000/933025 382.11/197.60 c cleaning 15998 clauses out of 32038 with flag 143001/950026 389.34/201.43 c cleaning 17001 clauses out of 34040 with flag 161001/968026 396.81/205.33 c cleaning 18004 clauses out of 36039 with flag 180001/987026 405.92/210.08 c cleaning 19005 clauses out of 38036 with flag 200002/1007027 415.82/215.17 c cleaning 20003 clauses out of 40030 with flag 221001/1028026 424.79/219.86 c cleaning 20998 clauses out of 42027 with flag 243001/1050026 433.69/224.48 c cleaning 21502 clauses out of 43028 with flag 265000/1072025 444.16/229.87 c cleaning 21752 clauses out of 43527 with flag 287001/1094026 453.43/234.66 c cleaning 21846 clauses out of 43774 with flag 309000/1116025 464.55/240.47 c cleaning 21945 clauses out of 43930 with flag 331002/1138027 475.60/246.18 c cleaning 21952 clauses out of 43983 with flag 353000/1160025 484.24/250.60 c cleaning 21978 clauses out of 44033 with flag 375002/1182027 493.11/255.23 c cleaning 21993 clauses out of 44054 with flag 397001/1204026 503.36/260.65 c cleaning 22006 clauses out of 44061 with flag 419001/1226026 512.23/265.29 c cleaning 21990 clauses out of 44058 with flag 441004/1248029 522.40/270.50 c cleaning 22002 clauses out of 44066 with flag 463002/1270027 531.80/275.43 c cleaning 22011 clauses out of 44063 with flag 485001/1292026 545.02/282.33 c cleaning 21993 clauses out of 44051 with flag 507000/1314025 556.21/288.18 c cleaning 22008 clauses out of 44059 with flag 529001/1336026 566.79/293.69 c cleaning 22004 clauses out of 44051 with flag 551001/1358026 578.16/299.50 c cleaning 21998 clauses out of 44047 with flag 573001/1380026 589.13/305.32 c cleaning 22005 clauses out of 44049 with flag 595001/1402026 598.09/310.05 c cleaning 21982 clauses out of 44043 with flag 617000/1424025 607.67/315.06 c cleaning 22013 clauses out of 44062 with flag 639001/1446026 619.44/321.16 c cleaning 22008 clauses out of 44048 with flag 661000/1468025 631.23/327.36 c cleaning 21975 clauses out of 44041 with flag 683001/1490026 640.61/332.29 c cleaning 21997 clauses out of 44067 with flag 705002/1512027 649.36/336.87 c cleaning 22007 clauses out of 44069 with flag 727001/1534026 658.91/341.80 c cleaning 22000 clauses out of 44062 with flag 749001/1556026 668.86/347.16 c cleaning 22002 clauses out of 44066 with flag 771005/1578030 678.45/352.15 c cleaning 22006 clauses out of 44059 with flag 793000/1600025 690.14/358.22 c cleaning 22005 clauses out of 44054 with flag 815001/1622026 701.86/364.34 c cleaning 22003 clauses out of 44048 with flag 837000/1644025 714.37/370.90 c cleaning 22000 clauses out of 44046 with flag 859001/1666026 726.49/377.28 c cleaning 22002 clauses out of 44046 with flag 881001/1688026 736.61/382.50 c cleaning 21988 clauses out of 44044 with flag 903001/1710026 747.73/388.33 c cleaning 21996 clauses out of 44055 with flag 925000/1732025 757.58/393.69 c cleaning 21993 clauses out of 44060 with flag 947001/1754026 766.06/398.14 c cleaning 22004 clauses out of 44068 with flag 969002/1776027 777.54/404.15 c cleaning 22011 clauses out of 44062 with flag 991000/1798025 789.01/410.16 c cleaning 22007 clauses out of 44054 with flag 1013003/1820028 801.04/416.58 c cleaning 22003 clauses out of 44044 with flag 1035000/1842025 812.69/422.67 c cleaning 22001 clauses out of 44042 with flag 1057001/1864026 825.54/429.30 c cleaning 21998 clauses out of 44040 with flag 1079000/1886025 836.78/435.24 c cleaning 22007 clauses out of 44046 with flag 1101004/1908029 848.77/441.61 c cleaning 22006 clauses out of 44035 with flag 1123000/1930025 860.66/447.84 c cleaning 22009 clauses out of 44033 with flag 1145004/1952029 872.25/453.94 c cleaning 21996 clauses out of 44020 with flag 1167000/1974025 883.06/459.66 c cleaning 21982 clauses out of 44025 with flag 1189001/1996026 895.23/466.13 c cleaning 21987 clauses out of 44044 with flag 1211002/2018027 906.26/471.98 c cleaning 22002 clauses out of 44057 with flag 1233002/2040027 916.67/477.45 c cleaning 21998 clauses out of 44053 with flag 1255000/2062025 928.65/483.73 c cleaning 21995 clauses out of 44057 with flag 1277002/2084027 940.79/490.26 c cleaning 22002 clauses out of 44062 with flag 1299002/2106027 952.23/496.25 c cleaning 21994 clauses out of 44061 with flag 1321003/2128028 961.97/501.43 c cleaning 22000 clauses out of 44064 with flag 1343000/2150025 972.75/507.21 c cleaning 22012 clauses out of 44066 with flag 1365002/2172027 983.83/513.16 c cleaning 22003 clauses out of 44052 with flag 1387000/2194025 992.79/517.98 c cleaning 22003 clauses out of 44049 with flag 1409000/2216025 1001.95/522.84 c cleaning 22006 clauses out of 44047 with flag 1431001/2238026 1012.70/528.53 c cleaning 21994 clauses out of 44040 with flag 1453000/2260025 1021.78/533.56 c cleaning 21992 clauses out of 44047 with flag 1475001/2282026 1031.90/538.98 c cleaning 21995 clauses out of 44056 with flag 1497002/2304027 1040.84/543.74 c cleaning 22002 clauses out of 44059 with flag 1519000/2326025 1050.17/548.78 c cleaning 21999 clauses out of 44057 with flag 1541000/2348025 1063.40/555.86 c cleaning 21989 clauses out of 44058 with flag 1563000/2370025 1075.56/562.25 c cleaning 22001 clauses out of 44072 with flag 1585003/2392028 1087.85/568.74 c cleaning 22005 clauses out of 44068 with flag 1607000/2414025 1098.94/574.68 c cleaning 22019 clauses out of 44063 with flag 1629000/2436025 1110.94/581.15 c cleaning 22011 clauses out of 44045 with flag 1651001/2458026 1122.24/587.12 c cleaning 22002 clauses out of 44036 with flag 1673003/2480028 1134.14/593.47 c cleaning 22003 clauses out of 44032 with flag 1695001/2502026 1145.42/599.50 c cleaning 22003 clauses out of 44029 with flag 1717001/2524026 1155.98/605.20 c cleaning 21988 clauses out of 44025 with flag 1739000/2546025 1167.46/611.35 c cleaning 22000 clauses out of 44037 with flag 1761000/2568025 1184.75/620.41 c cleaning 22010 clauses out of 44039 with flag 1783002/2590027 1201.65/629.13 c cleaning 21997 clauses out of 44027 with flag 1805000/2612025 1218.02/637.89 c cleaning 22001 clauses out of 44031 with flag 1827001/2634026 1235.07/646.70 c cleaning 21996 clauses out of 44029 with flag 1849000/2656025 1251.70/655.45 c cleaning 22001 clauses out of 44034 with flag 1871001/2678026 1265.57/662.77 c cleaning 21998 clauses out of 44033 with flag 1893001/2700026 1279.67/670.36 c cleaning 21999 clauses out of 44035 with flag 1915001/2722026 1294.49/678.12 c cleaning 21995 clauses out of 44035 with flag 1937000/2744025 1309.90/686.28 c cleaning 22004 clauses out of 44041 with flag 1959001/2766026 1325.71/694.51 c cleaning 22000 clauses out of 44036 with flag 1981000/2788025 1333.44/698.97 c cleaning 0 clauses out of 5936 with flag 0/5940 1341.51/703.30 c cleaning 21994 clauses out of 44036 with flag 2003000/2810025 1351.49/708.76 c cleaning 21994 clauses out of 44043 with flag 2025001/2832026 1363.07/715.02 c cleaning 22003 clauses out of 44048 with flag 2047000/2854025 1372.28/720.18 c cleaning 21994 clauses out of 44045 with flag 2069000/2876025 1383.86/726.36 c cleaning 22013 clauses out of 44051 with flag 2091000/2898025 1402.01/735.81 c cleaning 22007 clauses out of 44042 with flag 2113004/2920029 1415.97/743.26 c cleaning 22005 clauses out of 44031 with flag 2135000/2942025 1429.15/750.47 c cleaning 21987 clauses out of 44026 with flag 2157000/2964025 1442.10/757.34 c cleaning 22004 clauses out of 44041 with flag 2179002/2986027 1452.24/762.83 c cleaning 21997 clauses out of 44036 with flag 2201001/3008026 1461.61/767.98 c cleaning 22003 clauses out of 44039 with flag 2223001/3030026 1471.51/773.57 c cleaning 21996 clauses out of 44035 with flag 2245000/3052025 1480.88/778.60 c cleaning 21999 clauses out of 44039 with flag 2267000/3074025 1490.60/783.97 c cleaning 21999 clauses out of 44040 with flag 2289000/3096025 1499.93/789.07 c cleaning 21995 clauses out of 44042 with flag 2311001/3118026 1510.25/794.85 c cleaning 21998 clauses out of 44046 with flag 2333000/3140025 1519.84/800.06 c cleaning 21996 clauses out of 44048 with flag 2355000/3162025 1529.76/805.46 c cleaning 21996 clauses out of 44052 with flag 2377000/3184025 1539.69/810.88 c cleaning 22005 clauses out of 44057 with flag 2399001/3206026 1550.14/816.74 c cleaning 21997 clauses out of 44052 with flag 2421001/3228026 1561.03/822.66 c cleaning 22011 clauses out of 44055 with flag 2443001/3250026 1574.71/829.98 c cleaning 22003 clauses out of 44043 with flag 2465000/3272025 1587.40/836.75 c cleaning 21999 clauses out of 44040 with flag 2487000/3294025 1601.28/844.39 c cleaning 22004 clauses out of 44042 with flag 2509001/3316026 1613.36/850.83 c cleaning 21998 clauses out of 44037 with flag 2531000/3338025 1625.03/857.10 c cleaning 21996 clauses out of 44040 with flag 2553001/3360026 1636.90/863.53 c cleaning 22000 clauses out of 44044 with flag 2575001/3382026 1649.52/870.59 c cleaning 22001 clauses out of 44045 with flag 2597002/3404027 1662.05/877.24 c cleaning 21995 clauses out of 44042 with flag 2619000/3426025 1672.29/882.89 c cleaning 21999 clauses out of 44052 with flag 2641005/3448030 1683.58/888.95 c cleaning 22005 clauses out of 44048 with flag 2663000/3470025 1694.36/895.09 c cleaning 22000 clauses out of 44043 with flag 2685000/3492025 1704.40/900.55 c cleaning 22001 clauses out of 44044 with flag 2707001/3514026 1715.82/906.73 c cleaning 21987 clauses out of 44042 with flag 2729000/3536025 1726.84/912.74 c cleaning 22006 clauses out of 44055 with flag 2751000/3558025 1738.23/919.18 c cleaning 22003 clauses out of 44049 with flag 2773000/3580025 1750.03/925.58 c cleaning 22005 clauses out of 44047 with flag 2795001/3602026 1761.22/931.67 c cleaning 21997 clauses out of 44041 with flag 2817000/3624025 1773.27/938.15 c cleaning 22002 clauses out of 44045 with flag 2839001/3646026 1785.02/944.80 c cleaning 21993 clauses out of 44042 with flag 2861000/3668025 1798.00/951.78 c cleaning 22003 clauses out of 44050 with flag 2883001/3690026 1800.19/953.33 c starts : 41 1800.19/953.33 c conflicts : 7327 1800.19/953.33 c decisions : 68078 1800.19/953.33 c propagations : 1202156 1800.19/953.33 c inspects : 199584794 1800.19/953.33 c shortcuts : 0 1800.19/953.33 c learnt literals : 0 1800.19/953.33 c learnt binary clauses : 0 1800.19/953.33 c learnt ternary clauses : 1 1800.19/953.33 c learnt constraints : 7322 1800.19/953.33 c ignored constraints : 0 1800.19/953.33 c root simplifications : 0 1800.19/953.33 c removed literals (reason simplification) : 0 1800.19/953.33 c reason swapping (by a shorter reason) : 0 1800.19/953.33 c Calls to reduceDB : 1 1800.19/953.33 c number of reductions to clauses (during analyze) : 0 1800.19/953.33 c number of learned constraints concerned by reduction : 0 1800.19/953.33 c number of learning phase by resolution : 0 1800.19/953.33 c number of learning phase by cutting planes : 0 1800.19/953.33 c speed (assignments/second) : 1522.0266408723803 1800.19/953.33 c non guided choices 0 1800.19/953.33 c learnt constraints type 1800.19/953.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 136 1800.19/953.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 1800.19/953.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7166 1800.19/953.33 c constraints type 1800.19/953.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1800.19/953.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.19/953.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1800.19/953.33 c constraints type 1800.19/953.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 1800.19/953.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 1800.19/953.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.19/953.33 s SATISFIABLE 1800.19/953.34 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 1800.19/953.35 c objective function=22 1800.19/953.35 c Total wall clock time (in seconds): 953.234
OK 22
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454129-1307193681/watcher-3454129-1307193681 -o /tmp/evaluation-result-3454129-1307193681/solver-3454129-1307193681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454129-1307193681.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: 2.05 2.56 3.19 2/555 12270 /proc/meminfo: memFree=28659792/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=30528 CPUtime=0 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 1238 0 0 0 0 0 0 0 21 0 2 0 909598791 31260672 957 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 7632 957 730 9 0 383 0 [pid=12270/tid=12271] ppid=12268 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) R 12268 12270 7463 0 -1 4202560 6705 0 1 0 0 0 0 0 22 0 2 0 909598792 10694979584 7521 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.123807 s] /proc/loadavg: 2.05 2.56 3.19 2/555 12270 /proc/meminfo: memFree=28659792/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10540276 CPUtime=0.13 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 13397 0 1 0 11 2 0 0 21 0 18 0 909598791 10793242624 13093 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2635069 13093 2133 9 0 2625803 0 [pid=12270/tid=12271] ppid=12268 vsize=10540276 CPUtime=0.1 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) R 12268 12270 7463 0 -1 4202560 11427 0 1 0 9 1 0 0 18 0 18 0 909598792 10793242624 13093 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10540276 [startup+0.20073 s] /proc/loadavg: 2.05 2.56 3.19 2/555 12270 /proc/meminfo: memFree=28659792/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10540704 CPUtime=0.25 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 14028 0 1 0 23 2 0 0 21 0 18 0 909598791 10793680896 13724 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2635176 13724 2169 9 0 2625910 0 [pid=12270/tid=12271] ppid=12268 vsize=10540704 CPUtime=0.18 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) R 12268 12270 7463 0 -1 4202560 11897 0 1 0 16 2 0 0 18 0 18 0 909598792 10793680896 13724 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505187559 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 10540704 [startup+0.300716 s] /proc/loadavg: 2.05 2.56 3.19 2/555 12270 /proc/meminfo: memFree=28659792/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10542300 CPUtime=0.47 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 15944 0 1 0 45 2 0 0 21 0 18 0 909598791 10795315200 15402 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2635575 15403 2200 9 0 2626309 0 [pid=12270/tid=12271] ppid=12268 vsize=10542300 CPUtime=0.28 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) R 12268 12270 7463 0 -1 4202560 13135 0 1 0 26 2 0 0 18 0 18 0 909598792 10795315200 15403 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505607918 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10542300 [startup+0.700686 s] /proc/loadavg: 2.05 2.56 3.19 2/555 12270 /proc/meminfo: memFree=28659792/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10551996 CPUtime=1.2 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 31620 0 1 0 116 4 0 0 21 0 19 0 909598791 10805243904 29360 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2637999 29360 2234 9 0 2628733 0 [pid=12270/tid=12271] ppid=12268 vsize=10551996 CPUtime=0.46 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) S 12268 12270 7463 0 -1 4202560 24251 0 1 0 43 3 0 0 19 0 19 0 909598792 10805243904 29360 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 10551996 [startup+1.50155 s] /proc/loadavg: 1.88 2.52 3.17 1/595 12322 /proc/meminfo: memFree=28377128/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10551996 CPUtime=1.31 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 32016 0 1 0 127 4 0 0 21 0 19 0 909598791 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2637999 29675 2236 9 0 2628733 0 [pid=12270/tid=12271] ppid=12268 vsize=10551996 CPUtime=0.47 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) R 12268 12270 7463 0 -1 4202560 24341 0 1 0 44 3 0 0 15 0 19 0 909598792 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742854 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=12270/tid=12278] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12278/stat : 12278 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12279] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12279/stat : 12279 (java) S 12268 12270 7463 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12280] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12280/stat : 12280 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12281] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12281/stat : 12281 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12282] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12282/stat : 12282 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12283] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12283/stat : 12283 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12284] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12284/stat : 12284 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12285] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12285/stat : 12285 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598794 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12287] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12287/stat : 12287 (java) S 12268 12270 7463 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 909598795 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 0 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12288] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12288/stat : 12288 (java) S 12268 12270 7463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 909598795 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12289] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12289/stat : 12289 (java) S 12268 12270 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909598795 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12302] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12302/stat : 12302 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909598798 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296749489 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12303] ppid=12268 vsize=10551996 CPUtime=0.36 cores=1,3,5,7 /proc/12270/task/12303/stat : 12303 (java) R 12268 12270 7463 0 -1 4202560 3258 0 0 0 36 0 0 0 15 0 19 0 909598798 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296751797 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=12270/tid=12304] ppid=12268 vsize=10551996 CPUtime=0.31 cores=1,3,5,7 /proc/12270/task/12304/stat : 12304 (java) R 12268 12270 7463 0 -1 4202560 2686 0 0 0 31 0 0 0 16 0 19 0 909598798 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 47652846341960 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12270/tid=12305] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12305/stat : 12305 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909598798 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12306] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12306/stat : 12306 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909598798 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12315] ppid=12268 vsize=10551996 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12315/stat : 12315 (java) S 12268 12270 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909598841 10805243904 29675 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 10551996 [startup+3.10125 s] /proc/loadavg: 1.88 2.52 3.17 7/601 12331 /proc/meminfo: memFree=27962592/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10561820 CPUtime=3.81 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 111776 0 1 0 368 13 0 0 21 0 22 0 909598791 10815303680 104400 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2640455 104400 2244 9 0 2631189 0 [pid=12270/tid=12271] ppid=12268 vsize=10561820 CPUtime=0.48 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) S 12268 12270 7463 0 -1 4202560 24564 0 1 0 45 3 0 0 16 0 22 0 909598792 10815303680 104400 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12278] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12278/stat : 12278 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909598794 10815303680 104400 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12279] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12279/stat : 12279 (java) S 12268 12270 7463 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12280] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12280/stat : 12280 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12281] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12281/stat : 12281 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12282] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12282/stat : 12282 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12283] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12283/stat : 12283 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12284] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12284/stat : 12284 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12285] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12285/stat : 12285 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598794 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12287] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12287/stat : 12287 (java) S 12268 12270 7463 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 909598795 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 0 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12288] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12288/stat : 12288 (java) S 12268 12270 7463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909598795 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12289] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12289/stat : 12289 (java) S 12268 12270 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909598795 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12302] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12302/stat : 12302 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909598798 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296749489 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12303] ppid=12268 vsize=10561820 CPUtime=0.88 cores=1,3,5,7 /proc/12270/task/12303/stat : 12303 (java) S 12268 12270 7463 0 -1 4202560 7697 0 0 0 88 0 0 0 15 0 22 0 909598798 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12304] ppid=12268 vsize=10561820 CPUtime=0.62 cores=1,3,5,7 /proc/12270/task/12304/stat : 12304 (java) S 12268 12270 7463 0 -1 4202560 5980 0 0 0 62 0 0 0 15 0 22 0 909598798 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12305] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12305/stat : 12305 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598798 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12306] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12306/stat : 12306 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909598798 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12315] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12315/stat : 12315 (java) S 12268 12270 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909598841 10815303680 104401 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.81 Current children cumulated vsize (KiB) 10561820 [startup+6.30071 s] /proc/loadavg: 1.88 2.52 3.17 5/601 12334 /proc/meminfo: memFree=26607208/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10561820 CPUtime=10.25 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 229401 0 1 0 1000 25 0 0 21 0 22 0 909598791 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2640455 221747 2268 9 0 2631189 0 [pid=12270/tid=12271] ppid=12268 vsize=10561820 CPUtime=0.48 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) S 12268 12270 7463 0 -1 4202560 24564 0 1 0 45 3 0 0 15 0 22 0 909598792 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12278] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12278/stat : 12278 (java) S 12268 12270 7463 0 -1 4202560 797 0 0 0 0 0 0 0 18 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12279] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12279/stat : 12279 (java) S 12268 12270 7463 0 -1 4202560 647 0 0 0 0 0 0 0 18 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12280] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12280/stat : 12280 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12281] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12281/stat : 12281 (java) S 12268 12270 7463 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12282] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12282/stat : 12282 (java) S 12268 12270 7463 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12283] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12283/stat : 12283 (java) S 12268 12270 7463 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12284] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12284/stat : 12284 (java) S 12268 12270 7463 0 -1 4202560 395 0 0 0 0 0 0 0 16 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12285] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12285/stat : 12285 (java) S 12268 12270 7463 0 -1 4202560 906 0 0 0 0 0 0 0 18 0 22 0 909598794 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12287] ppid=12268 vsize=10561820 CPUtime=0.1 cores=1,3,5,7 /proc/12270/task/12287/stat : 12287 (java) S 12268 12270 7463 0 -1 4202560 2982 0 0 0 10 0 0 0 15 0 22 0 909598795 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 0 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12288] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12288/stat : 12288 (java) S 12268 12270 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12289] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12289/stat : 12289 (java) S 12268 12270 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12302] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12302/stat : 12302 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909598798 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296749489 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12303] ppid=12268 vsize=10561820 CPUtime=0.96 cores=1,3,5,7 /proc/12270/task/12303/stat : 12303 (java) S 12268 12270 7463 0 -1 4202560 7706 0 0 0 96 0 0 0 15 0 22 0 909598798 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12304] ppid=12268 vsize=10561820 CPUtime=0.68 cores=1,3,5,7 /proc/12270/task/12304/stat : 12304 (java) S 12268 12270 7463 0 -1 4202560 6170 0 0 0 68 0 0 0 15 0 22 0 909598798 10815303680 221747 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=21088832/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10561820 CPUtime=1671.34 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 909563 0 1 0 167034 100 0 0 21 0 22 0 909598791 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2640455 894553 2270 9 0 2631189 0 [pid=12270/tid=12271] ppid=12268 vsize=10561820 CPUtime=0.49 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) S 12268 12270 7463 0 -1 4202560 24650 0 1 0 46 3 0 0 15 0 22 0 909598792 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12278] ppid=12268 vsize=10561820 CPUtime=1.11 cores=1,3,5,7 /proc/12270/task/12278/stat : 12278 (java) S 12268 12270 7463 0 -1 4202560 4463 0 0 0 111 0 0 0 16 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12279] ppid=12268 vsize=10561820 CPUtime=0.85 cores=1,3,5,7 /proc/12270/task/12279/stat : 12279 (java) S 12268 12270 7463 0 -1 4202560 3486 0 0 0 85 0 0 0 15 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12280] ppid=12268 vsize=10561820 CPUtime=1.08 cores=1,3,5,7 /proc/12270/task/12280/stat : 12280 (java) S 12268 12270 7463 0 -1 4202560 2193 0 0 0 108 0 0 0 15 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12281] ppid=12268 vsize=10561820 CPUtime=1.1 cores=1,3,5,7 /proc/12270/task/12281/stat : 12281 (java) S 12268 12270 7463 0 -1 4202560 3599 0 0 0 110 0 0 0 16 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12282] ppid=12268 vsize=10561820 CPUtime=1.03 cores=1,3,5,7 /proc/12270/task/12282/stat : 12282 (java) S 12268 12270 7463 0 -1 4202560 1894 0 0 0 103 0 0 0 16 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12283] ppid=12268 vsize=10561820 CPUtime=0.88 cores=1,3,5,7 /proc/12270/task/12283/stat : 12283 (java) S 12268 12270 7463 0 -1 4202560 2684 0 0 0 88 0 0 0 15 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12284] ppid=12268 vsize=10561820 CPUtime=1.12 cores=1,3,5,7 /proc/12270/task/12284/stat : 12284 (java) S 12268 12270 7463 0 -1 4202560 2878 0 0 0 112 0 0 0 16 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12285] ppid=12268 vsize=10561820 CPUtime=0.97 cores=1,3,5,7 /proc/12270/task/12285/stat : 12285 (java) S 12268 12270 7463 0 -1 4202560 3374 0 0 0 97 0 0 0 15 0 22 0 909598794 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12287] ppid=12268 vsize=10561820 CPUtime=93.82 cores=1,3,5,7 /proc/12270/task/12287/stat : 12287 (java) S 12268 12270 7463 0 -1 4202560 126197 0 0 0 9368 14 0 0 15 0 22 0 909598795 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 0 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12288] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12288/stat : 12288 (java) S 12268 12270 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12289] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12289/stat : 12289 (java) S 12268 12270 7463 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12302] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12302/stat : 12302 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909598798 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296749489 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12303] ppid=12268 vsize=10561820 CPUtime=1.4 cores=1,3,5,7 /proc/12270/task/12303/stat : 12303 (java) S 12268 12270 7463 0 -1 4202560 7757 0 0 0 140 0 0 0 15 0 22 0 909598798 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12304] ppid=12268 vsize=10561820 CPUtime=1.48 cores=1,3,5,7 /proc/12270/task/12304/stat : 12304 (java) S 12268 12270 7463 0 -1 4202560 15810 0 0 0 146 2 0 0 15 0 22 0 909598798 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12305] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12305/stat : 12305 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598798 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12306] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12306/stat : 12306 (java) S 12268 12270 7463 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909598798 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12342] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12342/stat : 12342 (java) S 12268 12270 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909607520 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12345] ppid=12268 vsize=10561820 CPUtime=630.27 cores=1,3,5,7 /proc/12270/task/12345/stat : 12345 (java) R 12268 12270 7463 0 -1 4202560 297 0 0 0 63027 0 0 0 25 0 22 0 909615141 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505805544 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=12270/tid=12346] ppid=12268 vsize=10561820 CPUtime=630.28 cores=1,3,5,7 /proc/12270/task/12346/stat : 12346 (java) R 12268 12270 7463 0 -1 4202560 87499 0 0 0 63020 8 0 0 25 0 22 0 909615141 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912506178681 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12270/tid=12347] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12347/stat : 12347 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909615141 10815303680 894553 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1671.34 Current children cumulated vsize (KiB) 10561820 [startup+942.301 s] /proc/loadavg: 3.86 3.82 3.62 5/601 12432 /proc/meminfo: memFree=24505384/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10561820 CPUtime=1780.23 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 914852 0 1 0 177922 101 0 0 21 0 22 0 909598791 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2640455 899826 2270 9 0 2631189 0 [pid=12270/tid=12271] ppid=12268 vsize=10561820 CPUtime=0.49 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) S 12268 12270 7463 0 -1 4202560 24650 0 1 0 46 3 0 0 15 0 22 0 909598792 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12278] ppid=12268 vsize=10561820 CPUtime=1.16 cores=1,3,5,7 /proc/12270/task/12278/stat : 12278 (java) S 12268 12270 7463 0 -1 4202560 4463 0 0 0 116 0 0 0 16 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12279] ppid=12268 vsize=10561820 CPUtime=0.92 cores=1,3,5,7 /proc/12270/task/12279/stat : 12279 (java) S 12268 12270 7463 0 -1 4202560 3486 0 0 0 92 0 0 0 16 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12280] ppid=12268 vsize=10561820 CPUtime=1.17 cores=1,3,5,7 /proc/12270/task/12280/stat : 12280 (java) S 12268 12270 7463 0 -1 4202560 2193 0 0 0 117 0 0 0 15 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12281] ppid=12268 vsize=10561820 CPUtime=1.17 cores=1,3,5,7 /proc/12270/task/12281/stat : 12281 (java) S 12268 12270 7463 0 -1 4202560 3599 0 0 0 117 0 0 0 15 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12282] ppid=12268 vsize=10561820 CPUtime=1.16 cores=1,3,5,7 /proc/12270/task/12282/stat : 12282 (java) S 12268 12270 7463 0 -1 4202560 1901 0 0 0 116 0 0 0 16 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12283] ppid=12268 vsize=10561820 CPUtime=0.96 cores=1,3,5,7 /proc/12270/task/12283/stat : 12283 (java) S 12268 12270 7463 0 -1 4202560 2684 0 0 0 96 0 0 0 15 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12284] ppid=12268 vsize=10561820 CPUtime=1.25 cores=1,3,5,7 /proc/12270/task/12284/stat : 12284 (java) S 12268 12270 7463 0 -1 4202560 2878 0 0 0 125 0 0 0 16 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12285] ppid=12268 vsize=10561820 CPUtime=1.09 cores=1,3,5,7 /proc/12270/task/12285/stat : 12285 (java) S 12268 12270 7463 0 -1 4202560 3384 0 0 0 109 0 0 0 15 0 22 0 909598794 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12287] ppid=12268 vsize=10561820 CPUtime=105.21 cores=1,3,5,7 /proc/12270/task/12287/stat : 12287 (java) S 12268 12270 7463 0 -1 4202560 131457 0 0 0 10506 15 0 0 15 0 22 0 909598795 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 0 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12288] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12288/stat : 12288 (java) S 12268 12270 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12289] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12289/stat : 12289 (java) S 12268 12270 7463 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12302] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12302/stat : 12302 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909598798 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296749489 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12303] ppid=12268 vsize=10561820 CPUtime=1.4 cores=1,3,5,7 /proc/12270/task/12303/stat : 12303 (java) S 12268 12270 7463 0 -1 4202560 7757 0 0 0 140 0 0 0 15 0 22 0 909598798 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12304] ppid=12268 vsize=10561820 CPUtime=1.48 cores=1,3,5,7 /proc/12270/task/12304/stat : 12304 (java) S 12268 12270 7463 0 -1 4202560 15810 0 0 0 146 2 0 0 15 0 22 0 909598798 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12305] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12305/stat : 12305 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598798 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12306] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12306/stat : 12306 (java) S 12268 12270 7463 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909598798 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12342] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12342/stat : 12342 (java) S 12268 12270 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909607520 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12345] ppid=12268 vsize=10561820 CPUtime=678.65 cores=1,3,5,7 /proc/12270/task/12345/stat : 12345 (java) R 12268 12270 7463 0 -1 4202560 307 0 0 0 67865 0 0 0 23 0 22 0 909615141 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505805396 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=12270/tid=12346] ppid=12268 vsize=10561820 CPUtime=678.66 cores=1,3,5,7 /proc/12270/task/12346/stat : 12346 (java) R 12268 12270 7463 0 -1 4202560 87499 0 0 0 67858 8 0 0 23 0 22 0 909615141 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505922861 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12270/tid=12347] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12347/stat : 12347 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909615141 10815303680 899826 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1780.23 Current children cumulated vsize (KiB) 10561820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+953.302 s] /proc/loadavg: 3.81 3.81 3.62 5/601 12432 /proc/meminfo: memFree=24489504/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=10561820 CPUtime=1800.19 cores=1,3,5,7 /proc/12270/stat : 12270 (java) S 12268 12270 7463 0 -1 4202496 916449 0 1 0 179917 102 0 0 21 0 22 0 909598791 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/12270/statm: 2640455 901417 2270 9 0 2631189 0 [pid=12270/tid=12271] ppid=12268 vsize=10561820 CPUtime=0.49 cores=1,3,5,7 /proc/12270/task/12271/stat : 12271 (java) S 12268 12270 7463 0 -1 4202560 24650 0 1 0 46 3 0 0 15 0 22 0 909598792 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12278] ppid=12268 vsize=10561820 CPUtime=1.16 cores=1,3,5,7 /proc/12270/task/12278/stat : 12278 (java) S 12268 12270 7463 0 -1 4202560 4463 0 0 0 116 0 0 0 15 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12279] ppid=12268 vsize=10561820 CPUtime=0.92 cores=1,3,5,7 /proc/12270/task/12279/stat : 12279 (java) S 12268 12270 7463 0 -1 4202560 3486 0 0 0 92 0 0 0 15 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12280] ppid=12268 vsize=10561820 CPUtime=1.2 cores=1,3,5,7 /proc/12270/task/12280/stat : 12280 (java) S 12268 12270 7463 0 -1 4202560 2193 0 0 0 120 0 0 0 15 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12281] ppid=12268 vsize=10561820 CPUtime=1.22 cores=1,3,5,7 /proc/12270/task/12281/stat : 12281 (java) S 12268 12270 7463 0 -1 4202560 3599 0 0 0 122 0 0 0 16 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12282] ppid=12268 vsize=10561820 CPUtime=1.16 cores=1,3,5,7 /proc/12270/task/12282/stat : 12282 (java) S 12268 12270 7463 0 -1 4202560 1901 0 0 0 116 0 0 0 15 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12283] ppid=12268 vsize=10561820 CPUtime=0.96 cores=1,3,5,7 /proc/12270/task/12283/stat : 12283 (java) S 12268 12270 7463 0 -1 4202560 2684 0 0 0 96 0 0 0 15 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12284] ppid=12268 vsize=10561820 CPUtime=1.27 cores=1,3,5,7 /proc/12270/task/12284/stat : 12284 (java) S 12268 12270 7463 0 -1 4202560 2878 0 0 0 127 0 0 0 16 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12285] ppid=12268 vsize=10561820 CPUtime=1.14 cores=1,3,5,7 /proc/12270/task/12285/stat : 12285 (java) S 12268 12270 7463 0 -1 4202560 3384 0 0 0 114 0 0 0 16 0 22 0 909598794 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12287] ppid=12268 vsize=10561820 CPUtime=107.31 cores=1,3,5,7 /proc/12270/task/12287/stat : 12287 (java) S 12268 12270 7463 0 -1 4202560 133050 0 0 0 10716 15 0 0 17 0 22 0 909598795 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 0 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12288] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12288/stat : 12288 (java) S 12268 12270 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12289] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12289/stat : 12289 (java) S 12268 12270 7463 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909598795 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12302] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12302/stat : 12302 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909598798 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296749489 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12303] ppid=12268 vsize=10561820 CPUtime=1.4 cores=1,3,5,7 /proc/12270/task/12303/stat : 12303 (java) S 12268 12270 7463 0 -1 4202560 7757 0 0 0 140 0 0 0 15 0 22 0 909598798 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 [pid=12270/tid=12304] ppid=12268 vsize=10561820 CPUtime=1.48 cores=1,3,5,7 /proc/12270/task/12304/stat : 12304 (java) S 12268 12270 7463 0 -1 4202560 15810 0 0 0 146 2 0 0 15 0 22 0 909598798 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12305] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12305/stat : 12305 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909598798 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296741785 0 4 0 16800975 18446604470983618944 0 0 -1 5 0 0 0 [pid=12270/tid=12306] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12306/stat : 12306 (java) S 12268 12270 7463 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 909598798 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 1 0 0 0 [pid=12270/tid=12342] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12342/stat : 12342 (java) S 12268 12270 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909607520 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 3 0 0 0 [pid=12270/tid=12345] ppid=12268 vsize=10561820 CPUtime=687.51 cores=1,3,5,7 /proc/12270/task/12345/stat : 12345 (java) R 12268 12270 7463 0 -1 4202560 309 0 0 0 68751 0 0 0 18 0 22 0 909615141 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912505796379 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=12270/tid=12346] ppid=12268 vsize=10561820 CPUtime=687.52 cores=1,3,5,7 /proc/12270/task/12346/stat : 12346 (java) R 12268 12270 7463 0 -1 4202560 87499 0 0 0 68744 8 0 0 18 0 22 0 909615141 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 46912506178334 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12270/tid=12347] ppid=12268 vsize=10561820 CPUtime=0 cores=1,3,5,7 /proc/12270/task/12347/stat : 12347 (java) S 12268 12270 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909615141 10815303680 901417 33554432000 1073741824 1073778376 140733434330528 18446744073709551615 224296742400 0 4 0 16800975 18446604470983618944 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 10561820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+953.501 s] /proc/loadavg: 3.81 3.81 3.62 5/601 12432 /proc/meminfo: memFree=24489504/32951124 swapFree=34426104/67111528 [pid=12270] ppid=12268 vsize=0 CPUtime=1800.44 cores=1,3,5,7 /proc/12270/stat : 12270 (java) Z 12268 12270 7463 0 -1 4203548 916480 0 1 0 179929 115 0 0 17 0 2 0 909598791 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12270/statm: 0 0 0 0 0 0 0 [pid=12270/tid=12346] ppid=12268 vsize=0 CPUtime=687.67 cores=1,3,5,7 /proc/12270/task/12346/stat : 12346 (java) R 12268 12270 7463 0 -1 4203588 87499 0 0 0 68746 21 0 0 18 0 2 0 909615141 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 953.505 CPU time (s): 1800.46 CPU user time (s): 1799.29 CPU system time (s): 1.16182 CPU usage (%): 188.825 Max. virtual memory (cumulated for all children) (KiB): 10561820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 1.16182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 916480 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27556 involuntary context switches= 25608 runsolver used 5.45817 second user time and 12.865 second system time The end
Begin job on node118 at 2011-06-04 15:21:21 IDJOB=3454129 IDBENCH=25015 IDSOLVER=1950 FILE ID=node118/3454129-1307193681 RUNJOBID= node118-1307193681-12257 PBS_JOBID= 13508852 Free space on /tmp= 73768 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454129-1307193681/watcher-3454129-1307193681 -o /tmp/evaluation-result-3454129-1307193681/solver-3454129-1307193681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454129-1307193681.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=718073914 node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28659824 kB Buffers: 327064 kB Cached: 2062136 kB SwapCached: 56168 kB Active: 897828 kB Inactive: 3055388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28659824 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 1640 kB Writeback: 40 kB AnonPages: 1521704 kB Mapped: 14240 kB Slab: 151320 kB PageTables: 115196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183778912 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73768 MiB End job on node118 at 2011-06-04 15:37:17