Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 14 | 1800.73 | 948.637 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
| MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1789.78 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.08 c version 2.3.1.v20110525 0.02/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.08 c java.vm.version 19.1-b02 0.02/0.08 c java.vm.vendor Sun Microsystems Inc. 0.02/0.08 c sun.arch.data.model 64 0.02/0.08 c java.version 1.6.0_24 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.08 c os.arch amd64 0.02/0.08 c Free memory 9996466904 0.02/0.08 c Max memory 10048897024 0.02/0.08 c Total memory 10048897024 0.02/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3736811-1338717767.opb 0.09/0.11 c reading problem ... 1.05/0.51 c ... done. Wall clock time 0.407s. 1.05/0.51 c #vars 6404 1.05/0.53 c #constraints 12608 1.05/0.53 c constraints type 1.05/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404 1.05/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204 1.05/0.53 c constraints type 1.05/0.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6404 1.05/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204 1.43/0.63 c And the winner is Resolution 1.91/1.02 c SATISFIABLE 1.91/1.02 c OPTIMIZING... 1.91/1.02 c Got one! Elapsed wall clock time (in seconds):0.914 1.91/1.02 o 15 4.36/1.97 c And the winner is CuttingPlanes 4.57/2.03 c Got one! Elapsed wall clock time (in seconds):1.92 4.57/2.03 o 14 4.96/2.25 c cleaning 2612 clauses out of 5225 with flag 1000/5225 7.42/3.45 c cleaning 4302 clauses out of 8613 with flag 7000/11225 10.40/4.92 c cleaning 5650 clauses out of 11311 with flag 14000/18225 13.62/6.59 c cleaning 6827 clauses out of 13662 with flag 22001/26226 17.53/8.50 c cleaning 7912 clauses out of 15835 with flag 31001/35226 21.27/10.42 c cleaning 8957 clauses out of 17923 with flag 41001/45226 25.82/12.75 c cleaning 9979 clauses out of 19965 with flag 52000/56225 30.75/15.21 c cleaning 10989 clauses out of 21987 with flag 64001/68226 35.86/17.88 c cleaning 11997 clauses out of 23997 with flag 77000/81225 41.18/20.58 c cleaning 12495 clauses out of 25000 with flag 90000/94225 46.70/23.32 c cleaning 12751 clauses out of 25506 with flag 103001/107226 52.02/26.01 c cleaning 12874 clauses out of 25755 with flag 116001/120226 57.27/28.78 c cleaning 12937 clauses out of 25881 with flag 129001/133226 62.37/31.38 c cleaning 12968 clauses out of 25945 with flag 142002/146227 68.23/34.38 c cleaning 12981 clauses out of 25975 with flag 155000/159225 74.12/37.39 c cleaning 12991 clauses out of 25994 with flag 168000/172225 79.52/40.18 c cleaning 12996 clauses out of 26003 with flag 181000/185225 85.02/42.98 c cleaning 12997 clauses out of 26007 with flag 194000/198225 90.68/45.85 c cleaning 13000 clauses out of 26011 with flag 207001/211226 96.55/48.87 c cleaning 12999 clauses out of 26011 with flag 220001/224226 102.54/51.92 c cleaning 13000 clauses out of 26012 with flag 233001/237226 108.19/54.86 c cleaning 13000 clauses out of 26012 with flag 246001/250226 114.05/57.87 c cleaning 13000 clauses out of 26016 with flag 259005/263230 119.70/60.80 c cleaning 13002 clauses out of 26011 with flag 272000/276225 125.88/63.90 c cleaning 13006 clauses out of 26011 with flag 285002/289227 131.96/67.10 c cleaning 12999 clauses out of 26003 with flag 298000/302225 138.02/70.13 c cleaning 12997 clauses out of 26005 with flag 311001/315226 143.47/72.91 c cleaning 12998 clauses out of 26008 with flag 324001/328226 148.63/75.64 c cleaning 12994 clauses out of 26009 with flag 337000/341225 153.70/78.28 c cleaning 13005 clauses out of 26017 with flag 350002/354227 159.96/81.41 c cleaning 13002 clauses out of 26013 with flag 363003/367228 166.00/84.54 c cleaning 12999 clauses out of 26009 with flag 376001/380226 172.77/88.06 c cleaning 12999 clauses out of 26010 with flag 389001/393226 178.20/90.89 c cleaning 13002 clauses out of 26010 with flag 402000/406225 184.43/94.04 c cleaning 13001 clauses out of 26009 with flag 415001/419226 190.29/97.03 c cleaning 12997 clauses out of 26011 with flag 428004/432229 195.84/99.97 c cleaning 12999 clauses out of 26010 with flag 441000/445225 201.28/102.70 c cleaning 13000 clauses out of 26011 with flag 454000/458225 206.74/105.60 c cleaning 13001 clauses out of 26012 with flag 467001/471226 212.56/108.50 c cleaning 13001 clauses out of 26013 with flag 480003/484228 218.90/111.82 c cleaning 12997 clauses out of 26009 with flag 493000/497225 225.15/115.08 c cleaning 13003 clauses out of 26013 with flag 506001/510226 231.58/118.31 c cleaning 12998 clauses out of 26010 with flag 519001/523226 237.22/121.29 c cleaning 13001 clauses out of 26012 with flag 532001/536226 242.98/124.26 c cleaning 12999 clauses out of 26010 with flag 545000/549225 248.81/127.20 c cleaning 13000 clauses out of 26012 with flag 558001/562226 254.44/130.19 c cleaning 13000 clauses out of 26011 with flag 571000/575225 260.48/133.23 c cleaning 13000 clauses out of 26011 with flag 584000/588225 266.20/136.27 c cleaning 13001 clauses out of 26012 with flag 597001/601226 272.03/139.21 c cleaning 12999 clauses out of 26010 with flag 610000/614225 278.06/142.36 c cleaning 12999 clauses out of 26012 with flag 623001/627226 283.70/145.24 c cleaning 12999 clauses out of 26012 with flag 636000/640225 289.40/148.23 c cleaning 13001 clauses out of 26014 with flag 649001/653226 295.22/151.21 c cleaning 12997 clauses out of 26013 with flag 662001/666226 301.03/154.28 c cleaning 13003 clauses out of 26016 with flag 675001/679226 308.04/157.82 c cleaning 13003 clauses out of 26016 with flag 688004/692229 315.14/161.52 c cleaning 13000 clauses out of 26010 with flag 701001/705226 322.15/165.17 c cleaning 12998 clauses out of 26010 with flag 714001/718226 328.75/168.58 c cleaning 12998 clauses out of 26011 with flag 727000/731225 335.37/171.99 c cleaning 13002 clauses out of 26014 with flag 740001/744226 342.06/175.49 c cleaning 13001 clauses out of 26012 with flag 753001/757226 348.87/178.97 c cleaning 13002 clauses out of 26013 with flag 766003/770228 355.88/182.51 c cleaning 12998 clauses out of 26009 with flag 779001/783226 361.87/185.67 c cleaning 12998 clauses out of 26012 with flag 792002/796227 367.97/188.89 c cleaning 13001 clauses out of 26013 with flag 805001/809226 374.17/192.03 c cleaning 12999 clauses out of 26011 with flag 818000/822225 380.19/195.19 c cleaning 13003 clauses out of 26013 with flag 831001/835226 386.20/198.24 c cleaning 12999 clauses out of 26011 with flag 844002/848227 391.89/201.29 c cleaning 12996 clauses out of 26010 with flag 857000/861225 397.88/204.31 c cleaning 12998 clauses out of 26014 with flag 870000/874225 403.89/207.43 c cleaning 13006 clauses out of 26017 with flag 883001/887226 409.51/210.34 c cleaning 13003 clauses out of 26011 with flag 896001/900226 415.23/213.39 c cleaning 13001 clauses out of 26009 with flag 909002/913227 421.65/216.61 c cleaning 13000 clauses out of 26008 with flag 922002/926227 427.83/219.88 c cleaning 12999 clauses out of 26006 with flag 935000/939225 434.23/223.12 c cleaning 12999 clauses out of 26007 with flag 948000/952225 440.92/226.61 c cleaning 12997 clauses out of 26009 with flag 961001/965226 446.90/229.73 c cleaning 12998 clauses out of 26011 with flag 974000/978225 452.90/232.83 c cleaning 13002 clauses out of 26015 with flag 987002/991227 458.90/235.92 c cleaning 13000 clauses out of 26012 with flag 1000001/1004226 465.17/239.20 c cleaning 13000 clauses out of 26012 with flag 1013001/1017226 470.97/242.21 c cleaning 13002 clauses out of 26013 with flag 1026002/1030227 476.78/245.30 c cleaning 12998 clauses out of 26012 with flag 1039003/1043228 482.75/248.38 c cleaning 13000 clauses out of 26011 with flag 1052000/1056225 489.22/251.71 c cleaning 13003 clauses out of 26013 with flag 1065002/1069227 495.61/255.07 c cleaning 13000 clauses out of 26009 with flag 1078001/1082226 501.99/258.37 c cleaning 12997 clauses out of 26008 with flag 1091000/1095225 508.99/261.92 c cleaning 13000 clauses out of 26011 with flag 1104000/1108225 515.45/265.40 c cleaning 12999 clauses out of 26013 with flag 1117002/1121227 522.46/268.98 c cleaning 12998 clauses out of 26013 with flag 1130001/1134226 529.25/272.45 c cleaning 13002 clauses out of 26014 with flag 1143000/1147225 536.03/275.94 c cleaning 13001 clauses out of 26013 with flag 1156001/1160226 543.28/279.76 c cleaning 12998 clauses out of 26012 with flag 1169001/1173226 550.07/283.26 c cleaning 13000 clauses out of 26014 with flag 1182001/1186226 556.26/286.46 c cleaning 13001 clauses out of 26013 with flag 1195000/1199225 562.64/289.70 c cleaning 13000 clauses out of 26015 with flag 1208003/1212228 568.68/292.97 c cleaning 12998 clauses out of 26012 with flag 1221000/1225225 574.87/296.12 c cleaning 13000 clauses out of 26014 with flag 1234000/1238225 581.25/299.46 c cleaning 13003 clauses out of 26014 with flag 1247000/1251225 587.63/302.72 c cleaning 12997 clauses out of 26011 with flag 1260000/1264225 594.24/306.28 c cleaning 13000 clauses out of 26014 with flag 1273000/1277225 600.61/309.59 c cleaning 13000 clauses out of 26014 with flag 1286000/1290225 607.17/312.92 c cleaning 13000 clauses out of 26016 with flag 1299002/1303227 613.76/316.35 c cleaning 12999 clauses out of 26015 with flag 1312001/1316226 620.37/319.82 c cleaning 12997 clauses out of 26016 with flag 1325001/1329226 625.74/322.65 c cleaning 12997 clauses out of 26018 with flag 1338000/1342225 631.51/325.66 c cleaning 13004 clauses out of 26022 with flag 1351001/1355226 637.66/328.86 c cleaning 13001 clauses out of 26017 with flag 1364000/1368225 644.27/332.34 c cleaning 13004 clauses out of 26017 with flag 1377001/1381226 650.84/335.74 c cleaning 13002 clauses out of 26013 with flag 1390001/1394226 651.60/336.25 c cleaning 0 clauses out of 5113 with flag 0/5113 658.32/339.66 c cleaning 12998 clauses out of 26010 with flag 1403000/1407225 665.53/343.41 c cleaning 13003 clauses out of 26013 with flag 1416001/1420226 671.31/346.47 c cleaning 12997 clauses out of 26009 with flag 1429000/1433225 677.46/349.64 c cleaning 13003 clauses out of 26013 with flag 1442001/1446226 683.41/352.70 c cleaning 12999 clauses out of 26009 with flag 1455000/1459225 689.21/355.85 c cleaning 12999 clauses out of 26010 with flag 1468000/1472225 695.16/358.98 c cleaning 12998 clauses out of 26011 with flag 1481000/1485225 701.31/362.11 c cleaning 12999 clauses out of 26013 with flag 1494000/1498225 707.46/365.37 c cleaning 13000 clauses out of 26015 with flag 1507001/1511226 714.04/368.85 c cleaning 13002 clauses out of 26017 with flag 1520003/1524228 719.98/371.98 c cleaning 12998 clauses out of 26012 with flag 1533000/1537225 726.14/375.16 c cleaning 12999 clauses out of 26014 with flag 1546000/1550225 732.67/378.53 c cleaning 13001 clauses out of 26016 with flag 1559001/1563226 739.25/382.05 c cleaning 13001 clauses out of 26014 with flag 1572000/1576225 745.80/385.41 c cleaning 13001 clauses out of 26015 with flag 1585002/1589227 752.15/388.78 c cleaning 12999 clauses out of 26013 with flag 1598001/1602226 758.69/392.17 c cleaning 12998 clauses out of 26014 with flag 1611001/1615226 765.46/395.76 c cleaning 13003 clauses out of 26015 with flag 1624000/1628225 772.21/399.28 c cleaning 13003 clauses out of 26013 with flag 1637001/1641226 778.92/402.79 c cleaning 12998 clauses out of 26009 with flag 1650000/1654225 785.84/406.32 c cleaning 13000 clauses out of 26011 with flag 1663000/1667225 792.82/410.09 c cleaning 13000 clauses out of 26012 with flag 1676001/1680226 799.97/413.73 c cleaning 13002 clauses out of 26012 with flag 1689001/1693226 807.10/417.47 c cleaning 12999 clauses out of 26009 with flag 1702000/1706225 813.82/420.96 c cleaning 12998 clauses out of 26010 with flag 1715000/1719225 820.77/424.69 c cleaning 12999 clauses out of 26012 with flag 1728000/1732225 827.66/428.25 c cleaning 13002 clauses out of 26014 with flag 1741001/1745226 834.77/431.90 c cleaning 12998 clauses out of 26011 with flag 1754000/1758225 841.91/435.63 c cleaning 13003 clauses out of 26016 with flag 1767003/1771228 848.85/439.32 c cleaning 12999 clauses out of 26010 with flag 1780000/1784225 855.56/442.82 c cleaning 13001 clauses out of 26013 with flag 1793002/1797227 862.07/446.25 c cleaning 12998 clauses out of 26011 with flag 1806001/1810226 868.98/449.81 c cleaning 13000 clauses out of 26013 with flag 1819001/1823226 876.09/453.64 c cleaning 13000 clauses out of 26013 with flag 1832001/1836226 883.23/457.31 c cleaning 13000 clauses out of 26013 with flag 1845001/1849226 889.93/460.88 c cleaning 12996 clauses out of 26012 with flag 1858000/1862225 896.81/464.44 c cleaning 13001 clauses out of 26019 with flag 1871003/1875228 903.71/468.19 c cleaning 12997 clauses out of 26015 with flag 1884000/1888225 910.81/471.84 c cleaning 13004 clauses out of 26021 with flag 1897003/1901228 917.89/475.54 c cleaning 13000 clauses out of 26020 with flag 1910006/1914231 925.02/479.22 c cleaning 12996 clauses out of 26014 with flag 1923000/1927225 932.50/483.23 c cleaning 13001 clauses out of 26019 with flag 1936001/1940226 939.20/486.73 c cleaning 13003 clauses out of 26017 with flag 1949000/1953225 945.68/490.18 c cleaning 12999 clauses out of 26016 with flag 1962002/1966227 952.55/493.79 c cleaning 13000 clauses out of 26017 with flag 1975002/1979227 960.03/497.72 c cleaning 13001 clauses out of 26016 with flag 1988001/1992226 966.11/500.95 c cleaning 13003 clauses out of 26015 with flag 2001001/2005226 971.60/503.83 c cleaning 12999 clauses out of 26011 with flag 2014000/2018225 977.07/506.71 c cleaning 12998 clauses out of 26012 with flag 2027000/2031225 982.52/509.75 c cleaning 13003 clauses out of 26016 with flag 2040002/2044227 988.18/512.75 c cleaning 13002 clauses out of 26013 with flag 2053002/2057227 994.27/515.95 c cleaning 12999 clauses out of 26010 with flag 2066001/2070226 1000.53/519.22 c cleaning 13001 clauses out of 26011 with flag 2079001/2083226 1007.79/523.12 c cleaning 12999 clauses out of 26009 with flag 2092000/2096225 1014.65/526.74 c cleaning 12997 clauses out of 26010 with flag 2105000/2109225 1021.92/530.58 c cleaning 13001 clauses out of 26013 with flag 2118000/2122225 1028.80/534.15 c cleaning 13000 clauses out of 26013 with flag 2131001/2135226 1036.05/538.06 c cleaning 13001 clauses out of 26014 with flag 2144002/2148227 1043.09/541.70 c cleaning 13001 clauses out of 26012 with flag 2157001/2161226 1050.37/545.52 c cleaning 12999 clauses out of 26011 with flag 2170001/2174226 1057.80/549.41 c cleaning 13000 clauses out of 26012 with flag 2183001/2187226 1064.83/553.23 c cleaning 12999 clauses out of 26012 with flag 2196001/2200226 1071.68/556.87 c cleaning 13000 clauses out of 26012 with flag 2209000/2213225 1078.12/560.26 c cleaning 12999 clauses out of 26012 with flag 2222000/2226225 1084.79/563.72 c cleaning 13003 clauses out of 26013 with flag 2235000/2239225 1091.38/567.36 c cleaning 12997 clauses out of 26010 with flag 2248000/2252225 1097.81/570.75 c cleaning 12998 clauses out of 26013 with flag 2261000/2265225 1104.65/574.30 c cleaning 12997 clauses out of 26015 with flag 2274000/2278225 1111.49/577.95 c cleaning 13005 clauses out of 26019 with flag 2287001/2291226 1118.29/581.60 c cleaning 13001 clauses out of 26015 with flag 2300002/2304227 1124.95/585.12 c cleaning 13001 clauses out of 26013 with flag 2313001/2317226 1131.57/588.65 c cleaning 12998 clauses out of 26012 with flag 2326001/2330226 1138.60/592.30 c cleaning 13000 clauses out of 26014 with flag 2339001/2343226 1145.37/596.03 c cleaning 13000 clauses out of 26013 with flag 2352000/2356225 1152.20/599.61 c cleaning 13000 clauses out of 26014 with flag 2365001/2369226 1158.62/603.03 c cleaning 12999 clauses out of 26013 with flag 2378000/2382225 1165.04/606.43 c cleaning 12997 clauses out of 26014 with flag 2391000/2395225 1171.82/610.15 c cleaning 13003 clauses out of 26019 with flag 2404002/2408227 1178.66/613.71 c cleaning 13001 clauses out of 26014 with flag 2417000/2421225 1185.26/617.28 c cleaning 13002 clauses out of 26015 with flag 2430002/2434227 1191.67/620.63 c cleaning 13000 clauses out of 26011 with flag 2443000/2447225 1198.25/624.22 c cleaning 13000 clauses out of 26011 with flag 2456000/2460225 1205.49/628.10 c cleaning 12999 clauses out of 26011 with flag 2469000/2473225 1211.90/631.49 c cleaning 13000 clauses out of 26013 with flag 2482001/2486226 1218.90/635.12 c cleaning 13005 clauses out of 26015 with flag 2495003/2499228 1225.84/638.95 c cleaning 12999 clauses out of 26008 with flag 2508001/2512226 1232.66/642.55 c cleaning 12996 clauses out of 26008 with flag 2521000/2525225 1239.66/646.28 c cleaning 13002 clauses out of 26015 with flag 2534003/2538228 1246.65/649.97 c cleaning 13000 clauses out of 26011 with flag 2547001/2551226 1254.01/653.95 c cleaning 12998 clauses out of 26010 with flag 2560000/2564225 1261.43/657.84 c cleaning 13003 clauses out of 26015 with flag 2573003/2577228 1268.24/661.47 c cleaning 12997 clauses out of 26009 with flag 2586000/2590225 1275.45/665.28 c cleaning 13001 clauses out of 26012 with flag 2599000/2603225 1282.77/669.24 c cleaning 13000 clauses out of 26013 with flag 2612002/2616227 1290.18/673.13 c cleaning 13000 clauses out of 26014 with flag 2625003/2629228 1296.95/676.80 c cleaning 12999 clauses out of 26011 with flag 2638000/2642225 1304.16/680.51 c cleaning 13000 clauses out of 26013 with flag 2651001/2655226 1310.50/684.02 c cleaning 13002 clauses out of 26012 with flag 2664000/2668225 1316.29/687.11 c cleaning 13000 clauses out of 26012 with flag 2677002/2681227 1322.07/690.29 c cleaning 12998 clauses out of 26010 with flag 2690000/2694225 1327.85/693.39 c cleaning 13001 clauses out of 26013 with flag 2703001/2707226 1334.16/696.88 c cleaning 13001 clauses out of 26012 with flag 2716001/2720226 1339.94/699.98 c cleaning 13000 clauses out of 26011 with flag 2729001/2733226 1345.96/703.16 c cleaning 12997 clauses out of 26010 with flag 2742000/2746225 1351.97/706.36 c cleaning 13001 clauses out of 26014 with flag 2755001/2759226 1358.28/709.86 c cleaning 12997 clauses out of 26012 with flag 2768000/2772225 1364.08/712.97 c cleaning 12997 clauses out of 26015 with flag 2781000/2785225 1370.08/716.13 c cleaning 13004 clauses out of 26018 with flag 2794000/2798225 1376.06/719.37 c cleaning 13000 clauses out of 26015 with flag 2807001/2811226 1382.15/722.74 c cleaning 13001 clauses out of 26014 with flag 2820000/2824225 1388.13/725.99 c cleaning 13001 clauses out of 26013 with flag 2833000/2837225 1394.33/729.26 c cleaning 12998 clauses out of 26012 with flag 2846000/2850225 1400.53/732.58 c cleaning 13003 clauses out of 26014 with flag 2859000/2863225 1407.24/736.20 c cleaning 12999 clauses out of 26011 with flag 2872000/2876225 1413.24/739.49 c cleaning 13003 clauses out of 26013 with flag 2885001/2889226 1419.66/742.82 c cleaning 12997 clauses out of 26010 with flag 2898001/2902226 1425.63/746.09 c cleaning 12999 clauses out of 26013 with flag 2911001/2915226 1432.32/749.75 c cleaning 13003 clauses out of 26013 with flag 2924000/2928225 1438.29/752.93 c cleaning 12997 clauses out of 26010 with flag 2937000/2941225 1444.26/756.13 c cleaning 12999 clauses out of 26013 with flag 2950000/2954225 1450.24/759.39 c cleaning 12999 clauses out of 26014 with flag 2963000/2967225 1456.91/763.02 c cleaning 13003 clauses out of 26015 with flag 2976000/2980225 1463.08/766.39 c cleaning 13004 clauses out of 26012 with flag 2989000/2993225 1468.66/769.40 c cleaning 13000 clauses out of 26010 with flag 3002002/3006227 1474.84/772.64 c cleaning 13001 clauses out of 26008 with flag 3015000/3019225 1481.73/776.49 c cleaning 12998 clauses out of 26007 with flag 3028000/3032225 1488.34/779.96 c cleaning 13000 clauses out of 26011 with flag 3041002/3045227 1494.11/783.04 c cleaning 12997 clauses out of 26010 with flag 3054001/3058226 1499.68/786.05 c cleaning 12998 clauses out of 26012 with flag 3067000/3071225 1505.76/789.42 c cleaning 13004 clauses out of 26015 with flag 3080001/3084226 1512.95/793.25 c cleaning 13001 clauses out of 26015 with flag 3093005/3097230 1520.13/797.10 c cleaning 12997 clauses out of 26009 with flag 3106000/3110225 1527.89/801.11 c cleaning 13000 clauses out of 26012 with flag 3119000/3123225 1534.57/804.86 c cleaning 13002 clauses out of 26013 with flag 3132001/3136226 1541.12/808.34 c cleaning 12998 clauses out of 26010 with flag 3145000/3149225 1547.88/811.93 c cleaning 13000 clauses out of 26012 with flag 3158000/3162225 1554.84/815.62 c cleaning 12997 clauses out of 26012 with flag 3171000/3175225 1562.10/819.65 c cleaning 13003 clauses out of 26016 with flag 3184001/3188226 1567.89/822.78 c cleaning 13000 clauses out of 26014 with flag 3197002/3201227 1573.83/825.97 c cleaning 13001 clauses out of 26013 with flag 3210001/3214226 1579.99/829.24 c cleaning 12999 clauses out of 26012 with flag 3223001/3227226 1586.25/832.73 c cleaning 12998 clauses out of 26013 with flag 3236001/3240226 1592.00/835.88 c cleaning 13000 clauses out of 26015 with flag 3249001/3253226 1598.36/839.22 c cleaning 12998 clauses out of 26016 with flag 3262002/3266227 1604.54/842.54 c cleaning 13002 clauses out of 26016 with flag 3275000/3279225 1610.99/846.11 c cleaning 13002 clauses out of 26015 with flag 3288001/3292226 1617.17/849.49 c cleaning 13000 clauses out of 26013 with flag 3301001/3305226 1623.72/852.96 c cleaning 12998 clauses out of 26012 with flag 3314000/3318225 1630.28/856.47 c cleaning 13005 clauses out of 26019 with flag 3327005/3331230 1637.54/860.45 c cleaning 12998 clauses out of 26012 with flag 3340003/3344228 1644.30/864.05 c cleaning 13000 clauses out of 26012 with flag 3353001/3357226 1651.27/867.71 c cleaning 12999 clauses out of 26011 with flag 3366000/3370225 1658.02/871.35 c cleaning 13000 clauses out of 26012 with flag 3379000/3383225 1665.26/875.34 c cleaning 12998 clauses out of 26012 with flag 3392000/3396225 1672.02/878.98 c cleaning 13003 clauses out of 26017 with flag 3405003/3409228 1679.36/882.81 c cleaning 12998 clauses out of 26011 with flag 3418000/3422225 1686.09/886.45 c cleaning 13002 clauses out of 26016 with flag 3431003/3435228 1691.80/889.63 c cleaning 12999 clauses out of 26011 with flag 3444000/3448225 1697.15/892.54 c cleaning 12993 clauses out of 26012 with flag 3457000/3461225 1702.69/895.58 c cleaning 13007 clauses out of 26023 with flag 3470004/3474229 1708.06/898.47 c cleaning 12996 clauses out of 26012 with flag 3483000/3487225 1714.11/901.90 c cleaning 12998 clauses out of 26016 with flag 3496000/3500225 1719.86/904.94 c cleaning 13002 clauses out of 26020 with flag 3509002/3513227 1725.42/907.97 c cleaning 13001 clauses out of 26016 with flag 3522000/3526225 1731.18/911.04 c cleaning 13000 clauses out of 26017 with flag 3535002/3539227 1737.43/914.53 c cleaning 13000 clauses out of 26015 with flag 3548000/3552225 1743.41/917.70 c cleaning 13001 clauses out of 26016 with flag 3561001/3565226 1748.99/920.72 c cleaning 13000 clauses out of 26015 with flag 3574001/3578226 1754.35/923.68 c cleaning 12999 clauses out of 26015 with flag 3587001/3591226 1760.20/926.97 c cleaning 13001 clauses out of 26015 with flag 3600000/3604225 1765.98/930.02 c cleaning 13001 clauses out of 26016 with flag 3613002/3617227 1771.32/932.98 c cleaning 13001 clauses out of 26015 with flag 3626002/3630227 1777.09/936.08 c cleaning 12994 clauses out of 26012 with flag 3639000/3643225 1783.33/939.55 c cleaning 13004 clauses out of 26018 with flag 3652000/3656225 1789.69/942.95 c cleaning 13004 clauses out of 26015 with flag 3665001/3669226 1796.04/946.39 c cleaning 12997 clauses out of 26010 with flag 3678000/3682225 1800.20/948.61 c starts : 36 1800.20/948.61 c conflicts : 9681 1800.20/948.61 c decisions : 22574 1800.20/948.61 c propagations : 2593645 1800.20/948.61 c inspects : 440838866 1800.20/948.61 c shortcuts : 0 1800.20/948.61 c learnt literals : 0 1800.20/948.61 c learnt binary clauses : 0 1800.20/948.61 c learnt ternary clauses : 0 1800.20/948.61 c learnt constraints : 9680 1800.20/948.61 c ignored constraints : 0 1800.20/948.61 c root simplifications : 0 1800.20/948.61 c removed literals (reason simplification) : 0 1800.20/948.61 c reason swapping (by a shorter reason) : 0 1800.20/948.61 c Calls to reduceDB : 1 1800.20/948.61 c number of reductions to clauses (during analyze) : 0 1800.20/948.61 c number of learned constraints concerned by reduction : 0 1800.20/948.61 c number of learning phase by resolution : 0 1800.20/948.61 c number of learning phase by cutting planes : 0 1800.20/948.61 c speed (assignments/second) : 2740.0137970231813 1800.20/948.61 c non guided choices 0 1800.20/948.62 c learnt constraints type 1800.20/948.62 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6 1800.20/948.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 198 1800.20/948.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9476 1800.20/948.62 c constraints type 1800.20/948.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404 1800.20/948.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.20/948.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204 1800.20/948.62 c constraints type 1800.20/948.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6404 1800.20/948.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.20/948.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204 1800.20/948.62 s SATISFIABLE 1800.20/948.62 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 1800.20/948.62 c objective function=14 1800.20/948.62 c Total wall clock time (in seconds): 948.51
OK 14
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-3736811-1338717767/watcher-3736811-1338717767 -o /tmp/evaluation-result-3736811-1338717767/solver-3736811-1338717767 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736811-1338717767.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.63 3.70 3.61 4/197 14689 /proc/meminfo: memFree=25558732/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/14689/stat : 14689 (java) R 14687 14689 12644 0 -1 4202496 710 0 0 0 0 0 0 0 20 0 1 0 337902104 23793664 439 33554432000 1073741824 1073778376 140735183800688 140735183789752 270698330689 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 5809 452 344 9 0 128 0 [startup+0.0412431 s] /proc/loadavg: 3.63 3.70 3.61 4/197 14689 /proc/meminfo: memFree=25558732/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11253516 CPUtime=0.02 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 4293 0 1 0 1 1 0 0 20 0 13 0 337902104 11523600384 12146 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2813379 12146 1683 9 0 2804080 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11253516 [startup+0.100248 s] /proc/loadavg: 3.63 3.70 3.61 4/197 14689 /proc/meminfo: memFree=25558732/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11586392 CPUtime=0.09 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 5349 0 1 0 8 1 0 0 20 0 18 0 337902104 11864465408 13695 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2896598 13695 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.30015 s] /proc/loadavg: 3.63 3.70 3.61 4/197 14689 /proc/meminfo: memFree=25558732/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11586392 CPUtime=0.46 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 6306 0 1 0 45 1 0 0 20 0 18 0 337902104 11864465408 16452 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2896598 16452 2232 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.700152 s] /proc/loadavg: 3.63 3.70 3.61 4/197 14689 /proc/meminfo: memFree=25558732/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 14370 0 1 0 169 5 0 0 20 0 19 0 337902104 12137111552 26035 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 26035 2264 9 0 2953849 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 11852648 [startup+1.50072 s] /proc/loadavg: 3.63 3.70 3.61 3/216 14711 /proc/meminfo: memFree=25463688/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=3.53 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 16121 0 1 0 346 7 0 0 20 0 22 0 337902104 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 50256 2269 9 0 2953849 0 [pid=14689/tid=14691] ppid=14687 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14689 12644 0 -1 4202560 3418 0 1 0 48 2 0 0 20 0 22 0 337902105 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491999253656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14692] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491835599784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14693] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491834547240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14694] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491833494184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14695] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491832441640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14696] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491831388584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14697] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491830336040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14698] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491829282984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14699] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491828230440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14700] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14689 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337902107 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491816033128 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14701] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14689 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491814979448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14702] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14689 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491813926280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14703] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491812875024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14704] ppid=14687 vsize=11852648 CPUtime=0.87 cores=1,3,5,7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14689 12644 0 -1 4202560 4806 0 0 0 87 0 0 0 20 0 22 0 337902110 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491811821880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14705] ppid=14687 vsize=11852648 CPUtime=0.91 cores=1,3,5,7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14689 12644 0 -1 4202560 6542 0 0 0 91 0 0 0 20 0 22 0 337902110 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491810769336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14706] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491809716472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14707] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491808664136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14711] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14711/stat : 14711 (java) S 14687 14689 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337902158 12137111552 50256 33554432000 1073741824 1073778376 140735183800688 140491804452264 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 11852648 [startup+3.10083 s] /proc/loadavg: 3.63 3.70 3.61 5/219 14717 /proc/meminfo: memFree=25216052/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=6.79 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 16366 0 1 0 663 16 0 0 20 0 22 0 337902104 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 136314 2295 9 0 2953849 0 [pid=14689/tid=14691] ppid=14687 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14689 12644 0 -1 4202560 3418 0 1 0 48 3 0 0 20 0 22 0 337902105 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491999253656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14692] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491835599784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14693] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14689 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491834547240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14694] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491833494184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14695] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14689 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491832441640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14696] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14689 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491831388584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14697] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14689 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491830336040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14698] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14689 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491829282984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14699] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491828230440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14700] ppid=14687 vsize=11852648 CPUtime=0.04 cores=1,3,5,7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14689 12644 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 337902107 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491816033128 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14701] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14689 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491814979448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14702] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491813926280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14703] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491812875024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14704] ppid=14687 vsize=11852648 CPUtime=0.96 cores=1,3,5,7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14689 12644 0 -1 4202560 4806 0 0 0 95 1 0 0 20 0 22 0 337902110 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491811821880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14705] ppid=14687 vsize=11852648 CPUtime=1.03 cores=1,3,5,7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14689 12644 0 -1 4202560 6548 0 0 0 101 2 0 0 20 0 22 0 337902110 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491810769336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14706] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491809716472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14707] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491808664136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14714] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14714/stat : 14714 (java) S 14687 14689 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337902207 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491805504296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14715] ppid=14687 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/14689/task/14715/stat : 14715 (java) R 14687 14689 12644 0 -1 4202560 7 0 0 0 98 0 0 0 20 0 22 0 337902307 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491806556456 140491939825614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14716] ppid=14687 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/14689/task/14716/stat : 14716 (java) R 14687 14689 12644 0 -1 4202560 89 0 0 0 96 2 0 0 20 0 22 0 337902307 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491807609096 140491939919453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14717] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14717/stat : 14717 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902307 12137111552 136314 33554432000 1073741824 1073778376 140735183800688 140491804452520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.79 Current children cumulated vsize (KiB) 11852648 [startup+6.30082 s] /proc/loadavg: 3.66 3.70 3.61 5/219 14717 /proc/meminfo: memFree=24952964/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=13.21 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 16602 0 1 0 1303 18 0 0 20 0 22 0 337902104 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 153202 2295 9 0 2953849 0 [pid=14689/tid=14691] ppid=14687 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14689 12644 0 -1 4202560 3418 0 1 0 48 3 0 0 20 0 22 0 337902105 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491999253656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14692] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491835599784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14693] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14689 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491834547240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14694] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14689 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491833494184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14695] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14689 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491832441640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14696] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14689 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491831388584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14697] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14689 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491830336040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14698] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491829282984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14699] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902106 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491828230440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14700] ppid=14687 vsize=11852648 CPUtime=0.16 cores=1,3,5,7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14689 12644 0 -1 4202560 43 0 0 0 16 0 0 0 20 0 22 0 337902107 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491816033128 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14701] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14689 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491814979448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14702] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491813926280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14703] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491812875024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14704] ppid=14687 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14689 12644 0 -1 4202560 4994 0 0 0 102 2 0 0 20 0 22 0 337902110 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491811821880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14705] ppid=14687 vsize=11852648 CPUtime=1.08 cores=1,3,5,7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14689 12644 0 -1 4202560 6548 0 0 0 106 2 0 0 20 0 22 0 337902110 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491810769336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14706] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491809716472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14707] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 153202 33554432000 1073741824 1073778376 140735183800688 140491808664136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=14689/tid=14715] ppid=14687 vsize=11852648 CPUtime=732.74 cores=1,3,5,7 /proc/14689/task/14715/stat : 14715 (java) R 14687 14689 12644 0 -1 4202560 86 0 0 0 73261 13 0 0 20 0 22 0 337902307 12137111552 263686 33554432000 1073741824 1073778376 140735183800688 140491806556368 140491939962296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14716] ppid=14687 vsize=11852648 CPUtime=732.71 cores=1,3,5,7 /proc/14689/task/14716/stat : 14716 (java) R 14687 14689 12644 0 -1 4202560 213 0 0 0 73254 17 0 0 20 0 22 0 337902307 12137111552 263686 33554432000 1073741824 1073778376 140735183800688 140491807607568 140491939860732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14717] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14717/stat : 14717 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902307 12137111552 263686 33554432000 1073741824 1073778376 140735183800688 140491804452520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1567.08 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.85 3.77 3.68 5/219 14932 /proc/meminfo: memFree=24598072/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=1678.36 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 19208 0 1 0 167770 66 0 0 20 0 22 0 337902104 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 266815 2296 9 0 2953849 0 [pid=14689/tid=14691] ppid=14687 vsize=11852648 CPUtime=0.55 cores=1,3,5,7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14689 12644 0 -1 4202560 3578 0 1 0 51 4 0 0 20 0 22 0 337902105 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491999253656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14692] ppid=14687 vsize=11852648 CPUtime=1.62 cores=1,3,5,7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14689 12644 0 -1 4202560 131 0 0 0 161 1 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491835599784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14693] ppid=14687 vsize=11852648 CPUtime=1.86 cores=1,3,5,7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14689 12644 0 -1 4202560 126 0 0 0 186 0 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491834547240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14694] ppid=14687 vsize=11852648 CPUtime=1.67 cores=1,3,5,7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14689 12644 0 -1 4202560 130 0 0 0 165 2 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491833494184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14695] ppid=14687 vsize=11852648 CPUtime=1.76 cores=1,3,5,7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14689 12644 0 -1 4202560 123 0 0 0 174 2 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491832441640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14696] ppid=14687 vsize=11852648 CPUtime=1.69 cores=1,3,5,7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14689 12644 0 -1 4202560 149 0 0 0 167 2 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491831388584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14697] ppid=14687 vsize=11852648 CPUtime=1.81 cores=1,3,5,7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14689 12644 0 -1 4202560 147 0 0 0 181 0 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491830336040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14698] ppid=14687 vsize=11852648 CPUtime=1.69 cores=1,3,5,7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14689 12644 0 -1 4202560 109 0 0 0 167 2 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491829282984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14699] ppid=14687 vsize=11852648 CPUtime=1.68 cores=1,3,5,7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14689 12644 0 -1 4202560 117 0 0 0 166 2 0 0 20 0 22 0 337902106 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491828230440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14700] ppid=14687 vsize=11852648 CPUtime=93.06 cores=1,3,5,7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14689 12644 0 -1 4202560 258 0 0 0 9293 13 0 0 20 0 22 0 337902107 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491816033128 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14701] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14689 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491814979448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14702] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491813926280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14703] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491812875024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14704] ppid=14687 vsize=11852648 CPUtime=1.27 cores=1,3,5,7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14689 12644 0 -1 4202560 6032 0 0 0 125 2 0 0 20 0 22 0 337902110 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491811821880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14705] ppid=14687 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14689 12644 0 -1 4202560 6549 0 0 0 115 2 0 0 20 0 22 0 337902110 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491810769336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14706] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491809716472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14707] ppid=14687 vsize=11852648 CPUtime=0.36 cores=1,3,5,7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14689 12644 0 -1 4202560 50 0 0 0 15 21 0 0 20 0 22 0 337902110 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491808664136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14714] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14714/stat : 14714 (java) S 14687 14689 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337902207 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491805504296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14715] ppid=14687 vsize=11852648 CPUtime=783.09 cores=1,3,5,7 /proc/14689/task/14715/stat : 14715 (java) R 14687 14689 12644 0 -1 4202560 88 0 0 0 78296 13 0 0 20 0 22 0 337902307 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491806556368 140491939944310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14716] ppid=14687 vsize=11852648 CPUtime=783.07 cores=1,3,5,7 /proc/14689/task/14716/stat : 14716 (java) R 14687 14689 12644 0 -1 4202560 213 0 0 0 78290 17 0 0 20 0 22 0 337902307 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491807607680 140491939860643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14717] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14717/stat : 14717 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902307 12137111552 266815 33554432000 1073741824 1073778376 140735183800688 140491804452520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1678.36 Current children cumulated vsize (KiB) 11852648 [startup+942.301 s] /proc/loadavg: 3.69 3.73 3.67 5/219 14932 /proc/meminfo: memFree=24589516/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=1788.49 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 19336 0 1 0 178779 70 0 0 20 0 22 0 337902104 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 267938 2296 9 0 2953849 0 [pid=14689/tid=14691] ppid=14687 vsize=11852648 CPUtime=0.55 cores=1,3,5,7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14689 12644 0 -1 4202560 3596 0 1 0 51 4 0 0 20 0 22 0 337902105 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491999253656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14692] ppid=14687 vsize=11852648 CPUtime=1.83 cores=1,3,5,7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14689 12644 0 -1 4202560 144 0 0 0 182 1 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491835599784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14693] ppid=14687 vsize=11852648 CPUtime=2.05 cores=1,3,5,7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14689 12644 0 -1 4202560 139 0 0 0 205 0 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491834547240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14694] ppid=14687 vsize=11852648 CPUtime=1.83 cores=1,3,5,7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14689 12644 0 -1 4202560 140 0 0 0 181 2 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491833494184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14695] ppid=14687 vsize=11852648 CPUtime=1.95 cores=1,3,5,7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14689 12644 0 -1 4202560 136 0 0 0 193 2 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491832441640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14696] ppid=14687 vsize=11852648 CPUtime=1.91 cores=1,3,5,7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14689 12644 0 -1 4202560 158 0 0 0 189 2 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491831388584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14697] ppid=14687 vsize=11852648 CPUtime=2 cores=1,3,5,7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14689 12644 0 -1 4202560 159 0 0 0 200 0 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491830336040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14698] ppid=14687 vsize=11852648 CPUtime=1.95 cores=1,3,5,7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14689 12644 0 -1 4202560 129 0 0 0 193 2 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491829282984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14699] ppid=14687 vsize=11852648 CPUtime=1.88 cores=1,3,5,7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14689 12644 0 -1 4202560 125 0 0 0 186 2 0 0 20 0 22 0 337902106 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491828230440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14700] ppid=14687 vsize=11852648 CPUtime=103.65 cores=1,3,5,7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14689 12644 0 -1 4202560 265 0 0 0 10352 13 0 0 20 0 22 0 337902107 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491816033128 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14701] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14689 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491814979448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14702] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491813926280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14703] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491812875024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14704] ppid=14687 vsize=11852648 CPUtime=1.27 cores=1,3,5,7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14689 12644 0 -1 4202560 6032 0 0 0 125 2 0 0 20 0 22 0 337902110 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491811821880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14705] ppid=14687 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14689 12644 0 -1 4202560 6549 0 0 0 115 2 0 0 20 0 22 0 337902110 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491810769336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14706] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491809716472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14707] ppid=14687 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14689 12644 0 -1 4202560 54 0 0 0 15 23 0 0 20 0 22 0 337902110 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491808664136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14714] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14714/stat : 14714 (java) S 14687 14689 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337902207 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491805504296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14715] ppid=14687 vsize=11852648 CPUtime=832.06 cores=1,3,5,7 /proc/14689/task/14715/stat : 14715 (java) R 14687 14689 12644 0 -1 4202560 89 0 0 0 83192 14 0 0 20 0 22 0 337902307 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491806556368 140491939909627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14716] ppid=14687 vsize=11852648 CPUtime=832.03 cores=1,3,5,7 /proc/14689/task/14716/stat : 14716 (java) R 14687 14689 12644 0 -1 4202560 213 0 0 0 83185 18 0 0 20 0 22 0 337902307 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491807607776 140491939860737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14717] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14717/stat : 14717 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902307 12137111552 267938 33554432000 1073741824 1073778376 140735183800688 140491804452520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+948.601 s] /proc/loadavg: 3.71 3.74 3.67 5/219 14932 /proc/meminfo: memFree=24589396/32873648 swapFree=6864/6864 [pid=14689] ppid=14687 vsize=11852648 CPUtime=1800.2 cores=1,3,5,7 /proc/14689/stat : 14689 (java) S 14687 14689 12644 0 -1 4202496 19354 0 1 0 179950 70 0 0 20 0 22 0 337902104 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140735183791824 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14689/statm: 2963162 267954 2296 9 0 2953849 0 [pid=14689/tid=14691] ppid=14687 vsize=11852648 CPUtime=0.55 cores=1,3,5,7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14689 12644 0 -1 4202560 3598 0 1 0 51 4 0 0 20 0 22 0 337902105 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491999253656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14692] ppid=14687 vsize=11852648 CPUtime=1.86 cores=1,3,5,7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14689 12644 0 -1 4202560 144 0 0 0 184 2 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491835599784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14693] ppid=14687 vsize=11852648 CPUtime=2.06 cores=1,3,5,7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14689 12644 0 -1 4202560 141 0 0 0 206 0 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491834547240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14694] ppid=14687 vsize=11852648 CPUtime=1.85 cores=1,3,5,7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14689 12644 0 -1 4202560 140 0 0 0 183 2 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491833494184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14695] ppid=14687 vsize=11852648 CPUtime=1.96 cores=1,3,5,7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14689 12644 0 -1 4202560 138 0 0 0 194 2 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491832441640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14696] ppid=14687 vsize=11852648 CPUtime=1.93 cores=1,3,5,7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14689 12644 0 -1 4202560 162 0 0 0 191 2 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491831388584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14697] ppid=14687 vsize=11852648 CPUtime=2.02 cores=1,3,5,7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14689 12644 0 -1 4202560 159 0 0 0 202 0 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491830336040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14698] ppid=14687 vsize=11852648 CPUtime=1.97 cores=1,3,5,7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14689 12644 0 -1 4202560 129 0 0 0 195 2 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491829282984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14699] ppid=14687 vsize=11852648 CPUtime=1.9 cores=1,3,5,7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14689 12644 0 -1 4202560 133 0 0 0 188 2 0 0 20 0 22 0 337902106 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491828230440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14700] ppid=14687 vsize=11852648 CPUtime=104.62 cores=1,3,5,7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14689 12644 0 -1 4202560 265 0 0 0 10449 13 0 0 20 0 22 0 337902107 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491816033128 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14689/tid=14701] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14689 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491814979448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14702] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14689 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337902108 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491813926280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14703] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491812875024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14704] ppid=14687 vsize=11852648 CPUtime=1.27 cores=1,3,5,7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14689 12644 0 -1 4202560 6032 0 0 0 125 2 0 0 20 0 22 0 337902110 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491811821880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14705] ppid=14687 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14689 12644 0 -1 4202560 6549 0 0 0 115 2 0 0 20 0 22 0 337902110 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491810769336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14706] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14689 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337902110 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491809716472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14707] ppid=14687 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14689 12644 0 -1 4202560 54 0 0 0 15 23 0 0 20 0 22 0 337902110 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491808664136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14714] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14714/stat : 14714 (java) S 14687 14689 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337902207 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491805504296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14689/tid=14715] ppid=14687 vsize=11852648 CPUtime=837.36 cores=1,3,5,7 /proc/14689/task/14715/stat : 14715 (java) R 14687 14689 12644 0 -1 4202560 89 0 0 0 83722 14 0 0 20 0 22 0 337902307 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491806556368 140491940020737 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14689/tid=14716] ppid=14687 vsize=11852648 CPUtime=837.33 cores=1,3,5,7 /proc/14689/task/14716/stat : 14716 (java) R 14687 14689 12644 0 -1 4202560 213 0 0 0 83715 18 0 0 20 0 22 0 337902307 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491807607776 140491939872374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14689/tid=14717] ppid=14687 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14689/task/14717/stat : 14717 (java) S 14687 14689 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337902307 12137111552 267954 33554432000 1073741824 1073778376 140735183800688 140491804452520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 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 Child status: 143 Real time (s): 948.637 CPU time (s): 1800.73 CPU user time (s): 1799.61 CPU system time (s): 1.11983 CPU usage (%): 189.823 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 1.11983 maximum resident set size= 1071928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19384 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30803 involuntary context switches= 33910 runsolver used 3.51247 second user time and 8.87365 second system time The end
Begin job on node125 at 2012-06-03 12:02:47 IDJOB=3736811 IDBENCH=48128 IDSOLVER=2328 FILE ID=node125/3736811-1338717767 RUNJOBID= node125-1338714015-12661 PBS_JOBID= 14636751 Free space on /tmp= 70440 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736811-1338717767/watcher-3736811-1338717767 -o /tmp/evaluation-result-3736811-1338717767/solver-3736811-1338717767 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736811-1338717767.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED=420118416 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 25558996 kB Buffers: 608708 kB Cached: 5029172 kB SwapCached: 2308 kB Active: 3242232 kB Inactive: 3165764 kB Active(anon): 761268 kB Inactive(anon): 9240 kB Active(file): 2480964 kB Inactive(file): 3156524 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 432 kB Writeback: 0 kB AnonPages: 771020 kB Mapped: 22484 kB Shmem: 96 kB Slab: 767660 kB SReclaimable: 211136 kB SUnreclaim: 556524 kB KernelStack: 1784 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10462500 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 710656 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= 70440 MiB End job on node125 at 2012-06-03 12:18:37