Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | ? (TO) | 1800.08 | 944.634 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-f2000.opb |
MD5SUM | acba870ceff62e653e0b2927ff2b81fb |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4000 |
Total number of constraints | 10500 |
Number of constraints which are clauses | 10500 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 4000 |
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 | 4000 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4000 |
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.07/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.09 c See www.sat4j.org for details. 0.10/0.10 c version 2.3.1.v20110525 0.10/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.10/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.10/0.10 c java.vm.version 19.1-b02 0.10/0.10 c java.vm.vendor Sun Microsystems Inc. 0.10/0.10 c sun.arch.data.model 64 0.10/0.10 c java.version 1.6.0_24 0.10/0.10 c os.name Linux 0.10/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.10/0.10 c os.arch amd64 0.10/0.10 c Free memory 9996466904 0.10/0.10 c Max memory 10048897024 0.10/0.10 c Total memory 10048897024 0.10/0.10 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3741506-1338755287.opb 0.10/0.12 c reading problem ... 0.74/0.43 c ... done. Wall clock time 0.308s. 0.74/0.43 c #vars 4000 0.74/0.43 c #constraints 10500 0.74/0.43 c constraints type 0.74/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500 0.74/0.43 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000 0.74/0.43 c constraints type 0.74/0.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000 0.74/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500 3.73/1.45 c cleaning 2496 clauses out of 5000 with flag 5000/5000 5.44/2.28 c cleaning 4249 clauses out of 8505 with flag 11001/11001 7.20/3.12 c cleaning 0 clauses out of 5002 with flag 0/5002 7.76/3.33 c cleaning 5623 clauses out of 11258 with flag 18003/18003 10.58/4.55 c cleaning 6811 clauses out of 13632 with flag 26000/26000 14.21/6.00 c cleaning 7909 clauses out of 15821 with flag 35000/35000 14.58/6.24 c cleaning 0 clauses out of 11001 with flag 0/11001 17.36/7.67 c cleaning 8950 clauses out of 17912 with flag 45000/45000 20.90/9.45 c cleaning 9975 clauses out of 19962 with flag 56000/56000 22.27/10.13 c cleaning 0 clauses out of 18000 with flag 0/18000 24.63/11.34 c cleaning 10490 clauses out of 20989 with flag 67002/67002 28.40/13.23 c cleaning 10739 clauses out of 21498 with flag 78001/78001 31.34/14.74 c cleaning 0 clauses out of 26002 with flag 0/26002 32.30/15.20 c cleaning 10875 clauses out of 21760 with flag 89002/89002 36.06/17.15 c cleaning 10939 clauses out of 21883 with flag 100000/100000 40.01/19.13 c cleaning 10966 clauses out of 21946 with flag 111002/111002 42.15/20.21 c cleaning 0 clauses out of 35000 with flag 0/35000 43.71/21.03 c cleaning 10980 clauses out of 21978 with flag 122000/122000 47.46/22.91 c cleaning 10991 clauses out of 21998 with flag 133000/133000 51.42/24.90 c cleaning 11000 clauses out of 22007 with flag 144000/144000 54.56/26.56 c cleaning 0 clauses out of 45000 with flag 0/45000 55.51/27.02 c cleaning 10996 clauses out of 22007 with flag 155000/155000 59.47/29.07 c cleaning 10997 clauses out of 22011 with flag 166000/166000 63.41/31.01 c cleaning 11007 clauses out of 22015 with flag 177001/177001 67.16/32.99 c cleaning 10992 clauses out of 22007 with flag 188000/188000 69.69/34.25 c cleaning 0 clauses out of 56000 with flag 0/56000 71.22/35.07 c cleaning 10999 clauses out of 22015 with flag 199000/199000 75.36/37.18 c cleaning 10998 clauses out of 22016 with flag 210000/210000 79.50/39.24 c cleaning 10996 clauses out of 22019 with flag 221001/221001 83.45/41.25 c cleaning 11003 clauses out of 22024 with flag 232002/232002 85.79/42.44 c cleaning 0 clauses out of 67000 with flag 0/67000 87.53/43.36 c cleaning 10997 clauses out of 22020 with flag 243001/243001 91.65/45.40 c cleaning 11000 clauses out of 22026 with flag 254004/254004 95.20/47.30 c cleaning 11004 clauses out of 22022 with flag 265000/265000 99.12/49.26 c cleaning 11004 clauses out of 22018 with flag 276000/276000 103.26/51.32 c cleaning 10991 clauses out of 22014 with flag 287000/287000 103.39/51.50 c cleaning 0 clauses out of 78000 with flag 0/78000 107.70/53.64 c cleaning 11011 clauses out of 22025 with flag 298002/298002 111.84/55.70 c cleaning 11001 clauses out of 22013 with flag 309001/309001 115.76/57.78 c cleaning 10996 clauses out of 22012 with flag 320001/320001 120.06/59.91 c cleaning 10991 clauses out of 22015 with flag 331000/331000 121.60/60.78 c cleaning 0 clauses out of 89000 with flag 0/89000 124.33/62.10 c cleaning 11000 clauses out of 22025 with flag 342001/342001 128.45/64.24 c cleaning 11005 clauses out of 22025 with flag 353001/353001 132.55/66.36 c cleaning 11001 clauses out of 22019 with flag 364000/364000 136.68/68.42 c cleaning 10986 clauses out of 22018 with flag 375000/375000 140.42/70.32 c cleaning 0 clauses out of 100001 with flag 0/100001 140.93/70.63 c cleaning 11000 clauses out of 22032 with flag 386000/386000 144.84/72.63 c cleaning 11009 clauses out of 22033 with flag 397001/397001 148.74/74.64 c cleaning 11008 clauses out of 22024 with flag 408001/408001 152.66/76.68 c cleaning 11001 clauses out of 22017 with flag 419002/419002 156.78/78.77 c cleaning 10995 clauses out of 22015 with flag 430001/430001 161.07/80.97 c cleaning 10999 clauses out of 22020 with flag 441001/441001 161.60/81.26 c cleaning 0 clauses out of 111000 with flag 0/111000 165.31/83.11 c cleaning 10999 clauses out of 22022 with flag 452002/452002 169.42/85.28 c cleaning 10995 clauses out of 22021 with flag 463000/463000 173.71/87.45 c cleaning 11001 clauses out of 22026 with flag 474000/474000 177.83/89.59 c cleaning 11000 clauses out of 22028 with flag 485003/485003 182.36/91.82 c cleaning 11010 clauses out of 22026 with flag 496001/496001 184.08/92.76 c cleaning 0 clauses out of 122001 with flag 0/122001 186.76/94.15 c cleaning 10994 clauses out of 22016 with flag 507001/507001 191.07/96.36 c cleaning 11000 clauses out of 22021 with flag 518000/518000 195.21/98.49 c cleaning 10997 clauses out of 22023 with flag 529002/529002 199.72/100.72 c cleaning 10999 clauses out of 22026 with flag 540002/540002 204.00/102.99 c cleaning 11001 clauses out of 22025 with flag 551000/551000 206.72/104.30 c cleaning 0 clauses out of 133000 with flag 0/133000 208.62/105.33 c cleaning 11003 clauses out of 22024 with flag 562000/562000 212.93/107.57 c cleaning 11008 clauses out of 22022 with flag 573001/573001 217.39/109.86 c cleaning 10987 clauses out of 22015 with flag 584002/584002 221.30/111.88 c cleaning 11009 clauses out of 22026 with flag 595000/595000 225.41/113.92 c cleaning 10996 clauses out of 22018 with flag 606001/606001 228.91/115.78 c cleaning 0 clauses out of 144000 with flag 0/144000 229.57/116.19 c cleaning 11002 clauses out of 22021 with flag 617000/617000 233.87/118.36 c cleaning 10997 clauses out of 22020 with flag 628001/628001 238.17/120.58 c cleaning 10995 clauses out of 22022 with flag 639000/639000 242.47/122.73 c cleaning 11010 clauses out of 22027 with flag 650000/650000 246.93/125.03 c cleaning 11003 clauses out of 22021 with flag 661004/661004 251.22/127.24 c cleaning 10994 clauses out of 22014 with flag 672000/672000 253.13/128.20 c cleaning 0 clauses out of 155000 with flag 0/155000 255.63/129.51 c cleaning 10998 clauses out of 22020 with flag 683000/683000 259.88/131.76 c cleaning 11001 clauses out of 22023 with flag 694001/694001 264.17/133.92 c cleaning 11004 clauses out of 22022 with flag 705001/705001 268.47/136.10 c cleaning 10998 clauses out of 22020 with flag 716003/716003 272.55/138.27 c cleaning 11003 clauses out of 22020 with flag 727001/727001 277.01/140.57 c cleaning 10984 clauses out of 22018 with flag 738002/738002 277.89/141.01 c cleaning 0 clauses out of 166000 with flag 0/166000 281.59/142.94 c cleaning 11010 clauses out of 22035 with flag 749003/749003 285.88/145.18 c cleaning 10996 clauses out of 22022 with flag 760000/760000 290.34/147.42 c cleaning 10999 clauses out of 22027 with flag 771001/771001 294.63/149.69 c cleaning 10994 clauses out of 22028 with flag 782001/782001 298.92/151.87 c cleaning 11000 clauses out of 22033 with flag 793000/793000 303.40/154.11 c cleaning 11006 clauses out of 22034 with flag 804001/804001 305.84/155.40 c cleaning 0 clauses out of 177000 with flag 0/177000 307.93/156.50 c cleaning 11007 clauses out of 22027 with flag 815000/815000 312.22/158.72 c cleaning 11002 clauses out of 22021 with flag 826001/826001 316.52/160.97 c cleaning 10997 clauses out of 22023 with flag 837005/837005 320.77/163.18 c cleaning 11001 clauses out of 22023 with flag 848002/848002 325.25/165.43 c cleaning 11002 clauses out of 22022 with flag 859002/859002 329.53/167.66 c cleaning 10999 clauses out of 22019 with flag 870001/870001 333.81/169.90 c cleaning 10990 clauses out of 22019 with flag 881000/881000 335.24/170.62 c cleaning 0 clauses out of 188002 with flag 0/188002 338.12/172.12 c cleaning 11007 clauses out of 22030 with flag 892001/892001 342.20/174.22 c cleaning 11003 clauses out of 22024 with flag 903002/903002 346.27/176.33 c cleaning 11003 clauses out of 22021 with flag 914002/914002 350.31/178.43 c cleaning 10997 clauses out of 22016 with flag 925000/925000 354.58/180.66 c cleaning 10996 clauses out of 22020 with flag 936001/936001 358.68/182.76 c cleaning 11002 clauses out of 22025 with flag 947002/947002 363.16/185.02 c cleaning 11001 clauses out of 22021 with flag 958000/958000 363.59/185.39 c cleaning 0 clauses out of 199001 with flag 0/199001 367.66/187.49 c cleaning 10995 clauses out of 22020 with flag 969000/969000 371.95/189.69 c cleaning 11003 clauses out of 22026 with flag 980001/980001 376.43/191.90 c cleaning 10991 clauses out of 22022 with flag 991000/991000 380.65/194.16 c cleaning 11003 clauses out of 22031 with flag 1002000/1002000 385.13/196.41 c cleaning 11002 clauses out of 22029 with flag 1013001/1013001 389.41/198.68 c cleaning 11002 clauses out of 22027 with flag 1024001/1024001 393.08/200.57 c cleaning 0 clauses out of 210003 with flag 0/210003 394.11/201.16 c cleaning 11001 clauses out of 22025 with flag 1035001/1035001 398.58/203.44 c cleaning 11001 clauses out of 22023 with flag 1046000/1046000 402.85/205.63 c cleaning 10999 clauses out of 22023 with flag 1057001/1057001 407.13/207.89 c cleaning 11005 clauses out of 22025 with flag 1068002/1068002 411.73/210.22 c cleaning 10992 clauses out of 22019 with flag 1079001/1079001 416.02/212.41 c cleaning 11011 clauses out of 22032 with flag 1090006/1090006 420.10/214.56 c cleaning 10996 clauses out of 22016 with flag 1101001/1101001 423.56/216.38 c cleaning 0 clauses out of 221001 with flag 0/221001 424.56/216.96 c cleaning 10995 clauses out of 22021 with flag 1112002/1112002 428.83/219.19 c cleaning 11002 clauses out of 22025 with flag 1123001/1123001 433.10/221.37 c cleaning 11001 clauses out of 22022 with flag 1134000/1134000 437.57/223.61 c cleaning 10997 clauses out of 22022 with flag 1145001/1145001 441.98/225.90 c cleaning 11001 clauses out of 22025 with flag 1156001/1156001 446.24/228.14 c cleaning 10995 clauses out of 22023 with flag 1167000/1167000 450.70/230.49 c cleaning 11001 clauses out of 22028 with flag 1178000/1178000 455.36/232.80 c cleaning 11005 clauses out of 22027 with flag 1189000/1189000 456.57/233.51 c cleaning 0 clauses out of 232001 with flag 0/232001 460.04/235.32 c cleaning 10996 clauses out of 22022 with flag 1200000/1200000 464.50/237.61 c cleaning 10996 clauses out of 22026 with flag 1211000/1211000 468.94/239.92 c cleaning 11006 clauses out of 22031 with flag 1222001/1222001 473.14/242.18 c cleaning 10993 clauses out of 22024 with flag 1233000/1233000 477.59/244.40 c cleaning 10994 clauses out of 22031 with flag 1244000/1244000 481.84/246.67 c cleaning 10996 clauses out of 22037 with flag 1255000/1255000 486.30/248.96 c cleaning 11006 clauses out of 22043 with flag 1266002/1266002 487.71/249.79 c cleaning 0 clauses out of 243001 with flag 0/243001 490.94/251.47 c cleaning 11002 clauses out of 22035 with flag 1277000/1277000 495.39/253.76 c cleaning 10998 clauses out of 22033 with flag 1288000/1288000 499.85/256.05 c cleaning 11002 clauses out of 22038 with flag 1299003/1299003 504.45/258.41 c cleaning 10998 clauses out of 22033 with flag 1310000/1310000 508.89/260.73 c cleaning 11005 clauses out of 22036 with flag 1321001/1321001 512.94/262.84 c cleaning 11003 clauses out of 22031 with flag 1332001/1332001 517.20/265.03 c cleaning 10996 clauses out of 22027 with flag 1343000/1343000 520.58/266.88 c cleaning 0 clauses out of 254001 with flag 0/254001 521.83/267.54 c cleaning 11006 clauses out of 22031 with flag 1354000/1354000 526.28/269.82 c cleaning 11006 clauses out of 22025 with flag 1365000/1365000 530.72/272.10 c cleaning 10998 clauses out of 22021 with flag 1376002/1376002 535.10/274.43 c cleaning 10999 clauses out of 22022 with flag 1387001/1387001 539.55/276.77 c cleaning 10991 clauses out of 22022 with flag 1398000/1398000 543.98/279.09 c cleaning 11000 clauses out of 22032 with flag 1409001/1409001 548.24/281.27 c cleaning 11011 clauses out of 22033 with flag 1420002/1420002 552.61/283.57 c cleaning 10995 clauses out of 22020 with flag 1431000/1431000 557.05/285.90 c cleaning 10999 clauses out of 22025 with flag 1442000/1442000 560.08/287.49 c cleaning 0 clauses out of 265000 with flag 0/265000 561.73/288.37 c cleaning 11002 clauses out of 22028 with flag 1453002/1453002 566.11/290.61 c cleaning 11004 clauses out of 22025 with flag 1464001/1464001 570.36/292.84 c cleaning 10999 clauses out of 22020 with flag 1475000/1475000 574.82/295.12 c cleaning 10997 clauses out of 22021 with flag 1486000/1486000 579.07/297.39 c cleaning 11001 clauses out of 22025 with flag 1497001/1497001 583.84/299.80 c cleaning 11009 clauses out of 22023 with flag 1508000/1508000 588.27/302.11 c cleaning 10993 clauses out of 22014 with flag 1519000/1519000 592.51/304.31 c cleaning 10997 clauses out of 22022 with flag 1530001/1530001 596.75/306.55 c cleaning 10996 clauses out of 22024 with flag 1541000/1541000 597.34/306.95 c cleaning 0 clauses out of 276001 with flag 0/276001 601.37/309.07 c cleaning 11003 clauses out of 22028 with flag 1552000/1552000 605.61/311.29 c cleaning 11005 clauses out of 22029 with flag 1563004/1563004 610.05/313.59 c cleaning 11002 clauses out of 22021 with flag 1574001/1574001 614.61/315.94 c cleaning 10994 clauses out of 22019 with flag 1585001/1585001 618.85/318.16 c cleaning 11001 clauses out of 22024 with flag 1596000/1596000 623.31/320.42 c cleaning 11004 clauses out of 22025 with flag 1607002/1607002 627.54/322.62 c cleaning 10996 clauses out of 22019 with flag 1618000/1618000 631.89/324.99 c cleaning 11001 clauses out of 22024 with flag 1629001/1629001 636.13/327.18 c cleaning 0 clauses out of 287000 with flag 0/287000 636.75/327.57 c cleaning 10997 clauses out of 22022 with flag 1640000/1640000 641.39/329.91 c cleaning 11000 clauses out of 22025 with flag 1651000/1651000 645.75/332.23 c cleaning 10992 clauses out of 22025 with flag 1662000/1662000 650.17/334.50 c cleaning 11005 clauses out of 22034 with flag 1673001/1673001 654.41/336.78 c cleaning 11002 clauses out of 22029 with flag 1684001/1684001 658.85/339.02 c cleaning 10996 clauses out of 22029 with flag 1695003/1695003 663.20/341.37 c cleaning 11001 clauses out of 22032 with flag 1706002/1706002 667.82/343.72 c cleaning 11004 clauses out of 22033 with flag 1717004/1717004 671.65/345.75 c cleaning 0 clauses out of 298002 with flag 0/298002 672.48/346.24 c cleaning 10999 clauses out of 22027 with flag 1728002/1728002 677.05/348.69 c cleaning 10996 clauses out of 22027 with flag 1739001/1739001 681.66/351.03 c cleaning 10999 clauses out of 22030 with flag 1750000/1750000 686.09/353.39 c cleaning 11009 clauses out of 22033 with flag 1761002/1761002 690.52/355.65 c cleaning 11007 clauses out of 22029 with flag 1772007/1772007 695.08/358.01 c cleaning 10998 clauses out of 22017 with flag 1783002/1783002 699.50/360.30 c cleaning 11000 clauses out of 22021 with flag 1794004/1794004 703.91/362.64 c cleaning 10997 clauses out of 22017 with flag 1805000/1805000 708.34/364.94 c cleaning 10987 clauses out of 22020 with flag 1816000/1816000 712.89/367.35 c cleaning 11008 clauses out of 22034 with flag 1827001/1827001 713.70/367.86 c cleaning 0 clauses out of 309000 with flag 0/309000 717.53/369.85 c cleaning 11001 clauses out of 22026 with flag 1838001/1838001 721.95/372.15 c cleaning 10991 clauses out of 22024 with flag 1849000/1849000 726.48/374.53 c cleaning 11003 clauses out of 22034 with flag 1860001/1860001 730.88/376.82 c cleaning 10998 clauses out of 22032 with flag 1871002/1871002 735.30/379.13 c cleaning 11009 clauses out of 22034 with flag 1882002/1882002 739.92/381.53 c cleaning 10999 clauses out of 22025 with flag 1893002/1893002 744.49/383.94 c cleaning 11002 clauses out of 22027 with flag 1904003/1904003 748.89/386.26 c cleaning 11001 clauses out of 22022 with flag 1915000/1915000 753.50/388.60 c cleaning 10999 clauses out of 22023 with flag 1926002/1926002 755.72/389.82 c cleaning 0 clauses out of 320000 with flag 0/320000 758.26/391.25 c cleaning 10999 clauses out of 22023 with flag 1937001/1937001 762.67/393.54 c cleaning 10999 clauses out of 22024 with flag 1948001/1948001 767.08/395.82 c cleaning 10992 clauses out of 22024 with flag 1959000/1959000 771.51/398.13 c cleaning 10998 clauses out of 22034 with flag 1970002/1970002 776.04/400.55 c cleaning 10997 clauses out of 22035 with flag 1981001/1981001 780.46/402.89 c cleaning 11009 clauses out of 22037 with flag 1992000/1992000 784.67/405.10 c cleaning 11011 clauses out of 22028 with flag 2003000/2003000 789.08/407.39 c cleaning 11004 clauses out of 22019 with flag 2014002/2014002 793.59/409.76 c cleaning 10999 clauses out of 22014 with flag 2025001/2025001 794.21/410.15 c cleaning 0 clauses out of 331001 with flag 0/331001 798.22/412.25 c cleaning 10996 clauses out of 22014 with flag 2036000/2036000 802.85/414.61 c cleaning 11001 clauses out of 22018 with flag 2047000/2047000 807.17/416.98 c cleaning 10993 clauses out of 22017 with flag 2058000/2058000 811.77/419.33 c cleaning 10993 clauses out of 22024 with flag 2069000/2069000 816.18/421.64 c cleaning 10999 clauses out of 22031 with flag 2080000/2080000 820.79/424.01 c cleaning 11006 clauses out of 22032 with flag 2091000/2091000 825.30/426.45 c cleaning 10995 clauses out of 22026 with flag 2102000/2102000 829.91/428.86 c cleaning 11003 clauses out of 22032 with flag 2113001/2113001 834.33/431.12 c cleaning 0 clauses out of 342000 with flag 0/342000 834.72/431.42 c cleaning 11003 clauses out of 22028 with flag 2124000/2124000 839.23/433.89 c cleaning 11005 clauses out of 22025 with flag 2135000/2135000 843.84/436.26 c cleaning 11004 clauses out of 22020 with flag 2146000/2146000 848.45/438.62 c cleaning 10996 clauses out of 22016 with flag 2157000/2157000 852.85/440.97 c cleaning 10998 clauses out of 22020 with flag 2168000/2168000 857.57/443.45 c cleaning 10998 clauses out of 22022 with flag 2179000/2179000 861.97/445.79 c cleaning 10996 clauses out of 22024 with flag 2190000/2190000 866.77/448.21 c cleaning 11007 clauses out of 22029 with flag 2201001/2201001 871.38/450.60 c cleaning 10991 clauses out of 22021 with flag 2212000/2212000 876.10/453.12 c cleaning 11001 clauses out of 22031 with flag 2223001/2223001 877.50/453.92 c cleaning 0 clauses out of 353000 with flag 0/353000 880.92/455.74 c cleaning 10998 clauses out of 22032 with flag 2234003/2234003 885.53/458.14 c cleaning 10991 clauses out of 22031 with flag 2245000/2245000 890.24/460.60 c cleaning 11013 clauses out of 22044 with flag 2256004/2256004 894.63/463.00 c cleaning 10990 clauses out of 22028 with flag 2267001/2267001 899.43/465.41 c cleaning 11008 clauses out of 22037 with flag 2278000/2278000 903.84/467.70 c cleaning 11005 clauses out of 22029 with flag 2289000/2289000 908.34/470.12 c cleaning 11002 clauses out of 22024 with flag 2300000/2300000 912.73/472.46 c cleaning 11002 clauses out of 22022 with flag 2311000/2311000 917.33/474.89 c cleaning 10996 clauses out of 22020 with flag 2322000/2322000 918.93/475.71 c cleaning 0 clauses out of 364000 with flag 0/364000 922.44/477.61 c cleaning 10999 clauses out of 22025 with flag 2333001/2333001 927.02/480.03 c cleaning 10999 clauses out of 22025 with flag 2344000/2344000 931.63/482.40 c cleaning 11003 clauses out of 22027 with flag 2355001/2355001 936.04/484.78 c cleaning 11005 clauses out of 22025 with flag 2366002/2366002 940.76/487.23 c cleaning 10998 clauses out of 22019 with flag 2377001/2377001 945.16/489.56 c cleaning 10993 clauses out of 22023 with flag 2388003/2388003 949.95/492.04 c cleaning 11002 clauses out of 22027 with flag 2399000/2399000 954.54/494.41 c cleaning 11003 clauses out of 22025 with flag 2410000/2410000 959.26/496.93 c cleaning 10993 clauses out of 22022 with flag 2421000/2421000 962.25/498.59 c cleaning 0 clauses out of 375000 with flag 0/375000 964.04/499.55 c cleaning 11001 clauses out of 22030 with flag 2432001/2432001 968.63/501.94 c cleaning 11006 clauses out of 22031 with flag 2443003/2443003 973.32/504.47 c cleaning 10999 clauses out of 22022 with flag 2454000/2454000 977.91/506.86 c cleaning 10986 clauses out of 22023 with flag 2465000/2465000 982.53/509.25 c cleaning 11008 clauses out of 22039 with flag 2476002/2476002 987.10/511.67 c cleaning 11002 clauses out of 22029 with flag 2487000/2487000 991.99/514.24 c cleaning 11002 clauses out of 22028 with flag 2498001/2498001 996.59/516.66 c cleaning 11001 clauses out of 22025 with flag 2509000/2509000 1001.17/519.07 c cleaning 10994 clauses out of 22026 with flag 2520002/2520002 1005.76/521.46 c cleaning 10990 clauses out of 22030 with flag 2531000/2531000 1007.24/522.33 c cleaning 0 clauses out of 386003 with flag 0/386003 1010.64/524.19 c cleaning 11008 clauses out of 22041 with flag 2542001/2542001 1015.42/526.66 c cleaning 10996 clauses out of 22032 with flag 2553000/2553000 1020.02/529.08 c cleaning 11006 clauses out of 22044 with flag 2564008/2564008 1024.69/531.59 c cleaning 11004 clauses out of 22032 with flag 2575002/2575002 1029.67/534.11 c cleaning 10998 clauses out of 22027 with flag 2586001/2586001 1034.25/536.55 c cleaning 10999 clauses out of 22029 with flag 2597001/2597001 1038.85/538.99 c cleaning 10994 clauses out of 22029 with flag 2608000/2608000 1043.72/541.56 c cleaning 11007 clauses out of 22035 with flag 2619000/2619000 1048.50/544.08 c cleaning 11001 clauses out of 22028 with flag 2630000/2630000 1053.08/546.48 c cleaning 10995 clauses out of 22027 with flag 2641000/2641000 1057.88/548.95 c cleaning 11011 clauses out of 22034 with flag 2652002/2652002 1062.36/551.33 c cleaning 10997 clauses out of 22022 with flag 2663001/2663001 1062.94/551.74 c cleaning 0 clauses out of 397001 with flag 0/397001 1067.11/553.93 c cleaning 11000 clauses out of 22024 with flag 2674000/2674000 1071.69/556.32 c cleaning 11001 clauses out of 22026 with flag 2685002/2685002 1076.19/558.79 c cleaning 10995 clauses out of 22023 with flag 2696000/2696000 1080.75/561.20 c cleaning 11007 clauses out of 22028 with flag 2707000/2707000 1085.54/563.64 c cleaning 10998 clauses out of 22021 with flag 2718000/2718000 1090.11/566.04 c cleaning 11007 clauses out of 22024 with flag 2729001/2729001 1094.79/568.60 c cleaning 10994 clauses out of 22016 with flag 2740000/2740000 1099.58/571.00 c cleaning 10997 clauses out of 22022 with flag 2751000/2751000 1103.95/573.38 c cleaning 11001 clauses out of 22025 with flag 2762000/2762000 1108.54/575.72 c cleaning 10995 clauses out of 22024 with flag 2773000/2773000 1113.01/578.14 c cleaning 11008 clauses out of 22030 with flag 2784001/2784001 1116.39/579.95 c cleaning 0 clauses out of 408001 with flag 0/408001 1117.79/580.78 c cleaning 10995 clauses out of 22021 with flag 2795000/2795000 1122.37/583.13 c cleaning 10999 clauses out of 22028 with flag 2806002/2806002 1127.03/585.61 c cleaning 10999 clauses out of 22027 with flag 2817000/2817000 1131.42/587.99 c cleaning 11010 clauses out of 22029 with flag 2828001/2828001 1136.19/590.41 c cleaning 10998 clauses out of 22019 with flag 2839001/2839001 1140.77/592.84 c cleaning 10999 clauses out of 22020 with flag 2850000/2850000 1145.24/595.28 c cleaning 11002 clauses out of 22022 with flag 2861001/2861001 1149.82/597.69 c cleaning 11000 clauses out of 22022 with flag 2872003/2872003 1154.39/600.08 c cleaning 11004 clauses out of 22020 with flag 2883001/2883001 1158.96/602.49 c cleaning 10996 clauses out of 22016 with flag 2894001/2894001 1163.63/604.95 c cleaning 10987 clauses out of 22022 with flag 2905003/2905003 1167.58/607.04 c cleaning 0 clauses out of 419003 with flag 0/419003 1168.75/607.70 c cleaning 11004 clauses out of 22033 with flag 2916001/2916001 1173.32/610.12 c cleaning 11001 clauses out of 22028 with flag 2927000/2927000 1178.00/612.62 c cleaning 11002 clauses out of 22029 with flag 2938002/2938002 1182.55/615.05 c cleaning 10999 clauses out of 22028 with flag 2949003/2949003 1187.12/617.48 c cleaning 10994 clauses out of 22027 with flag 2960001/2960001 1191.91/619.92 c cleaning 11008 clauses out of 22032 with flag 2971000/2971000 1196.58/622.47 c cleaning 10997 clauses out of 22024 with flag 2982000/2982000 1200.97/624.72 c cleaning 10999 clauses out of 22027 with flag 2993000/2993000 1205.34/627.06 c cleaning 10999 clauses out of 22028 with flag 3004000/3004000 1209.70/629.39 c cleaning 11004 clauses out of 22033 with flag 3015004/3015004 1214.55/631.96 c cleaning 11002 clauses out of 22027 with flag 3026002/3026002 1218.12/633.86 c cleaning 0 clauses out of 430000 with flag 0/430000 1219.50/634.64 c cleaning 11009 clauses out of 22027 with flag 3037004/3037004 1224.05/637.06 c cleaning 10997 clauses out of 22015 with flag 3048001/3048001 1228.92/639.63 c cleaning 10998 clauses out of 22018 with flag 3059001/3059001 1233.48/642.00 c cleaning 10991 clauses out of 22019 with flag 3070000/3070000 1237.84/644.35 c cleaning 11000 clauses out of 22028 with flag 3081000/3081000 1242.41/646.77 c cleaning 11005 clauses out of 22028 with flag 3092000/3092000 1247.05/649.28 c cleaning 11006 clauses out of 22023 with flag 3103000/3103000 1251.61/651.64 c cleaning 11005 clauses out of 22021 with flag 3114004/3114004 1255.97/653.93 c cleaning 10988 clauses out of 22014 with flag 3125002/3125002 1260.33/656.26 c cleaning 10996 clauses out of 22024 with flag 3136000/3136000 1264.99/658.77 c cleaning 11003 clauses out of 22029 with flag 3147001/3147001 1268.15/660.43 c cleaning 0 clauses out of 441000 with flag 0/441000 1269.91/661.40 c cleaning 11006 clauses out of 22026 with flag 3158001/3158001 1274.46/663.87 c cleaning 10998 clauses out of 22019 with flag 3169000/3169000 1279.33/666.44 c cleaning 11004 clauses out of 22025 with flag 3180004/3180004 1283.70/668.71 c cleaning 10991 clauses out of 22018 with flag 3191001/3191001 1288.26/671.10 c cleaning 10995 clauses out of 22026 with flag 3202000/3202000 1292.81/673.53 c cleaning 11007 clauses out of 22031 with flag 3213000/3213000 1297.47/676.05 c cleaning 10997 clauses out of 22024 with flag 3224000/3224000 1302.22/678.50 c cleaning 11000 clauses out of 22027 with flag 3235000/3235000 1306.79/680.94 c cleaning 10989 clauses out of 22030 with flag 3246003/3246003 1311.33/683.39 c cleaning 10997 clauses out of 22038 with flag 3257000/3257000 1315.97/685.88 c cleaning 11008 clauses out of 22044 with flag 3268003/3268003 1320.73/688.31 c cleaning 10997 clauses out of 22033 with flag 3279000/3279000 1321.27/688.71 c cleaning 0 clauses out of 452000 with flag 0/452000 1325.43/690.91 c cleaning 11007 clauses out of 22036 with flag 3290000/3290000 1330.07/693.41 c cleaning 10991 clauses out of 22029 with flag 3301000/3301000 1334.62/695.85 c cleaning 11011 clauses out of 22039 with flag 3312001/3312001 1339.17/698.26 c cleaning 11007 clauses out of 22027 with flag 3323000/3323000 1343.72/700.66 c cleaning 10999 clauses out of 22021 with flag 3334001/3334001 1348.36/703.15 c cleaning 10999 clauses out of 22022 with flag 3345001/3345001 1352.70/705.49 c cleaning 11000 clauses out of 22022 with flag 3356000/3356000 1357.45/707.98 c cleaning 11003 clauses out of 22025 with flag 3367003/3367003 1362.19/710.43 c cleaning 10995 clauses out of 22020 with flag 3378001/3378001 1366.84/712.99 c cleaning 11007 clauses out of 22025 with flag 3389001/3389001 1371.79/715.50 c cleaning 11004 clauses out of 22020 with flag 3400003/3400003 1373.34/716.46 c cleaning 0 clauses out of 463000 with flag 0/463000 1376.71/718.22 c cleaning 10996 clauses out of 22013 with flag 3411000/3411000 1381.35/720.76 c cleaning 10997 clauses out of 22017 with flag 3422000/3422000 1385.89/723.13 c cleaning 11005 clauses out of 22025 with flag 3433005/3433005 1390.63/725.63 c cleaning 10999 clauses out of 22015 with flag 3444000/3444000 1395.19/728.07 c cleaning 10987 clauses out of 22016 with flag 3455000/3455000 1400.01/730.60 c cleaning 11005 clauses out of 22029 with flag 3466000/3466000 1404.55/733.04 c cleaning 10988 clauses out of 22024 with flag 3477000/3477000 1409.09/735.44 c cleaning 11005 clauses out of 22038 with flag 3488002/3488002 1413.64/737.88 c cleaning 11004 clauses out of 22034 with flag 3499003/3499003 1418.28/740.36 c cleaning 11006 clauses out of 22029 with flag 3510002/3510002 1422.80/742.76 c cleaning 11005 clauses out of 22021 with flag 3521000/3521000 1424.95/743.95 c cleaning 0 clauses out of 474001 with flag 0/474001 1427.69/745.48 c cleaning 11000 clauses out of 22019 with flag 3532003/3532003 1432.54/748.03 c cleaning 10991 clauses out of 22016 with flag 3543000/3543000 1437.07/750.44 c cleaning 11002 clauses out of 22025 with flag 3554000/3554000 1441.60/752.84 c cleaning 10996 clauses out of 22023 with flag 3565000/3565000 1446.15/755.28 c cleaning 10993 clauses out of 22028 with flag 3576001/3576001 1450.99/757.84 c cleaning 11000 clauses out of 22034 with flag 3587000/3587000 1455.51/760.27 c cleaning 11004 clauses out of 22035 with flag 3598001/3598001 1460.68/762.90 c cleaning 11006 clauses out of 22032 with flag 3609002/3609002 1465.23/765.39 c cleaning 11002 clauses out of 22028 with flag 3620004/3620004 1470.25/768.01 c cleaning 10994 clauses out of 22022 with flag 3631000/3631000 1474.78/770.49 c cleaning 10995 clauses out of 22029 with flag 3642001/3642001 1479.32/772.89 c cleaning 0 clauses out of 485002 with flag 0/485002 1479.87/773.27 c cleaning 11005 clauses out of 22033 with flag 3653000/3653000 1484.67/775.83 c cleaning 11000 clauses out of 22029 with flag 3664001/3664001 1489.19/778.26 c cleaning 10998 clauses out of 22030 with flag 3675002/3675002 1493.94/780.71 c cleaning 11001 clauses out of 22030 with flag 3686000/3686000 1498.49/783.14 c cleaning 10997 clauses out of 22030 with flag 3697001/3697001 1503.09/785.66 c cleaning 11002 clauses out of 22032 with flag 3708000/3708000 1507.81/788.18 c cleaning 11002 clauses out of 22032 with flag 3719002/3719002 1512.54/790.67 c cleaning 10987 clauses out of 22028 with flag 3730000/3730000 1517.08/793.06 c cleaning 11009 clauses out of 22041 with flag 3741000/3741000 1521.86/795.64 c cleaning 10999 clauses out of 22034 with flag 3752002/3752002 1526.60/798.12 c cleaning 11003 clauses out of 22035 with flag 3763002/3763002 1531.13/800.54 c cleaning 10999 clauses out of 22031 with flag 3774001/3774001 1535.88/803.01 c cleaning 0 clauses out of 496001 with flag 0/496001 1536.30/803.47 c cleaning 10992 clauses out of 22036 with flag 3785005/3785005 1541.00/805.98 c cleaning 11001 clauses out of 22040 with flag 3796001/3796001 1545.74/808.46 c cleaning 11010 clauses out of 22040 with flag 3807002/3807002 1550.46/810.90 c cleaning 11006 clauses out of 22029 with flag 3818001/3818001 1554.87/813.39 c cleaning 10992 clauses out of 22023 with flag 3829001/3829001 1559.61/815.81 c cleaning 11003 clauses out of 22031 with flag 3840001/3840001 1564.14/818.29 c cleaning 10994 clauses out of 22028 with flag 3851001/3851001 1568.87/820.77 c cleaning 11001 clauses out of 22034 with flag 3862001/3862001 1573.66/823.35 c cleaning 10997 clauses out of 22032 with flag 3873000/3873000 1578.41/825.80 c cleaning 11005 clauses out of 22038 with flag 3884003/3884003 1582.95/828.23 c cleaning 10990 clauses out of 22031 with flag 3895001/3895001 1587.46/830.69 c cleaning 11001 clauses out of 22040 with flag 3906000/3906000 1589.66/831.91 c cleaning 0 clauses out of 507002 with flag 0/507002 1592.78/833.62 c cleaning 10995 clauses out of 22039 with flag 3917000/3917000 1597.32/836.08 c cleaning 10998 clauses out of 22044 with flag 3928000/3928000 1601.83/838.48 c cleaning 10996 clauses out of 22048 with flag 3939002/3939002 1606.84/841.14 c cleaning 11012 clauses out of 22052 with flag 3950002/3950002 1611.37/843.59 c cleaning 11010 clauses out of 22038 with flag 3961000/3961000 1616.30/846.10 c cleaning 10996 clauses out of 22029 with flag 3972001/3972001 1620.83/848.59 c cleaning 10992 clauses out of 22032 with flag 3983000/3983000 1625.66/851.13 c cleaning 11009 clauses out of 22041 with flag 3994001/3994001 1630.19/853.60 c cleaning 11000 clauses out of 22032 with flag 4005001/4005001 1634.90/856.02 c cleaning 11006 clauses out of 22033 with flag 4016002/4016002 1639.41/858.47 c cleaning 10998 clauses out of 22026 with flag 4027001/4027001 1644.40/861.10 c cleaning 11000 clauses out of 22029 with flag 4038002/4038002 1647.72/862.99 c cleaning 0 clauses out of 518002 with flag 0/518002 1649.43/863.92 c cleaning 11007 clauses out of 22028 with flag 4049001/4049001 1654.15/866.45 c cleaning 11002 clauses out of 22023 with flag 4060003/4060003 1658.97/869.04 c cleaning 10996 clauses out of 22018 with flag 4071000/4071000 1663.66/871.57 c cleaning 11000 clauses out of 22025 with flag 4082003/4082003 1668.58/874.11 c cleaning 10998 clauses out of 22025 with flag 4093003/4093003 1673.32/876.61 c cleaning 11000 clauses out of 22025 with flag 4104001/4104001 1678.09/879.23 c cleaning 11004 clauses out of 22025 with flag 4115001/4115001 1682.82/881.74 c cleaning 11000 clauses out of 22024 with flag 4126004/4126004 1687.53/884.22 c cleaning 10997 clauses out of 22020 with flag 4137000/4137000 1692.07/886.69 c cleaning 10998 clauses out of 22023 with flag 4148000/4148000 1696.84/889.27 c cleaning 11004 clauses out of 22029 with flag 4159004/4159004 1701.57/891.78 c cleaning 10993 clauses out of 22022 with flag 4170001/4170001 1706.30/894.26 c cleaning 11001 clauses out of 22030 with flag 4181002/4181002 1711.00/896.73 c cleaning 11005 clauses out of 22028 with flag 4192001/4192001 1711.59/897.30 c cleaning 0 clauses out of 529000 with flag 0/529000 1716.10/899.70 c cleaning 10996 clauses out of 22022 with flag 4203000/4203000 1721.02/902.23 c cleaning 10995 clauses out of 22026 with flag 4214000/4214000 1725.74/904.74 c cleaning 11005 clauses out of 22034 with flag 4225003/4225003 1730.54/907.34 c cleaning 11001 clauses out of 22031 with flag 4236005/4236005 1735.25/909.83 c cleaning 10992 clauses out of 22025 with flag 4247000/4247000 1739.98/912.33 c cleaning 11002 clauses out of 22034 with flag 4258001/4258001 1744.69/914.86 c cleaning 11006 clauses out of 22035 with flag 4269004/4269004 1749.68/917.50 c cleaning 11000 clauses out of 22027 with flag 4280002/4280002 1754.18/919.98 c cleaning 10995 clauses out of 22025 with flag 4291000/4291000 1758.90/922.47 c cleaning 11000 clauses out of 22031 with flag 4302001/4302001 1763.63/924.93 c cleaning 10986 clauses out of 22030 with flag 4313000/4313000 1768.62/927.62 c cleaning 11008 clauses out of 22045 with flag 4324001/4324001 1770.33/928.68 c cleaning 0 clauses out of 540001 with flag 0/540001 1773.65/930.48 c cleaning 10999 clauses out of 22038 with flag 4335002/4335002 1778.36/932.99 c cleaning 11002 clauses out of 22037 with flag 4346000/4346000 1783.34/935.67 c cleaning 11005 clauses out of 22039 with flag 4357004/4357004 1788.04/938.20 c cleaning 10999 clauses out of 22031 with flag 4368001/4368001 1792.97/940.71 c cleaning 10994 clauses out of 22031 with flag 4379000/4379000 1797.69/943.26 c cleaning 10999 clauses out of 22039 with flag 4390002/4390002 1800.08/944.61 c starts : 253 1800.08/944.61 c conflicts : 4395099 1800.08/944.61 c decisions : 5723779 1800.08/944.61 c propagations : 1681687288 1800.08/944.61 c inspects : 6449926378 1800.08/944.61 c shortcuts : 0 1800.08/944.61 c learnt literals : 0 1800.08/944.61 c learnt binary clauses : 0 1800.08/944.61 c learnt ternary clauses : 81 1800.08/944.61 c learnt constraints : 4395099 1800.08/944.61 c ignored constraints : 0 1800.08/944.61 c root simplifications : 0 1800.08/944.61 c removed literals (reason simplification) : 56509414 1800.08/944.61 c reason swapping (by a shorter reason) : 0 1800.08/944.61 c Calls to reduceDB : 401 1800.08/944.61 c number of reductions to clauses (during analyze) : 0 1800.08/944.61 c number of learned constraints concerned by reduction : 0 1800.08/944.61 c number of learning phase by resolution : 0 1800.08/944.61 c number of learning phase by cutting planes : 0 1800.08/944.61 c speed (assignments/second) : 1781109.258827766 1800.08/944.61 c non guided choices 0 1800.08/944.62 c learnt constraints type 1800.08/944.62 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16168 1800.08/944.62 c constraints type 1800.08/944.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500 1800.08/944.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000 1800.08/944.62 c constraints type 1800.08/944.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000 1800.08/944.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500 1800.08/944.62 s UNKNOWN 1800.08/944.62 c Total wall clock time (in seconds): 944.5
ERROR: no interpretation found !
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-3741506-1338755287/watcher-3741506-1338755287 -o /tmp/evaluation-result-3741506-1338755287/solver-3741506-1338755287 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741506-1338755287.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.70 3.78 3.75 4/197 14161 /proc/meminfo: memFree=30053472/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/14161/stat : 14161 (java) R 14159 14161 13088 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 341653647 23793664 729 33554432000 1073741824 1073778376 140734752535888 140734752524952 139877649768109 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 5809 739 547 9 0 128 0 [startup+0.077581 s] /proc/loadavg: 3.70 3.78 3.75 4/197 14161 /proc/meminfo: memFree=30053472/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11586392 CPUtime=0.07 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 4423 0 1 0 5 2 0 0 20 0 18 0 341653647 11864465408 12786 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2896598 12786 1765 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.100232 s] /proc/loadavg: 3.70 3.78 3.75 4/197 14161 /proc/meminfo: memFree=30053472/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11586392 CPUtime=0.1 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 5210 0 1 0 8 2 0 0 20 0 18 0 341653647 11864465408 13564 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2896598 13564 2087 9 0 2887285 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11586392 [startup+0.3002 s] /proc/loadavg: 3.70 3.78 3.75 4/197 14161 /proc/meminfo: memFree=30053472/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11586392 CPUtime=0.49 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 6621 0 1 0 46 3 0 0 20 0 18 0 341653647 11864465408 16394 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2896598 16394 2224 9 0 2887285 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 11586392 [startup+0.700211 s] /proc/loadavg: 3.70 3.78 3.75 4/197 14161 /proc/meminfo: memFree=30053472/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11852648 CPUtime=1.88 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 16013 0 1 0 183 5 0 0 20 0 22 0 341653647 12137111552 28271 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2963162 28271 2262 9 0 2953849 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 11852648 [startup+1.50086 s] /proc/loadavg: 3.70 3.78 3.75 5/219 14183 /proc/meminfo: memFree=29912868/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11852648 CPUtime=3.93 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 16193 0 1 0 384 9 0 0 20 0 22 0 341653647 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2963162 66762 2290 9 0 2953849 0 [pid=14161/tid=14163] ppid=14159 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/14161/task/14163/stat : 14163 (java) S 14159 14161 13088 0 -1 4202560 3398 0 1 0 38 3 0 0 20 0 22 0 341653648 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877641819288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14164] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14164/stat : 14164 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877630880680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14165] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14165/stat : 14165 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877629828136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14166] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14166/stat : 14166 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877628775080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14167] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14167/stat : 14167 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877627722536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14168] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14168/stat : 14168 (java) S 14159 14161 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877626669480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14169] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14169/stat : 14169 (java) S 14159 14161 13088 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877625616936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14170] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14170/stat : 14170 (java) S 14159 14161 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877624563880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14171] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14171/stat : 14171 (java) S 14159 14161 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877470726440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14172] ppid=14159 vsize=11852648 CPUtime=0.01 cores=1,3,5,7 /proc/14161/task/14172/stat : 14172 (java) S 14159 14161 13088 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 341653651 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877458529128 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14173] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14173/stat : 14173 (java) S 14159 14161 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877457475448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14174] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14174/stat : 14174 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877456422280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14175] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14175/stat : 14175 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877455371024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14176] ppid=14159 vsize=11852648 CPUtime=0.68 cores=1,3,5,7 /proc/14161/task/14176/stat : 14176 (java) S 14159 14161 13088 0 -1 4202560 5026 0 0 0 67 1 0 0 20 0 22 0 341653654 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877454317880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14177] ppid=14159 vsize=11852648 CPUtime=0.7 cores=1,3,5,7 /proc/14161/task/14177/stat : 14177 (java) S 14159 14161 13088 0 -1 4202560 6345 0 0 0 70 0 0 0 20 0 22 0 341653654 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877453265336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14178] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14178/stat : 14178 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877452212472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14179] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14179/stat : 14179 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877451160136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14180] ppid=14159 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/14161/task/14180/stat : 14180 (java) R 14159 14161 13088 0 -1 4202560 25 0 0 0 100 0 0 0 20 0 22 0 341653691 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877450105784 139877505753240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14181] ppid=14159 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/14161/task/14181/stat : 14181 (java) R 14159 14161 13088 0 -1 4202560 140 0 0 0 98 3 0 0 20 0 22 0 341653691 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877449051448 139877505835643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14182] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14182/stat : 14182 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877448000808 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14183] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14183/stat : 14183 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 66762 33554432000 1073741824 1073778376 140734752535888 139877446948264 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 11852648 [startup+3.10087 s] /proc/loadavg: 3.72 3.79 3.75 4/219 14183 /proc/meminfo: memFree=29776824/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11852648 CPUtime=7.2 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 16218 0 1 0 710 10 0 0 20 0 22 0 341653647 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2963162 73422 2290 9 0 2953849 0 [pid=14161/tid=14163] ppid=14159 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/14161/task/14163/stat : 14163 (java) S 14159 14161 13088 0 -1 4202560 3398 0 1 0 38 3 0 0 20 0 22 0 341653648 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877641819288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14164] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14164/stat : 14164 (java) S 14159 14161 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877630880680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14165] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14165/stat : 14165 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877629828136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14166] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14166/stat : 14166 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877628775080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14167] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14167/stat : 14167 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877627722536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14168] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14168/stat : 14168 (java) S 14159 14161 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877626669480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14169] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14169/stat : 14169 (java) S 14159 14161 13088 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877625616936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14170] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14170/stat : 14170 (java) S 14159 14161 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877624563880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14171] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14171/stat : 14171 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877470726440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14172] ppid=14159 vsize=11852648 CPUtime=0.04 cores=1,3,5,7 /proc/14161/task/14172/stat : 14172 (java) S 14159 14161 13088 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 341653651 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877458529128 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14173] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14173/stat : 14173 (java) S 14159 14161 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877457475448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14174] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14174/stat : 14174 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877456422280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14175] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14175/stat : 14175 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877455371024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14176] ppid=14159 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/14161/task/14176/stat : 14176 (java) S 14159 14161 13088 0 -1 4202560 5026 0 0 0 71 2 0 0 20 0 22 0 341653654 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877454317880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14177] ppid=14159 vsize=11852648 CPUtime=0.75 cores=1,3,5,7 /proc/14161/task/14177/stat : 14177 (java) S 14159 14161 13088 0 -1 4202560 6345 0 0 0 75 0 0 0 20 0 22 0 341653654 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877453265336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14178] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14178/stat : 14178 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877452212472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14179] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14179/stat : 14179 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877451160136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14180] ppid=14159 vsize=11852648 CPUtime=2.56 cores=1,3,5,7 /proc/14161/task/14180/stat : 14180 (java) R 14159 14161 13088 0 -1 4202560 26 0 0 0 256 0 0 0 20 0 22 0 341653691 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877450105664 139877505766158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14181] ppid=14159 vsize=11852648 CPUtime=2.57 cores=1,3,5,7 /proc/14161/task/14181/stat : 14181 (java) R 14159 14161 13088 0 -1 4202560 151 0 0 0 254 3 0 0 20 0 22 0 341653691 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877449053272 139877505847864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14182] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14182/stat : 14182 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877448000808 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14183] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14183/stat : 14183 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 73422 33554432000 1073741824 1073778376 140734752535888 139877446948264 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 11852648 [startup+6.30088 s] /proc/loadavg: 3.72 3.79 3.75 5/219 14183 /proc/meminfo: memFree=29690512/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11852648 CPUtime=14.74 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 26762 0 1 0 1458 16 0 0 20 0 22 0 341653647 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2963162 116146 2290 9 0 2953849 0 [pid=14161/tid=14163] ppid=14159 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/14161/task/14163/stat : 14163 (java) S 14159 14161 13088 0 -1 4202560 3398 0 1 0 38 3 0 0 20 0 22 0 341653648 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877641819288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14164] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14164/stat : 14164 (java) S 14159 14161 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877630880680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14165] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14165/stat : 14165 (java) S 14159 14161 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877629828136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14166] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14166/stat : 14166 (java) S 14159 14161 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877628775080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14167] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14167/stat : 14167 (java) S 14159 14161 13088 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877627722536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14168] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14168/stat : 14168 (java) S 14159 14161 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877626669480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14169] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14169/stat : 14169 (java) S 14159 14161 13088 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877625616936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14170] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14170/stat : 14170 (java) S 14159 14161 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877624563880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14171] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14171/stat : 14171 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653650 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877470726440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14172] ppid=14159 vsize=11852648 CPUtime=0.22 cores=1,3,5,7 /proc/14161/task/14172/stat : 14172 (java) S 14159 14161 13088 0 -1 4202560 35 0 0 0 22 0 0 0 20 0 22 0 341653651 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877458529128 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14173] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14173/stat : 14173 (java) S 14159 14161 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877457475448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14174] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14174/stat : 14174 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877456422280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14175] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14175/stat : 14175 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877455371024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14176] ppid=14159 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/14161/task/14176/stat : 14176 (java) S 14159 14161 13088 0 -1 4202560 9368 0 0 0 136 3 0 0 20 0 22 0 341653654 12137111552 116146 33554432000 1073741824 1073778376 140734752535888 139877454317880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ /proc/14161/statm: 2963162 194275 2291 9 0 2953849 0 [pid=14161/tid=14163] ppid=14159 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/14161/task/14163/stat : 14163 (java) S 14159 14161 13088 0 -1 4202560 3523 0 1 0 42 5 0 0 20 0 22 0 341653648 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877641819288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14164] ppid=14159 vsize=11852648 CPUtime=1.67 cores=1,3,5,7 /proc/14161/task/14164/stat : 14164 (java) S 14159 14161 13088 0 -1 4202560 50 0 0 0 165 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877630880680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14165] ppid=14159 vsize=11852648 CPUtime=1.54 cores=1,3,5,7 /proc/14161/task/14165/stat : 14165 (java) S 14159 14161 13088 0 -1 4202560 43 0 0 0 152 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877629828136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14166] ppid=14159 vsize=11852648 CPUtime=1.71 cores=1,3,5,7 /proc/14161/task/14166/stat : 14166 (java) S 14159 14161 13088 0 -1 4202560 41 0 0 0 169 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877628775080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14167] ppid=14159 vsize=11852648 CPUtime=1.62 cores=1,3,5,7 /proc/14161/task/14167/stat : 14167 (java) S 14159 14161 13088 0 -1 4202560 65 0 0 0 160 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877627722536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14168] ppid=14159 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/14161/task/14168/stat : 14168 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 164 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877626669480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14169] ppid=14159 vsize=11852648 CPUtime=1.6 cores=1,3,5,7 /proc/14161/task/14169/stat : 14169 (java) S 14159 14161 13088 0 -1 4202560 67 0 0 0 158 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877625616936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14170] ppid=14159 vsize=11852648 CPUtime=1.53 cores=1,3,5,7 /proc/14161/task/14170/stat : 14170 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 153 0 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877624563880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14171] ppid=14159 vsize=11852648 CPUtime=1.59 cores=1,3,5,7 /proc/14161/task/14171/stat : 14171 (java) S 14159 14161 13088 0 -1 4202560 47 0 0 0 157 2 0 0 20 0 22 0 341653650 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877470726440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14172] ppid=14159 vsize=11852648 CPUtime=88.04 cores=1,3,5,7 /proc/14161/task/14172/stat : 14172 (java) S 14159 14161 13088 0 -1 4202560 209 0 0 0 8794 10 0 0 20 0 22 0 341653651 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877458529128 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14173] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14173/stat : 14173 (java) S 14159 14161 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877457475448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14174] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14174/stat : 14174 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877456422280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14175] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14175/stat : 14175 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877455371024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14176] ppid=14159 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/14161/task/14176/stat : 14176 (java) S 14159 14161 13088 0 -1 4202560 9368 0 0 0 136 3 0 0 20 0 22 0 341653654 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877454317880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14177] ppid=14159 vsize=11852648 CPUtime=1.41 cores=1,3,5,7 /proc/14161/task/14177/stat : 14177 (java) S 14159 14161 13088 0 -1 4202560 12451 0 0 0 139 2 0 0 20 0 22 0 341653654 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877453265336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14178] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14178/stat : 14178 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877452212472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14179] ppid=14159 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/14161/task/14179/stat : 14179 (java) S 14159 14161 13088 0 -1 4202560 51 0 0 0 26 24 0 0 20 0 22 0 341653654 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877451160136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14180] ppid=14159 vsize=11852648 CPUtime=787.38 cores=1,3,5,7 /proc/14161/task/14180/stat : 14180 (java) R 14159 14161 13088 0 -1 4202560 260 0 0 0 78725 13 0 0 20 0 22 0 341653691 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877450105664 139877505753007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14181] ppid=14159 vsize=11852648 CPUtime=787.57 cores=1,3,5,7 /proc/14161/task/14181/stat : 14181 (java) R 14159 14161 13088 0 -1 4202560 325 0 0 0 78738 19 0 0 20 0 22 0 341653691 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877449051200 139877505765723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14182] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14182/stat : 14182 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877448000808 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14183] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14183/stat : 14183 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 194275 33554432000 1073741824 1073778376 140734752535888 139877446948264 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1683.73 Current children cumulated vsize (KiB) 11852648 [startup+942.301 s] /proc/loadavg: 3.56 3.67 3.71 5/219 14354 /proc/meminfo: memFree=28810592/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11852648 CPUtime=1795.89 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 27841 0 1 0 179520 69 0 0 20 0 22 0 341653647 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2963162 196846 2291 9 0 2953849 0 [pid=14161/tid=14163] ppid=14159 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/14161/task/14163/stat : 14163 (java) S 14159 14161 13088 0 -1 4202560 3535 0 1 0 42 5 0 0 20 0 22 0 341653648 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877641819288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14164] ppid=14159 vsize=11852648 CPUtime=1.79 cores=1,3,5,7 /proc/14161/task/14164/stat : 14164 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 177 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877630880680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14165] ppid=14159 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/14161/task/14165/stat : 14165 (java) S 14159 14161 13088 0 -1 4202560 43 0 0 0 164 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877629828136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14166] ppid=14159 vsize=11852648 CPUtime=1.85 cores=1,3,5,7 /proc/14161/task/14166/stat : 14166 (java) S 14159 14161 13088 0 -1 4202560 48 0 0 0 182 3 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877628775080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14167] ppid=14159 vsize=11852648 CPUtime=1.73 cores=1,3,5,7 /proc/14161/task/14167/stat : 14167 (java) S 14159 14161 13088 0 -1 4202560 65 0 0 0 171 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877627722536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14168] ppid=14159 vsize=11852648 CPUtime=1.79 cores=1,3,5,7 /proc/14161/task/14168/stat : 14168 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 177 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877626669480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14169] ppid=14159 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/14161/task/14169/stat : 14169 (java) S 14159 14161 13088 0 -1 4202560 67 0 0 0 171 3 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877625616936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14170] ppid=14159 vsize=11852648 CPUtime=1.68 cores=1,3,5,7 /proc/14161/task/14170/stat : 14170 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 166 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877624563880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14171] ppid=14159 vsize=11852648 CPUtime=1.72 cores=1,3,5,7 /proc/14161/task/14171/stat : 14171 (java) S 14159 14161 13088 0 -1 4202560 49 0 0 0 170 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877470726440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14172] ppid=14159 vsize=11852648 CPUtime=96.31 cores=1,3,5,7 /proc/14161/task/14172/stat : 14172 (java) S 14159 14161 13088 0 -1 4202560 218 0 0 0 9621 10 0 0 20 0 22 0 341653651 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877458529128 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14173] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14173/stat : 14173 (java) S 14159 14161 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877457475448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14174] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14174/stat : 14174 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877456422280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14175] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14175/stat : 14175 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877455371024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14176] ppid=14159 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/14161/task/14176/stat : 14176 (java) S 14159 14161 13088 0 -1 4202560 9368 0 0 0 136 3 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877454317880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14177] ppid=14159 vsize=11852648 CPUtime=1.41 cores=1,3,5,7 /proc/14161/task/14177/stat : 14177 (java) S 14159 14161 13088 0 -1 4202560 12451 0 0 0 139 2 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877453265336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14178] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14178/stat : 14178 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877452212472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14179] ppid=14159 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/14161/task/14179/stat : 14179 (java) S 14159 14161 13088 0 -1 4202560 55 0 0 0 28 26 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877451160136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14180] ppid=14159 vsize=11852648 CPUtime=838.64 cores=1,3,5,7 /proc/14161/task/14180/stat : 14180 (java) R 14159 14161 13088 0 -1 4202560 272 0 0 0 83850 14 0 0 20 0 22 0 341653691 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877450105664 139877505765723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14181] ppid=14159 vsize=11852648 CPUtime=838.83 cores=1,3,5,7 /proc/14161/task/14181/stat : 14181 (java) R 14159 14161 13088 0 -1 4202560 326 0 0 0 83863 20 0 0 20 0 22 0 341653691 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877449051232 139877505888408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14182] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14182/stat : 14182 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877448000808 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14183] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14183/stat : 14183 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877446948264 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1795.89 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+944.601 s] /proc/loadavg: 3.59 3.68 3.71 5/219 14354 /proc/meminfo: memFree=28808544/32873844 swapFree=7116/7116 [pid=14161] ppid=14159 vsize=11852648 CPUtime=1800.08 cores=1,3,5,7 /proc/14161/stat : 14161 (java) S 14159 14161 13088 0 -1 4202496 27842 0 1 0 179939 69 0 0 20 0 22 0 341653647 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 140734752527024 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14161/statm: 2963162 196846 2291 9 0 2953849 0 [pid=14161/tid=14163] ppid=14159 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/14161/task/14163/stat : 14163 (java) S 14159 14161 13088 0 -1 4202560 3536 0 1 0 42 5 0 0 20 0 22 0 341653648 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877641819288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14164] ppid=14159 vsize=11852648 CPUtime=1.8 cores=1,3,5,7 /proc/14161/task/14164/stat : 14164 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 178 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877630880680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14165] ppid=14159 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/14161/task/14165/stat : 14165 (java) S 14159 14161 13088 0 -1 4202560 43 0 0 0 164 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877629828136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14166] ppid=14159 vsize=11852648 CPUtime=1.86 cores=1,3,5,7 /proc/14161/task/14166/stat : 14166 (java) S 14159 14161 13088 0 -1 4202560 48 0 0 0 183 3 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877628775080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14167] ppid=14159 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/14161/task/14167/stat : 14167 (java) S 14159 14161 13088 0 -1 4202560 65 0 0 0 172 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877627722536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14168] ppid=14159 vsize=11852648 CPUtime=1.8 cores=1,3,5,7 /proc/14161/task/14168/stat : 14168 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 178 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877626669480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14169] ppid=14159 vsize=11852648 CPUtime=1.74 cores=1,3,5,7 /proc/14161/task/14169/stat : 14169 (java) S 14159 14161 13088 0 -1 4202560 67 0 0 0 171 3 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877625616936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14170] ppid=14159 vsize=11852648 CPUtime=1.68 cores=1,3,5,7 /proc/14161/task/14170/stat : 14170 (java) S 14159 14161 13088 0 -1 4202560 52 0 0 0 166 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877624563880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14171] ppid=14159 vsize=11852648 CPUtime=1.72 cores=1,3,5,7 /proc/14161/task/14171/stat : 14171 (java) S 14159 14161 13088 0 -1 4202560 49 0 0 0 170 2 0 0 20 0 22 0 341653650 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877470726440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14172] ppid=14159 vsize=11852648 CPUtime=96.75 cores=1,3,5,7 /proc/14161/task/14172/stat : 14172 (java) S 14159 14161 13088 0 -1 4202560 218 0 0 0 9665 10 0 0 20 0 22 0 341653651 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877458529128 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14173] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14173/stat : 14173 (java) S 14159 14161 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877457475448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14174] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14174/stat : 14174 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653652 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877456422280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14175] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14175/stat : 14175 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877455371024 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14176] ppid=14159 vsize=11852648 CPUtime=1.39 cores=1,3,5,7 /proc/14161/task/14176/stat : 14176 (java) S 14159 14161 13088 0 -1 4202560 9368 0 0 0 136 3 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877454317880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14177] ppid=14159 vsize=11852648 CPUtime=1.41 cores=1,3,5,7 /proc/14161/task/14177/stat : 14177 (java) S 14159 14161 13088 0 -1 4202560 12451 0 0 0 139 2 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877453265336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14178] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14178/stat : 14178 (java) S 14159 14161 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877452212472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14161/tid=14179] ppid=14159 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/14161/task/14179/stat : 14179 (java) S 14159 14161 13088 0 -1 4202560 55 0 0 0 28 26 0 0 20 0 22 0 341653654 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877451160136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14180] ppid=14159 vsize=11852648 CPUtime=840.5 cores=1,3,5,7 /proc/14161/task/14180/stat : 14180 (java) R 14159 14161 13088 0 -1 4202560 272 0 0 0 84036 14 0 0 20 0 22 0 341653691 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877450105664 139877505814977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14161/tid=14181] ppid=14159 vsize=11852648 CPUtime=840.69 cores=1,3,5,7 /proc/14161/task/14181/stat : 14181 (java) R 14159 14161 13088 0 -1 4202560 326 0 0 0 84049 20 0 0 20 0 22 0 341653691 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877449051328 139877505888408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14161/tid=14182] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14182/stat : 14182 (java) S 14159 14161 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877448000808 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14161/tid=14183] ppid=14159 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/14161/task/14183/stat : 14183 (java) S 14159 14161 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341653697 12137111552 196846 33554432000 1073741824 1073778376 140734752535888 139877446948264 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14161 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=959124 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=143826 # CPU time returned by wait4() is 1796.1 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 944.634 CPU time (s): 1800.08 CPU user time (s): 1799.39 CPU system time (s): 0.69 CPU usage (%): 190.559 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.96 system time used= 1.14383 maximum resident set size= 787508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27876 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35276 involuntary context switches= 40185 runsolver used 3.78143 second user time and 9.62354 second system time The end
Begin job on node146 at 2012-06-03 22:28:07 IDJOB=3741506 IDBENCH=89869 IDSOLVER=2328 FILE ID=node146/3741506-1338755287 RUNJOBID= node146-1338749727-13105 PBS_JOBID= 14636806 Free space on /tmp= 70908 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741506-1338755287/watcher-3741506-1338755287 -o /tmp/evaluation-result-3741506-1338755287/solver-3741506-1338755287 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741506-1338755287.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb RANDOM SEED=2142472208 node146.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.034 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.06 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.034 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.92 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.034 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.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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.034 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.034 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.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30053736 kB Buffers: 314976 kB Cached: 461696 kB SwapCached: 1792 kB Active: 1648516 kB Inactive: 348004 kB Active(anon): 1220556 kB Inactive(anon): 1664 kB Active(file): 427960 kB Inactive(file): 346340 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67099888 kB Dirty: 764 kB Writeback: 0 kB AnonPages: 1264724 kB Mapped: 17196 kB Shmem: 0 kB Slab: 678492 kB SReclaimable: 117860 kB SUnreclaim: 560632 kB KernelStack: 1808 kB PageTables: 6648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10461088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1202176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70904 MiB End job on node146 at 2012-06-03 22:43:54