2.39/1.89
2.39/1.89 AbsCon 2
2.67/1.91
3.34/2.19 Instance
3.34/2.19 name=instance-4390878-1568386521, framework=COP, bounds=-infty..+infty
3.34/2.19
3.34/2.19 Loading variables...
3.66/2.26 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@308e1e43
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb5ddd8
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ce98b7
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8beea60
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb602db
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76896ca8
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2ba1b5
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e3d291
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3
5.09/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43
5.09/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab
5.09/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678
5.09/2.67
5.09/2.67
5.09/2.67 Domains
5.09/2.67 nTypes=4, nValues=3615, sizes=[2#900,3#450,15#15,16#15]
5.09/2.67 Variables
5.09/2.67 count=1380, degrees=[2#495,3#870,31#15]
5.09/2.67 Objectives
5.09/2.67 way=min, type=ObjMaximumLE
5.09/2.67 Constraints
5.09/2.67 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.09/2.67 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.09/2.67 tables=[5#450], nTotalTuples=2250
5.09/2.67 nExtStructures=(451,shared:449), nIntStructures=(1,shared:419), nCftStructures=(451,shared:419,unbuilt:497)
5.09/2.67 wck=0.812, cpu=2.625, mem=82M3
5.43/2.73 Solver SolverBacktrack being built...
5.43/2.73
5.43/2.77
5.43/2.77 Solver
5.43/2.77 guaranteedGAC=false
5.43/2.77 wck=0.907, cpu=2.718, mem=134M959
5.43/2.79
5.43/2.79 Preprocessing
5.43/2.79 filters=30, revisions=(60,useless=60), ccks=228, nACremovedValues=30, nTotalRemovedValues=30, inconcistency=false
5.43/2.79 wck=0.024, cpu=2.744, mem=134M959
5.43/2.79
5.67/2.86 o 15
6.01/2.93 num=0, depth=5..1379, filters=2464, revisions=(7888,useless=6178), ccks=6574, wck=0.162, mem=134M959
6.01/2.93 decisions=26, wrong=6, backtracks=0, failedAssignments=6, nogoods=6, foundSolutions=1, bestBound=15
6.01/2.93 nFilterCalls=2892, avgTableProportion=0.7999999999999924, avgTableSize=4.0
6.01/2.93
6.01/2.96 num=1, depth=0..32, filters=4990, revisions=(13990,useless=10549), ccks=10609, wck=0.189, mem=137M602
6.01/2.96 decisions=81, wrong=18, backtracks=1, failedAssignments=17, nogoods=11, foundSolutions=1, bestBound=15
6.01/2.96 nFilterCalls=4732, avgTableProportion=0.8000000000000661, avgTableSize=4.0
6.01/2.96
6.01/2.98 num=2, depth=15..19, filters=9526, revisions=(24940,useless=18391), ccks=16308, wck=0.216, mem=137M602
6.01/2.98 decisions=136, wrong=37, backtracks=10, failedAssignments=28, nogoods=15, foundSolutions=1, bestBound=15
6.01/2.98 nFilterCalls=6875, avgTableProportion=0.8000000000001021, avgTableSize=4.0
6.01/2.98
6.35/3.01 o 14
6.35/3.04 num=3, depth=23..1379, filters=11440, revisions=(31921,useless=24052), ccks=20594, wck=0.273, mem=137M602
6.35/3.04 decisions=172, wrong=39, backtracks=10, failedAssignments=30, nogoods=17, foundSolutions=2, bestBound=14
6.35/3.04 nFilterCalls=9209, avgTableProportion=0.8000000000001224, avgTableSize=4.0
6.35/3.04
6.35/3.06 num=4, depth=30..36, filters=12783, revisions=(37187,useless=28272), ccks=22669, wck=0.291, mem=137M602
6.35/3.06 decisions=236, wrong=56, backtracks=16, failedAssignments=43, nogoods=18, foundSolutions=2, bestBound=14
6.35/3.06 nFilterCalls=10414, avgTableProportion=0.800000000000114, avgTableSize=4.0
6.35/3.06
6.35/3.08 num=5, depth=30..37, filters=16913, revisions=(45167,useless=33860), ccks=26846, wck=0.314, mem=137M602
6.35/3.08 decisions=302, wrong=74, backtracks=26, failedAssignments=54, nogoods=21, foundSolutions=2, bestBound=14
6.35/3.08 nFilterCalls=12376, avgTableProportion=0.7999999999999805, avgTableSize=4.0
6.35/3.08
6.35/3.10 num=6, depth=14..20, filters=19265, revisions=(52449,useless=39474), ccks=30720, wck=0.331, mem=137M602
6.35/3.10 decisions=355, wrong=92, backtracks=32, failedAssignments=66, nogoods=27, foundSolutions=2, bestBound=14
6.35/3.10 nFilterCalls=13516, avgTableProportion=0.7999999999999208, avgTableSize=4.0
6.35/3.10
6.66/3.12 num=7, depth=9..12, filters=23600, revisions=(63393,useless=47672), ccks=36888, wck=0.354, mem=137M602
6.66/3.12 decisions=406, wrong=112, backtracks=40, failedAssignments=79, nogoods=30, foundSolutions=2, bestBound=14
6.66/3.12 nFilterCalls=15620, avgTableProportion=0.7999999999998335, avgTableSize=4.0
6.66/3.12
6.66/3.15 num=8, depth=15..21, filters=27936, revisions=(73165,useless=54609), ccks=42486, wck=0.377, mem=137M602
6.66/3.15 decisions=467, wrong=135, backtracks=50, failedAssignments=93, nogoods=34, foundSolutions=2, bestBound=14
6.66/3.15 nFilterCalls=17468, avgTableProportion=0.7999999999997741, avgTableSize=4.0
6.66/3.15
6.66/3.17 num=9, depth=9..11, filters=32713, revisions=(85486,useless=63681), ccks=49491, wck=0.402, mem=137M602
6.66/3.17 decisions=525, wrong=159, backtracks=59, failedAssignments=109, nogoods=39, foundSolutions=2, bestBound=14
6.66/3.17 nFilterCalls=19672, avgTableProportion=0.7999999999997179, avgTableSize=4.0
6.66/3.17
6.66/3.19 num=10, depth=12..38, filters=36720, revisions=(96259,useless=71721), ccks=54761, wck=0.426, mem=137M602
6.66/3.19 decisions=612, wrong=185, backtracks=69, failedAssignments=126, nogoods=45, foundSolutions=2, bestBound=14
6.66/3.19 nFilterCalls=21422, avgTableProportion=0.7999999999996815, avgTableSize=4.0
6.66/3.19
6.93/3.23 o 13
6.93/3.26 num=11, depth=17..1379, filters=39788, revisions=(106846,useless=80137), ccks=60438, wck=0.489, mem=140M245
6.93/3.26 decisions=699, wrong=207, backtracks=74, failedAssignments=143, nogoods=50, foundSolutions=3, bestBound=13
6.93/3.26 nFilterCalls=24130, avgTableProportion=0.7999999999996356, avgTableSize=4.0
6.93/3.26
6.93/3.29 num=12, depth=14..32, filters=44043, revisions=(120288,useless=90569), ccks=66584, wck=0.524, mem=140M245
6.93/3.29 decisions=795, wrong=244, backtracks=97, failedAssignments=164, nogoods=56, foundSolutions=3, bestBound=13
6.93/3.29 nFilterCalls=26552, avgTableProportion=0.7999999999996025, avgTableSize=4.0
6.93/3.29
7.24/3.32 num=13, depth=12..15, filters=48837, revisions=(129870,useless=97156), ccks=72555, wck=0.55, mem=140M245
7.24/3.32 decisions=853, wrong=266, backtracks=108, failedAssignments=175, nogoods=58, foundSolutions=3, bestBound=13
7.24/3.32 nFilterCalls=28859, avgTableProportion=0.799999999999576, avgTableSize=4.0
7.24/3.32
7.24/3.34 num=14, depth=14..19, filters=53457, revisions=(141254,useless=105492), ccks=78357, wck=0.576, mem=140M245
7.24/3.34 decisions=915, wrong=290, backtracks=123, failedAssignments=187, nogoods=60, foundSolutions=3, bestBound=13
7.24/3.34 nFilterCalls=30933, avgTableProportion=0.7999999999995557, avgTableSize=4.0
7.24/3.34
7.24/3.37 num=15, depth=14..18, filters=58705, revisions=(151148,useless=112286), ccks=85119, wck=0.598, mem=140M245
7.24/3.37 decisions=979, wrong=315, backtracks=137, failedAssignments=200, nogoods=61, foundSolutions=3, bestBound=13
7.24/3.37 nFilterCalls=33486, avgTableProportion=0.7999999999995341, avgTableSize=4.0
7.24/3.37
7.24/3.40 o 12
7.54/3.43 num=16, depth=18..1379, filters=60826, revisions=(159815,useless=119436), ccks=89795, wck=0.66, mem=140M245
7.54/3.43 decisions=1043, wrong=326, backtracks=138, failedAssignments=210, nogoods=71, foundSolutions=4, bestBound=12
7.54/3.43 nFilterCalls=35813, avgTableProportion=0.7999999999995171, avgTableSize=4.0
7.54/3.43
7.54/3.47 num=17, depth=15..20, filters=67408, revisions=(178917,useless=134088), ccks=98571, wck=0.706, mem=142M778
7.54/3.47 decisions=1133, wrong=363, backtracks=165, failedAssignments=226, nogoods=74, foundSolutions=4, bestBound=12
7.54/3.47 nFilterCalls=39394, avgTableProportion=0.7999999999994949, avgTableSize=4.0
7.54/3.47
7.54/3.49 num=18, depth=15..18, filters=70479, revisions=(186499,useless=139369), ccks=103789, wck=0.724, mem=142M778
7.54/3.49 decisions=1185, wrong=381, backtracks=172, failedAssignments=237, nogoods=76, foundSolutions=4, bestBound=12
7.54/3.49 nFilterCalls=41016, avgTableProportion=0.799999999999491, avgTableSize=4.0
7.54/3.49
7.84/3.51 num=19, depth=15..23, filters=73715, revisions=(194751,useless=145403), ccks=108213, wck=0.745, mem=142M778
7.84/3.51 decisions=1240, wrong=398, backtracks=177, failedAssignments=249, nogoods=80, foundSolutions=4, bestBound=12
7.84/3.51 nFilterCalls=42599, avgTableProportion=0.799999999999618, avgTableSize=4.0
7.84/3.51
7.84/3.54 num=20, depth=14..17, filters=78252, revisions=(204822,useless=152500), ccks=114721, wck=0.771, mem=142M778
7.84/3.54 decisions=1301, wrong=421, backtracks=187, failedAssignments=262, nogoods=83, foundSolutions=4, bestBound=12
7.84/3.54 nFilterCalls=44937, avgTableProportion=0.7999999999997893, avgTableSize=4.0
7.84/3.54
7.84/3.56 num=21, depth=16..18, filters=82202, revisions=(214675,useless=159422), ccks=120833, wck=0.795, mem=142M778
7.84/3.56 decisions=1354, wrong=439, backtracks=191, failedAssignments=276, nogoods=87, foundSolutions=4, bestBound=12
7.84/3.56 nFilterCalls=46951, avgTableProportion=0.7999999999999232, avgTableSize=4.0
7.84/3.56
7.84/3.58 num=22, depth=16..18, filters=85463, revisions=(223410,useless=165868), ccks=125630, wck=0.815, mem=142M778
7.84/3.58 decisions=1414, wrong=461, backtracks=197, failedAssignments=292, nogoods=92, foundSolutions=4, bestBound=12
7.84/3.58 nFilterCalls=48505, avgTableProportion=0.8000000000000189, avgTableSize=4.0
7.84/3.58
8.14/3.61 num=23, depth=18..20, filters=90918, revisions=(237583,useless=176365), ccks=133771, wck=0.844, mem=142M778
8.14/3.61 decisions=1490, wrong=489, backtracks=209, failedAssignments=309, nogoods=95, foundSolutions=4, bestBound=12
8.14/3.61 nFilterCalls=51288, avgTableProportion=0.8000000000001758, avgTableSize=4.0
8.14/3.61
8.14/3.64 num=24, depth=17..20, filters=97228, revisions=(251727,useless=186294), ccks=141710, wck=0.875, mem=142M778
8.14/3.64 decisions=1568, wrong=519, backtracks=222, failedAssignments=328, nogoods=102, foundSolutions=4, bestBound=12
8.14/3.64 nFilterCalls=54410, avgTableProportion=0.8000000000003327, avgTableSize=4.0
8.14/3.64
8.14/3.68 num=25, depth=15..20, filters=104131, revisions=(270515,useless=200331), ccks=151161, wck=0.913, mem=142M778
8.14/3.68 decisions=1663, wrong=559, backtracks=253, failedAssignments=349, nogoods=106, foundSolutions=4, bestBound=12
8.14/3.68 nFilterCalls=57658, avgTableProportion=0.8000000000004779, avgTableSize=4.0
8.14/3.68
8.45/3.75 num=26, depth=15..25, filters=109654, revisions=(284593,useless=210449), ccks=158697, wck=0.98, mem=59M101
8.45/3.75 decisions=1759, wrong=599, backtracks=277, failedAssignments=372, nogoods=114, foundSolutions=4, bestBound=12
8.45/3.75 nFilterCalls=60137, avgTableProportion=0.8000000000005781, avgTableSize=4.0
8.45/3.75
8.45/3.77 o 11
8.78/3.81 num=27, depth=18..1379, filters=111974, revisions=(293701,useless=217879), ccks=163225, wck=1.037, mem=59M101
8.78/3.81 decisions=1814, wrong=610, backtracks=281, failedAssignments=380, nogoods=120, foundSolutions=5, bestBound=11
8.78/3.81 nFilterCalls=62578, avgTableProportion=0.8000000000006692, avgTableSize=4.0
8.78/3.81
8.78/3.85 num=28, depth=16..21, filters=120335, revisions=(313966,useless=232457), ccks=174479, wck=1.076, mem=59M101
8.78/3.85 decisions=1914, wrong=651, backtracks=298, failedAssignments=408, nogoods=127, foundSolutions=5, bestBound=11
8.78/3.85 nFilterCalls=66818, avgTableProportion=0.8000000000008114, avgTableSize=4.0
8.78/3.85
8.78/3.86 num=29, depth=13..36, filters=123182, revisions=(322822,useless=239273), ccks=178719, wck=1.092, mem=59M101
8.78/3.86 decisions=1980, wrong=669, backtracks=307, failedAssignments=419, nogoods=135, foundSolutions=5, bestBound=11
8.78/3.86 nFilterCalls=68174, avgTableProportion=0.8000000000008531, avgTableSize=4.0
8.78/3.86
8.78/3.87 num=30, depth=15..18, filters=126257, revisions=(331352,useless=245557), ccks=183228, wck=1.106, mem=59M101
8.78/3.87 decisions=2032, wrong=686, backtracks=314, failedAssignments=431, nogoods=141, foundSolutions=5, bestBound=11
8.78/3.87 nFilterCalls=69648, avgTableProportion=0.8000000000008967, avgTableSize=4.0
8.78/3.87
8.78/3.89 num=31, depth=16..38, filters=129332, revisions=(340912,useless=252910), ccks=187762, wck=1.123, mem=59M101
8.78/3.89 decisions=2121, wrong=715, backtracks=334, failedAssignments=444, nogoods=150, foundSolutions=5, bestBound=11
8.78/3.89 nFilterCalls=71053, avgTableProportion=0.8000000000009365, avgTableSize=4.0
8.78/3.89
9.08/3.91 num=32, depth=17..20, filters=135357, revisions=(354971,useless=262935), ccks=195607, wck=1.142, mem=59M101
9.08/3.91 decisions=2186, wrong=739, backtracks=345, failedAssignments=458, nogoods=152, foundSolutions=5, bestBound=11
9.08/3.91 nFilterCalls=74044, avgTableProportion=0.8000000000010162, avgTableSize=4.0
9.08/3.91
9.08/3.93 o 10
9.08/3.96 num=33, depth=35..1379, filters=137322, revisions=(363039,useless=269578), ccks=200139, wck=1.194, mem=59M101
9.08/3.96 decisions=2248, wrong=746, backtracks=347, failedAssignments=463, nogoods=157, foundSolutions=6, bestBound=10
9.08/3.96 nFilterCalls=76336, avgTableProportion=0.8000000000010731, avgTableSize=4.0
9.08/3.96
9.08/3.99 num=34, depth=19..24, filters=142502, revisions=(378411,useless=281188), ccks=207319, wck=1.219, mem=59M101
9.08/3.99 decisions=2329, wrong=776, backtracks=366, failedAssignments=480, nogoods=161, foundSolutions=6, bestBound=10
9.08/3.99 nFilterCalls=79369, avgTableProportion=0.8000000000011434, avgTableSize=4.0
9.08/3.99
9.08/4.01 num=35, depth=19..23, filters=145948, revisions=(387852,useless=288283), ccks=212039, wck=1.23, mem=59M101
9.08/4.01 decisions=2393, wrong=798, backtracks=378, failedAssignments=491, nogoods=164, foundSolutions=6, bestBound=10
9.08/4.01 nFilterCalls=81038, avgTableProportion=0.8000000000011797, avgTableSize=4.0
9.08/4.01
9.41/4.01 num=36, depth=17..19, filters=149849, revisions=(397615,useless=295468), ccks=216833, wck=1.241, mem=59M101
9.41/4.01 decisions=2450, wrong=818, backtracks=388, failedAssignments=503, nogoods=166, foundSolutions=6, bestBound=10
9.41/4.01 nFilterCalls=82915, avgTableProportion=0.8000000000012188, avgTableSize=4.0
9.41/4.01
9.41/4.02 num=37, depth=16..22, filters=153365, revisions=(406928,useless=302257), ccks=221904, wck=1.252, mem=59M101
9.41/4.02 decisions=2519, wrong=844, backtracks=402, failedAssignments=516, nogoods=171, foundSolutions=6, bestBound=10
9.41/4.02 nFilterCalls=84642, avgTableProportion=0.8000000000012534, avgTableSize=4.0
9.41/4.02
9.41/4.03 num=38, depth=17..21, filters=156247, revisions=(415365,useless=308664), ccks=226100, wck=1.262, mem=59M101
9.41/4.03 decisions=2582, wrong=866, backtracks=411, failedAssignments=530, nogoods=173, foundSolutions=6, bestBound=10
9.41/4.03 nFilterCalls=86058, avgTableProportion=0.8000000000012807, avgTableSize=4.0
9.41/4.03
9.41/4.04 num=39, depth=15..24, filters=158753, revisions=(421044,useless=312613), ccks=229112, wck=1.271, mem=59M101
9.41/4.04 decisions=2644, wrong=888, backtracks=417, failedAssignments=546, nogoods=179, foundSolutions=6, bestBound=10
9.41/4.04 nFilterCalls=87071, avgTableProportion=0.8000000000012996, avgTableSize=4.0
9.41/4.04
9.41/4.05 num=40, depth=17..23, filters=163182, revisions=(431640,useless=320337), ccks=234767, wck=1.283, mem=59M101
9.41/4.05 decisions=2711, wrong=913, backtracks=428, failedAssignments=563, nogoods=183, foundSolutions=6, bestBound=10
9.41/4.05 nFilterCalls=89118, avgTableProportion=0.8000000000013366, avgTableSize=4.0
9.41/4.05
9.41/4.06 num=41, depth=10..19, filters=167542, revisions=(441662,useless=327426), ccks=240243, wck=1.296, mem=59M101
9.41/4.06 decisions=2783, wrong=943, backtracks=439, failedAssignments=582, nogoods=189, foundSolutions=6, bestBound=10
9.41/4.06 nFilterCalls=91015, avgTableProportion=0.8000000000013694, avgTableSize=4.0
9.41/4.06
9.41/4.07 num=42, depth=10..17, filters=170813, revisions=(450239,useless=333677), ccks=244395, wck=1.305, mem=59M101
9.41/4.07 decisions=2855, wrong=974, backtracks=450, failedAssignments=603, nogoods=191, foundSolutions=6, bestBound=10
9.41/4.07 nFilterCalls=92368, avgTableProportion=0.8000000000013919, avgTableSize=4.0
9.41/4.07
9.41/4.09 num=43, depth=11..20, filters=175310, revisions=(461931,useless=342322), ccks=250032, wck=1.321, mem=59M101
9.41/4.09 decisions=2962, wrong=1021, backtracks=478, failedAssignments=626, nogoods=196, foundSolutions=6, bestBound=10
9.41/4.09 nFilterCalls=94267, avgTableProportion=0.8000000000014226, avgTableSize=4.0
9.41/4.09
9.41/4.10 num=44, depth=16..19, filters=180578, revisions=(474127,useless=351042), ccks=257439, wck=1.335, mem=59M101
9.41/4.10 decisions=3045, wrong=1054, backtracks=488, failedAssignments=651, nogoods=202, foundSolutions=6, bestBound=10
9.41/4.10 nFilterCalls=96888, avgTableProportion=0.8000000000014629, avgTableSize=4.0
9.41/4.10
9.72/4.12 num=45, depth=9..15, filters=184580, revisions=(485363,useless=359316), ccks=263155, wck=1.348, mem=59M101
9.72/4.12 decisions=3136, wrong=1093, backtracks=500, failedAssignments=679, nogoods=206, foundSolutions=6, bestBound=10
9.72/4.12 nFilterCalls=98668, avgTableProportion=0.800000000001489, avgTableSize=4.0
9.72/4.12
9.72/4.14 num=46, depth=11..17, filters=191787, revisions=(503389,useless=372550), ccks=273188, wck=1.368, mem=60M422
9.72/4.14 decisions=3238, wrong=1138, backtracks=517, failedAssignments=710, nogoods=213, foundSolutions=6, bestBound=10
9.72/4.14 nFilterCalls=102198, avgTableProportion=0.800000000001538, avgTableSize=4.0
9.72/4.14
9.72/4.15 num=47, depth=11..16, filters=197021, revisions=(515218,useless=380569), ccks=279600, wck=1.383, mem=60M422
9.72/4.15 decisions=3338, wrong=1182, backtracks=527, failedAssignments=744, nogoods=221, foundSolutions=6, bestBound=10
9.72/4.15 nFilterCalls=104330, avgTableProportion=0.8000000000015661, avgTableSize=4.0
9.72/4.15
9.72/4.18 num=48, depth=12..17, filters=206475, revisions=(538714,useless=397258), ccks=293867, wck=1.407, mem=60M422
9.72/4.18 decisions=3470, wrong=1240, backtracks=550, failedAssignments=781, nogoods=224, foundSolutions=6, bestBound=10
9.72/4.18 nFilterCalls=109121, avgTableProportion=0.8000000000016251, avgTableSize=4.0
9.72/4.18
9.72/4.19 num=49, depth=15..25, filters=213914, revisions=(558617,useless=411818), ccks=303838, wck=1.423, mem=60M422
9.72/4.19 decisions=3620, wrong=1307, backtracks=580, failedAssignments=822, nogoods=235, foundSolutions=6, bestBound=10
9.72/4.19 nFilterCalls=112287, avgTableProportion=0.8000000000016614, avgTableSize=4.0
9.72/4.19
10.00/4.21 num=50, depth=19..26, filters=222240, revisions=(580636,useless=427795), ccks=315156, wck=1.441, mem=60M422
10.00/4.21 decisions=3772, wrong=1373, backtracks=605, failedAssignments=867, nogoods=238, foundSolutions=6, bestBound=10
10.00/4.21 nFilterCalls=116175, avgTableProportion=0.8000000000017031, avgTableSize=4.0
10.00/4.21
10.00/4.24 num=51, depth=19..23, filters=236448, revisions=(616159,useless=453681), ccks=334881, wck=1.467, mem=60M422
10.00/4.24 decisions=3955, wrong=1454, backtracks=638, failedAssignments=917, nogoods=246, foundSolutions=6, bestBound=10
10.00/4.24 nFilterCalls=123184, avgTableProportion=0.8000000000017718, avgTableSize=4.0
10.00/4.24
10.00/4.25 num=52, depth=14..19, filters=246325, revisions=(640845,useless=471416), ccks=348268, wck=1.487, mem=60M422
10.00/4.25 decisions=4122, wrong=1530, backtracks=663, failedAssignments=972, nogoods=251, foundSolutions=6, bestBound=10
10.00/4.25 nFilterCalls=127744, avgTableProportion=0.8000000000018125, avgTableSize=4.0
10.00/4.25
10.00/4.28 num=53, depth=12..21, filters=262351, revisions=(678131,useless=498144), ccks=367588, wck=1.515, mem=60M422
10.00/4.28 decisions=4338, wrong=1631, backtracks=720, failedAssignments=1033, nogoods=256, foundSolutions=6, bestBound=10
10.00/4.28 nFilterCalls=134871, avgTableProportion=0.8000000000018704, avgTableSize=4.0
10.00/4.28
10.26/4.30 num=54, depth=12..21, filters=273108, revisions=(703981,useless=516166), ccks=381030, wck=1.535, mem=63M37
10.26/4.30 decisions=4580, wrong=1746, backtracks=780, failedAssignments=1100, nogoods=276, foundSolutions=6, bestBound=10
10.26/4.30 nFilterCalls=139179, avgTableProportion=0.8000000000019026, avgTableSize=4.0
10.26/4.30
10.26/4.34 num=55, depth=12..17, filters=295689, revisions=(751293,useless=548317), ccks=410358, wck=1.57, mem=63M37
10.26/4.34 decisions=4804, wrong=1851, backtracks=816, failedAssignments=1174, nogoods=287, foundSolutions=6, bestBound=10
10.26/4.34 nFilterCalls=150253, avgTableProportion=0.8000000000019769, avgTableSize=4.0
10.26/4.34
10.26/4.36 num=56, depth=15..24, filters=309963, revisions=(788644,useless=575248), ccks=429501, wck=1.596, mem=63M37
10.26/4.36 decisions=5077, wrong=1979, backtracks=880, failedAssignments=1255, nogoods=293, foundSolutions=6, bestBound=10
10.26/4.36 nFilterCalls=156353, avgTableProportion=0.8000000000020133, avgTableSize=4.0
10.26/4.36
10.37/4.40 num=57, depth=20..24, filters=334194, revisions=(853817,useless=624193), ccks=462491, wck=1.636, mem=63M37
10.37/4.40 decisions=5389, wrong=2124, backtracks=947, failedAssignments=1344, nogoods=303, foundSolutions=6, bestBound=10
10.37/4.40 nFilterCalls=168112, avgTableProportion=0.8000000000017063, avgTableSize=4.0
10.37/4.40
10.37/4.43 num=58, depth=10..26, filters=351013, revisions=(893786,useless=651896), ccks=482539, wck=1.666, mem=63M37
10.37/4.43 decisions=5729, wrong=2287, backtracks=1023, failedAssignments=1442, nogoods=312, foundSolutions=6, bestBound=10
10.37/4.43 nFilterCalls=174688, avgTableProportion=0.8000000000012039, avgTableSize=4.0
10.37/4.43
10.37/4.49 num=59, depth=19..29, filters=381513, revisions=(970343,useless=708377), ccks=522552, wck=1.717, mem=63M37
10.37/4.49 decisions=6133, wrong=2478, backtracks=1126, failedAssignments=1550, nogoods=321, foundSolutions=6, bestBound=10
10.37/4.49 nFilterCalls=189209, avgTableProportion=0.800000000000218, avgTableSize=4.0
10.37/4.49
10.47/4.54 num=60, depth=15..22, filters=411755, revisions=(1047596,useless=765272), ccks=566887, wck=1.767, mem=63M37
10.47/4.54 decisions=6522, wrong=2664, backtracks=1214, failedAssignments=1669, nogoods=332, foundSolutions=6, bestBound=10
10.47/4.54 nFilterCalls=203979, avgTableProportion=0.7999999999993592, avgTableSize=4.0
10.47/4.54
10.58/4.60 num=61, depth=13..19, filters=452057, revisions=(1137183,useless=827193), ccks=619793, wck=1.829, mem=63M37
10.58/4.60 decisions=6937, wrong=2865, backtracks=1301, failedAssignments=1800, nogoods=343, foundSolutions=6, bestBound=10
10.58/4.60 nFilterCalls=223171, avgTableProportion=0.7999999999984132, avgTableSize=4.0
10.58/4.60
10.58/4.66 num=62, depth=14..26, filters=483405, revisions=(1221926,useless=889799), ccks=660727, wck=1.887, mem=63M37
10.58/4.66 decisions=7526, wrong=3152, backtracks=1489, failedAssignments=1944, nogoods=349, foundSolutions=6, bestBound=10
10.58/4.66 nFilterCalls=236582, avgTableProportion=0.7999999999978433, avgTableSize=4.0
10.58/4.66
10.71/4.71 num=63, depth=10..23, filters=510776, revisions=(1294675,useless=942786), ccks=697534, wck=1.938, mem=63M37
10.71/4.71 decisions=8015, wrong=3389, backtracks=1598, failedAssignments=2102, nogoods=351, foundSolutions=6, bestBound=10
10.71/4.71 nFilterCalls=248624, avgTableProportion=0.7999999999973839, avgTableSize=4.0
10.71/4.71
10.71/4.76 num=64, depth=11..18, filters=547013, revisions=(1371120,useless=995354), ccks=742708, wck=1.994, mem=63M37
10.71/4.76 decisions=8495, wrong=3623, backtracks=1665, failedAssignments=2276, nogoods=361, foundSolutions=6, bestBound=10
10.71/4.76 nFilterCalls=265075, avgTableProportion=0.7999999999968237, avgTableSize=4.0
10.71/4.76
10.82/4.85 num=65, depth=15..23, filters=606109, revisions=(1501304,useless=1086396), ccks=815940, wck=2.085, mem=63M37
10.82/4.85 decisions=9173, wrong=3954, backtracks=1828, failedAssignments=2467, nogoods=368, foundSolutions=6, bestBound=10
10.82/4.85 nFilterCalls=291749, avgTableProportion=0.7999999999960498, avgTableSize=4.0
10.82/4.85
10.92/4.91 num=66, depth=11..23, filters=644079, revisions=(1590919,useless=1150294), ccks=866251, wck=2.146, mem=63M37
10.92/4.91 decisions=9791, wrong=4257, backtracks=1930, failedAssignments=2678, nogoods=378, foundSolutions=6, bestBound=10
10.92/4.91 nFilterCalls=308709, avgTableProportion=0.7999999999956272, avgTableSize=4.0
10.92/4.91
10.92/4.99 num=67, depth=8..18, filters=687540, revisions=(1703177,useless=1229516), ccks=932246, wck=2.219, mem=63M37
10.92/4.99 decisions=10483, wrong=4597, backtracks=2064, failedAssignments=2910, nogoods=393, foundSolutions=6, bestBound=10
10.92/4.99 nFilterCalls=329250, avgTableProportion=0.7999999999951738, avgTableSize=4.0
10.92/4.99
11.04/5.09 num=68, depth=6..15, filters=753743, revisions=(1841821,useless=1325440), ccks=1009506, wck=2.319, mem=63M37
11.04/5.09 decisions=11290, wrong=4996, backtracks=2235, failedAssignments=3165, nogoods=406, foundSolutions=6, bestBound=10
11.04/5.09 nFilterCalls=358415, avgTableProportion=0.7999999999946192, avgTableSize=4.0
11.04/5.09
11.14/5.17 num=69, depth=8..26, filters=801110, revisions=(1955200,useless=1406217), ccks=1067834, wck=2.398, mem=63M37
11.14/5.17 decisions=12139, wrong=5414, backtracks=2410, failedAssignments=3446, nogoods=420, foundSolutions=6, bestBound=10
11.14/5.17 nFilterCalls=378175, avgTableProportion=0.7999999999942922, avgTableSize=4.0
11.14/5.17
11.24/5.28 num=70, depth=11..18, filters=877002, revisions=(2146552,useless=1546937), ccks=1171320, wck=2.516, mem=63M37
11.24/5.28 decisions=13155, wrong=5916, backtracks=2628, failedAssignments=3755, nogoods=431, foundSolutions=6, bestBound=10
11.24/5.28 nFilterCalls=414159, avgTableProportion=0.7999999999937766, avgTableSize=4.0
11.24/5.28
11.44/5.40 num=71, depth=12..26, filters=951652, revisions=(2315612,useless=1666041), ccks=1260009, wck=2.633, mem=63M37
11.44/5.40 decisions=14220, wrong=6441, backtracks=2857, failedAssignments=4095, nogoods=444, foundSolutions=6, bestBound=10
11.44/5.40 nFilterCalls=446832, avgTableProportion=0.7999999999933805, avgTableSize=4.0
11.44/5.40
11.55/5.54 num=72, depth=10..23, filters=1041071, revisions=(2537226,useless=1826306), ccks=1375949, wck=2.776, mem=63M37
11.55/5.54 decisions=15429, wrong=7040, backtracks=3131, failedAssignments=4469, nogoods=456, foundSolutions=6, bestBound=10
11.55/5.54 nFilterCalls=487401, avgTableProportion=0.7999999999929625, avgTableSize=4.0
11.55/5.54
11.65/5.67 num=73, depth=5..24, filters=1117128, revisions=(2722513,useless=1956408), ccks=1473363, wck=2.897, mem=63M37
11.65/5.67 decisions=16729, wrong=7687, backtracks=3418, failedAssignments=4880, nogoods=465, foundSolutions=6, bestBound=10
11.65/5.67 nFilterCalls=519951, avgTableProportion=0.7999999999926742, avgTableSize=4.0
11.65/5.67
11.85/5.82 num=74, depth=9..24, filters=1210735, revisions=(2943510,useless=2111407), ccks=1586287, wck=3.049, mem=63M37
11.85/5.82 decisions=18218, wrong=8425, backtracks=3805, failedAssignments=5332, nogoods=475, foundSolutions=6, bestBound=10
11.85/5.82 nFilterCalls=559419, avgTableProportion=0.7999999999923697, avgTableSize=4.0
11.85/5.82
11.96/5.98 num=75, depth=12..22, filters=1308606, revisions=(3205077,useless=2303730), ccks=1717344, wck=3.21, mem=63M37
11.96/5.98 decisions=19831, wrong=9225, backtracks=4148, failedAssignments=5829, nogoods=483, foundSolutions=6, bestBound=10
11.96/5.98 nFilterCalls=602725, avgTableProportion=0.7999999999920815, avgTableSize=4.0
11.96/5.98
12.16/6.18 num=76, depth=5..19, filters=1447363, revisions=(3488889,useless=2495790), ccks=1882717, wck=3.413, mem=63M37
12.16/6.18 decisions=21519, wrong=10066, backtracks=4495, failedAssignments=6376, nogoods=490, foundSolutions=6, bestBound=10
12.16/6.18 nFilterCalls=661648, avgTableProportion=0.7999999999923031, avgTableSize=4.0
12.16/6.18
12.36/6.34 num=77, depth=1..17, filters=1551359, revisions=(3703911,useless=2640698), ccks=1998121, wck=3.57, mem=63M37
12.36/6.34 decisions=23118, wrong=10864, backtracks=4725, failedAssignments=6978, nogoods=498, foundSolutions=6, bestBound=10
12.36/6.34 nFilterCalls=703695, avgTableProportion=0.7999999999955454, avgTableSize=4.0
12.36/6.34
12.56/6.57 num=78, depth=12..31, filters=1695897, revisions=(4057583,useless=2893846), ccks=2187813, wck=3.802, mem=63M37
12.56/6.57 decisions=25288, wrong=11942, backtracks=5208, failedAssignments=7640, nogoods=506, foundSolutions=6, bestBound=10
12.56/6.57 nFilterCalls=768348, avgTableProportion=0.7999999999998385, avgTableSize=4.0
12.56/6.57
12.76/6.75 num=79, depth=3..18, filters=1808462, revisions=(4308350,useless=3065076), ccks=2319108, wck=3.978, mem=63M37
12.76/6.75 decisions=27361, wrong=12975, backtracks=5557, failedAssignments=8368, nogoods=528, foundSolutions=6, bestBound=10
12.76/6.75 nFilterCalls=812617, avgTableProportion=0.8000000000023841, avgTableSize=4.0
12.76/6.75
13.07/7.09 num=80, depth=11..23, filters=2041594, revisions=(4818790,useless=3421527), ccks=2616786, wck=4.323, mem=63M37
13.07/7.09 decisions=29861, wrong=14218, backtracks=6118, failedAssignments=9169, nogoods=532, foundSolutions=6, bestBound=10
13.07/7.09 nFilterCalls=922238, avgTableProportion=0.8000000000076357, avgTableSize=4.0
13.07/7.09
13.36/7.39 num=81, depth=0..25, filters=2229284, revisions=(5235545,useless=3704805), ccks=2839225, wck=4.617, mem=63M37
13.36/7.39 decisions=32620, wrong=15596, backtracks=6737, failedAssignments=10050, nogoods=542, foundSolutions=6, bestBound=10
13.36/7.39 nFilterCalls=999665, avgTableProportion=0.8000000000106511, avgTableSize=4.0
13.36/7.39
13.67/7.62 num=82, depth=2..27, filters=2375227, revisions=(5575174,useless=3938230), ccks=3014263, wck=4.851, mem=63M37
13.67/7.62 decisions=35351, wrong=16960, backtracks=7208, failedAssignments=11020, nogoods=561, foundSolutions=6, bestBound=10
13.67/7.62 nFilterCalls=1058894, avgTableProportion=0.8000000000126599, avgTableSize=4.0
13.67/7.62
14.08/8.08 num=83, depth=5..16, filters=2687493, revisions=(6229374,useless=4383158), ccks=3392902, wck=5.314, mem=63M37
14.08/8.08 decisions=38612, wrong=18587, backtracks=7871, failedAssignments=12087, nogoods=577, foundSolutions=6, bestBound=10
14.08/8.08 nFilterCalls=1202109, avgTableProportion=0.8000000000166994, avgTableSize=4.0
14.08/8.08
14.57/8.52 num=84, depth=8..18, filters=2961742, revisions=(6936641,useless=4901763), ccks=3766625, wck=5.751, mem=63M37
14.57/8.52 decisions=42386, wrong=20469, backtracks=8699, failedAssignments=13260, nogoods=596, foundSolutions=6, bestBound=10
14.57/8.52 nFilterCalls=1329038, avgTableProportion=0.8000000000195517, avgTableSize=4.0
14.57/8.52
14.97/8.95 num=85, depth=0..20, filters=3261286, revisions=(7504617,useless=5273967), ccks=4079202, wck=6.184, mem=63M37
14.97/8.95 decisions=46069, wrong=22309, backtracks=9327, failedAssignments=14551, nogoods=612, foundSolutions=6, bestBound=10
14.97/8.95 nFilterCalls=1456131, avgTableProportion=0.8000000000219095, avgTableSize=4.0
14.97/8.95
15.47/9.44 num=86, depth=3..27, filters=3570920, revisions=(8180045,useless=5738589), ccks=4436542, wck=6.67, mem=63M37
15.47/9.44 decisions=50979, wrong=24761, backtracks=10619, failedAssignments=15971, nogoods=626, foundSolutions=6, bestBound=10
15.47/9.44 nFilterCalls=1584935, avgTableProportion=0.8000000000239134, avgTableSize=4.0
15.47/9.44
16.08/10.04 num=87, depth=0..19, filters=3976880, revisions=(8978234,useless=6270346), ccks=4883192, wck=7.267, mem=65M651
16.08/10.04 decisions=55959, wrong=27248, backtracks=11732, failedAssignments=17533, nogoods=657, foundSolutions=6, bestBound=10
16.08/10.04 nFilterCalls=1756163, avgTableProportion=0.800000000026122, avgTableSize=4.0
16.08/10.04
16.67/10.68 num=88, depth=1..22, filters=4418747, revisions=(9833693,useless=6835855), ccks=5375623, wck=7.914, mem=65M651
16.67/10.68 decisions=61493, wrong=30013, backtracks=13039, failedAssignments=19251, nogoods=671, foundSolutions=6, bestBound=10
16.67/10.68 nFilterCalls=1944185, avgTableProportion=0.8000000000280991, avgTableSize=4.0
16.67/10.68
17.37/11.35 num=89, depth=0..19, filters=4861873, revisions=(10758735,useless=7455055), ccks=5885259, wck=8.578, mem=65M651
17.37/11.35 decisions=67238, wrong=32884, backtracks=14171, failedAssignments=21141, nogoods=691, foundSolutions=6, bestBound=10
17.37/11.35 nFilterCalls=2133537, avgTableProportion=0.8000000000297381, avgTableSize=4.0
17.37/11.35
18.19/12.14 num=90, depth=1..22, filters=5386004, revisions=(11898516,useless=8237792), ccks=6521183, wck=9.37, mem=65M651
18.19/12.14 decisions=73545, wrong=36036, backtracks=15445, failedAssignments=23220, nogoods=701, foundSolutions=6, bestBound=10
18.19/12.14 nFilterCalls=2366122, avgTableProportion=0.8000000000313923, avgTableSize=4.0
18.19/12.14
18.88/12.84 num=91, depth=0..23, filters=5846730, revisions=(12866426,useless=8893948), ccks=7042089, wck=10.067, mem=65M651
18.88/12.84 decisions=80397, wrong=39459, backtracks=16755, failedAssignments=25507, nogoods=718, foundSolutions=6, bestBound=10
18.88/12.84 nFilterCalls=2557786, avgTableProportion=0.8000000000325294, avgTableSize=4.0
18.88/12.84
19.68/13.69 num=92, depth=6..30, filters=6394815, revisions=(14207479,useless=9856644), ccks=7777131, wck=10.926, mem=65M651
19.68/13.69 decisions=88303, wrong=43408, backtracks=18399, failedAssignments=28023, nogoods=738, foundSolutions=6, bestBound=10
19.68/13.69 nFilterCalls=2807167, avgTableProportion=0.8000000000183718, avgTableSize=4.0
19.68/13.69
20.58/14.56 num=93, depth=0..21, filters=6975339, revisions=(15400071,useless=10662262), ccks=8431717, wck=11.792, mem=65M651
20.58/14.56 decisions=96515, wrong=47512, backtracks=19927, failedAssignments=30791, nogoods=756, foundSolutions=6, bestBound=10
20.58/14.56 nFilterCalls=3052832, avgTableProportion=0.8000000000019044, avgTableSize=4.0
20.58/14.56
21.68/15.65 num=94, depth=0..24, filters=7696368, revisions=(16929279,useless=11709536), ccks=9274429, wck=12.877, mem=65M651
21.68/15.65 decisions=106407, wrong=52457, backtracks=22130, failedAssignments=33835, nogoods=766, foundSolutions=6, bestBound=10
21.68/15.65 nFilterCalls=3362835, avgTableProportion=0.7999999999845581, avgTableSize=4.0
21.68/15.65
22.79/16.75 num=95, depth=0..18, filters=8415564, revisions=(18577387,useless=12857811), ccks=10169919, wck=13.984, mem=65M651
22.79/16.75 decisions=116783, wrong=57643, backtracks=24214, failedAssignments=37184, nogoods=783, foundSolutions=6, bestBound=10
22.79/16.75 nFilterCalls=3674964, avgTableProportion=0.7999999999700494, avgTableSize=4.0
22.79/16.75
23.49/17.46
23.49/17.46 New Bounds: 10..9
23.49/17.46 num=96, depth=0..15, filters=8865527, revisions=(19674318,useless=13645742), ccks=10758671, wck=14.688, mem=65M651
23.49/17.46 decisions=123353, wrong=60929, backtracks=25609, failedAssignments=39208, foundSolutions=6, bestBound=10
23.49/17.46 nFilterCalls=3876538, avgTableProportion=0.7999999999619214, avgTableSize=4.0
23.49/17.46
23.49/17.46 Global
23.49/17.46 filters=8865527, revisions=(19674318,useless=13645742), ccks=10758671
23.49/17.46 Stop=FULL_EXPLORATION, wrong=60929, bestBound=10, bestBoundWck=2.071, bestBoundCpu=3.845, foundSolutions=6, firstSolCpu=2.808
23.49/17.46 wck=15.596, cpu=17.369, mem=65M651
23.49/17.46
23.49/17.46 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>
23.49/17.46 s OPTIMUM FOUND
23.49/17.46
23.49/17.46 d WRONG_DECISIONS 60929
23.49/17.46 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 (14560 MiB free)
memory of node 1: 16384 MiB (15741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390878-1568386521/watcher-4390878-1568386521 -o /tmp/evaluation-result-4390878-1568386521/solver-4390878-1568386521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390878-1568386521.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=21596, runsolver pid=21593
Current StackSize limit: 8192 KiB
[startup+0.100401 s]*
/proc/loadavg: 1.96 1.88 1.83 3/229 21611
/proc/meminfo: memFree=31014084/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10659884 memory=26944 CPUtime=0.1 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 5188 0 0 0 9 1 0 0 20 0 15 0 414905146 10915721216 6736 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2664971 6736 2821 1 0 2627468 0
[pid=21596/tid=21598] ppid=21593 vsize=10659884 memory=720575944405811505 CPUtime=0.07 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) R 21593 21596 20165 0 -1 4202560 3161 0 0 0 7 0 0 0 20 0 15 0 414905146 10915721216 6736 33554432000 4194304 4196468 140724315110992 140641793203984 140641788984726 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 6736 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10659884 memory=3978007752840750752 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 6736 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 6736 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 6736 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905148 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414905149 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640823653920 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414905149 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640822601072 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905151 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 414905153 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905153 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10659884 memory=140464167495296 CPUtime=0.01 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 414905153 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905153 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10659884 memory=140464167495296 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905153 10915721216 6736 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26944 KiB
[startup+0.210897 s]*
/proc/loadavg: 1.96 1.88 1.83 5/229 21611
/proc/meminfo: memFree=31005464/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10659884 memory=35204 CPUtime=0.31 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 6914 0 0 0 30 1 0 0 20 0 15 0 414905146 10915721216 8801 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2664971 8801 2990 1 0 2627468 0
[pid=21596/tid=21598] ppid=21593 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) R 21593 21596 20165 0 -1 4202560 3868 0 0 0 18 1 0 0 20 0 15 0 414905146 10915721216 8801 33554432000 4194304 4196468 140724315110992 140641793209808 140641788994717 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 8801 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10659884 memory=140464170763543 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 8801 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 8801 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10915721216 8801 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10659884 memory=140464167495296 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905148 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414905149 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640823653920 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414905149 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640822601072 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905151 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 15 0 414905153 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 414905153 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10659884 memory=140464167495296 CPUtime=0.05 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 707 0 0 0 5 0 0 0 20 0 15 0 414905153 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905153 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10659884 memory=140464167495296 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905153 10915721216 8801 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35204 KiB
[startup+0.310466 s]*
/proc/loadavg: 1.96 1.88 1.83 4/229 21611
/proc/meminfo: memFree=31002924/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10660908 memory=41312 CPUtime=0.46 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 9167 0 0 0 43 3 0 0 20 0 15 0 414905146 10916769792 10328 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2665227 10328 3003 1 0 2627724 0
[pid=21596/tid=21598] ppid=21593 vsize=10660908 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) R 21593 21596 20165 0 -1 4202560 6037 0 0 0 27 2 0 0 20 0 15 0 414905146 10916769792 10328 33554432000 4194304 4196468 140724315110992 140641793193680 140641781652509 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10660908 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10916769792 10328 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10660908 memory=140464170763356 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10916769792 10328 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10916769792 10328 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10916769792 10328 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10660908 memory=140464167495296 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905148 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414905149 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640823653920 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414905149 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640822601072 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905151 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10660908 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 756 0 0 0 4 0 0 0 20 0 15 0 414905153 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10660908 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 414905153 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10660908 memory=140464167495296 CPUtime=0.07 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 414905153 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905153 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10660908 memory=140464167495296 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905153 10916769792 10328 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 41312 KiB
[startup+0.700688 s]
/proc/loadavg: 1.96 1.88 1.83 3/229 21611
/proc/meminfo: memFree=30988720/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10661932 memory=61536 CPUtime=1.11 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 13018 0 0 0 106 5 0 0 20 0 15 0 414905146 10917818368 15384 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2665483 15384 3072 1 0 2627980 0
[pid=21596/tid=21598] ppid=21593 vsize=10661932 memory=39424 CPUtime=0.67 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) R 21593 21596 20165 0 -1 4202560 8848 0 0 0 63 4 0 0 20 0 15 0 414905146 10917818368 15384 33554432000 4194304 4196468 140724315110992 140641793195728 140641774138344 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10917818368 15384 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10917818368 15384 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10917818368 15384 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10917818368 15384 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905148 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10661932 memory=14 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414905149 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640823653920 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10661932 memory=19 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414905149 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640822601072 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905151 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 1085 0 0 0 10 0 0 0 20 0 15 0 414905153 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10661932 memory=1332 CPUtime=0.13 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 535 0 0 0 13 0 0 0 20 0 15 0 414905153 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10661932 memory=90622 CPUtime=0.18 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 1190 0 0 0 18 0 0 0 20 0 15 0 414905153 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414905153 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905153 10917818368 15384 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61536 KiB
[startup+1.50072 s]
/proc/loadavg: 1.96 1.88 1.83 3/229 21611
/proc/meminfo: memFree=30972280/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10663980 memory=75992 CPUtime=2.01 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 17240 0 0 0 195 6 0 0 20 0 15 0 414905146 10919915520 18998 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2665995 18998 3090 1 0 2628492 0
[pid=21596/tid=21598] ppid=21593 vsize=10663980 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) R 21593 21596 20165 0 -1 4202560 11943 0 0 0 142 4 0 0 20 0 15 0 414905146 10919915520 18998 33554432000 4194304 4196468 140724315110992 140641793204816 140641773053278 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10663980 memory=39424 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10919915520 18998 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414905147 10919915520 18998 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10919915520 18998 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414905147 10919915520 18998 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414905148 10919915520 18998 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
################
# More data... #
################
[startup+16.0007 s]*
/proc/loadavg: 2.11 1.91 1.85 3/230 21612
/proc/meminfo: memFree=30756824/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10748324 memory=305096 CPUtime=22.09 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 47017 0 0 0 2189 20 0 0 20 0 16 0 414905146 11006283776 76274 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2687081 76274 3374 1 0 2647217 0
[pid=21596/tid=21598] ppid=21593 vsize=10748324 memory=8317482817917895235 CPUtime=1.86 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) S 21593 21596 20165 0 -1 1077944384 13768 0 0 0 180 6 0 0 20 0 16 0 414905146 11006283776 76274 33554432000 4194304 4196468 140724315110992 140641793215664 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 16 0 414905147 11006283776 76274 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10748324 memory=252 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 118 0 0 0 1 1 0 0 20 0 16 0 414905147 11006283776 76274 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10748324 memory=246 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 223 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76274 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10748324 memory=99 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 213 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76274 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 850 0 0 0 1 0 0 0 20 0 16 0 414905148 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10748324 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640823653984 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10748324 memory=796 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640822601088 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10748324 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905151 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10748324 memory=916 CPUtime=2.52 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 9732 0 0 0 250 2 0 0 20 0 16 0 414905153 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10748324 memory=3848 CPUtime=2.46 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 5335 0 0 0 246 0 0 0 20 0 16 0 414905153 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10748324 memory=2684 CPUtime=0.99 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 6496 0 0 0 98 1 0 0 20 0 16 0 414905153 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10748324 memory=2740 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10748324 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1157 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21612] ppid=21593 vsize=10748324 memory=1404 CPUtime=14.03 cores=1,3,5,7
/proc/21596/task/21612/stat : 21612 (java) R 21593 21596 20165 0 -1 4202560 7135 0 0 0 1400 3 0 0 20 0 16 0 414905335 11006283776 76274 33554432000 4194304 4196468 140724315110992 140640799326032 140641414089593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 22.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 305096 KiB
[startup+16.8006 s]
/proc/loadavg: 2.11 1.91 1.85 3/230 21612
/proc/meminfo: memFree=30756824/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10748324 memory=305244 CPUtime=22.89 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 47084 0 0 0 2269 20 0 0 20 0 16 0 414905146 11006283776 76311 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2687081 76311 3374 1 0 2647217 0
[pid=21596/tid=21598] ppid=21593 vsize=10748324 memory=111628 CPUtime=1.86 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) S 21593 21596 20165 0 -1 1077944384 13768 0 0 0 180 6 0 0 20 0 16 0 414905146 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641793215664 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10748324 memory=796 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10748324 memory=1804 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 118 0 0 0 1 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10748324 memory=916 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 223 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10748324 memory=56 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 213 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10748324 memory=7510432583741839257 CPUtime=0.01 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 890 0 0 0 1 0 0 0 20 0 16 0 414905148 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10748324 memory=6944656592455362618 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640823653984 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10748324 memory=9052676650212679776 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640822601088 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10748324 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905151 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10748324 memory=305232 CPUtime=2.52 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 9732 0 0 0 250 2 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10748324 memory=288230583166042426 CPUtime=2.46 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 5335 0 0 0 246 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10748324 memory=14689699524512400 CPUtime=0.99 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 6517 0 0 0 98 1 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10748324 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1157 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21612] ppid=21593 vsize=10748324 memory=1668 CPUtime=14.82 cores=1,3,5,7
/proc/21596/task/21612/stat : 21612 (java) R 21593 21596 20165 0 -1 4202560 7141 0 0 0 1479 3 0 0 20 0 16 0 414905335 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640799331008 140641415020341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 22.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 305244 KiB
[startup+17.2006 s]
/proc/loadavg: 2.11 1.91 1.85 3/230 21612
/proc/meminfo: memFree=30756792/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10748324 memory=305244 CPUtime=23.29 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 47105 0 0 0 2309 20 0 0 20 0 16 0 414905146 11006283776 76311 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2687081 76311 3374 1 0 2647217 0
[pid=21596/tid=21598] ppid=21593 vsize=10748324 memory=6655300316396806240 CPUtime=1.86 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) S 21593 21596 20165 0 -1 1077944384 13768 0 0 0 180 6 0 0 20 0 16 0 414905146 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641793215664 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10748324 memory=7885618647264285542 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10748324 memory=4640770713788629089 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 118 0 0 0 1 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10748324 memory=7007707949394126417 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 223 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10748324 memory=7949225395249829991 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 213 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10748324 memory=7373916858537504097 CPUtime=0.01 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 891 0 0 0 1 0 0 0 20 0 16 0 414905148 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10748324 memory=7451609539861307712 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640823653984 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10748324 memory=5794251801077829732 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640822601088 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10748324 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905151 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10748324 memory=639296 CPUtime=2.52 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 9732 0 0 0 250 2 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10748324 memory=305232 CPUtime=2.46 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 5335 0 0 0 246 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10748324 memory=2696 CPUtime=0.99 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 6517 0 0 0 98 1 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10748324 memory=305064 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10748324 memory=1644 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1157 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21612] ppid=21593 vsize=10748324 memory=8317482817917895235 CPUtime=15.22 cores=1,3,5,7
/proc/21596/task/21612/stat : 21612 (java) R 21593 21596 20165 0 -1 4202560 7161 0 0 0 1519 3 0 0 20 0 16 0 414905335 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640799331504 140641415501478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 23.29 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 305244 KiB
[startup+17.4006 s]
/proc/loadavg: 2.11 1.91 1.85 3/230 21612
/proc/meminfo: memFree=30756792/32770624 swapFree=66996904/67108860
[pid=21596] ppid=21593 vsize=10748324 memory=305244 CPUtime=23.49 cores=1,3,5,7
/proc/21596/stat : 21596 (java) S 21593 21596 20165 0 -1 1077944320 47105 0 0 0 2329 20 0 0 20 0 16 0 414905146 11006283776 76311 33554432000 4194304 4196468 140724315110992 140724315093536 140641788972791 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
/proc/21596/statm: 2687081 76311 3374 1 0 2647217 0
[pid=21596/tid=21598] ppid=21593 vsize=10748324 memory=639296 CPUtime=1.86 cores=1,3,5,7
/proc/21596/task/21598/stat : 21598 (java) S 21593 21596 20165 0 -1 1077944384 13768 0 0 0 180 6 0 0 20 0 16 0 414905146 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641793215664 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21599] ppid=21593 vsize=10748324 memory=1404 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21599/stat : 21599 (java) S 21593 21596 20165 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641725663888 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21600] ppid=21593 vsize=10748324 memory=2552 CPUtime=0.02 cores=1,3,5,7
/proc/21596/task/21600/stat : 21600 (java) S 21593 21596 20165 0 -1 1077944384 118 0 0 0 1 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641394616848 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21601] ppid=21593 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21601/stat : 21601 (java) S 21593 21596 20165 0 -1 1077944384 223 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641393564048 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21602] ppid=21593 vsize=10748324 memory=2276 CPUtime=0.04 cores=1,3,5,7
/proc/21596/task/21602/stat : 21602 (java) S 21593 21596 20165 0 -1 1077944384 213 0 0 0 3 1 0 0 20 0 16 0 414905147 11006283776 76311 33554432000 4194304 4196468 140724315110992 140641392511248 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21603] ppid=21593 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21596/task/21603/stat : 21603 (java) S 21593 21596 20165 0 -1 1077944384 891 0 0 0 1 0 0 0 20 0 16 0 414905148 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640824707952 140641788983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21604] ppid=21593 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21604/stat : 21604 (java) S 21593 21596 20165 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640823653984 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21605] ppid=21593 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21605/stat : 21605 (java) S 21593 21596 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414905149 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640822601088 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21606] ppid=21593 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21606/stat : 21606 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905151 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640821549392 140641788991387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21607] ppid=21593 vsize=10748324 memory=0 CPUtime=2.52 cores=1,3,5,7
/proc/21596/task/21607/stat : 21607 (java) S 21593 21596 20165 0 -1 1077944384 9732 0 0 0 250 2 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640820496752 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21608] ppid=21593 vsize=10748324 memory=0 CPUtime=2.46 cores=1,3,5,7
/proc/21596/task/21608/stat : 21608 (java) S 21593 21596 20165 0 -1 1077944384 5335 0 0 0 246 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640819443952 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21609] ppid=21593 vsize=10748324 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/21596/task/21609/stat : 21609 (java) S 21593 21596 20165 0 -1 1077944384 6517 0 0 0 98 1 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640818391152 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21610] ppid=21593 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21610/stat : 21610 (java) S 21593 21596 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640817338592 140641788982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21611] ppid=21593 vsize=10748324 memory=140464167495296 CPUtime=0 cores=1,3,5,7
/proc/21596/task/21611/stat : 21611 (java) S 21593 21596 20165 0 -1 1077944384 1157 0 0 0 0 0 0 0 20 0 16 0 414905153 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640816286896 140641788983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
[pid=21596/tid=21612] ppid=21593 vsize=10748324 memory=0 CPUtime=15.42 cores=1,3,5,7
/proc/21596/task/21612/stat : 21612 (java) R 21593 21596 20165 0 -1 4202560 7161 0 0 0 1539 3 0 0 20 0 16 0 414905335 11006283776 76311 33554432000 4194304 4196468 140724315110992 140640799331504 140641414926606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23810048 140724315112459 140724315112562 140724315112562 140724315115471 0
Current children cumulated CPU time: 23.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 305244 KiB
Child status: 0
Real time (s): 17.481
CPU time (s): 23.5768
CPU user time (s): 23.3619
CPU system time (s): 0.214854
CPU usage (%): 134.871
Max. virtual memory (cumulated for all children) (KiB): 10750692
Max. memory (cumulated for all children) (KiB): 315936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.3619
system time used= 0.214854
maximum resident set size= 315968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48418
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3352
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 21596
# total CPU time (s): 23.5768
# total CPU user time (s): 23.3619
# total CPU system time (s): 0.214854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.122905 second user time and 0.214641 second system time
The end