2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
3.34/2.18 Instance
3.34/2.18 name=instance-4390854-1568381629, framework=COP, bounds=-infty..+infty
3.34/2.18
3.34/2.18 Loading variables...
3.68/2.24 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4966e7ad
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa7e897
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c3a43e
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e853b1
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f5e86c
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c9f9d8
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da5a9d0
4.77/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b37d410
4.77/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fbf90f9
4.77/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43583829
4.77/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d15f561
4.77/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef83ad1
4.77/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7610448a
4.77/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b905bd3
5.16/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba488c1
5.16/2.64
5.16/2.64
5.16/2.64 Domains
5.16/2.64 nTypes=4, nValues=3615, sizes=[2#900,3#450,15#15,16#15]
5.16/2.64 Variables
5.16/2.64 count=1380, degrees=[2#495,3#870,31#15]
5.16/2.64 Objectives
5.16/2.64 way=min, type=ObjMaximumLE
5.16/2.64 Constraints
5.16/2.64 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.16/2.64 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.16/2.64 tables=[4#450], nTotalTuples=1800
5.16/2.64 nExtStructures=(451,shared:449), nIntStructures=(1,shared:419), nCftStructures=(451,shared:419,unbuilt:497)
5.16/2.64 wck=0.791, cpu=2.592, mem=79M361
5.41/2.70 Solver SolverBacktrack being built...
5.41/2.70
5.41/2.74
5.41/2.74 Solver
5.41/2.74 guaranteedGAC=false
5.41/2.74 wck=0.893, cpu=2.692, mem=132M303
5.41/2.76
5.41/2.76 Preprocessing
5.41/2.76 filters=30, revisions=(60,useless=60), ccks=228, nACremovedValues=30, nTotalRemovedValues=30, inconcistency=false
5.41/2.76 wck=0.024, cpu=2.717, mem=132M303
5.41/2.76
5.68/2.83 o 15
6.00/2.91 num=0, depth=5..1379, filters=2464, revisions=(7888,useless=6178), ccks=6574, wck=0.169, mem=132M303
6.00/2.91 decisions=26, wrong=6, backtracks=0, failedAssignments=6, nogoods=6, foundSolutions=1, bestBound=15
6.00/2.91 nFilterCalls=2892, avgTableProportion=0.75, avgTableSize=3.0
6.00/2.91
6.00/2.94 num=1, depth=0..32, filters=4990, revisions=(13990,useless=10549), ccks=10609, wck=0.197, mem=132M303
6.00/2.94 decisions=81, wrong=18, backtracks=1, failedAssignments=17, nogoods=11, foundSolutions=1, bestBound=15
6.00/2.94 nFilterCalls=4732, avgTableProportion=0.75, avgTableSize=3.0
6.00/2.94
6.00/2.97 num=2, depth=15..19, filters=9526, revisions=(24940,useless=18391), ccks=16308, wck=0.227, mem=132M303
6.00/2.97 decisions=136, wrong=37, backtracks=10, failedAssignments=28, nogoods=15, foundSolutions=1, bestBound=15
6.00/2.97 nFilterCalls=6875, avgTableProportion=0.75, avgTableSize=3.0
6.00/2.97
6.34/3.01 o 14
6.34/3.06 num=3, depth=23..1379, filters=11440, revisions=(31921,useless=24052), ccks=20594, wck=0.324, mem=134M946
6.34/3.06 decisions=172, wrong=39, backtracks=10, failedAssignments=30, nogoods=17, foundSolutions=2, bestBound=14
6.34/3.06 nFilterCalls=9209, avgTableProportion=0.75, avgTableSize=3.0
6.34/3.06
6.34/3.09 num=4, depth=30..36, filters=12783, revisions=(37187,useless=28272), ccks=22669, wck=0.347, mem=134M946
6.34/3.09 decisions=236, wrong=56, backtracks=16, failedAssignments=43, nogoods=18, foundSolutions=2, bestBound=14
6.34/3.09 nFilterCalls=10414, avgTableProportion=0.75, avgTableSize=3.0
6.34/3.09
6.65/3.11 num=5, depth=30..37, filters=16913, revisions=(45167,useless=33860), ccks=26846, wck=0.375, mem=134M946
6.65/3.11 decisions=302, wrong=74, backtracks=26, failedAssignments=54, nogoods=21, foundSolutions=2, bestBound=14
6.65/3.11 nFilterCalls=12376, avgTableProportion=0.75, avgTableSize=3.0
6.65/3.11
6.65/3.13 num=6, depth=14..20, filters=19265, revisions=(52449,useless=39474), ccks=30720, wck=0.395, mem=134M946
6.65/3.13 decisions=355, wrong=92, backtracks=32, failedAssignments=66, nogoods=27, foundSolutions=2, bestBound=14
6.65/3.13 nFilterCalls=13516, avgTableProportion=0.75, avgTableSize=3.0
6.65/3.13
6.65/3.16 num=7, depth=9..12, filters=23600, revisions=(63393,useless=47672), ccks=36888, wck=0.421, mem=134M946
6.65/3.16 decisions=406, wrong=112, backtracks=40, failedAssignments=79, nogoods=30, foundSolutions=2, bestBound=14
6.65/3.16 nFilterCalls=15620, avgTableProportion=0.75, avgTableSize=3.0
6.65/3.16
6.65/3.19 num=8, depth=15..21, filters=27936, revisions=(73165,useless=54609), ccks=42486, wck=0.45, mem=134M946
6.65/3.19 decisions=467, wrong=135, backtracks=50, failedAssignments=93, nogoods=34, foundSolutions=2, bestBound=14
6.65/3.19 nFilterCalls=17468, avgTableProportion=0.75, avgTableSize=3.0
6.65/3.19
6.92/3.22 num=9, depth=9..11, filters=32713, revisions=(85486,useless=63681), ccks=49491, wck=0.48, mem=134M946
6.92/3.22 decisions=525, wrong=159, backtracks=59, failedAssignments=109, nogoods=39, foundSolutions=2, bestBound=14
6.92/3.22 nFilterCalls=19672, avgTableProportion=0.75, avgTableSize=3.0
6.92/3.22
6.92/3.25 num=10, depth=12..38, filters=36720, revisions=(96259,useless=71721), ccks=54761, wck=0.512, mem=134M946
6.92/3.25 decisions=612, wrong=185, backtracks=69, failedAssignments=126, nogoods=45, foundSolutions=2, bestBound=14
6.92/3.25 nFilterCalls=21422, avgTableProportion=0.75, avgTableSize=3.0
6.92/3.25
6.92/3.29 o 13
7.23/3.36 num=11, depth=17..1379, filters=39788, revisions=(106846,useless=80137), ccks=60438, wck=0.618, mem=137M590
7.23/3.36 decisions=699, wrong=207, backtracks=74, failedAssignments=143, nogoods=50, foundSolutions=3, bestBound=13
7.23/3.36 nFilterCalls=24130, avgTableProportion=0.75, avgTableSize=3.0
7.23/3.36
7.23/3.38 num=12, depth=14..32, filters=44043, revisions=(120288,useless=90569), ccks=66584, wck=0.645, mem=137M590
7.23/3.38 decisions=795, wrong=244, backtracks=97, failedAssignments=164, nogoods=56, foundSolutions=3, bestBound=13
7.23/3.38 nFilterCalls=26552, avgTableProportion=0.75, avgTableSize=3.0
7.23/3.38
7.53/3.40 num=13, depth=12..15, filters=48837, revisions=(129870,useless=97156), ccks=72555, wck=0.663, mem=137M590
7.53/3.40 decisions=853, wrong=266, backtracks=108, failedAssignments=175, nogoods=58, foundSolutions=3, bestBound=13
7.53/3.40 nFilterCalls=28859, avgTableProportion=0.75, avgTableSize=3.0
7.53/3.40
7.53/3.42 num=14, depth=14..19, filters=53457, revisions=(141254,useless=105492), ccks=78357, wck=0.681, mem=137M590
7.53/3.42 decisions=915, wrong=290, backtracks=123, failedAssignments=187, nogoods=60, foundSolutions=3, bestBound=13
7.53/3.42 nFilterCalls=30933, avgTableProportion=0.75, avgTableSize=3.0
7.53/3.42
7.53/3.44 num=15, depth=14..18, filters=58705, revisions=(151148,useless=112286), ccks=85119, wck=0.699, mem=137M590
7.53/3.44 decisions=979, wrong=315, backtracks=137, failedAssignments=200, nogoods=61, foundSolutions=3, bestBound=13
7.53/3.44 nFilterCalls=33486, avgTableProportion=0.75, avgTableSize=3.0
7.53/3.44
7.53/3.46 o 12
7.84/3.52 num=16, depth=18..1379, filters=60826, revisions=(159815,useless=119436), ccks=89795, wck=0.778, mem=137M590
7.84/3.52 decisions=1043, wrong=326, backtracks=138, failedAssignments=210, nogoods=71, foundSolutions=4, bestBound=12
7.84/3.52 nFilterCalls=35813, avgTableProportion=0.75, avgTableSize=3.0
7.84/3.52
7.84/3.54 num=17, depth=15..20, filters=67408, revisions=(178917,useless=134088), ccks=98571, wck=0.805, mem=137M590
7.84/3.54 decisions=1133, wrong=363, backtracks=165, failedAssignments=226, nogoods=74, foundSolutions=4, bestBound=12
7.84/3.54 nFilterCalls=39394, avgTableProportion=0.75, avgTableSize=3.0
7.84/3.54
7.84/3.55 num=18, depth=15..18, filters=70479, revisions=(186499,useless=139369), ccks=103789, wck=0.815, mem=137M590
7.84/3.55 decisions=1185, wrong=381, backtracks=172, failedAssignments=237, nogoods=76, foundSolutions=4, bestBound=12
7.84/3.55 nFilterCalls=41016, avgTableProportion=0.75, avgTableSize=3.0
7.84/3.55
7.84/3.56 num=19, depth=15..23, filters=73715, revisions=(194751,useless=145403), ccks=108213, wck=0.826, mem=140M232
7.84/3.56 decisions=1240, wrong=398, backtracks=177, failedAssignments=249, nogoods=80, foundSolutions=4, bestBound=12
7.84/3.56 nFilterCalls=42599, avgTableProportion=0.75, avgTableSize=3.0
7.84/3.56
7.84/3.58 num=20, depth=14..17, filters=78252, revisions=(204822,useless=152500), ccks=114721, wck=0.839, mem=140M232
7.84/3.58 decisions=1301, wrong=421, backtracks=187, failedAssignments=262, nogoods=83, foundSolutions=4, bestBound=12
7.84/3.58 nFilterCalls=44937, avgTableProportion=0.75, avgTableSize=3.0
7.84/3.58
7.84/3.59 num=21, depth=16..18, filters=82202, revisions=(214675,useless=159422), ccks=120833, wck=0.851, mem=140M232
7.84/3.59 decisions=1354, wrong=439, backtracks=191, failedAssignments=276, nogoods=87, foundSolutions=4, bestBound=12
7.84/3.59 nFilterCalls=46951, avgTableProportion=0.75, avgTableSize=3.0
7.84/3.59
8.14/3.60 num=22, depth=16..18, filters=85463, revisions=(223410,useless=165868), ccks=125630, wck=0.862, mem=140M232
8.14/3.60 decisions=1414, wrong=461, backtracks=197, failedAssignments=292, nogoods=92, foundSolutions=4, bestBound=12
8.14/3.60 nFilterCalls=48505, avgTableProportion=0.75, avgTableSize=3.0
8.14/3.60
8.14/3.62 num=23, depth=18..20, filters=90918, revisions=(237583,useless=176365), ccks=133771, wck=0.877, mem=140M232
8.14/3.62 decisions=1490, wrong=489, backtracks=209, failedAssignments=309, nogoods=95, foundSolutions=4, bestBound=12
8.14/3.62 nFilterCalls=51288, avgTableProportion=0.75, avgTableSize=3.0
8.14/3.62
8.14/3.63 num=24, depth=17..20, filters=97228, revisions=(251727,useless=186294), ccks=141710, wck=0.893, mem=140M232
8.14/3.63 decisions=1568, wrong=519, backtracks=222, failedAssignments=328, nogoods=102, foundSolutions=4, bestBound=12
8.14/3.63 nFilterCalls=54410, avgTableProportion=0.75, avgTableSize=3.0
8.14/3.63
8.14/3.65 num=25, depth=15..20, filters=104131, revisions=(270515,useless=200331), ccks=151161, wck=0.911, mem=140M232
8.14/3.65 decisions=1663, wrong=559, backtracks=253, failedAssignments=349, nogoods=106, foundSolutions=4, bestBound=12
8.14/3.65 nFilterCalls=57658, avgTableProportion=0.75, avgTableSize=3.0
8.14/3.65
8.14/3.66 num=26, depth=15..25, filters=109654, revisions=(284593,useless=210449), ccks=158697, wck=0.925, mem=140M232
8.14/3.66 decisions=1759, wrong=599, backtracks=277, failedAssignments=372, nogoods=114, foundSolutions=4, bestBound=12
8.14/3.66 nFilterCalls=60137, avgTableProportion=0.75, avgTableSize=3.0
8.14/3.66
8.14/3.68 o 11
8.45/3.71 num=27, depth=18..1379, filters=111974, revisions=(293701,useless=217879), ccks=163225, wck=0.973, mem=140M232
8.45/3.71 decisions=1814, wrong=610, backtracks=281, failedAssignments=380, nogoods=120, foundSolutions=5, bestBound=11
8.45/3.71 nFilterCalls=62578, avgTableProportion=0.75, avgTableSize=3.0
8.45/3.71
8.45/3.73 num=28, depth=16..21, filters=120335, revisions=(313966,useless=232457), ccks=174479, wck=0.996, mem=140M232
8.45/3.73 decisions=1914, wrong=651, backtracks=298, failedAssignments=408, nogoods=127, foundSolutions=5, bestBound=11
8.45/3.73 nFilterCalls=66818, avgTableProportion=0.75, avgTableSize=3.0
8.45/3.73
8.45/3.74 num=29, depth=13..36, filters=123182, revisions=(322822,useless=239273), ccks=178719, wck=1.004, mem=140M232
8.45/3.74 decisions=1980, wrong=669, backtracks=307, failedAssignments=419, nogoods=135, foundSolutions=5, bestBound=11
8.45/3.74 nFilterCalls=68174, avgTableProportion=0.75, avgTableSize=3.0
8.45/3.74
8.45/3.75 num=30, depth=15..18, filters=126257, revisions=(331352,useless=245557), ccks=183228, wck=1.012, mem=140M232
8.45/3.75 decisions=2032, wrong=686, backtracks=314, failedAssignments=431, nogoods=141, foundSolutions=5, bestBound=11
8.45/3.75 nFilterCalls=69648, avgTableProportion=0.75, avgTableSize=3.0
8.45/3.75
8.45/3.76 num=31, depth=16..38, filters=129332, revisions=(340912,useless=252910), ccks=187762, wck=1.02, mem=140M232
8.45/3.76 decisions=2121, wrong=715, backtracks=334, failedAssignments=444, nogoods=150, foundSolutions=5, bestBound=11
8.45/3.76 nFilterCalls=71053, avgTableProportion=0.75, avgTableSize=3.0
8.45/3.76
8.45/3.77 num=32, depth=17..20, filters=135357, revisions=(354971,useless=262935), ccks=195607, wck=1.031, mem=140M232
8.45/3.77 decisions=2186, wrong=739, backtracks=345, failedAssignments=458, nogoods=152, foundSolutions=5, bestBound=11
8.45/3.77 nFilterCalls=74044, avgTableProportion=0.75, avgTableSize=3.0
8.45/3.77
8.45/3.79 o 10
8.69/3.82 num=33, depth=35..1379, filters=137322, revisions=(363039,useless=269578), ccks=200139, wck=1.077, mem=142M778
8.69/3.82 decisions=2248, wrong=746, backtracks=347, failedAssignments=463, nogoods=157, foundSolutions=6, bestBound=10
8.69/3.82 nFilterCalls=76336, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.82
8.69/3.83 num=34, depth=19..24, filters=142502, revisions=(378411,useless=281188), ccks=207319, wck=1.095, mem=142M778
8.69/3.83 decisions=2329, wrong=776, backtracks=366, failedAssignments=480, nogoods=161, foundSolutions=6, bestBound=10
8.69/3.83 nFilterCalls=79369, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.83
8.69/3.84 num=35, depth=19..23, filters=145948, revisions=(387852,useless=288283), ccks=212039, wck=1.103, mem=142M778
8.69/3.84 decisions=2393, wrong=798, backtracks=378, failedAssignments=491, nogoods=164, foundSolutions=6, bestBound=10
8.69/3.84 nFilterCalls=81038, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.84
8.69/3.85 num=36, depth=17..19, filters=149849, revisions=(397615,useless=295468), ccks=216833, wck=1.111, mem=142M778
8.69/3.85 decisions=2450, wrong=818, backtracks=388, failedAssignments=503, nogoods=166, foundSolutions=6, bestBound=10
8.69/3.85 nFilterCalls=82915, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.85
8.69/3.86 num=37, depth=16..22, filters=153365, revisions=(406928,useless=302257), ccks=221904, wck=1.119, mem=142M778
8.69/3.86 decisions=2519, wrong=844, backtracks=402, failedAssignments=516, nogoods=171, foundSolutions=6, bestBound=10
8.69/3.86 nFilterCalls=84642, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.86
8.69/3.87 num=38, depth=17..21, filters=156247, revisions=(415365,useless=308664), ccks=226100, wck=1.127, mem=142M778
8.69/3.87 decisions=2582, wrong=866, backtracks=411, failedAssignments=530, nogoods=173, foundSolutions=6, bestBound=10
8.69/3.87 nFilterCalls=86058, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.87
8.69/3.87 num=39, depth=15..24, filters=158753, revisions=(421044,useless=312613), ccks=229112, wck=1.132, mem=142M778
8.69/3.87 decisions=2644, wrong=888, backtracks=417, failedAssignments=546, nogoods=179, foundSolutions=6, bestBound=10
8.69/3.87 nFilterCalls=87071, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.87
8.69/3.88 num=40, depth=17..23, filters=163182, revisions=(431640,useless=320337), ccks=234767, wck=1.141, mem=142M778
8.69/3.88 decisions=2711, wrong=913, backtracks=428, failedAssignments=563, nogoods=183, foundSolutions=6, bestBound=10
8.69/3.88 nFilterCalls=89118, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.88
8.69/3.89 num=41, depth=10..19, filters=167542, revisions=(441662,useless=327426), ccks=240243, wck=1.15, mem=142M778
8.69/3.89 decisions=2783, wrong=943, backtracks=439, failedAssignments=582, nogoods=189, foundSolutions=6, bestBound=10
8.69/3.89 nFilterCalls=91015, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.89
8.69/3.89 num=42, depth=10..17, filters=170813, revisions=(450239,useless=333677), ccks=244395, wck=1.157, mem=142M778
8.69/3.89 decisions=2855, wrong=974, backtracks=450, failedAssignments=603, nogoods=191, foundSolutions=6, bestBound=10
8.69/3.89 nFilterCalls=92368, avgTableProportion=0.75, avgTableSize=3.0
8.69/3.89
8.95/3.91 num=43, depth=11..20, filters=175310, revisions=(461931,useless=342322), ccks=250032, wck=1.167, mem=142M778
8.95/3.91 decisions=2962, wrong=1021, backtracks=478, failedAssignments=626, nogoods=196, foundSolutions=6, bestBound=10
8.95/3.91 nFilterCalls=94267, avgTableProportion=0.75, avgTableSize=3.0
8.95/3.91
8.95/3.92 num=44, depth=16..19, filters=180578, revisions=(474127,useless=351042), ccks=257439, wck=1.178, mem=142M778
8.95/3.92 decisions=3045, wrong=1054, backtracks=488, failedAssignments=651, nogoods=202, foundSolutions=6, bestBound=10
8.95/3.92 nFilterCalls=96888, avgTableProportion=0.75, avgTableSize=3.0
8.95/3.92
8.95/3.93 num=45, depth=9..15, filters=184580, revisions=(485363,useless=359316), ccks=263155, wck=1.187, mem=142M778
8.95/3.93 decisions=3136, wrong=1093, backtracks=500, failedAssignments=679, nogoods=206, foundSolutions=6, bestBound=10
8.95/3.93 nFilterCalls=98668, avgTableProportion=0.75, avgTableSize=3.0
8.95/3.93
8.95/3.94 num=46, depth=11..17, filters=191787, revisions=(503389,useless=372550), ccks=273188, wck=1.201, mem=142M778
8.95/3.94 decisions=3238, wrong=1138, backtracks=517, failedAssignments=710, nogoods=213, foundSolutions=6, bestBound=10
8.95/3.94 nFilterCalls=102198, avgTableProportion=0.75, avgTableSize=3.0
8.95/3.94
8.95/3.95 num=47, depth=11..16, filters=197021, revisions=(515218,useless=380569), ccks=279600, wck=1.211, mem=142M778
8.95/3.95 decisions=3338, wrong=1182, backtracks=527, failedAssignments=744, nogoods=221, foundSolutions=6, bestBound=10
8.95/3.95 nFilterCalls=104330, avgTableProportion=0.75, avgTableSize=3.0
8.95/3.95
8.95/4.00 num=48, depth=12..17, filters=206475, revisions=(538714,useless=397258), ccks=293867, wck=1.26, mem=59M371
8.95/4.00 decisions=3470, wrong=1240, backtracks=550, failedAssignments=781, nogoods=224, foundSolutions=6, bestBound=10
8.95/4.00 nFilterCalls=109121, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.00
9.23/4.01 num=49, depth=15..25, filters=213914, revisions=(558617,useless=411818), ccks=303838, wck=1.274, mem=59M371
9.23/4.01 decisions=3620, wrong=1307, backtracks=580, failedAssignments=822, nogoods=235, foundSolutions=6, bestBound=10
9.23/4.01 nFilterCalls=112287, avgTableProportion=0.75, avgTableSize=3.0
9.23/4.01
9.23/4.03 num=50, depth=19..26, filters=222240, revisions=(580636,useless=427795), ccks=315156, wck=1.29, mem=59M371
9.23/4.03 decisions=3772, wrong=1373, backtracks=605, failedAssignments=867, nogoods=238, foundSolutions=6, bestBound=10
9.23/4.03 nFilterCalls=116175, avgTableProportion=0.75, avgTableSize=3.0
9.23/4.03
9.23/4.05 num=51, depth=19..23, filters=236448, revisions=(616159,useless=453681), ccks=334881, wck=1.313, mem=59M371
9.23/4.05 decisions=3955, wrong=1454, backtracks=638, failedAssignments=917, nogoods=246, foundSolutions=6, bestBound=10
9.23/4.05 nFilterCalls=123184, avgTableProportion=0.75, avgTableSize=3.0
9.23/4.05
9.23/4.07 num=52, depth=14..19, filters=246325, revisions=(640845,useless=471416), ccks=348268, wck=1.33, mem=59M371
9.23/4.07 decisions=4122, wrong=1530, backtracks=663, failedAssignments=972, nogoods=251, foundSolutions=6, bestBound=10
9.23/4.07 nFilterCalls=127744, avgTableProportion=0.75, avgTableSize=3.0
9.23/4.07
9.23/4.10 num=53, depth=12..21, filters=262351, revisions=(678131,useless=498144), ccks=367588, wck=1.357, mem=59M371
9.23/4.10 decisions=4338, wrong=1631, backtracks=720, failedAssignments=1033, nogoods=256, foundSolutions=6, bestBound=10
9.23/4.10 nFilterCalls=134871, avgTableProportion=0.75, avgTableSize=3.0
9.23/4.10
9.34/4.12 num=54, depth=12..21, filters=273108, revisions=(703981,useless=516166), ccks=381030, wck=1.377, mem=59M371
9.34/4.12 decisions=4580, wrong=1746, backtracks=780, failedAssignments=1100, nogoods=276, foundSolutions=6, bestBound=10
9.34/4.12 nFilterCalls=139179, avgTableProportion=0.75, avgTableSize=3.0
9.34/4.12
9.34/4.15 num=55, depth=12..17, filters=295689, revisions=(751293,useless=548317), ccks=410358, wck=1.411, mem=59M371
9.34/4.15 decisions=4804, wrong=1851, backtracks=816, failedAssignments=1174, nogoods=287, foundSolutions=6, bestBound=10
9.34/4.15 nFilterCalls=150253, avgTableProportion=0.75, avgTableSize=3.0
9.34/4.15
9.34/4.18 num=56, depth=15..24, filters=309963, revisions=(788644,useless=575248), ccks=429501, wck=1.438, mem=61M961
9.34/4.18 decisions=5077, wrong=1979, backtracks=880, failedAssignments=1255, nogoods=293, foundSolutions=6, bestBound=10
9.34/4.18 nFilterCalls=156353, avgTableProportion=0.75, avgTableSize=3.0
9.34/4.18
9.46/4.22 num=57, depth=20..24, filters=334194, revisions=(853817,useless=624193), ccks=462491, wck=1.478, mem=61M961
9.46/4.22 decisions=5389, wrong=2124, backtracks=947, failedAssignments=1344, nogoods=303, foundSolutions=6, bestBound=10
9.46/4.22 nFilterCalls=168112, avgTableProportion=0.75, avgTableSize=3.0
9.46/4.22
9.46/4.25 num=58, depth=10..26, filters=351013, revisions=(893786,useless=651896), ccks=482539, wck=1.508, mem=61M961
9.46/4.25 decisions=5729, wrong=2287, backtracks=1023, failedAssignments=1442, nogoods=312, foundSolutions=6, bestBound=10
9.46/4.25 nFilterCalls=174688, avgTableProportion=0.75, avgTableSize=3.0
9.46/4.25
9.57/4.30 num=59, depth=19..29, filters=381513, revisions=(970343,useless=708377), ccks=522552, wck=1.558, mem=61M961
9.57/4.30 decisions=6133, wrong=2478, backtracks=1126, failedAssignments=1550, nogoods=321, foundSolutions=6, bestBound=10
9.57/4.30 nFilterCalls=189209, avgTableProportion=0.75, avgTableSize=3.0
9.57/4.30
9.57/4.35 num=60, depth=15..22, filters=411755, revisions=(1047596,useless=765272), ccks=566887, wck=1.608, mem=64M550
9.57/4.35 decisions=6522, wrong=2664, backtracks=1214, failedAssignments=1669, nogoods=332, foundSolutions=6, bestBound=10
9.57/4.35 nFilterCalls=203979, avgTableProportion=0.75, avgTableSize=3.0
9.57/4.35
9.67/4.41 num=61, depth=13..19, filters=452057, revisions=(1137183,useless=827193), ccks=619793, wck=1.67, mem=64M550
9.67/4.41 decisions=6937, wrong=2865, backtracks=1301, failedAssignments=1800, nogoods=343, foundSolutions=6, bestBound=10
9.67/4.41 nFilterCalls=223171, avgTableProportion=0.75, avgTableSize=3.0
9.67/4.41
9.67/4.47 num=62, depth=14..26, filters=483405, revisions=(1221926,useless=889799), ccks=660727, wck=1.728, mem=64M550
9.67/4.47 decisions=7526, wrong=3152, backtracks=1489, failedAssignments=1944, nogoods=349, foundSolutions=6, bestBound=10
9.67/4.47 nFilterCalls=236582, avgTableProportion=0.75, avgTableSize=3.0
9.67/4.47
9.81/4.52 num=63, depth=10..23, filters=510776, revisions=(1294675,useless=942786), ccks=697534, wck=1.778, mem=64M550
9.81/4.52 decisions=8015, wrong=3389, backtracks=1598, failedAssignments=2102, nogoods=351, foundSolutions=6, bestBound=10
9.81/4.52 nFilterCalls=248624, avgTableProportion=0.75, avgTableSize=3.0
9.81/4.52
9.81/4.57 num=64, depth=11..18, filters=547013, revisions=(1371120,useless=995354), ccks=742708, wck=1.833, mem=67M139
9.81/4.57 decisions=8495, wrong=3623, backtracks=1665, failedAssignments=2276, nogoods=361, foundSolutions=6, bestBound=10
9.81/4.57 nFilterCalls=265075, avgTableProportion=0.75, avgTableSize=3.0
9.81/4.57
9.91/4.66 num=65, depth=15..23, filters=606109, revisions=(1501304,useless=1086396), ccks=815940, wck=1.924, mem=67M139
9.91/4.66 decisions=9173, wrong=3954, backtracks=1828, failedAssignments=2467, nogoods=368, foundSolutions=6, bestBound=10
9.91/4.66 nFilterCalls=291749, avgTableProportion=0.75, avgTableSize=3.0
9.91/4.66
10.02/4.72 num=66, depth=11..23, filters=644079, revisions=(1590919,useless=1150294), ccks=866251, wck=1.985, mem=69M729
10.02/4.72 decisions=9791, wrong=4257, backtracks=1930, failedAssignments=2678, nogoods=378, foundSolutions=6, bestBound=10
10.02/4.72 nFilterCalls=308709, avgTableProportion=0.75, avgTableSize=3.0
10.02/4.72
10.02/4.80 num=67, depth=8..18, filters=687540, revisions=(1703177,useless=1229516), ccks=932246, wck=2.057, mem=69M729
10.02/4.80 decisions=10483, wrong=4597, backtracks=2064, failedAssignments=2910, nogoods=393, foundSolutions=6, bestBound=10
10.02/4.80 nFilterCalls=329250, avgTableProportion=0.75, avgTableSize=3.0
10.02/4.80
10.12/4.90 num=68, depth=6..15, filters=753743, revisions=(1841821,useless=1325440), ccks=1009506, wck=2.157, mem=72M318
10.12/4.90 decisions=11290, wrong=4996, backtracks=2235, failedAssignments=3165, nogoods=406, foundSolutions=6, bestBound=10
10.12/4.90 nFilterCalls=358415, avgTableProportion=0.75, avgTableSize=3.0
10.12/4.90
10.23/4.97 num=69, depth=8..26, filters=801110, revisions=(1955200,useless=1406217), ccks=1067834, wck=2.236, mem=72M318
10.23/4.97 decisions=12139, wrong=5414, backtracks=2410, failedAssignments=3446, nogoods=420, foundSolutions=6, bestBound=10
10.23/4.97 nFilterCalls=378175, avgTableProportion=0.75, avgTableSize=3.0
10.23/4.97
10.33/5.09 num=70, depth=11..18, filters=877002, revisions=(2146552,useless=1546937), ccks=1171320, wck=2.356, mem=74M908
10.33/5.09 decisions=13155, wrong=5916, backtracks=2628, failedAssignments=3755, nogoods=431, foundSolutions=6, bestBound=10
10.33/5.09 nFilterCalls=414159, avgTableProportion=0.75, avgTableSize=3.0
10.33/5.09
10.53/5.21 num=71, depth=12..26, filters=951652, revisions=(2315612,useless=1666041), ccks=1260009, wck=2.475, mem=74M908
10.53/5.21 decisions=14220, wrong=6441, backtracks=2857, failedAssignments=4095, nogoods=444, foundSolutions=6, bestBound=10
10.53/5.21 nFilterCalls=446832, avgTableProportion=0.75, avgTableSize=3.0
10.53/5.21
10.64/5.36 num=72, depth=10..23, filters=1041071, revisions=(2537226,useless=1826306), ccks=1375949, wck=2.619, mem=77M497
10.64/5.36 decisions=15429, wrong=7040, backtracks=3131, failedAssignments=4469, nogoods=456, foundSolutions=6, bestBound=10
10.64/5.36 nFilterCalls=487401, avgTableProportion=0.75, avgTableSize=3.0
10.64/5.36
10.74/5.48 num=73, depth=5..24, filters=1117128, revisions=(2722513,useless=1956408), ccks=1473363, wck=2.743, mem=80M86
10.74/5.48 decisions=16729, wrong=7687, backtracks=3418, failedAssignments=4880, nogoods=465, foundSolutions=6, bestBound=10
10.74/5.48 nFilterCalls=519951, avgTableProportion=0.75, avgTableSize=3.0
10.74/5.48
10.95/5.64 num=74, depth=9..24, filters=1210735, revisions=(2943510,useless=2111407), ccks=1586287, wck=2.897, mem=82M676
10.95/5.64 decisions=18218, wrong=8425, backtracks=3805, failedAssignments=5332, nogoods=475, foundSolutions=6, bestBound=10
10.95/5.64 nFilterCalls=559419, avgTableProportion=0.75, avgTableSize=3.0
10.95/5.64
11.15/5.80 num=75, depth=12..22, filters=1308606, revisions=(3205077,useless=2303730), ccks=1717344, wck=3.06, mem=85M265
11.15/5.80 decisions=19831, wrong=9225, backtracks=4148, failedAssignments=5829, nogoods=483, foundSolutions=6, bestBound=10
11.15/5.80 nFilterCalls=602725, avgTableProportion=0.75, avgTableSize=3.0
11.15/5.80
11.36/6.01 num=76, depth=5..19, filters=1447363, revisions=(3488889,useless=2495790), ccks=1882717, wck=3.267, mem=87M855
11.36/6.01 decisions=21519, wrong=10066, backtracks=4495, failedAssignments=6376, nogoods=490, foundSolutions=6, bestBound=10
11.36/6.01 nFilterCalls=661648, avgTableProportion=0.75, avgTableSize=3.0
11.36/6.01
11.46/6.16 num=77, depth=1..17, filters=1551359, revisions=(3703911,useless=2640698), ccks=1998121, wck=3.426, mem=90M444
11.46/6.16 decisions=23118, wrong=10864, backtracks=4725, failedAssignments=6978, nogoods=498, foundSolutions=6, bestBound=10
11.46/6.16 nFilterCalls=703695, avgTableProportion=0.75, avgTableSize=3.0
11.46/6.16
11.75/6.40 num=78, depth=12..31, filters=1695897, revisions=(4057583,useless=2893846), ccks=2187813, wck=3.663, mem=93M34
11.75/6.40 decisions=25288, wrong=11942, backtracks=5208, failedAssignments=7640, nogoods=506, foundSolutions=6, bestBound=10
11.75/6.40 nFilterCalls=768348, avgTableProportion=0.75, avgTableSize=3.0
11.75/6.40
11.86/6.58 num=79, depth=3..18, filters=1808462, revisions=(4308350,useless=3065076), ccks=2319108, wck=3.842, mem=95M623
11.86/6.58 decisions=27361, wrong=12975, backtracks=5557, failedAssignments=8368, nogoods=528, foundSolutions=6, bestBound=10
11.86/6.58 nFilterCalls=812617, avgTableProportion=0.75, avgTableSize=3.0
11.86/6.58
12.26/6.93 num=80, depth=11..23, filters=2041594, revisions=(4818790,useless=3421527), ccks=2616786, wck=4.192, mem=100M802
12.26/6.93 decisions=29861, wrong=14218, backtracks=6118, failedAssignments=9169, nogoods=532, foundSolutions=6, bestBound=10
12.26/6.93 nFilterCalls=922238, avgTableProportion=0.75, avgTableSize=3.0
12.26/6.93
12.56/7.23 num=81, depth=0..25, filters=2229284, revisions=(5235545,useless=3704805), ccks=2839225, wck=4.49, mem=105M981
12.56/7.23 decisions=32620, wrong=15596, backtracks=6737, failedAssignments=10050, nogoods=542, foundSolutions=6, bestBound=10
12.56/7.23 nFilterCalls=999665, avgTableProportion=0.75, avgTableSize=3.0
12.56/7.23
12.76/7.46 num=82, depth=2..27, filters=2375227, revisions=(5575174,useless=3938230), ccks=3014263, wck=4.726, mem=108M570
12.76/7.46 decisions=35351, wrong=16960, backtracks=7208, failedAssignments=11020, nogoods=561, foundSolutions=6, bestBound=10
12.76/7.46 nFilterCalls=1058894, avgTableProportion=0.75, avgTableSize=3.0
12.76/7.46
13.26/7.93 num=83, depth=5..16, filters=2687493, revisions=(6229374,useless=4383158), ccks=3392902, wck=5.196, mem=116M338
13.26/7.93 decisions=38612, wrong=18587, backtracks=7871, failedAssignments=12087, nogoods=577, foundSolutions=6, bestBound=10
13.26/7.93 nFilterCalls=1202109, avgTableProportion=0.75, avgTableSize=3.0
13.26/7.93
13.66/8.38 num=84, depth=8..18, filters=2961742, revisions=(6936641,useless=4901763), ccks=3766625, wck=5.64, mem=121M517
13.66/8.38 decisions=42386, wrong=20469, backtracks=8699, failedAssignments=13260, nogoods=596, foundSolutions=6, bestBound=10
13.66/8.38 nFilterCalls=1329038, avgTableProportion=0.75, avgTableSize=3.0
13.66/8.38
14.16/8.82 num=85, depth=0..20, filters=3261286, revisions=(7504617,useless=5273967), ccks=4079202, wck=6.079, mem=129M285
14.16/8.82 decisions=46069, wrong=22309, backtracks=9327, failedAssignments=14551, nogoods=612, foundSolutions=6, bestBound=10
14.16/8.82 nFilterCalls=1456131, avgTableProportion=0.75, avgTableSize=3.0
14.16/8.82
14.66/9.31 num=86, depth=3..27, filters=3570920, revisions=(8180045,useless=5738589), ccks=4436542, wck=6.572, mem=137M54
14.66/9.31 decisions=50979, wrong=24761, backtracks=10619, failedAssignments=15971, nogoods=626, foundSolutions=6, bestBound=10
14.66/9.31 nFilterCalls=1584935, avgTableProportion=0.75, avgTableSize=3.0
14.66/9.31
15.26/9.92 num=87, depth=0..19, filters=3976880, revisions=(8978234,useless=6270346), ccks=4883192, wck=7.178, mem=144M822
15.26/9.92 decisions=55959, wrong=27248, backtracks=11732, failedAssignments=17533, nogoods=657, foundSolutions=6, bestBound=10
15.26/9.92 nFilterCalls=1756163, avgTableProportion=0.75, avgTableSize=3.0
15.26/9.92
15.86/10.57 num=88, depth=1..22, filters=4418747, revisions=(9833693,useless=6835855), ccks=5375623, wck=7.834, mem=155M179
15.86/10.57 decisions=61493, wrong=30013, backtracks=13039, failedAssignments=19251, nogoods=671, foundSolutions=6, bestBound=10
15.86/10.57 nFilterCalls=1944185, avgTableProportion=0.75, avgTableSize=3.0
15.86/10.57
16.56/11.25 num=89, depth=0..19, filters=4861873, revisions=(10758735,useless=7455055), ccks=5885259, wck=8.508, mem=165M537
16.56/11.25 decisions=67238, wrong=32884, backtracks=14171, failedAssignments=21141, nogoods=691, foundSolutions=6, bestBound=10
16.56/11.25 nFilterCalls=2133537, avgTableProportion=0.75, avgTableSize=3.0
16.56/11.25
17.38/12.05 num=90, depth=1..22, filters=5386004, revisions=(11898516,useless=8237792), ccks=6521183, wck=9.312, mem=178M484
17.38/12.05 decisions=73545, wrong=36036, backtracks=15445, failedAssignments=23220, nogoods=701, foundSolutions=6, bestBound=10
17.38/12.05 nFilterCalls=2366122, avgTableProportion=0.75, avgTableSize=3.0
17.38/12.05
18.07/12.76 num=91, depth=0..23, filters=5846730, revisions=(12866426,useless=8893948), ccks=7042089, wck=10.02, mem=188M842
18.07/12.76 decisions=80397, wrong=39459, backtracks=16755, failedAssignments=25507, nogoods=718, foundSolutions=6, bestBound=10
18.07/12.76 nFilterCalls=2557786, avgTableProportion=0.75, avgTableSize=3.0
18.07/12.76
19.00/13.65 num=92, depth=6..30, filters=6394815, revisions=(14207479,useless=9856644), ccks=7777131, wck=10.912, mem=67M402
19.00/13.65 decisions=88303, wrong=43408, backtracks=18399, failedAssignments=28023, nogoods=738, foundSolutions=6, bestBound=10
19.00/13.65 nFilterCalls=2807167, avgTableProportion=0.75, avgTableSize=3.0
19.00/13.65
19.90/14.53 num=93, depth=0..21, filters=6975339, revisions=(15400071,useless=10662262), ccks=8431717, wck=11.79, mem=80M442
19.90/14.53 decisions=96515, wrong=47512, backtracks=19927, failedAssignments=30791, nogoods=756, foundSolutions=6, bestBound=10
19.90/14.53 nFilterCalls=3052832, avgTableProportion=0.75, avgTableSize=3.0
19.90/14.53
21.01/15.63 num=94, depth=0..24, filters=7696368, revisions=(16929279,useless=11709536), ccks=9274429, wck=12.893, mem=97M411
21.01/15.63 decisions=106407, wrong=52457, backtracks=22130, failedAssignments=33835, nogoods=766, foundSolutions=6, bestBound=10
21.01/15.63 nFilterCalls=3362835, avgTableProportion=0.75, avgTableSize=3.0
21.01/15.63
22.11/16.76 num=95, depth=0..18, filters=8415564, revisions=(18577387,useless=12857811), ccks=10169919, wck=14.017, mem=115M666
22.11/16.76 decisions=116783, wrong=57643, backtracks=24214, failedAssignments=37184, nogoods=783, foundSolutions=6, bestBound=10
22.11/16.76 nFilterCalls=3674964, avgTableProportion=0.75, avgTableSize=3.0
22.11/16.76
22.81/17.47
22.81/17.47 New Bounds: 10..9
22.81/17.47 num=96, depth=0..15, filters=8865527, revisions=(19674318,useless=13645742), ccks=10758671, wck=14.733, mem=126M98
22.81/17.47 decisions=123353, wrong=60929, backtracks=25609, failedAssignments=39208, foundSolutions=6, bestBound=10
22.81/17.47 nFilterCalls=3876538, avgTableProportion=0.75, avgTableSize=3.0
22.81/17.47
22.81/17.47 Global
22.81/17.47 filters=8865527, revisions=(19674318,useless=13645742), ccks=10758671
22.81/17.47 Stop=FULL_EXPLORATION, wrong=60929, bestBound=10, bestBoundWck=1.939, bestBoundCpu=3.734, foundSolutions=6, firstSolCpu=2.781
22.81/17.47 wck=15.627, cpu=17.371, mem=126M98
22.81/17.47
22.81/17.47 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>
22.81/17.47 s OPTIMUM FOUND
22.81/17.47
22.81/17.47 d WRONG_DECISIONS 60929
22.81/17.47 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 (14520 MiB free)
memory of node 1: 16384 MiB (15270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390854-1568381629/watcher-4390854-1568381629 -o /tmp/evaluation-result-4390854-1568381629/solver-4390854-1568381629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390854-1568381629.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=4678, runsolver pid=4675
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.97 1.91 1.39 4/227 4693
/proc/meminfo: memFree=30489476/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10659884 memory=29228 CPUtime=0.14 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 5242 0 0 0 13 1 0 0 20 0 15 0 414417567 10915721216 7307 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2664971 7307 2904 1 0 2627468 0
[pid=4678/tid=4680] ppid=4675 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) R 4675 4678 4259 0 -1 4202560 2979 0 0 0 8 1 0 0 20 0 15 0 414417567 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680945919632 139680941712541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417569 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414417570 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680432452896 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414417570 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680431400560 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417572 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) R 4675 4678 4259 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 15 0 414417572 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 414417572 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0.02 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) R 4675 4678 4259 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 414417572 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680427184304 139680920493927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417573 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417573 10915721216 7307 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29228 KiB
[startup+0.211126 s]*
/proc/loadavg: 1.97 1.91 1.39 3/227 4693
/proc/meminfo: memFree=30482592/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10659884 memory=35308 CPUtime=0.32 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 6487 0 0 0 31 1 0 0 20 0 15 0 414417567 10915721216 8827 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2664971 8827 2988 1 0 2627468 0
[pid=4678/tid=4680] ppid=4675 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) R 4675 4678 4259 0 -1 4202560 3467 0 0 0 19 1 0 0 20 0 15 0 414417567 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680945922704 139680941712541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10659884 memory=3977718408705009312 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417569 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414417570 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680432452896 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414417570 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680431400560 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417572 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) S 4675 4678 4259 0 -1 1077944384 832 0 0 0 3 0 0 0 20 0 15 0 414417572 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 414417572 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 677 0 0 0 5 0 0 0 20 0 15 0 414417572 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417573 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417573 10915721216 8827 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35308 KiB
[startup+0.310884 s]*
/proc/loadavg: 1.97 1.91 1.39 4/227 4693
/proc/meminfo: memFree=30475616/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10659884 memory=40204 CPUtime=0.47 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 8952 0 0 0 45 2 0 0 20 0 15 0 414417567 10915721216 10051 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2664971 10051 3000 1 0 2627468 0
[pid=4678/tid=4680] ppid=4675 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) R 4675 4678 4259 0 -1 4202560 5867 0 0 0 28 2 0 0 20 0 15 0 414417567 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680945929600 139680925771102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10659884 memory=4123246464927590048 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417568 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417569 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414417570 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680432452896 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414417570 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680431400560 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417572 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) S 4675 4678 4259 0 -1 1077944384 881 0 0 0 4 0 0 0 20 0 15 0 414417572 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 159 0 0 0 3 0 0 0 20 0 15 0 414417572 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0.08 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 690 0 0 0 8 0 0 0 20 0 15 0 414417572 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417573 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10659884 memory=140317359662720 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417573 10915721216 10051 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40204 KiB
[startup+0.700772 s]
/proc/loadavg: 1.97 1.91 1.39 4/227 4693
/proc/meminfo: memFree=30465720/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10661932 memory=64164 CPUtime=1.11 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 12703 0 0 0 107 4 0 0 20 0 15 0 414417567 10917818368 16041 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2665483 16041 3063 1 0 2627980 0
[pid=4678/tid=4680] ppid=4675 vsize=10661932 memory=9752 CPUtime=0.67 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) R 4675 4678 4259 0 -1 4202560 8414 0 0 0 64 3 0 0 20 0 15 0 414417567 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680945913552 139680924877424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417568 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417569 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414417570 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680432452896 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414417570 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680431400560 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417572 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10661932 memory=7086240636179075427 CPUtime=0.13 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) R 4675 4678 4259 0 -1 4202560 1229 0 0 0 13 0 0 0 20 0 15 0 414417572 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680429295728 139680922878525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10661932 memory=7453282923427948884 CPUtime=0.09 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 520 0 0 0 9 0 0 0 20 0 15 0 414417572 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 1180 0 0 0 18 0 0 0 20 0 15 0 414417572 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414417573 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417573 10917818368 16041 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64164 KiB
[startup+1.50079 s]
/proc/loadavg: 1.97 1.91 1.39 3/227 4693
/proc/meminfo: memFree=30449772/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10663980 memory=76052 CPUtime=1.99 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 17853 0 0 0 194 5 0 0 20 0 15 0 414417567 10919915520 19013 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2665995 19013 3090 1 0 2628492 0
[pid=4678/tid=4680] ppid=4675 vsize=10663980 memory=160439174539436 CPUtime=1.47 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) R 4675 4678 4259 0 -1 4202560 12412 0 0 0 144 3 0 0 20 0 15 0 414417567 10919915520 19013 33554432000 4194304 4196468 140726335429712 139680945921664 139680925771102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10919915520 19013 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10919915520 19013 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414417568 10919915520 19013 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414417568 10919915520 19013 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 414417569 10919915520 19013 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
################
# More data... #
################
[startup+16.0006 s]*
/proc/loadavg: 2.11 1.94 1.41 3/228 4694
/proc/meminfo: memFree=30204296/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10748324 memory=314644 CPUtime=21.42 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 45590 0 0 0 2121 21 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2687081 78661 3379 1 0 2647217 0
[pid=4678/tid=4680] ppid=4675 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) S 4675 4678 4259 0 -1 1077944384 14566 0 0 0 180 5 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680945933488 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10748324 memory=27 CPUtime=0.04 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1069 0 0 0 3 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10748324 memory=4872558044660077418 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 191 0 0 0 4 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10748324 memory=8326441112149131687 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 202 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10748324 memory=-8412654372357302413 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 1036 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10748324 memory=-7668917182949848256 CPUtime=0.01 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 1337 0 0 0 1 0 0 0 20 0 16 0 414417569 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10748324 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680432452960 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10748324 memory=7449070784374796392 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680431400576 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10748324 memory=7451579840129821283 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10748324 memory=7882257474913462886 CPUtime=2.14 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) S 4675 4678 4259 0 -1 1077944384 7034 0 0 0 213 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10748324 memory=7589799481150432103 CPUtime=2.13 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 7554 0 0 0 212 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10748324 memory=7165341791881292901 CPUtime=0.98 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 5469 0 0 0 97 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10748324 memory=7955164987095148648 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10748324 memory=6300655052950563425 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4694] ppid=4675 vsize=10748324 memory=8514726395715218812 CPUtime=14.03 cores=1,3,5,7
/proc/4678/task/4694/stat : 4694 (java) R 4675 4678 4259 0 -1 4202560 5593 0 0 0 1399 4 0 0 20 0 16 0 414417755 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680408130144 139680549762101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 21.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 314644 KiB
[startup+16.8007 s]
/proc/loadavg: 2.11 1.94 1.41 3/228 4694
/proc/meminfo: memFree=30204296/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10748324 memory=314644 CPUtime=22.21 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 45616 0 0 0 2200 21 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2687081 78661 3379 1 0 2647217 0
[pid=4678/tid=4680] ppid=4675 vsize=10748324 memory=2552 CPUtime=1.85 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) S 4675 4678 4259 0 -1 1077944384 14566 0 0 0 180 5 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680945933488 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10748324 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1069 0 0 0 3 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10748324 memory=288230617509003574 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 191 0 0 0 4 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10748324 memory=15820006051023168 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 202 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10748324 memory=3 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 1036 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10748324 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 1337 0 0 0 1 0 0 0 20 0 16 0 414417569 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680432452960 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680431400576 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10748324 memory=314644 CPUtime=2.14 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) S 4675 4678 4259 0 -1 1077944384 7034 0 0 0 213 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10748324 memory=6084197523162162535 CPUtime=2.13 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 7554 0 0 0 212 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10748324 memory=7373350743143113576 CPUtime=0.98 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 5485 0 0 0 97 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10748324 memory=7373350704455114854 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10748324 memory=280634505903496 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4694] ppid=4675 vsize=10748324 memory=6227448632082798253 CPUtime=14.82 cores=1,3,5,7
/proc/4678/task/4694/stat : 4694 (java) R 4675 4678 4259 0 -1 4202560 5603 0 0 0 1478 4 0 0 20 0 16 0 414417755 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680408130032 139680550717229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 22.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 314644 KiB
[startup+17.2006 s]
/proc/loadavg: 2.11 1.94 1.41 3/228 4694
/proc/meminfo: memFree=30204308/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10748324 memory=314644 CPUtime=22.61 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 45622 0 0 0 2240 21 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2687081 78661 3379 1 0 2647217 0
[pid=4678/tid=4680] ppid=4675 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) S 4675 4678 4259 0 -1 1077944384 14566 0 0 0 180 5 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680945933488 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10748324 memory=2670097 CPUtime=0.04 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1069 0 0 0 3 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10748324 memory=2921406 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 191 0 0 0 4 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10748324 memory=6944652177228980320 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 202 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10748324 memory=6944656592455097440 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 1036 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 1337 0 0 0 1 0 0 0 20 0 16 0 414417569 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680432452960 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680431400576 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10748324 memory=0 CPUtime=2.14 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) S 4675 4678 4259 0 -1 1077944384 7034 0 0 0 213 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10748324 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 7554 0 0 0 212 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10748324 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 5485 0 0 0 97 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10748324 memory=314644 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4694] ppid=4675 vsize=10748324 memory=500 CPUtime=15.22 cores=1,3,5,7
/proc/4678/task/4694/stat : 4694 (java) R 4675 4678 4259 0 -1 4202560 5609 0 0 0 1518 4 0 0 20 0 16 0 414417755 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680408130144 139680550549500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 22.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 314644 KiB
[startup+17.4006 s]
/proc/loadavg: 2.11 1.94 1.41 3/228 4694
/proc/meminfo: memFree=30204308/32770624 swapFree=66997100/67108860
[pid=4678] ppid=4675 vsize=10748324 memory=314644 CPUtime=22.81 cores=1,3,5,7
/proc/4678/stat : 4678 (java) S 4675 4678 4259 0 -1 1077944320 45624 0 0 0 2260 21 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 140726335412256 139680941690615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
/proc/4678/statm: 2687081 78661 3379 1 0 2647217 0
[pid=4678/tid=4680] ppid=4675 vsize=10748324 memory=1528 CPUtime=1.85 cores=1,3,5,7
/proc/4678/task/4680/stat : 4680 (java) S 4675 4678 4259 0 -1 1077944384 14566 0 0 0 180 5 0 0 20 0 16 0 414417567 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680945933488 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4681] ppid=4675 vsize=10748324 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/4678/task/4681/stat : 4681 (java) S 4675 4678 4259 0 -1 1077944384 1069 0 0 0 3 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680867764624 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4682] ppid=4675 vsize=10748324 memory=876 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4682/stat : 4682 (java) S 4675 4678 4259 0 -1 1077944384 191 0 0 0 4 1 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680866711824 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4683] ppid=4675 vsize=10748324 memory=280634506086368 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4683/stat : 4683 (java) S 4675 4678 4259 0 -1 1077944384 202 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680865659536 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4684] ppid=4675 vsize=10748324 memory=280634505846800 CPUtime=0.05 cores=1,3,5,7
/proc/4678/task/4684/stat : 4684 (java) S 4675 4678 4259 0 -1 1077944384 1036 0 0 0 3 2 0 0 20 0 16 0 414417568 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680864606736 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4685] ppid=4675 vsize=10748324 memory=280634505846448 CPUtime=0.01 cores=1,3,5,7
/proc/4678/task/4685/stat : 4685 (java) S 4675 4678 4259 0 -1 1077944384 1337 0 0 0 1 0 0 0 20 0 16 0 414417569 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680433506928 139680941701762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4686] ppid=4675 vsize=10748324 memory=280634505406000 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4686/stat : 4686 (java) S 4675 4678 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680432452960 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4687] ppid=4675 vsize=10748324 memory=280634505406064 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4687/stat : 4687 (java) S 4675 4678 4259 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414417570 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680431400576 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4688] ppid=4675 vsize=10748324 memory=280634505406128 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4688/stat : 4688 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680430348880 139680941709211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4689] ppid=4675 vsize=10748324 memory=280634506018672 CPUtime=2.14 cores=1,3,5,7
/proc/4678/task/4689/stat : 4689 (java) S 4675 4678 4259 0 -1 1077944384 7034 0 0 0 213 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680429295728 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4690] ppid=4675 vsize=10748324 memory=280634506018736 CPUtime=2.13 cores=1,3,5,7
/proc/4678/task/4690/stat : 4690 (java) S 4675 4678 4259 0 -1 1077944384 7554 0 0 0 212 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680428242928 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4691] ppid=4675 vsize=10748324 memory=280634506171312 CPUtime=0.98 cores=1,3,5,7
/proc/4678/task/4691/stat : 4691 (java) S 4675 4678 4259 0 -1 1077944384 5485 0 0 0 97 1 0 0 20 0 16 0 414417572 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680427190640 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4692] ppid=4675 vsize=10748324 memory=280634506171376 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4692/stat : 4692 (java) S 4675 4678 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680426138080 139680941700821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4693] ppid=4675 vsize=10748324 memory=7378837718300694192 CPUtime=0 cores=1,3,5,7
/proc/4678/task/4693/stat : 4693 (java) S 4675 4678 4259 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 414417573 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680425085872 139680941701762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
[pid=4678/tid=4694] ppid=4675 vsize=10748324 memory=8405286402700514660 CPUtime=15.42 cores=1,3,5,7
/proc/4678/task/4694/stat : 4694 (java) R 4675 4678 4259 0 -1 4202560 5611 0 0 0 1538 4 0 0 20 0 16 0 414417755 11006283776 78661 33554432000 4194304 4196468 140726335429712 139680408130144 139680550192680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13205504 140726335431691 140726335431794 140726335431794 140726335434703 0
Current children cumulated CPU time: 22.81 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 314644 KiB
Child status: 0
Real time (s): 17.4965
CPU time (s): 22.9143
CPU user time (s): 22.6874
CPU system time (s): 0.226874
CPU usage (%): 130.965
Max. virtual memory (cumulated for all children) (KiB): 10750704
Max. memory (cumulated for all children) (KiB): 315308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6874
system time used= 0.226874
maximum resident set size= 315308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3337
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 4678
# total CPU time (s): 22.9143
# total CPU user time (s): 22.6874
# total CPU system time (s): 0.226874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.112459 second user time and 0.219767 second system time
The end