Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 29 | 1800.02 | 937.954 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 9.00163 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 5256 |
Total number of constraints | 15614 |
Number of constraints which are clauses | 15614 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2531 |
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 | 2531 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2531 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.19 c See www.sat4j.org for details. 0.02/0.19 c version 2.3.1.v20110525 0.02/0.19 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.19 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.19 c java.vm.version 19.1-b02 0.02/0.19 c java.vm.vendor Sun Microsystems Inc. 0.02/0.19 c sun.arch.data.model 64 0.02/0.19 c java.version 1.6.0_24 0.02/0.19 c os.name Linux 0.02/0.19 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.19 c os.arch amd64 0.02/0.19 c Free memory 9996466904 0.02/0.19 c Max memory 10048897024 0.02/0.19 c Total memory 10048897024 0.02/0.19 c Number of processors 8 0.10/0.22 c Pseudo Boolean Optimization 0.10/0.22 c ManyCore solver with 2 solvers running in parallel 0.10/0.22 c --- Begin Solver configuration --- 0.10/0.22 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.22 c Learn all clauses as in MiniSAT 0.10/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.22 c Expensive reason simplification 0.10/0.22 c Armin Biere (Picosat) restarts strategy 0.10/0.22 c Glucose learned constraints deletion strategy 0.10/0.22 c timeout=2147483s 0.10/0.22 c DB Simplification allowed=false 0.10/0.22 c --- End Solver configuration --- 0.10/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.22 c --- Begin Solver configuration --- 0.10/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.22 c Learn all clauses as in MiniSAT 0.10/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.22 c No reason simplification 0.10/0.22 c Armin Biere (Picosat) restarts strategy 0.10/0.22 c Glucose learned constraints deletion strategy 0.10/0.22 c timeout=2147483s 0.10/0.22 c DB Simplification allowed=false 0.10/0.22 c --- End Solver configuration --- 0.10/0.22 c solving HOME/instance-3735839-1338713269.opb 0.10/0.22 c reading problem ... 0.80/0.55 c ... done. Wall clock time 0.333s. 0.80/0.55 c #vars 5256 0.80/0.55 c #constraints 15614 0.80/0.55 c constraints type 0.80/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734 0.80/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658 0.80/0.55 c constraints type 0.80/0.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658 0.80/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734 1.14/0.61 c And the winner is CuttingPlanes 1.24/1.06 c SATISFIABLE 1.24/1.06 c OPTIMIZING... 1.24/1.10 c Got one! Elapsed wall clock time (in seconds):0.845 1.24/1.10 o 43 1.38/1.10 c And the winner is Resolution 1.72/1.58 c Got one! Elapsed wall clock time (in seconds):1.363 1.72/1.58 o 42 1.76/1.65 c And the winner is Resolution 2.00/2.09 c Got one! Elapsed wall clock time (in seconds):1.877 2.00/2.09 o 36 2.03/2.14 c And the winner is Resolution 2.22/2.61 c Got one! Elapsed wall clock time (in seconds):2.392 2.22/2.61 o 34 2.22/2.66 c And the winner is Resolution 2.37/3.12 c Got one! Elapsed wall clock time (in seconds):2.9 2.37/3.12 o 32 5.91/4.70 c cleaning 2765 clauses out of 5535 with flag 5000/5535 9.43/6.50 c cleaning 4382 clauses out of 8770 with flag 11000/11535 11.41/7.48 c And the winner is Resolution 11.64/7.63 c Got one! Elapsed wall clock time (in seconds):7.408 11.64/7.63 o 31 12.40/8.08 c cleaning 4883 clauses out of 9776 with flag 2000/16923 15.82/9.76 c cleaning 5442 clauses out of 10895 with flag 8002/22925 19.42/11.58 c cleaning 6223 clauses out of 12451 with flag 15000/29923 24.05/13.81 c cleaning 7106 clauses out of 14228 with flag 23000/37923 29.21/16.45 c cleaning 8053 clauses out of 16122 with flag 32000/46923 34.96/19.31 c cleaning 9031 clauses out of 18073 with flag 42004/56927 41.09/22.45 c cleaning 10014 clauses out of 20038 with flag 53000/67923 47.65/25.72 c cleaning 11009 clauses out of 22025 with flag 65001/79924 55.21/29.52 c cleaning 12002 clauses out of 24018 with flag 78003/92926 62.38/33.10 c cleaning 12991 clauses out of 26013 with flag 92000/106923 70.73/37.30 c cleaning 14004 clauses out of 28022 with flag 107000/121923 78.87/41.46 c cleaning 14996 clauses out of 30018 with flag 123000/137923 88.24/46.18 c cleaning 15502 clauses out of 31023 with flag 139001/153924 97.57/50.84 c cleaning 15755 clauses out of 31520 with flag 155000/169923 99.09/51.68 c And the winner is Resolution 99.15/52.18 c Got one! Elapsed wall clock time (in seconds):51.965 99.15/52.18 o 30 100.58/52.93 c cleaning 10522 clauses out of 21058 with flag 3000/175216 103.71/54.52 c cleaning 8260 clauses out of 16537 with flag 9001/181217 107.65/56.52 c cleaning 7631 clauses out of 15276 with flag 16000/188216 111.80/58.68 c cleaning 7812 clauses out of 15646 with flag 24001/196217 117.10/61.34 c cleaning 8408 clauses out of 16834 with flag 33001/205217 122.63/64.17 c cleaning 9204 clauses out of 18425 with flag 43000/215216 128.77/67.29 c cleaning 10100 clauses out of 20221 with flag 54000/226216 135.92/70.86 c cleaning 11046 clauses out of 22121 with flag 66000/238216 143.65/74.77 c cleaning 12023 clauses out of 24075 with flag 79000/251216 151.76/78.84 c cleaning 13020 clauses out of 26053 with flag 93001/265217 160.28/83.16 c cleaning 14006 clauses out of 28032 with flag 108000/280216 169.47/87.78 c cleaning 15007 clauses out of 30027 with flag 124001/296217 179.36/92.78 c cleaning 15501 clauses out of 31019 with flag 140000/312216 189.50/97.87 c cleaning 15753 clauses out of 31518 with flag 156000/328216 198.21/102.25 c cleaning 15874 clauses out of 31766 with flag 172001/344217 207.13/106.79 c cleaning 15934 clauses out of 31891 with flag 188000/360216 216.35/111.42 c cleaning 15965 clauses out of 31957 with flag 204000/376216 225.24/115.90 c cleaning 15989 clauses out of 31992 with flag 220000/392216 233.93/120.36 c cleaning 15996 clauses out of 32003 with flag 236000/408216 243.42/125.17 c cleaning 15993 clauses out of 32007 with flag 252000/424216 252.83/129.98 c cleaning 15998 clauses out of 32014 with flag 268000/440216 261.51/134.35 c cleaning 15999 clauses out of 32016 with flag 284000/456216 270.39/138.87 c cleaning 15998 clauses out of 32018 with flag 300001/472217 278.85/143.13 c cleaning 16003 clauses out of 32019 with flag 316000/488216 287.26/147.48 c cleaning 16002 clauses out of 32016 with flag 332000/504216 295.93/151.81 c cleaning 16002 clauses out of 32018 with flag 348004/520220 303.98/155.96 c cleaning 15995 clauses out of 32012 with flag 364000/536216 312.84/160.48 c cleaning 16001 clauses out of 32017 with flag 380000/552216 322.64/165.41 c cleaning 15996 clauses out of 32016 with flag 396000/568216 331.91/170.15 c cleaning 16001 clauses out of 32020 with flag 412000/584216 340.76/174.61 c cleaning 16006 clauses out of 32021 with flag 428002/600218 348.81/178.74 c cleaning 15999 clauses out of 32013 with flag 444000/616216 356.78/182.86 c cleaning 15993 clauses out of 32014 with flag 460000/632216 365.84/187.42 c cleaning 16006 clauses out of 32022 with flag 476001/648217 373.88/191.55 c cleaning 15997 clauses out of 32015 with flag 492000/664216 381.73/195.56 c cleaning 16001 clauses out of 32018 with flag 508000/680216 389.68/199.69 c cleaning 15999 clauses out of 32018 with flag 524001/696217 398.13/203.96 c cleaning 15999 clauses out of 32018 with flag 540000/712216 406.57/208.24 c cleaning 16002 clauses out of 32020 with flag 556001/728217 414.82/212.43 c cleaning 15998 clauses out of 32017 with flag 572000/744216 423.75/217.04 c cleaning 15998 clauses out of 32019 with flag 588000/760216 432.80/221.66 c cleaning 15998 clauses out of 32021 with flag 604000/776216 438.04/224.40 c And the winner is Resolution 437.61/224.64 c Got one! Elapsed wall clock time (in seconds):224.418 437.61/224.64 o 29 440.32/226.06 c cleaning 15031 clauses out of 30075 with flag 5001/790268 444.16/228.00 c cleaning 10512 clauses out of 21043 with flag 11000/796267 448.48/230.37 c cleaning 8756 clauses out of 17531 with flag 18000/803267 453.31/232.85 c cleaning 8381 clauses out of 16776 with flag 26001/811268 458.53/235.53 c cleaning 8684 clauses out of 17394 with flag 35000/820267 464.36/238.59 c cleaning 9343 clauses out of 18710 with flag 45000/830267 470.88/241.94 c cleaning 10175 clauses out of 20368 with flag 56001/841268 477.68/245.46 c cleaning 11087 clauses out of 22192 with flag 68000/853267 485.91/249.63 c cleaning 12043 clauses out of 24105 with flag 81000/866267 494.11/253.89 c cleaning 13024 clauses out of 26062 with flag 95000/880267 502.62/258.23 c cleaning 14015 clauses out of 28039 with flag 110001/895268 511.42/262.73 c cleaning 15004 clauses out of 30023 with flag 126000/911267 520.23/267.24 c cleaning 15502 clauses out of 31020 with flag 142001/927268 529.62/272.06 c cleaning 15747 clauses out of 31517 with flag 158000/943267 539.12/276.91 c cleaning 15871 clauses out of 31770 with flag 174000/959267 548.13/281.56 c cleaning 15945 clauses out of 31899 with flag 190000/975267 557.10/286.11 c cleaning 15970 clauses out of 31954 with flag 206000/991267 566.09/290.74 c cleaning 15980 clauses out of 31984 with flag 222000/1007267 575.52/295.61 c cleaning 15996 clauses out of 32005 with flag 238001/1023268 585.10/300.57 c cleaning 15992 clauses out of 32008 with flag 254000/1039267 595.26/305.77 c cleaning 15999 clauses out of 32017 with flag 270001/1055268 605.81/311.16 c cleaning 16001 clauses out of 32017 with flag 286000/1071267 615.02/315.93 c cleaning 15995 clauses out of 32016 with flag 302000/1087267 623.18/320.14 c cleaning 16004 clauses out of 32023 with flag 318002/1103269 631.11/324.23 c cleaning 16002 clauses out of 32018 with flag 334001/1119268 639.27/328.48 c cleaning 15999 clauses out of 32016 with flag 350001/1135268 648.48/333.23 c cleaning 15999 clauses out of 32017 with flag 366001/1151268 657.99/338.14 c cleaning 15996 clauses out of 32017 with flag 382000/1167267 667.32/342.95 c cleaning 16007 clauses out of 32022 with flag 398001/1183268 676.05/347.49 c cleaning 15996 clauses out of 32014 with flag 414000/1199267 685.43/352.39 c cleaning 16000 clauses out of 32019 with flag 430001/1215268 695.16/357.35 c cleaning 15992 clauses out of 32018 with flag 446000/1231267 704.88/362.36 c cleaning 16001 clauses out of 32026 with flag 462000/1247267 714.38/367.24 c cleaning 16004 clauses out of 32026 with flag 478001/1263268 723.93/372.28 c cleaning 15999 clauses out of 32021 with flag 494000/1279267 733.44/377.18 c cleaning 15997 clauses out of 32022 with flag 510000/1295267 742.75/381.97 c cleaning 16007 clauses out of 32026 with flag 526001/1311268 752.26/386.87 c cleaning 16004 clauses out of 32018 with flag 542000/1327267 760.80/391.30 c cleaning 15999 clauses out of 32015 with flag 558001/1343268 769.50/395.82 c cleaning 16001 clauses out of 32015 with flag 574000/1359267 777.61/400.08 c cleaning 16001 clauses out of 32015 with flag 590001/1375268 786.10/404.45 c cleaning 16001 clauses out of 32013 with flag 606000/1391267 795.23/409.21 c cleaning 15996 clauses out of 32012 with flag 622000/1407267 803.91/413.75 c cleaning 15992 clauses out of 32018 with flag 638002/1423269 813.63/418.71 c cleaning 16003 clauses out of 32024 with flag 654000/1439267 823.34/423.76 c cleaning 16004 clauses out of 32022 with flag 670001/1455268 832.85/428.76 c cleaning 16000 clauses out of 32017 with flag 686000/1471267 842.75/433.86 c cleaning 16004 clauses out of 32017 with flag 702000/1487267 852.44/438.82 c cleaning 16002 clauses out of 32014 with flag 718001/1503268 861.52/443.57 c cleaning 16001 clauses out of 32011 with flag 734000/1519267 870.64/448.37 c cleaning 15995 clauses out of 32010 with flag 750000/1535267 879.52/452.93 c cleaning 16000 clauses out of 32015 with flag 766000/1551267 888.02/457.36 c cleaning 15998 clauses out of 32015 with flag 782000/1567267 896.71/461.81 c cleaning 16002 clauses out of 32017 with flag 798000/1583267 905.80/466.62 c cleaning 16001 clauses out of 32019 with flag 814004/1599271 914.29/471.09 c cleaning 15999 clauses out of 32014 with flag 830000/1615267 922.57/475.39 c cleaning 16001 clauses out of 32015 with flag 846000/1631267 931.25/479.88 c cleaning 15994 clauses out of 32014 with flag 862000/1647267 940.73/484.84 c cleaning 16003 clauses out of 32020 with flag 878000/1663267 950.41/489.88 c cleaning 16004 clauses out of 32017 with flag 894000/1679267 960.09/494.84 c cleaning 15999 clauses out of 32014 with flag 910001/1695268 969.55/499.71 c cleaning 16000 clauses out of 32015 with flag 926001/1711268 979.46/504.92 c cleaning 15999 clauses out of 32014 with flag 942000/1727267 988.72/509.70 c cleaning 16002 clauses out of 32015 with flag 958000/1743267 997.80/514.45 c cleaning 15993 clauses out of 32015 with flag 974002/1759269 1006.47/518.94 c cleaning 16007 clauses out of 32021 with flag 990001/1775268 1015.34/523.64 c cleaning 15998 clauses out of 32013 with flag 1006000/1791267 1024.40/528.35 c cleaning 15998 clauses out of 32017 with flag 1022002/1807269 1033.67/533.18 c cleaning 15997 clauses out of 32017 with flag 1038000/1823267 1042.94/537.92 c cleaning 15999 clauses out of 32020 with flag 1054000/1839267 1052.38/542.97 c cleaning 15997 clauses out of 32022 with flag 1070001/1855268 1061.25/547.54 c cleaning 16004 clauses out of 32024 with flag 1086000/1871267 1069.91/552.09 c cleaning 16003 clauses out of 32020 with flag 1102000/1887267 1079.16/556.83 c cleaning 15992 clauses out of 32017 with flag 1118000/1903267 1088.21/561.64 c cleaning 16006 clauses out of 32025 with flag 1134000/1919267 1097.48/566.44 c cleaning 15993 clauses out of 32020 with flag 1150001/1935268 1107.32/571.56 c cleaning 15998 clauses out of 32026 with flag 1166000/1951267 1116.57/576.35 c cleaning 16006 clauses out of 32029 with flag 1182001/1967268 1126.40/581.50 c cleaning 16003 clauses out of 32023 with flag 1198001/1983268 1135.03/586.06 c cleaning 16006 clauses out of 32019 with flag 1214000/1999267 1144.11/590.74 c cleaning 15999 clauses out of 32013 with flag 1230000/2015267 1153.55/595.69 c cleaning 16000 clauses out of 32014 with flag 1246000/2031267 1163.37/600.89 c cleaning 15997 clauses out of 32014 with flag 1262000/2047267 1173.19/605.95 c cleaning 16001 clauses out of 32017 with flag 1278000/2063267 1183.23/611.13 c cleaning 16007 clauses out of 32017 with flag 1294001/2079268 1192.50/615.96 c cleaning 15997 clauses out of 32009 with flag 1310000/2095267 1201.68/620.87 c cleaning 15998 clauses out of 32012 with flag 1326000/2111267 1211.70/626.02 c cleaning 15996 clauses out of 32014 with flag 1342000/2127267 1220.92/630.86 c cleaning 15989 clauses out of 32018 with flag 1358000/2143267 1230.94/636.00 c cleaning 16005 clauses out of 32029 with flag 1374000/2159267 1241.29/641.52 c cleaning 16004 clauses out of 32024 with flag 1390000/2175267 1251.07/646.62 c cleaning 16006 clauses out of 32022 with flag 1406002/2191269 1260.07/651.31 c cleaning 16003 clauses out of 32015 with flag 1422001/2207268 1268.85/655.96 c cleaning 15993 clauses out of 32011 with flag 1438000/2223267 1277.95/660.89 c cleaning 15998 clauses out of 32018 with flag 1454000/2239267 1286.94/665.52 c cleaning 15992 clauses out of 32020 with flag 1470000/2255267 1295.70/670.19 c cleaning 16005 clauses out of 32029 with flag 1486001/2271268 1305.08/675.00 c cleaning 16007 clauses out of 32023 with flag 1502000/2287267 1314.19/679.94 c cleaning 15996 clauses out of 32016 with flag 1518000/2303267 1323.74/684.96 c cleaning 16001 clauses out of 32020 with flag 1534000/2319267 1332.50/689.52 c cleaning 16004 clauses out of 32019 with flag 1550000/2335267 1342.65/694.89 c cleaning 15996 clauses out of 32015 with flag 1566000/2351267 1351.92/699.88 c cleaning 16002 clauses out of 32020 with flag 1582001/2367268 1360.30/704.29 c cleaning 15995 clauses out of 32019 with flag 1598002/2383269 1369.07/708.86 c cleaning 16002 clauses out of 32022 with flag 1614000/2399267 1378.20/713.63 c cleaning 15997 clauses out of 32020 with flag 1630000/2415267 1387.27/718.53 c cleaning 15999 clauses out of 32024 with flag 1646001/2431268 1395.43/722.82 c cleaning 16004 clauses out of 32025 with flag 1662001/2447268 1404.59/727.62 c cleaning 16000 clauses out of 32020 with flag 1678000/2463267 1413.73/732.48 c cleaning 15998 clauses out of 32020 with flag 1694000/2479267 1423.61/737.70 c cleaning 15999 clauses out of 32022 with flag 1710000/2495267 1433.77/743.05 c cleaning 16002 clauses out of 32023 with flag 1726000/2511267 1443.13/747.92 c cleaning 16001 clauses out of 32021 with flag 1742000/2527267 1452.67/752.98 c cleaning 15997 clauses out of 32020 with flag 1758000/2543267 1462.93/758.44 c cleaning 15999 clauses out of 32023 with flag 1774000/2559267 1472.47/763.45 c cleaning 16000 clauses out of 32024 with flag 1790000/2575267 1482.16/768.54 c cleaning 16000 clauses out of 32024 with flag 1806000/2591267 1491.87/773.69 c cleaning 15993 clauses out of 32024 with flag 1822000/2607267 1501.86/779.08 c cleaning 16010 clauses out of 32031 with flag 1838000/2623267 1511.35/784.08 c cleaning 16000 clauses out of 32021 with flag 1854000/2639267 1521.23/789.28 c cleaning 15997 clauses out of 32021 with flag 1870000/2655267 1530.74/794.20 c cleaning 16009 clauses out of 32024 with flag 1886000/2671267 1540.11/799.32 c cleaning 16002 clauses out of 32016 with flag 1902001/2687268 1549.59/804.34 c cleaning 15995 clauses out of 32013 with flag 1918000/2703267 1559.29/809.47 c cleaning 15996 clauses out of 32018 with flag 1934000/2719267 1568.97/814.52 c cleaning 16003 clauses out of 32022 with flag 1950000/2735267 1578.51/819.76 c cleaning 15998 clauses out of 32019 with flag 1966000/2751267 1588.19/824.85 c cleaning 15999 clauses out of 32023 with flag 1982002/2767269 1597.48/829.79 c cleaning 15998 clauses out of 32022 with flag 1998000/2783267 1607.74/835.13 c cleaning 15994 clauses out of 32024 with flag 2014000/2799267 1617.64/840.54 c cleaning 16006 clauses out of 32030 with flag 2030000/2815267 1627.31/845.64 c cleaning 15998 clauses out of 32024 with flag 2046000/2831267 1637.40/850.97 c cleaning 16000 clauses out of 32026 with flag 2062000/2847267 1647.06/856.02 c cleaning 16002 clauses out of 32026 with flag 2078000/2863267 1656.59/861.27 c cleaning 16001 clauses out of 32026 with flag 2094002/2879269 1665.62/866.08 c cleaning 16006 clauses out of 32023 with flag 2110000/2895267 1674.89/870.98 c cleaning 16001 clauses out of 32017 with flag 2126000/2911267 1684.52/876.08 c cleaning 15992 clauses out of 32016 with flag 2142000/2927267 1693.99/881.25 c cleaning 15997 clauses out of 32024 with flag 2158000/2943267 1703.63/886.35 c cleaning 16006 clauses out of 32028 with flag 2174001/2959268 1713.45/891.59 c cleaning 15988 clauses out of 32021 with flag 2190000/2975267 1723.10/896.62 c cleaning 16010 clauses out of 32033 with flag 2206000/2991267 1731.78/901.44 c cleaning 16005 clauses out of 32023 with flag 2222000/3007267 1740.21/905.96 c cleaning 16003 clauses out of 32018 with flag 2238000/3023267 1750.04/911.11 c cleaning 16000 clauses out of 32015 with flag 2254000/3039267 1759.88/916.36 c cleaning 16000 clauses out of 32015 with flag 2270000/3055267 1769.75/921.77 c cleaning 15999 clauses out of 32016 with flag 2286001/3071268 1778.78/926.58 c cleaning 16004 clauses out of 32017 with flag 2302001/3087268 1787.79/931.38 c cleaning 15998 clauses out of 32013 with flag 2318001/3103268 1797.22/936.38 c cleaning 15998 clauses out of 32014 with flag 2334000/3119267 1799.47/937.91 c starts : 256 1799.47/937.91 c conflicts : 3121279 1799.47/937.91 c decisions : 10900728 1799.47/937.91 c propagations : 3725586030 1799.47/937.91 c inspects : 4233690673 1799.47/937.91 c shortcuts : 0 1799.47/937.91 c learnt literals : 0 1799.47/937.91 c learnt binary clauses : 0 1799.47/937.91 c learnt ternary clauses : 2 1799.47/937.91 c learnt constraints : 3121280 1799.47/937.91 c ignored constraints : 0 1799.47/937.91 c root simplifications : 0 1799.47/937.91 c removed literals (reason simplification) : 6342329 1799.47/937.91 c reason swapping (by a shorter reason) : 0 1799.47/937.91 c Calls to reduceDB : 208 1799.47/937.91 c number of reductions to clauses (during analyze) : 0 1799.47/937.91 c number of learned constraints concerned by reduction : 0 1799.47/937.91 c number of learning phase by resolution : 0 1799.47/937.91 c number of learning phase by cutting planes : 0 1799.47/937.91 c speed (assignments/second) : 5223240.65467403 1799.47/937.91 c non guided choices 18910 1799.47/937.92 c learnt constraints type 1799.47/937.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18063 1799.47/937.92 c constraints type 1799.47/937.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734 1799.47/937.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1799.47/937.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658 1799.47/937.92 c constraints type 1799.47/937.92 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658 1799.47/937.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734 1799.47/937.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1799.47/937.92 s SATISFIABLE 1799.47/937.93 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 1799.47/937.94 c objective function=29 1799.47/937.94 c Total wall clock time (in seconds): 937.718
OK 29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735839-1338713269/watcher-3735839-1338713269 -o /tmp/evaluation-result-3735839-1338713269/solver-3735839-1338713269 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735839-1338713269.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: 0.99 1.56 1.82 2/176 18270 /proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=3568 CPUtime=0 cores=1,3,5,7 /proc/18270/stat : 18270 (java) R 18268 18270 18226 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 337452643 3653632 49 33554432000 1073741824 1073778376 140733419582688 140733419579768 270320889127 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/18270/statm: 892 49 38 9 0 30 0 [startup+0.0934519 s] /proc/loadavg: 0.99 1.56 1.82 2/176 18270 /proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11044572 CPUtime=0.02 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 3868 0 14 0 1 1 0 0 20 0 10 0 337452643 11309641728 10712 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2761143 10712 1382 9 0 2751844 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11044572 [startup+0.100191 s] /proc/loadavg: 0.99 1.56 1.82 2/176 18270 /proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11044572 CPUtime=0.02 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 4057 0 14 0 1 1 0 0 20 0 10 0 337452643 11309641728 10901 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2761143 10901 1537 9 0 2751844 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11044572 [startup+0.300179 s] /proc/loadavg: 0.99 1.56 1.82 2/176 18270 /proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11586392 CPUtime=0.28 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 5957 0 14 0 26 2 0 0 20 0 18 0 337452643 11864465408 15055 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2896598 15055 2208 9 0 2887285 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11586392 [startup+0.700239 s] /proc/loadavg: 0.99 1.56 1.82 2/176 18270 /proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 10698 0 14 0 118 6 0 0 20 0 19 0 337452643 12137111552 28096 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2963162 28096 2259 9 0 2953849 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 11852648 [startup+1.50054 s] /proc/loadavg: 0.99 1.56 1.82 1/213 18313 /proc/meminfo: memFree=26976352/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11852648 CPUtime=1.72 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 11501 0 14 0 164 8 0 0 20 0 19 0 337452643 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2963162 29161 2264 9 0 2953849 0 [pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3445 0 4 0 41 3 0 0 20 0 19 0 337452647 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0 [pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452658 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2523 0 0 0 44 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4233 0 0 0 45 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 11852648 [startup+3.10055 s] /proc/loadavg: 0.99 1.56 1.82 5/216 18325 /proc/meminfo: memFree=26744488/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11852648 CPUtime=2.37 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 11812 0 14 0 223 14 0 0 20 0 19 0 337452643 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2963162 32748 2266 9 0 2953849 0 [pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3447 0 4 0 44 3 0 0 20 0 19 0 337452647 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0 [pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452658 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2524 0 0 0 56 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=0.6 cores=1,3,5,7 /proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4516 0 0 0 60 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337452751 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 11852648 heavy processes: [startup+6.3007 s] /proc/loadavg: 1.39 1.63 1.85 5/219 18337 /proc/meminfo: memFree=25816900/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11852648 CPUtime=9.22 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 12541 0 14 0 893 29 0 0 20 0 22 0 337452643 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2963162 251914 2291 9 0 2953849 0 [pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.48 cores=1,3,5,7 /proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3449 0 4 0 45 3 0 0 20 0 22 0 337452647 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0 [pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=0.03 cores=1,3,5,7 /proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 34 0 0 0 2 1 0 0 20 0 22 0 337452654 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.78 cores=1,3,5,7 /proc/18270/task/18299/stat : 18299 (java) R 18268 18270 18226 0 -1 4202560 2528 0 0 0 78 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867502271160 139867692018689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=0.9 cores=1,3,5,7 /proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4737 0 0 0 90 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18332] ppid=18268 vsize=11852648 CPUtime=3.1 cores=1,3,5,7 /proc/18270/task/18332/stat : 18332 (java) R 18268 18270 18226 0 -1 4202560 10 0 0 0 310 0 0 0 20 0 22 0 337452955 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867498058136 139867629847124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18333] ppid=18268 vsize=11852648 CPUtime=3.1 cores=1,3,5,7 /proc/18270/task/18333/stat : 18333 (java) R 18268 18270 18226 0 -1 4202560 422 0 0 0 297 13 0 0 20 0 22 0 337452955 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867497005048 139867629778108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18334] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 108 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=1.13 cores=1,3,5,7 /proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 81 0 0 0 111 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 78 0 0 0 102 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=1.22 cores=1,3,5,7 /proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 62 0 0 0 120 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 115 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=66.98 cores=1,3,5,7 /proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 266 0 0 0 6688 10 0 0 20 0 22 0 337452654 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2540 0 0 0 98 0 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4741 0 0 0 110 0 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0.3 cores=1,3,5,7 /proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18348] ppid=18268 vsize=11852648 CPUtime=593.71 cores=1,3,5,7 /proc/18270/task/18348/stat : 18348 (java) R 18268 18270 18226 0 -1 4202560 30 0 0 0 59362 9 0 0 20 0 22 0 337475107 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867497005136 139867630047590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18349] ppid=18268 vsize=11852648 CPUtime=593.63 cores=1,3,5,7 /proc/18270/task/18349/stat : 18349 (java) R 18268 18270 18226 0 -1 4202560 33 0 0 0 59353 10 0 0 20 0 22 0 337475107 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867498055984 139867629885108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18350] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18350/stat : 18350 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337475110 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867495953448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1695.62 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+937.901 s] /proc/loadavg: 3.96 3.84 3.15 5/219 18449 /proc/meminfo: memFree=21721584/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11852648 CPUtime=1799.47 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 14870 0 14 0 179829 118 0 0 20 0 22 0 337452643 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2963162 977330 2293 9 0 2953849 0 [pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3588 0 4 0 49 5 0 0 20 0 22 0 337452647 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0 [pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=1.2 cores=1,3,5,7 /proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 71 0 0 0 118 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7 /proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 69 0 0 0 111 1 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 114 3 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=1.18 cores=1,3,5,7 /proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 116 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 122 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7 /proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 110 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=1.32 cores=1,3,5,7 /proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 70 0 0 0 130 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=1.26 cores=1,3,5,7 /proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 124 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=74.62 cores=1,3,5,7 /proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 279 0 0 0 7451 11 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2540 0 0 0 98 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4741 0 0 0 110 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0.32 cores=1,3,5,7 /proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 55 0 0 0 13 19 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18348] ppid=18268 vsize=11852648 CPUtime=641.33 cores=1,3,5,7 /proc/18270/task/18348/stat : 18348 (java) R 18268 18270 18226 0 -1 4202560 30 0 0 0 64124 9 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867497005256 139867629847242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18349] ppid=18268 vsize=11852648 CPUtime=641.23 cores=1,3,5,7 /proc/18270/task/18349/stat : 18349 (java) R 18268 18270 18226 0 -1 4202560 34 0 0 0 64113 10 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867498056000 139867629768190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18350] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18350/stat : 18350 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337475110 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867495953448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+937.901 s] /proc/loadavg: 3.96 3.84 3.15 5/219 18449 /proc/meminfo: memFree=21721584/32873660 swapFree=7120/7120 [pid=18270] ppid=18268 vsize=11852648 CPUtime=1799.47 cores=1,3,5,7 /proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 14870 0 14 0 179829 118 0 0 20 0 22 0 337452643 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 /proc/18270/statm: 2963162 977330 2293 9 0 2953849 0 [pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3588 0 4 0 49 5 0 0 20 0 22 0 337452647 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0 [pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=1.2 cores=1,3,5,7 /proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 71 0 0 0 118 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7 /proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 69 0 0 0 111 1 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 114 3 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=1.18 cores=1,3,5,7 /proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 116 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 122 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7 /proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 110 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=1.32 cores=1,3,5,7 /proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 70 0 0 0 130 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=1.26 cores=1,3,5,7 /proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 124 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=74.62 cores=1,3,5,7 /proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 279 0 0 0 7451 11 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2540 0 0 0 98 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4741 0 0 0 110 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0.32 cores=1,3,5,7 /proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 55 0 0 0 13 19 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18270/tid=18348] ppid=18268 vsize=11852648 CPUtime=641.33 cores=1,3,5,7 /proc/18270/task/18348/stat : 18348 (java) R 18268 18270 18226 0 -1 4202560 30 0 0 0 64124 9 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867497005256 139867629847242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=18270/tid=18349] ppid=18268 vsize=11852648 CPUtime=641.23 cores=1,3,5,7 /proc/18270/task/18349/stat : 18349 (java) R 18268 18270 18226 0 -1 4202560 34 0 0 0 64113 10 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867498056000 139867629768190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18270/tid=18350] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/18270/task/18350/stat : 18350 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337475110 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867495953448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18270 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=879136 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=541765 # CPU time returned by wait4() is 1796.42 # while last known CPU time is 1799.47 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.549957 # lost CPU user time (s): 0.599976 # lost CPU system time (s): -0.05 Real time (s): 937.954 CPU time (s): 1800.02 CPU user time (s): 1798.89 CPU system time (s): 1.13 CPU usage (%): 191.909 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.88 system time used= 1.54176 maximum resident set size= 3909436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14901 page faults= 14 swaps= 0 block input operations= 2568 block output operations= 1024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28655 involuntary context switches= 32559 runsolver used 3.09153 second user time and 8.5337 second system time The end
Begin job on node117 at 2012-06-03 10:47:49 IDJOB=3735839 IDBENCH=24999 IDSOLVER=2328 FILE ID=node117/3735839-1338713269 RUNJOBID= node117-1338713269-18243 PBS_JOBID= 14636728 Free space on /tmp= 69120 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735839-1338713269/watcher-3735839-1338713269 -o /tmp/evaluation-result-3735839-1338713269/solver-3735839-1338713269 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735839-1338713269.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=1481885858 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873660 kB MemFree: 27206704 kB Buffers: 616344 kB Cached: 4118612 kB SwapCached: 776 kB Active: 2295064 kB Inactive: 2456588 kB Active(anon): 2880 kB Inactive(anon): 9972 kB Active(file): 2292184 kB Inactive(file): 2446616 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67107012 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 16452 kB Mapped: 11056 kB Shmem: 80 kB Slab: 776380 kB SReclaimable: 220700 kB SUnreclaim: 555680 kB KernelStack: 1376 kB PageTables: 3700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 106168 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69120 MiB End job on node117 at 2012-06-03 11:03:29