2.41/1.89
2.41/1.89 AbsCon 2
2.64/1.90
3.33/2.18 Instance
3.33/2.18 name=instance-4391178-1568391558, framework=COP, bounds=-infty..+infty
3.33/2.18
3.33/2.18 Loading variables...
3.66/2.24 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@308e1e43
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb5ddd8
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce98b7
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8beea60
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb602db
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76896ca8
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2ba1b5
5.12/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e3d291
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab
5.12/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678
5.12/2.66
5.12/2.66
5.12/2.66 Domains
5.12/2.66 nTypes=4, nValues=3615, sizes=[2#900,3#450,15#15,16#15]
5.12/2.66 Variables
5.12/2.66 count=1380, degrees=[2#495,3#870,31#15]
5.12/2.66 Objectives
5.12/2.66 way=min, type=ObjMaximumLE
5.12/2.66 Constraints
5.12/2.66 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.12/2.66 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.12/2.66 tables=[5#450], nTotalTuples=2250
5.12/2.66 nExtStructures=(451,shared:449), nIntStructures=(1,shared:419), nCftStructures=(451,shared:419,unbuilt:497)
5.12/2.66 wck=0.805, cpu=2.632, mem=79M360
5.45/2.73 Solver SolverBacktrack being built...
5.45/2.73
5.45/2.76
5.45/2.76 Solver
5.45/2.76 guaranteedGAC=false
5.45/2.76 wck=0.907, cpu=2.73, mem=132M303
5.45/2.79
5.45/2.79 Preprocessing
5.45/2.79 filters=30, revisions=(60,useless=60), ccks=228, nACremovedValues=30, nTotalRemovedValues=30, inconcistency=false
5.45/2.79 wck=0.024, cpu=2.756, mem=132M303
5.45/2.79
5.72/2.86 o 15
6.07/2.92 num=0, depth=5..1379, filters=2464, revisions=(7888,useless=6178), ccks=6574, wck=0.16, mem=132M303
6.07/2.92 decisions=26, wrong=6, backtracks=0, failedAssignments=6, nogoods=6, foundSolutions=1, bestBound=15
6.07/2.92 nFilterCalls=2892, avgTableProportion=0.7999999999999924, avgTableSize=4.0
6.07/2.92
6.07/2.95 num=1, depth=0..32, filters=4990, revisions=(13990,useless=10549), ccks=10609, wck=0.187, mem=134M945
6.07/2.95 decisions=81, wrong=18, backtracks=1, failedAssignments=17, nogoods=11, foundSolutions=1, bestBound=15
6.07/2.95 nFilterCalls=4732, avgTableProportion=0.8000000000000661, avgTableSize=4.0
6.07/2.95
6.07/2.98 num=2, depth=15..19, filters=9526, revisions=(24940,useless=18391), ccks=16308, wck=0.215, mem=134M945
6.07/2.98 decisions=136, wrong=37, backtracks=10, failedAssignments=28, nogoods=15, foundSolutions=1, bestBound=15
6.07/2.98 nFilterCalls=6875, avgTableProportion=0.8000000000001021, avgTableSize=4.0
6.07/2.98
6.07/3.00 o 14
6.40/3.03 num=3, depth=23..1379, filters=11440, revisions=(31921,useless=24052), ccks=20594, wck=0.271, mem=134M945
6.40/3.03 decisions=172, wrong=39, backtracks=10, failedAssignments=30, nogoods=17, foundSolutions=2, bestBound=14
6.40/3.03 nFilterCalls=9209, avgTableProportion=0.8000000000001224, avgTableSize=4.0
6.40/3.03
6.40/3.05 num=4, depth=30..36, filters=12783, revisions=(37187,useless=28272), ccks=22669, wck=0.29, mem=134M945
6.40/3.05 decisions=236, wrong=56, backtracks=16, failedAssignments=43, nogoods=18, foundSolutions=2, bestBound=14
6.40/3.05 nFilterCalls=10414, avgTableProportion=0.800000000000114, avgTableSize=4.0
6.40/3.05
6.40/3.08 num=5, depth=30..37, filters=16913, revisions=(45167,useless=33860), ccks=26846, wck=0.314, mem=134M945
6.40/3.08 decisions=302, wrong=74, backtracks=26, failedAssignments=54, nogoods=21, foundSolutions=2, bestBound=14
6.40/3.08 nFilterCalls=12376, avgTableProportion=0.7999999999999805, avgTableSize=4.0
6.40/3.08
6.40/3.09 num=6, depth=14..20, filters=19265, revisions=(52449,useless=39474), ccks=30720, wck=0.33, mem=134M945
6.40/3.09 decisions=355, wrong=92, backtracks=32, failedAssignments=66, nogoods=27, foundSolutions=2, bestBound=14
6.40/3.09 nFilterCalls=13516, avgTableProportion=0.7999999999999208, avgTableSize=4.0
6.40/3.09
6.71/3.12 num=7, depth=9..12, filters=23600, revisions=(63393,useless=47672), ccks=36888, wck=0.353, mem=134M945
6.71/3.12 decisions=406, wrong=112, backtracks=40, failedAssignments=79, nogoods=30, foundSolutions=2, bestBound=14
6.71/3.12 nFilterCalls=15620, avgTableProportion=0.7999999999998335, avgTableSize=4.0
6.71/3.12
6.71/3.14 num=8, depth=15..21, filters=27936, revisions=(73165,useless=54609), ccks=42486, wck=0.378, mem=134M945
6.71/3.14 decisions=467, wrong=135, backtracks=50, failedAssignments=93, nogoods=34, foundSolutions=2, bestBound=14
6.71/3.14 nFilterCalls=17468, avgTableProportion=0.7999999999997741, avgTableSize=4.0
6.71/3.14
6.71/3.17 num=9, depth=9..11, filters=32713, revisions=(85486,useless=63681), ccks=49491, wck=0.409, mem=134M945
6.71/3.17 decisions=525, wrong=159, backtracks=59, failedAssignments=109, nogoods=39, foundSolutions=2, bestBound=14
6.71/3.17 nFilterCalls=19672, avgTableProportion=0.7999999999997179, avgTableSize=4.0
6.71/3.17
6.98/3.20 num=10, depth=12..38, filters=36720, revisions=(96259,useless=71721), ccks=54761, wck=0.439, mem=134M945
6.98/3.20 decisions=612, wrong=185, backtracks=69, failedAssignments=126, nogoods=45, foundSolutions=2, bestBound=14
6.98/3.20 nFilterCalls=21422, avgTableProportion=0.7999999999996815, avgTableSize=4.0
6.98/3.20
6.98/3.24 o 13
6.98/3.27 num=11, depth=17..1379, filters=39788, revisions=(106846,useless=80137), ccks=60438, wck=0.506, mem=137M588
6.98/3.27 decisions=699, wrong=207, backtracks=74, failedAssignments=143, nogoods=50, foundSolutions=3, bestBound=13
6.98/3.27 nFilterCalls=24130, avgTableProportion=0.7999999999996356, avgTableSize=4.0
6.98/3.27
7.29/3.31 num=12, depth=14..32, filters=44043, revisions=(120288,useless=90569), ccks=66584, wck=0.547, mem=137M588
7.29/3.31 decisions=795, wrong=244, backtracks=97, failedAssignments=164, nogoods=56, foundSolutions=3, bestBound=13
7.29/3.31 nFilterCalls=26552, avgTableProportion=0.7999999999996025, avgTableSize=4.0
7.29/3.31
7.29/3.34 num=13, depth=12..15, filters=48837, revisions=(129870,useless=97156), ccks=72555, wck=0.575, mem=137M588
7.29/3.34 decisions=853, wrong=266, backtracks=108, failedAssignments=175, nogoods=58, foundSolutions=3, bestBound=13
7.29/3.34 nFilterCalls=28859, avgTableProportion=0.799999999999576, avgTableSize=4.0
7.29/3.34
7.29/3.37 num=14, depth=14..19, filters=53457, revisions=(141254,useless=105492), ccks=78357, wck=0.605, mem=137M588
7.29/3.37 decisions=915, wrong=290, backtracks=123, failedAssignments=187, nogoods=60, foundSolutions=3, bestBound=13
7.29/3.37 nFilterCalls=30933, avgTableProportion=0.7999999999995557, avgTableSize=4.0
7.29/3.37
7.59/3.40 num=15, depth=14..18, filters=58705, revisions=(151148,useless=112286), ccks=85119, wck=0.635, mem=137M588
7.59/3.40 decisions=979, wrong=315, backtracks=137, failedAssignments=200, nogoods=61, foundSolutions=3, bestBound=13
7.59/3.40 nFilterCalls=33486, avgTableProportion=0.7999999999995341, avgTableSize=4.0
7.59/3.40
7.59/3.43 o 12
7.59/3.46 num=16, depth=18..1379, filters=60826, revisions=(159815,useless=119436), ccks=89795, wck=0.697, mem=140M230
7.59/3.46 decisions=1043, wrong=326, backtracks=138, failedAssignments=210, nogoods=71, foundSolutions=4, bestBound=12
7.59/3.46 nFilterCalls=35813, avgTableProportion=0.7999999999995171, avgTableSize=4.0
7.59/3.46
7.90/3.51 num=17, depth=15..20, filters=67408, revisions=(178917,useless=134088), ccks=98571, wck=0.751, mem=140M230
7.90/3.51 decisions=1133, wrong=363, backtracks=165, failedAssignments=226, nogoods=74, foundSolutions=4, bestBound=12
7.90/3.51 nFilterCalls=39394, avgTableProportion=0.7999999999994949, avgTableSize=4.0
7.90/3.51
7.90/3.53 num=18, depth=15..18, filters=70479, revisions=(186499,useless=139369), ccks=103789, wck=0.772, mem=140M230
7.90/3.53 decisions=1185, wrong=381, backtracks=172, failedAssignments=237, nogoods=76, foundSolutions=4, bestBound=12
7.90/3.53 nFilterCalls=41016, avgTableProportion=0.799999999999491, avgTableSize=4.0
7.90/3.53
7.90/3.56 num=19, depth=15..23, filters=73715, revisions=(194751,useless=145403), ccks=108213, wck=0.795, mem=140M230
7.90/3.56 decisions=1240, wrong=398, backtracks=177, failedAssignments=249, nogoods=80, foundSolutions=4, bestBound=12
7.90/3.56 nFilterCalls=42599, avgTableProportion=0.799999999999618, avgTableSize=4.0
7.90/3.56
7.90/3.59 num=20, depth=14..17, filters=78252, revisions=(204822,useless=152500), ccks=114721, wck=0.824, mem=140M230
7.90/3.59 decisions=1301, wrong=421, backtracks=187, failedAssignments=262, nogoods=83, foundSolutions=4, bestBound=12
7.90/3.59 nFilterCalls=44937, avgTableProportion=0.7999999999997893, avgTableSize=4.0
7.90/3.59
8.20/3.62 num=21, depth=16..18, filters=82202, revisions=(214675,useless=159422), ccks=120833, wck=0.852, mem=140M230
8.20/3.62 decisions=1354, wrong=439, backtracks=191, failedAssignments=276, nogoods=87, foundSolutions=4, bestBound=12
8.20/3.62 nFilterCalls=46951, avgTableProportion=0.7999999999999232, avgTableSize=4.0
8.20/3.62
8.20/3.64 num=22, depth=16..18, filters=85463, revisions=(223410,useless=165868), ccks=125630, wck=0.875, mem=140M230
8.20/3.64 decisions=1414, wrong=461, backtracks=197, failedAssignments=292, nogoods=92, foundSolutions=4, bestBound=12
8.20/3.64 nFilterCalls=48505, avgTableProportion=0.8000000000000189, avgTableSize=4.0
8.20/3.64
8.20/3.67 num=23, depth=18..20, filters=90918, revisions=(237583,useless=176365), ccks=133771, wck=0.911, mem=140M230
8.20/3.67 decisions=1490, wrong=489, backtracks=209, failedAssignments=309, nogoods=95, foundSolutions=4, bestBound=12
8.20/3.67 nFilterCalls=51288, avgTableProportion=0.8000000000001758, avgTableSize=4.0
8.20/3.67
8.50/3.71 num=24, depth=17..20, filters=97228, revisions=(251727,useless=186294), ccks=141710, wck=0.951, mem=140M230
8.50/3.71 decisions=1568, wrong=519, backtracks=222, failedAssignments=328, nogoods=102, foundSolutions=4, bestBound=12
8.50/3.71 nFilterCalls=54410, avgTableProportion=0.8000000000003327, avgTableSize=4.0
8.50/3.71
8.50/3.76 num=25, depth=15..20, filters=104131, revisions=(270515,useless=200331), ccks=151161, wck=1.0, mem=140M230
8.50/3.76 decisions=1663, wrong=559, backtracks=253, failedAssignments=349, nogoods=106, foundSolutions=4, bestBound=12
8.50/3.76 nFilterCalls=57658, avgTableProportion=0.8000000000004779, avgTableSize=4.0
8.50/3.76
8.80/3.80 num=26, depth=15..25, filters=109654, revisions=(284593,useless=210449), ccks=158697, wck=1.04, mem=142M778
8.80/3.80 decisions=1759, wrong=599, backtracks=277, failedAssignments=372, nogoods=114, foundSolutions=4, bestBound=12
8.80/3.80 nFilterCalls=60137, avgTableProportion=0.8000000000005781, avgTableSize=4.0
8.80/3.80
8.80/3.84 o 11
8.80/3.87 num=27, depth=18..1379, filters=111974, revisions=(293701,useless=217879), ccks=163225, wck=1.105, mem=142M778
8.80/3.87 decisions=1814, wrong=610, backtracks=281, failedAssignments=380, nogoods=120, foundSolutions=5, bestBound=11
8.80/3.87 nFilterCalls=62578, avgTableProportion=0.8000000000006692, avgTableSize=4.0
8.80/3.87
9.10/3.94 num=28, depth=16..21, filters=120335, revisions=(313966,useless=232457), ccks=174479, wck=1.17, mem=142M778
9.10/3.94 decisions=1914, wrong=651, backtracks=298, failedAssignments=408, nogoods=127, foundSolutions=5, bestBound=11
9.10/3.94 nFilterCalls=66818, avgTableProportion=0.8000000000008114, avgTableSize=4.0
9.10/3.94
9.10/3.96 num=29, depth=13..36, filters=123182, revisions=(322822,useless=239273), ccks=178719, wck=1.195, mem=142M778
9.10/3.96 decisions=1980, wrong=669, backtracks=307, failedAssignments=419, nogoods=135, foundSolutions=5, bestBound=11
9.10/3.96 nFilterCalls=68174, avgTableProportion=0.8000000000008531, avgTableSize=4.0
9.10/3.96
9.10/3.98 num=30, depth=15..18, filters=126257, revisions=(331352,useless=245557), ccks=183228, wck=1.219, mem=142M778
9.10/3.98 decisions=2032, wrong=686, backtracks=314, failedAssignments=431, nogoods=141, foundSolutions=5, bestBound=11
9.10/3.98 nFilterCalls=69648, avgTableProportion=0.8000000000008967, avgTableSize=4.0
9.10/3.98
9.43/4.01 num=31, depth=16..38, filters=129332, revisions=(340912,useless=252910), ccks=187762, wck=1.246, mem=142M778
9.43/4.01 decisions=2121, wrong=715, backtracks=334, failedAssignments=444, nogoods=150, foundSolutions=5, bestBound=11
9.43/4.01 nFilterCalls=71053, avgTableProportion=0.8000000000009365, avgTableSize=4.0
9.43/4.01
9.43/4.04 num=32, depth=17..20, filters=135357, revisions=(354971,useless=262935), ccks=195607, wck=1.28, mem=142M778
9.43/4.04 decisions=2186, wrong=739, backtracks=345, failedAssignments=458, nogoods=152, foundSolutions=5, bestBound=11
9.43/4.04 nFilterCalls=74044, avgTableProportion=0.8000000000010162, avgTableSize=4.0
9.43/4.04
9.43/4.10 o 10
9.76/4.13 num=33, depth=35..1379, filters=137322, revisions=(363039,useless=269578), ccks=200139, wck=1.367, mem=59M338
9.76/4.13 decisions=2248, wrong=746, backtracks=347, failedAssignments=463, nogoods=157, foundSolutions=6, bestBound=10
9.76/4.13 nFilterCalls=76336, avgTableProportion=0.8000000000010731, avgTableSize=4.0
9.76/4.13
9.76/4.16 num=34, depth=19..24, filters=142502, revisions=(378411,useless=281188), ccks=207319, wck=1.399, mem=59M338
9.76/4.16 decisions=2329, wrong=776, backtracks=366, failedAssignments=480, nogoods=161, foundSolutions=6, bestBound=10
9.76/4.16 nFilterCalls=79369, avgTableProportion=0.8000000000011434, avgTableSize=4.0
9.76/4.16
9.76/4.18 num=35, depth=19..23, filters=145948, revisions=(387852,useless=288283), ccks=212039, wck=1.416, mem=59M338
9.76/4.18 decisions=2393, wrong=798, backtracks=378, failedAssignments=491, nogoods=164, foundSolutions=6, bestBound=10
9.76/4.18 nFilterCalls=81038, avgTableProportion=0.8000000000011797, avgTableSize=4.0
9.76/4.18
10.03/4.20 num=36, depth=17..19, filters=149849, revisions=(397615,useless=295468), ccks=216833, wck=1.433, mem=59M338
10.03/4.20 decisions=2450, wrong=818, backtracks=388, failedAssignments=503, nogoods=166, foundSolutions=6, bestBound=10
10.03/4.20 nFilterCalls=82915, avgTableProportion=0.8000000000012188, avgTableSize=4.0
10.03/4.20
10.03/4.21 num=37, depth=16..22, filters=153365, revisions=(406928,useless=302257), ccks=221904, wck=1.449, mem=59M338
10.03/4.21 decisions=2519, wrong=844, backtracks=402, failedAssignments=516, nogoods=171, foundSolutions=6, bestBound=10
10.03/4.21 nFilterCalls=84642, avgTableProportion=0.8000000000012534, avgTableSize=4.0
10.03/4.21
10.03/4.23 num=38, depth=17..21, filters=156247, revisions=(415365,useless=308664), ccks=226100, wck=1.463, mem=59M338
10.03/4.23 decisions=2582, wrong=866, backtracks=411, failedAssignments=530, nogoods=173, foundSolutions=6, bestBound=10
10.03/4.23 nFilterCalls=86058, avgTableProportion=0.8000000000012807, avgTableSize=4.0
10.03/4.23
10.03/4.24 num=39, depth=15..24, filters=158753, revisions=(421044,useless=312613), ccks=229112, wck=1.475, mem=59M338
10.03/4.24 decisions=2644, wrong=888, backtracks=417, failedAssignments=546, nogoods=179, foundSolutions=6, bestBound=10
10.03/4.24 nFilterCalls=87071, avgTableProportion=0.8000000000012996, avgTableSize=4.0
10.03/4.24
10.03/4.26 num=40, depth=17..23, filters=163182, revisions=(431640,useless=320337), ccks=234767, wck=1.493, mem=59M338
10.03/4.26 decisions=2711, wrong=913, backtracks=428, failedAssignments=563, nogoods=183, foundSolutions=6, bestBound=10
10.03/4.26 nFilterCalls=89118, avgTableProportion=0.8000000000013366, avgTableSize=4.0
10.03/4.26
10.03/4.27 num=41, depth=10..19, filters=167542, revisions=(441662,useless=327426), ccks=240243, wck=1.51, mem=59M338
10.03/4.27 decisions=2783, wrong=943, backtracks=439, failedAssignments=582, nogoods=189, foundSolutions=6, bestBound=10
10.03/4.27 nFilterCalls=91015, avgTableProportion=0.8000000000013694, avgTableSize=4.0
10.03/4.27
10.03/4.29 num=42, depth=10..17, filters=170813, revisions=(450239,useless=333677), ccks=244395, wck=1.525, mem=59M338
10.03/4.29 decisions=2855, wrong=974, backtracks=450, failedAssignments=603, nogoods=191, foundSolutions=6, bestBound=10
10.03/4.29 nFilterCalls=92368, avgTableProportion=0.8000000000013919, avgTableSize=4.0
10.03/4.29
10.33/4.31 num=43, depth=11..20, filters=175310, revisions=(461931,useless=342322), ccks=250032, wck=1.547, mem=59M338
10.33/4.31 decisions=2962, wrong=1021, backtracks=478, failedAssignments=626, nogoods=196, foundSolutions=6, bestBound=10
10.33/4.31 nFilterCalls=94267, avgTableProportion=0.8000000000014226, avgTableSize=4.0
10.33/4.31
10.33/4.33 num=44, depth=16..19, filters=180578, revisions=(474127,useless=351042), ccks=257439, wck=1.567, mem=61M953
10.33/4.33 decisions=3045, wrong=1054, backtracks=488, failedAssignments=651, nogoods=202, foundSolutions=6, bestBound=10
10.33/4.33 nFilterCalls=96888, avgTableProportion=0.8000000000014629, avgTableSize=4.0
10.33/4.33
10.33/4.35 num=45, depth=9..15, filters=184580, revisions=(485363,useless=359316), ccks=263155, wck=1.584, mem=61M953
10.33/4.35 decisions=3136, wrong=1093, backtracks=500, failedAssignments=679, nogoods=206, foundSolutions=6, bestBound=10
10.33/4.35 nFilterCalls=98668, avgTableProportion=0.800000000001489, avgTableSize=4.0
10.33/4.35
10.33/4.37 num=46, depth=11..17, filters=191787, revisions=(503389,useless=372550), ccks=273188, wck=1.609, mem=63M275
10.33/4.37 decisions=3238, wrong=1138, backtracks=517, failedAssignments=710, nogoods=213, foundSolutions=6, bestBound=10
10.33/4.37 nFilterCalls=102198, avgTableProportion=0.800000000001538, avgTableSize=4.0
10.33/4.37
10.33/4.39 num=47, depth=11..16, filters=197021, revisions=(515218,useless=380569), ccks=279600, wck=1.628, mem=63M275
10.33/4.39 decisions=3338, wrong=1182, backtracks=527, failedAssignments=744, nogoods=221, foundSolutions=6, bestBound=10
10.33/4.39 nFilterCalls=104330, avgTableProportion=0.8000000000015661, avgTableSize=4.0
10.33/4.39
10.64/4.42 num=48, depth=12..17, filters=206475, revisions=(538714,useless=397258), ccks=293867, wck=1.661, mem=63M275
10.64/4.42 decisions=3470, wrong=1240, backtracks=550, failedAssignments=781, nogoods=224, foundSolutions=6, bestBound=10
10.64/4.42 nFilterCalls=109121, avgTableProportion=0.8000000000016251, avgTableSize=4.0
10.64/4.42
10.64/4.45 num=49, depth=15..25, filters=213914, revisions=(558617,useless=411818), ccks=303838, wck=1.686, mem=63M275
10.64/4.45 decisions=3620, wrong=1307, backtracks=580, failedAssignments=822, nogoods=235, foundSolutions=6, bestBound=10
10.64/4.45 nFilterCalls=112287, avgTableProportion=0.8000000000016614, avgTableSize=4.0
10.64/4.45
10.64/4.47 num=50, depth=19..26, filters=222240, revisions=(580636,useless=427795), ccks=315156, wck=1.711, mem=63M275
10.64/4.47 decisions=3772, wrong=1373, backtracks=605, failedAssignments=867, nogoods=238, foundSolutions=6, bestBound=10
10.64/4.47 nFilterCalls=116175, avgTableProportion=0.8000000000017031, avgTableSize=4.0
10.64/4.47
10.95/4.51 num=51, depth=19..23, filters=236448, revisions=(616159,useless=453681), ccks=334881, wck=1.746, mem=63M275
10.95/4.51 decisions=3955, wrong=1454, backtracks=638, failedAssignments=917, nogoods=246, foundSolutions=6, bestBound=10
10.95/4.51 nFilterCalls=123184, avgTableProportion=0.8000000000017718, avgTableSize=4.0
10.95/4.51
10.95/4.53 num=52, depth=14..19, filters=246325, revisions=(640845,useless=471416), ccks=348268, wck=1.771, mem=63M275
10.95/4.53 decisions=4122, wrong=1530, backtracks=663, failedAssignments=972, nogoods=251, foundSolutions=6, bestBound=10
10.95/4.53 nFilterCalls=127744, avgTableProportion=0.8000000000018125, avgTableSize=4.0
10.95/4.53
10.95/4.57 num=53, depth=12..21, filters=262351, revisions=(678131,useless=498144), ccks=367588, wck=1.808, mem=63M275
10.95/4.57 decisions=4338, wrong=1631, backtracks=720, failedAssignments=1033, nogoods=256, foundSolutions=6, bestBound=10
10.95/4.57 nFilterCalls=134871, avgTableProportion=0.8000000000018704, avgTableSize=4.0
10.95/4.57
11.25/4.60 num=54, depth=12..21, filters=273108, revisions=(703981,useless=516166), ccks=381030, wck=1.835, mem=63M275
11.25/4.60 decisions=4580, wrong=1746, backtracks=780, failedAssignments=1100, nogoods=276, foundSolutions=6, bestBound=10
11.25/4.60 nFilterCalls=139179, avgTableProportion=0.8000000000019026, avgTableSize=4.0
11.25/4.60
11.25/4.64 num=55, depth=12..17, filters=295689, revisions=(751293,useless=548317), ccks=410358, wck=1.874, mem=65M890
11.25/4.64 decisions=4804, wrong=1851, backtracks=816, failedAssignments=1174, nogoods=287, foundSolutions=6, bestBound=10
11.25/4.64 nFilterCalls=150253, avgTableProportion=0.8000000000019769, avgTableSize=4.0
11.25/4.64
11.25/4.66 num=56, depth=15..24, filters=309963, revisions=(788644,useless=575248), ccks=429501, wck=1.902, mem=65M890
11.25/4.66 decisions=5077, wrong=1979, backtracks=880, failedAssignments=1255, nogoods=293, foundSolutions=6, bestBound=10
11.25/4.66 nFilterCalls=156353, avgTableProportion=0.8000000000020133, avgTableSize=4.0
11.25/4.66
11.43/4.71 num=57, depth=20..24, filters=334194, revisions=(853817,useless=624193), ccks=462491, wck=1.945, mem=65M890
11.43/4.71 decisions=5389, wrong=2124, backtracks=947, failedAssignments=1344, nogoods=303, foundSolutions=6, bestBound=10
11.43/4.71 nFilterCalls=168112, avgTableProportion=0.8000000000017063, avgTableSize=4.0
11.43/4.71
11.43/4.74 num=58, depth=10..26, filters=351013, revisions=(893786,useless=651896), ccks=482539, wck=1.977, mem=65M890
11.43/4.74 decisions=5729, wrong=2287, backtracks=1023, failedAssignments=1442, nogoods=312, foundSolutions=6, bestBound=10
11.43/4.74 nFilterCalls=174688, avgTableProportion=0.8000000000012039, avgTableSize=4.0
11.43/4.74
11.43/4.80 num=59, depth=19..29, filters=381513, revisions=(970343,useless=708377), ccks=522552, wck=2.033, mem=65M890
11.43/4.80 decisions=6133, wrong=2478, backtracks=1126, failedAssignments=1550, nogoods=321, foundSolutions=6, bestBound=10
11.43/4.80 nFilterCalls=189209, avgTableProportion=0.800000000000218, avgTableSize=4.0
11.43/4.80
11.61/4.85 num=60, depth=15..22, filters=411755, revisions=(1047596,useless=765272), ccks=566887, wck=2.085, mem=68M506
11.61/4.85 decisions=6522, wrong=2664, backtracks=1214, failedAssignments=1669, nogoods=332, foundSolutions=6, bestBound=10
11.61/4.85 nFilterCalls=203979, avgTableProportion=0.7999999999993592, avgTableSize=4.0
11.61/4.85
11.71/4.91 num=61, depth=13..19, filters=452057, revisions=(1137183,useless=827193), ccks=619793, wck=2.15, mem=68M506
11.71/4.91 decisions=6937, wrong=2865, backtracks=1301, failedAssignments=1800, nogoods=343, foundSolutions=6, bestBound=10
11.71/4.91 nFilterCalls=223171, avgTableProportion=0.7999999999984132, avgTableSize=4.0
11.71/4.91
11.71/4.97 num=62, depth=14..26, filters=483405, revisions=(1221926,useless=889799), ccks=660727, wck=2.21, mem=68M506
11.71/4.97 decisions=7526, wrong=3152, backtracks=1489, failedAssignments=1944, nogoods=349, foundSolutions=6, bestBound=10
11.71/4.97 nFilterCalls=236582, avgTableProportion=0.7999999999978433, avgTableSize=4.0
11.71/4.97
11.84/5.02 num=63, depth=10..23, filters=510776, revisions=(1294675,useless=942786), ccks=697534, wck=2.262, mem=68M506
11.84/5.02 decisions=8015, wrong=3389, backtracks=1598, failedAssignments=2102, nogoods=351, foundSolutions=6, bestBound=10
11.84/5.02 nFilterCalls=248624, avgTableProportion=0.7999999999973839, avgTableSize=4.0
11.84/5.02
11.84/5.08 num=64, depth=11..18, filters=547013, revisions=(1371120,useless=995354), ccks=742708, wck=2.318, mem=68M506
11.84/5.08 decisions=8495, wrong=3623, backtracks=1665, failedAssignments=2276, nogoods=361, foundSolutions=6, bestBound=10
11.84/5.08 nFilterCalls=265075, avgTableProportion=0.7999999999968237, avgTableSize=4.0
11.84/5.08
11.94/5.17 num=65, depth=15..23, filters=606109, revisions=(1501304,useless=1086396), ccks=815940, wck=2.408, mem=68M506
11.94/5.17 decisions=9173, wrong=3954, backtracks=1828, failedAssignments=2467, nogoods=368, foundSolutions=6, bestBound=10
11.94/5.17 nFilterCalls=291749, avgTableProportion=0.7999999999960498, avgTableSize=4.0
11.94/5.17
12.04/5.23 num=66, depth=11..23, filters=644079, revisions=(1590919,useless=1150294), ccks=866251, wck=2.47, mem=68M506
12.04/5.23 decisions=9791, wrong=4257, backtracks=1930, failedAssignments=2678, nogoods=378, foundSolutions=6, bestBound=10
12.04/5.23 nFilterCalls=308709, avgTableProportion=0.7999999999956272, avgTableSize=4.0
12.04/5.23
12.16/5.31 num=67, depth=8..18, filters=687540, revisions=(1703177,useless=1229516), ccks=932246, wck=2.542, mem=68M506
12.16/5.31 decisions=10483, wrong=4597, backtracks=2064, failedAssignments=2910, nogoods=393, foundSolutions=6, bestBound=10
12.16/5.31 nFilterCalls=329250, avgTableProportion=0.7999999999951738, avgTableSize=4.0
12.16/5.31
12.26/5.40 num=68, depth=6..15, filters=753743, revisions=(1841821,useless=1325440), ccks=1009506, wck=2.641, mem=68M506
12.26/5.40 decisions=11290, wrong=4996, backtracks=2235, failedAssignments=3165, nogoods=406, foundSolutions=6, bestBound=10
12.26/5.40 nFilterCalls=358415, avgTableProportion=0.7999999999946192, avgTableSize=4.0
12.26/5.40
12.26/5.48 num=69, depth=8..26, filters=801110, revisions=(1955200,useless=1406217), ccks=1067834, wck=2.719, mem=68M506
12.26/5.48 decisions=12139, wrong=5414, backtracks=2410, failedAssignments=3446, nogoods=420, foundSolutions=6, bestBound=10
12.26/5.48 nFilterCalls=378175, avgTableProportion=0.7999999999942922, avgTableSize=4.0
12.26/5.48
12.46/5.60 num=70, depth=11..18, filters=877002, revisions=(2146552,useless=1546937), ccks=1171320, wck=2.839, mem=68M506
12.46/5.60 decisions=13155, wrong=5916, backtracks=2628, failedAssignments=3755, nogoods=431, foundSolutions=6, bestBound=10
12.46/5.60 nFilterCalls=414159, avgTableProportion=0.7999999999937766, avgTableSize=4.0
12.46/5.60
12.56/5.72 num=71, depth=12..26, filters=951652, revisions=(2315612,useless=1666041), ccks=1260009, wck=2.957, mem=68M506
12.56/5.72 decisions=14220, wrong=6441, backtracks=2857, failedAssignments=4095, nogoods=444, foundSolutions=6, bestBound=10
12.56/5.72 nFilterCalls=446832, avgTableProportion=0.7999999999933805, avgTableSize=4.0
12.56/5.72
12.68/5.86 num=72, depth=10..23, filters=1041071, revisions=(2537226,useless=1826306), ccks=1375949, wck=3.1, mem=68M506
12.68/5.86 decisions=15429, wrong=7040, backtracks=3131, failedAssignments=4469, nogoods=456, foundSolutions=6, bestBound=10
12.68/5.86 nFilterCalls=487401, avgTableProportion=0.7999999999929625, avgTableSize=4.0
12.68/5.86
12.78/5.99 num=73, depth=5..24, filters=1117128, revisions=(2722513,useless=1956408), ccks=1473363, wck=3.222, mem=68M506
12.78/5.99 decisions=16729, wrong=7687, backtracks=3418, failedAssignments=4880, nogoods=465, foundSolutions=6, bestBound=10
12.78/5.99 nFilterCalls=519951, avgTableProportion=0.7999999999926742, avgTableSize=4.0
12.78/5.99
12.99/6.14 num=74, depth=9..24, filters=1210735, revisions=(2943510,useless=2111407), ccks=1586287, wck=3.376, mem=68M506
12.99/6.14 decisions=18218, wrong=8425, backtracks=3805, failedAssignments=5332, nogoods=475, foundSolutions=6, bestBound=10
12.99/6.14 nFilterCalls=559419, avgTableProportion=0.7999999999923697, avgTableSize=4.0
12.99/6.14
13.18/6.30 num=75, depth=12..22, filters=1308606, revisions=(3205077,useless=2303730), ccks=1717344, wck=3.538, mem=68M506
13.18/6.30 decisions=19831, wrong=9225, backtracks=4148, failedAssignments=5829, nogoods=483, foundSolutions=6, bestBound=10
13.18/6.30 nFilterCalls=602725, avgTableProportion=0.7999999999920815, avgTableSize=4.0
13.18/6.30
13.38/6.51 num=76, depth=5..19, filters=1447363, revisions=(3488889,useless=2495790), ccks=1882717, wck=3.743, mem=68M506
13.38/6.51 decisions=21519, wrong=10066, backtracks=4495, failedAssignments=6376, nogoods=490, foundSolutions=6, bestBound=10
13.38/6.51 nFilterCalls=661648, avgTableProportion=0.7999999999923031, avgTableSize=4.0
13.38/6.51
13.48/6.66 num=77, depth=1..17, filters=1551359, revisions=(3703911,useless=2640698), ccks=1998121, wck=3.901, mem=71M122
13.48/6.66 decisions=23118, wrong=10864, backtracks=4725, failedAssignments=6978, nogoods=498, foundSolutions=6, bestBound=10
13.48/6.66 nFilterCalls=703695, avgTableProportion=0.7999999999955454, avgTableSize=4.0
13.48/6.66
13.79/6.90 num=78, depth=12..31, filters=1695897, revisions=(4057583,useless=2893846), ccks=2187813, wck=4.135, mem=71M122
13.79/6.90 decisions=25288, wrong=11942, backtracks=5208, failedAssignments=7640, nogoods=506, foundSolutions=6, bestBound=10
13.79/6.90 nFilterCalls=768348, avgTableProportion=0.7999999999998385, avgTableSize=4.0
13.79/6.90
13.90/7.08 num=79, depth=3..18, filters=1808462, revisions=(4308350,useless=3065076), ccks=2319108, wck=4.313, mem=71M122
13.90/7.08 decisions=27361, wrong=12975, backtracks=5557, failedAssignments=8368, nogoods=528, foundSolutions=6, bestBound=10
13.90/7.08 nFilterCalls=812617, avgTableProportion=0.8000000000023841, avgTableSize=4.0
13.90/7.08
14.29/7.43 num=80, depth=11..23, filters=2041594, revisions=(4818790,useless=3421527), ccks=2616786, wck=4.662, mem=71M122
14.29/7.43 decisions=29861, wrong=14218, backtracks=6118, failedAssignments=9169, nogoods=532, foundSolutions=6, bestBound=10
14.29/7.43 nFilterCalls=922238, avgTableProportion=0.8000000000076357, avgTableSize=4.0
14.29/7.43
14.59/7.72 num=81, depth=0..25, filters=2229284, revisions=(5235545,useless=3704805), ccks=2839225, wck=4.958, mem=71M122
14.59/7.72 decisions=32620, wrong=15596, backtracks=6737, failedAssignments=10050, nogoods=542, foundSolutions=6, bestBound=10
14.59/7.72 nFilterCalls=999665, avgTableProportion=0.8000000000106511, avgTableSize=4.0
14.59/7.72
14.79/7.96 num=82, depth=2..27, filters=2375227, revisions=(5575174,useless=3938230), ccks=3014263, wck=5.193, mem=71M122
14.79/7.96 decisions=35351, wrong=16960, backtracks=7208, failedAssignments=11020, nogoods=561, foundSolutions=6, bestBound=10
14.79/7.96 nFilterCalls=1058894, avgTableProportion=0.8000000000126599, avgTableSize=4.0
14.79/7.96
15.29/8.42 num=83, depth=5..16, filters=2687493, revisions=(6229374,useless=4383158), ccks=3392902, wck=5.661, mem=71M122
15.29/8.42 decisions=38612, wrong=18587, backtracks=7871, failedAssignments=12087, nogoods=577, foundSolutions=6, bestBound=10
15.29/8.42 nFilterCalls=1202109, avgTableProportion=0.8000000000166994, avgTableSize=4.0
15.29/8.42
15.69/8.86 num=84, depth=8..18, filters=2961742, revisions=(6936641,useless=4901763), ccks=3766625, wck=6.101, mem=71M122
15.69/8.86 decisions=42386, wrong=20469, backtracks=8699, failedAssignments=13260, nogoods=596, foundSolutions=6, bestBound=10
15.69/8.86 nFilterCalls=1329038, avgTableProportion=0.8000000000195517, avgTableSize=4.0
15.69/8.86
16.19/9.30 num=85, depth=0..20, filters=3261286, revisions=(7504617,useless=5273967), ccks=4079202, wck=6.54, mem=71M122
16.19/9.30 decisions=46069, wrong=22309, backtracks=9327, failedAssignments=14551, nogoods=612, foundSolutions=6, bestBound=10
16.19/9.30 nFilterCalls=1456131, avgTableProportion=0.8000000000219095, avgTableSize=4.0
16.19/9.30
16.59/9.79 num=86, depth=3..27, filters=3570920, revisions=(8180045,useless=5738589), ccks=4436542, wck=7.03, mem=71M122
16.59/9.79 decisions=50979, wrong=24761, backtracks=10619, failedAssignments=15971, nogoods=626, foundSolutions=6, bestBound=10
16.59/9.79 nFilterCalls=1584935, avgTableProportion=0.8000000000239134, avgTableSize=4.0
16.59/9.79
17.29/10.40 num=87, depth=0..19, filters=3976880, revisions=(8978234,useless=6270346), ccks=4883192, wck=7.635, mem=71M122
17.29/10.40 decisions=55959, wrong=27248, backtracks=11732, failedAssignments=17533, nogoods=657, foundSolutions=6, bestBound=10
17.29/10.40 nFilterCalls=1756163, avgTableProportion=0.800000000026122, avgTableSize=4.0
17.29/10.40
17.90/11.05 num=88, depth=1..22, filters=4418747, revisions=(9833693,useless=6835855), ccks=5375623, wck=8.289, mem=71M122
17.90/11.05 decisions=61493, wrong=30013, backtracks=13039, failedAssignments=19251, nogoods=671, foundSolutions=6, bestBound=10
17.90/11.05 nFilterCalls=1944185, avgTableProportion=0.8000000000280991, avgTableSize=4.0
17.90/11.05
18.59/11.72 num=89, depth=0..19, filters=4861873, revisions=(10758735,useless=7455055), ccks=5885259, wck=8.96, mem=71M122
18.59/11.72 decisions=67238, wrong=32884, backtracks=14171, failedAssignments=21141, nogoods=691, foundSolutions=6, bestBound=10
18.59/11.72 nFilterCalls=2133537, avgTableProportion=0.8000000000297381, avgTableSize=4.0
18.59/11.72
19.40/12.52 num=90, depth=1..22, filters=5386004, revisions=(11898516,useless=8237792), ccks=6521183, wck=9.761, mem=71M122
19.40/12.52 decisions=73545, wrong=36036, backtracks=15445, failedAssignments=23220, nogoods=701, foundSolutions=6, bestBound=10
19.40/12.52 nFilterCalls=2366122, avgTableProportion=0.8000000000313923, avgTableSize=4.0
19.40/12.52
20.11/13.23 num=91, depth=0..23, filters=5846730, revisions=(12866426,useless=8893948), ccks=7042089, wck=10.466, mem=71M122
20.11/13.23 decisions=80397, wrong=39459, backtracks=16755, failedAssignments=25507, nogoods=718, foundSolutions=6, bestBound=10
20.11/13.23 nFilterCalls=2557786, avgTableProportion=0.8000000000325294, avgTableSize=4.0
20.11/13.23
20.92/14.09 num=92, depth=6..30, filters=6394815, revisions=(14207479,useless=9856644), ccks=7777131, wck=11.331, mem=71M122
20.92/14.09 decisions=88303, wrong=43408, backtracks=18399, failedAssignments=28023, nogoods=738, foundSolutions=6, bestBound=10
20.92/14.09 nFilterCalls=2807167, avgTableProportion=0.8000000000183718, avgTableSize=4.0
20.92/14.09
21.81/14.97 num=93, depth=0..21, filters=6975339, revisions=(15400071,useless=10662262), ccks=8431717, wck=12.207, mem=73M737
21.81/14.97 decisions=96515, wrong=47512, backtracks=19927, failedAssignments=30791, nogoods=756, foundSolutions=6, bestBound=10
21.81/14.97 nFilterCalls=3052832, avgTableProportion=0.8000000000019044, avgTableSize=4.0
21.81/14.97
22.93/16.07 num=94, depth=0..24, filters=7696368, revisions=(16929279,useless=11709536), ccks=9274429, wck=13.302, mem=73M737
22.93/16.07 decisions=106407, wrong=52457, backtracks=22130, failedAssignments=33835, nogoods=766, foundSolutions=6, bestBound=10
22.93/16.07 nFilterCalls=3362835, avgTableProportion=0.7999999999845581, avgTableSize=4.0
22.93/16.07
24.03/17.18 num=95, depth=0..18, filters=8415564, revisions=(18577387,useless=12857811), ccks=10169919, wck=14.416, mem=73M737
24.03/17.18 decisions=116783, wrong=57643, backtracks=24214, failedAssignments=37184, nogoods=783, foundSolutions=6, bestBound=10
24.03/17.18 nFilterCalls=3674964, avgTableProportion=0.7999999999700494, avgTableSize=4.0
24.03/17.18
24.72/17.89
24.72/17.89 New Bounds: 10..9
24.72/17.89 num=96, depth=0..15, filters=8865527, revisions=(19674318,useless=13645742), ccks=10758671, wck=15.125, mem=73M737
24.72/17.89 decisions=123353, wrong=60929, backtracks=25609, failedAssignments=39208, foundSolutions=6, bestBound=10
24.72/17.89 nFilterCalls=3876538, avgTableProportion=0.7999999999619214, avgTableSize=4.0
24.72/17.89
24.72/17.89 Global
24.72/17.89 filters=8865527, revisions=(19674318,useless=13645742), ccks=10758671
24.72/17.89 Stop=FULL_EXPLORATION, wrong=60929, bestBound=10, bestBoundWck=2.244, bestBoundCpu=4.033, foundSolutions=6, firstSolCpu=2.818
24.72/17.89 wck=16.033, cpu=17.821, mem=73M737
24.72/17.89
24.72/17.89 v <instantiation id='sol6' type='solution' cost='10'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 0 1 11 4 7 14 6 2 12 10 5 8 9 13 3 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 0 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 0 0 1 1 1 1 1 1 1 1 1 1 1 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 4 7 8 9 10 10 10 10 10 10 10 10 10 8 4 </values> </instantiation>
24.72/17.89 s OPTIMUM FOUND
24.72/17.89
24.72/17.89 d WRONG_DECISIONS 60929
24.72/17.89 d NUMBER_SOLUTIONS 6
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15301 MiB free)
memory of node 1: 16384 MiB (13961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391178-1568391558/watcher-4391178-1568391558 -o /tmp/evaluation-result-4391178-1568391558/solver-4391178-1568391558 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391178-1568391558.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28941, runsolver pid=28938
[startup+0.100063 s]*
/proc/loadavg: 2.01 1.84 1.75 5/229 28956
/proc/meminfo: memFree=29948916/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10659884 memory=29444 CPUtime=0.14 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 5863 0 0 0 12 2 0 0 20 0 15 0 415093695 10915721216 7361 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2664971 7361 2901 1 0 2627468 0
[pid=28941/tid=28943] ppid=28938 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) R 28938 28941 26121 0 -1 4202560 3275 0 0 0 8 1 0 0 20 0 15 0 415093696 10915721216 7361 33554432000 4194304 4196468 140734870159552 140256056550216 140256038002984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093698 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415093698 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255543297696 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415093699 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255542244592 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) R 28938 28941 26121 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255539073528 140256045428659 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0.02 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) R 28938 28941 26121 0 -1 4202560 581 0 0 0 2 0 0 0 20 0 15 0 415093701 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255538029032 140256031266744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093702 10915721216 7361 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29444 KiB
[startup+0.210805 s]*
/proc/loadavg: 2.01 1.84 1.75 3/229 28956
/proc/meminfo: memFree=29942380/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10659884 memory=35040 CPUtime=0.33 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 6856 0 0 0 31 2 0 0 20 0 15 0 415093695 10915721216 8760 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2664971 8760 2989 1 0 2627468 0
[pid=28941/tid=28943] ppid=28938 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) R 28938 28941 26121 0 -1 4202560 3871 0 0 0 19 1 0 0 20 0 15 0 415093696 10915721216 8760 33554432000 4194304 4196468 140734870159552 140256056548400 140256052343965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10659884 memory=288371003518056064 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093698 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415093698 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255543297696 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415093699 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255542244592 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 682 0 0 0 3 0 0 0 20 0 15 0 415093701 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) S 28938 28941 26121 0 -1 1077944384 318 0 0 0 3 0 0 0 20 0 15 0 415093701 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0.05 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 625 0 0 0 5 0 0 0 20 0 15 0 415093701 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255538034672 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093702 10915721216 8760 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35040 KiB
[startup+0.317553 s]*
/proc/loadavg: 2.01 1.84 1.75 4/229 28956
/proc/meminfo: memFree=29934672/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10659884 memory=40212 CPUtime=0.48 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 9423 0 0 0 45 3 0 0 20 0 15 0 415093695 10915721216 10053 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2664971 10053 3001 1 0 2627468 0
[pid=28941/tid=28943] ppid=28938 vsize=10659884 memory=7311146985107750967 CPUtime=0.31 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) R 28938 28941 26121 0 -1 4202560 6363 0 0 0 28 3 0 0 20 0 15 0 415093696 10915721216 10053 33554432000 4194304 4196468 140734870159552 140256056553808 140256052343965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10659884 memory=288371003518056064 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093698 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415093698 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255543297696 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415093699 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255542244592 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 415093701 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) R 28938 28941 26121 0 -1 1077944384 352 0 0 0 4 0 0 0 20 0 15 0 415093701 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0.08 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 647 0 0 0 8 0 0 0 20 0 15 0 415093701 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255538034672 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10659884 memory=140627366344320 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093702 10915721216 10053 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40212 KiB
[startup+0.700777 s]
/proc/loadavg: 2.01 1.84 1.75 3/229 28956
/proc/meminfo: memFree=29925012/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10661932 memory=63816 CPUtime=1.1 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 13041 0 0 0 105 5 0 0 20 0 15 0 415093695 10917818368 15954 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2665483 15954 3073 1 0 2627980 0
[pid=28941/tid=28943] ppid=28938 vsize=10661932 memory=4481 CPUtime=0.68 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) R 28938 28941 26121 0 -1 4202560 8881 0 0 0 64 4 0 0 20 0 15 0 415093696 10917818368 15954 33554432000 4194304 4196468 140734870159552 140256056554064 140256052343965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10661932 memory=264957941810291 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093698 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415093698 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255543297696 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415093699 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255542244592 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10661932 memory=281254457011104 CPUtime=0.11 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) R 28938 28941 26121 0 -1 4202560 1052 0 0 0 11 0 0 0 20 0 15 0 415093701 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255540140272 140256037200098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10661932 memory=19153 CPUtime=0.1 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) S 28938 28941 26121 0 -1 1077944384 622 0 0 0 10 0 0 0 20 0 15 0 415093701 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10661932 memory=281254456983792 CPUtime=0.18 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 1126 0 0 0 18 0 0 0 20 0 15 0 415093701 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255538034672 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415093701 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093702 10917818368 15954 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63816 KiB
[startup+1.50078 s]
/proc/loadavg: 2.01 1.84 1.75 3/229 28956
/proc/meminfo: memFree=29908732/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10663980 memory=75856 CPUtime=2.01 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 18617 0 0 0 195 6 0 0 20 0 15 0 415093695 10919915520 18964 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2665995 18964 3097 1 0 2628492 0
[pid=28941/tid=28943] ppid=28938 vsize=10663980 memory=281254457860768 CPUtime=1.48 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) R 28938 28941 26121 0 -1 4202560 13091 0 0 0 144 4 0 0 20 0 15 0 415093696 10919915520 18964 33554432000 4194304 4196468 140734870159552 140256056554064 140256035508848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10663980 memory=281254457033648 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10919915520 18964 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10919915520 18964 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415093697 10919915520 18964 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415093697 10919915520 18964 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 415093698 10919915520 18964 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
################
# More data... #
################
[pid=28941/tid=28957] ppid=28938 vsize=10748324 memory=310532 CPUtime=14.04 cores=0,2,4,6
/proc/28941/task/28957/stat : 28957 (java) R 28938 28941 26121 0 -1 4202560 6010 0 0 0 1401 3 0 0 20 0 16 0 415093884 11006283776 77638 33554432000 4194304 4196468 140734870159552 140255518863352 140255673502112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 22.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 310552 KiB
[startup+16.8007 s]
/proc/loadavg: 2.21 1.89 1.77 3/231 28960
/proc/meminfo: memFree=29663896/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10748324 memory=310568 CPUtime=23.72 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 47838 0 0 0 2349 23 0 0 20 0 16 0 415093695 11006283776 77642 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2687081 77642 3374 1 0 2647217 0
[pid=28941/tid=28943] ppid=28938 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) S 28938 28941 26121 0 -1 1077944384 15359 0 0 0 180 6 0 0 20 0 16 0 415093696 11006283776 77642 33554432000 4194304 4196468 140734870159552 140256056564912 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10748324 memory=2116 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10748324 memory=8252 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10748324 memory=528 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10748324 memory=1560 CPUtime=0.04 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 238 0 0 0 3 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10748324 memory=932 CPUtime=0.01 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 1213 0 0 0 1 0 0 0 20 0 16 0 415093698 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10748324 memory=310568 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415093698 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255543297760 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10748324 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415093699 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255542244608 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10748324 memory=14699582244260396 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10748324 memory=1492 CPUtime=2.89 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 8920 0 0 0 288 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10748324 memory=864 CPUtime=2.88 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) S 28938 28941 26121 0 -1 1077944384 7866 0 0 0 287 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10748324 memory=1448 CPUtime=0.99 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 5333 0 0 0 98 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255538034672 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10748324 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1136 0 0 0 0 0 0 0 20 0 16 0 415093702 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28957] ppid=28938 vsize=10748324 memory=0 CPUtime=14.83 cores=0,2,4,6
/proc/28941/task/28957/stat : 28957 (java) R 28938 28941 26121 0 -1 4202560 6019 0 0 0 1480 3 0 0 20 0 16 0 415093884 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255518860224 140255673419609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 23.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 310568 KiB
[startup+17.6007 s]
/proc/loadavg: 2.21 1.89 1.77 3/230 28960
/proc/meminfo: memFree=29663776/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10748324 memory=310568 CPUtime=24.52 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 47870 0 0 0 2429 23 0 0 20 0 16 0 415093695 11006283776 77642 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2687081 77642 3374 1 0 2647217 0
[pid=28941/tid=28943] ppid=28938 vsize=10748324 memory=310536 CPUtime=1.86 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) S 28938 28941 26121 0 -1 1077944384 15359 0 0 0 180 6 0 0 20 0 16 0 415093696 11006283776 77642 33554432000 4194304 4196468 140734870159552 140256056564912 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10748324 memory=21504 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10748324 memory=988 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10748324 memory=21504 CPUtime=0.04 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 238 0 0 0 3 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 1213 0 0 0 1 0 0 0 20 0 16 0 415093698 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415093698 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255543297760 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415093699 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255542244608 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10748324 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10748324 memory=5936 CPUtime=2.89 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 8920 0 0 0 288 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10748324 memory=588 CPUtime=2.88 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) S 28938 28941 26121 0 -1 1077944384 7880 0 0 0 287 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10748324 memory=780 CPUtime=0.99 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 5349 0 0 0 98 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255538034672 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10748324 memory=11464 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1136 0 0 0 0 0 0 0 20 0 16 0 415093702 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28957] ppid=28938 vsize=10748324 memory=4004 CPUtime=15.63 cores=0,2,4,6
/proc/28941/task/28957/stat : 28957 (java) R 28938 28941 26121 0 -1 4202560 6021 0 0 0 1560 3 0 0 20 0 16 0 415093884 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255518860224 140255673204416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 24.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 310568 KiB
[startup+17.8007 s]
/proc/loadavg: 2.21 1.89 1.77 3/230 28960
/proc/meminfo: memFree=29663776/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10748324 memory=310568 CPUtime=24.72 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 47870 0 0 0 2449 23 0 0 20 0 16 0 415093695 11006283776 77642 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2687081 77642 3374 1 0 2647217 0
[pid=28941/tid=28943] ppid=28938 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) S 28938 28941 26121 0 -1 1077944384 15359 0 0 0 180 6 0 0 20 0 16 0 415093696 11006283776 77642 33554432000 4194304 4196468 140734870159552 140256056564912 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10748324 memory=21504 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10748324 memory=988 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10748324 memory=2012 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10748324 memory=1324 CPUtime=0.04 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 238 0 0 0 3 1 0 0 20 0 16 0 415093697 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 1213 0 0 0 1 0 0 0 20 0 16 0 415093698 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255544351472 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10748324 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415093698 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255543297760 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10748324 memory=3184 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415093699 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255542244608 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28951] ppid=28938 vsize=10748324 memory=1603932 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28951/stat : 28951 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255541193168 140256052340635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10748324 memory=1408 CPUtime=2.89 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 8920 0 0 0 288 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10748324 memory=2636 CPUtime=2.88 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) S 28938 28941 26121 0 -1 1077944384 7880 0 0 0 287 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10748324 memory=310532 CPUtime=0.99 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 5349 0 0 0 98 1 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255538034672 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10748324 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415093701 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28956] ppid=28938 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28956/stat : 28956 (java) S 28938 28941 26121 0 -1 1077944384 1136 0 0 0 0 0 0 0 20 0 16 0 415093702 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255535930416 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28957] ppid=28938 vsize=10748324 memory=4126316290023845779 CPUtime=15.83 cores=0,2,4,6
/proc/28941/task/28957/stat : 28957 (java) R 28938 28941 26121 0 -1 4202560 6021 0 0 0 1580 3 0 0 20 0 16 0 415093884 11006283776 77642 33554432000 4194304 4196468 140734870159552 140255518855120 140255673314350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 310568 KiB
[startup+17.9007 s]
/proc/loadavg: 2.21 1.89 1.77 3/230 28960
/proc/meminfo: memFree=29663776/32770624 swapFree=66918708/67108860
[pid=28941] ppid=28938 vsize=10814888 memory=310560 CPUtime=24.82 cores=0,2,4,6
/proc/28941/stat : 28941 (java) S 28938 28941 26121 0 -1 1077944320 49372 0 0 0 2459 23 0 0 20 0 13 0 415093695 11074445312 77640 33554432000 4194304 4196468 140734870159552 140734870142096 140256052322039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
/proc/28941/statm: 2703722 77640 3375 1 0 2663858 0
[pid=28941/tid=28943] ppid=28938 vsize=10814888 memory=2828 CPUtime=1.86 cores=0,2,4,6
/proc/28941/task/28943/stat : 28943 (java) S 28938 28941 26121 0 -1 1077944384 15647 0 0 0 180 6 0 0 20 0 13 0 415093696 11074445312 77640 33554432000 4194304 4196468 140734870159552 140256056564880 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28944] ppid=28938 vsize=10814888 memory=310568 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28944/stat : 28944 (java) S 28938 28941 26121 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 13 0 415093697 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255989013008 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28945] ppid=28938 vsize=10814888 memory=310568 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28945/stat : 28945 (java) S 28938 28941 26121 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 13 0 415093697 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255987960464 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28946] ppid=28938 vsize=10814888 memory=310568 CPUtime=0.03 cores=0,2,4,6
/proc/28941/task/28946/stat : 28946 (java) S 28938 28941 26121 0 -1 1077944384 144 0 0 0 2 1 0 0 20 0 13 0 415093697 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255986907408 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28947] ppid=28938 vsize=10814888 memory=310552 CPUtime=0.04 cores=0,2,4,6
/proc/28941/task/28947/stat : 28947 (java) S 28938 28941 26121 0 -1 1077944384 238 0 0 0 3 1 0 0 20 0 13 0 415093697 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255985854864 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28948] ppid=28938 vsize=10814888 memory=310532 CPUtime=0.01 cores=0,2,4,6
/proc/28941/task/28948/stat : 28948 (java) S 28938 28941 26121 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 13 0 415093698 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255544351680 140256052333186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28949] ppid=28938 vsize=10814888 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28949/stat : 28949 (java) S 28938 28941 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 13 0 415093698 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255543297760 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28950] ppid=28938 vsize=10814888 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28950/stat : 28950 (java) S 28938 28941 26121 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 13 0 415093699 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255542244608 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28952] ppid=28938 vsize=10814888 memory=0 CPUtime=2.89 cores=0,2,4,6
/proc/28941/task/28952/stat : 28952 (java) S 28938 28941 26121 0 -1 1077944384 8920 0 0 0 288 1 0 0 20 0 13 0 415093701 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255540140272 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28953] ppid=28938 vsize=10814888 memory=310552 CPUtime=2.88 cores=0,2,4,6
/proc/28941/task/28953/stat : 28953 (java) S 28938 28941 26121 0 -1 1077944384 7880 0 0 0 287 1 0 0 20 0 13 0 415093701 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255539087728 140256052333186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28954] ppid=28938 vsize=10814888 memory=310552 CPUtime=1 cores=0,2,4,6
/proc/28941/task/28954/stat : 28954 (java) S 28938 28941 26121 0 -1 1077944384 5655 0 0 0 99 1 0 0 20 0 13 0 415093701 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255538030544 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
[pid=28941/tid=28955] ppid=28938 vsize=10814888 memory=310568 CPUtime=0 cores=0,2,4,6
/proc/28941/task/28955/stat : 28955 (java) S 28938 28941 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 415093701 11074445312 77640 33554432000 4194304 4196468 140734870159552 140255536982368 140256052332245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140734870164491 140734870164594 140734870164594 140734870167503 0
Current children cumulated CPU time: 24.82 s
Current children cumulated vsize: 10814888 KiB
Current children cumulated memory: 310560 KiB
Child status: 0
Real time (s): 17.9136
CPU time (s): 24.8362
CPU user time (s): 24.5976
CPU system time (s): 0.238617
CPU usage (%): 138.645
Max. virtual memory (cumulated for all children) (KiB): 10814888
Max. memory (cumulated for all children) (KiB): 318192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.5976
system time used= 0.238617
maximum resident set size= 318416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3416
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 28941
# total CPU time (s): 24.8362
# total CPU user time (s): 24.5976
# total CPU system time (s): 0.238617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.1376 second user time and 0.203029 second system time
The end